A Stroke-Limitation AMD Control System with Variable Gain and Limited Area for High-Rise Buildings

Collisions between a moving mass and an anti-collision device increase structural responses and threaten structural safety.An active mass damper(AMD)with stroke limitations is often used to avoid collisions.However,a strokelimited AMD control system with a fixed limited area shortens the available AMD stroke and leads to significant control power.To solve this problem,the design approach with variable gain and limited area(VGLA)is proposed in this study.First,the boundary of variable-limited areas is calculated based on the real-time status of the moving mass.The variable gain(VG)expression at the variable limited area is deduced by considering the saturation of AMD stroke.Then,numerical simulations of a stroke-limited AMD control system with VGLA are conducted on a high-rise building structure.These numerical simulations show that the proposed approach has superior strokelimitation performance compared with a stroke-limited AMD control system with a fixed limited area.Finally,the proposed approach is validated through experiments on a four-story steel frame.

Proteomic response of Phaeocystis globosa to nitrogen limitation

Phaeocystis globosa is an important unicellular eukaryotic alga that can also form colonies.P.globosa can cause massive harmful algal blooms and plays an important role in the global carbon or sulfur cycling.Thus far,the ecophysiology of P.globosa has been investigated by numerous studies.However,the proteomic response of P.globosa to nitrogen depletion remains largely unknown.We compared four protein preparation methods of P.globosa for two-dimensional electrophoresis(2-DE)(Urea/Triton X-100 with trichloroacetic acid(TCA)/acetone precipitation;TCA/acetone precipitation;Radio Immuno Precipitation Assay(RIPA)with TCA/acetone precipitation;and Tris buffer).Results show that the combination of RIPA with TCA/acetone precipitation had a clear gel background and showed the best protein spot separation effect,based on which the proteomic response to nitrogen depletion was studied using 2-DE.In addition,we identified six differentially expressed proteins whose relative abundance increased or decreased more than 1.5-fold(P<0.05).Most proteins could not be identified,which might be attributed to the lack of genomic sequences of P.globosa.Under nitrogen limitation,replication protein-like,RNA ligase,and sn-glycerol-3-phosphate dehydrogenase were reduced,which may decrease the DNA replication level and ATP production in P.globosa cells.The increase of endonucleaseⅢand transcriptional regulator enzyme may affect the metabolic and antioxidant function of P.globosa cells and induce cell apoptosis.These findings provide a basis for further proteomic study of P.globosa and the optimization of protein preparation methods of marine microalgae.

Effects of nutrient limitations on the sinking velocity of Thalassiosira weissflogii

The sinking of diatoms is critic al to the formation of oceanic biological pumps and coastal hypoxic zones.However,little is known about the effects of different nutrient restrictions on diatom sinking.In this study,we measured the sinking velocity(SV) of Thalassiosira weissflogii using a new phytoplankton video observation instrument and analyzed major biochemical components under varying nutrient conditions.Our results showed that the SV of T.weissflogii under different nutrient limitation conditions varied substantially.The highest SV of(1.77±0.02) m/d was obtained under nitrate limitation,signific antly surpassing that under phosphate limitation at(0.98±0.13) m/d.As the nutrient limitation was released,the SV steadily decreased to(0.32±0.03) m/d and(0.15±0.05) m/d,respectively.Notably;under conditions with limited nitrate and phosphate concentrations,the SV values of T.weissflogii significantly positively correlated with the lipid content(P <0.001),with R^(2) values of 0.86 and 0.69,respectively.The change of the phytoplankton SV was primarily related to the intracellular compo sition,which is controlled by nutrient conditions but did not significantly correlate with transparent extracellular polymer and biosilica contents.The results of this study help to understand the regulation of the vertical sinking process of diatoms by nutrient restriction and provide new insights into phytoplankton dynamics and their relationship with the marine nutrient structure.

Effects of phosphorus limitation on sinking velocities of phytoplankton during summer in the Changjiang River Estuary

The sinking of phytoplankton is critical to organic matter transportation in the ocean and it is an essential process for the formation of coastal hypoxic zones.This study was based on a field investigation conducted during the summer of 2022 in the Changjiang River(Yangtze River) Estuary(CJE) and its adjacent waters.The settling column method was employed to measure the sinking velocity(SV) of different size fractions of phytoplankton at the surface of the sea and to analyze their environmental control mechanisms.The findings reveal significant spatial variation in phytoplankton SV(-0.55-2.41 m/d) within the CJE.High-speed sinking was predominantly observed in phosphate-depleted regions beyond the CJE front.At the same time,an upward trend was more commonly observed in the phosphate-rich regions near the CJE mouth.The SV ranges for different sizefractionated phytoplankton,including micro-(>20 μm),nano-(2-20 μm),and picophytoplankton(0.7-2 μm),were-0.50-4.74 m/d,-1.04-1.59 m/d,and-1.24-1.65 m/d,respectively.Correlation analysis revealed a significant negative correlation between SV and dissolved inorganic phosphorus(DIP),implying that the influence of DIP contributes to SV.The variations in phytoplankton alkaline phosphatase activity suggested a significant increase in SV across all size fractions in the event of phosphorus limitation.Phytoplankton communities with limited photo synthetic capacity(maximum photochemical efficience,Fv/Fm <0.3) were found to have higher SV than that of communities with strong capacity,suggesting a link between sinking and alterations in physiological conditions due to phosphate depletion.The findings from the in situ phosphate enrichment experiments confirmed a marked decrease in SV following phosphate supplementation.These findings suggest that phosphorus limitation is the primary driver of elevated SV in the CJE.This study enhances the comprehension of the potential mechanisms underlying hypoxic zone formation in the CJE,providing novel insights into how nearshore eutrophication influences organic carbon migration.

Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems

Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.

Phosphorus limitation on CO_(2)fertilization effect in tropical forests informed by a coupled biogeochemical model

Tropical forests store more than half of the world's terrestrial carbon(C)pool and account for one-third of global net primary productivity(NPP).Many terrestrial biosphere models(TBMs)estimate increased productivity in tropical forests throughout the 21st century due to CO_(2)fertilization.However,phosphorus(P)liaitations on vegetation photosynthesis and productivity could significantly reduce the CO_(2)fertilization effect.Here,we used a carbon-nitrogen-phosphorus coupled model(Dynamic Land Ecosystem Model;DLEM-CNP)with heterogeneous maximum carboxylation rates to examine how P limitation has affected C fluxes in tropical forests during1860-2018.Our model results showed that the inclusion of the P processes enhanced model performance in simulating ecosystem productivity.We further compared the simulations from DLEM-CNP,DLEM-CN,and DLEMC and the results showed that the inclusion of P processes reduced the CO_(2)fertilization effect on gross primary production(GPP)by 25%and 45%,and net ecosystem production(NEP)by 28%and 41%,respectively,relative to CN-only and C-on ly models.From the 1860s to the 2010s,the DLEM-CNP estimated that in tropical forests GPP increased by 17%,plant respiration(Ra)increased by 18%,ecosystem respiration(Rh)increased by 13%,NEP increased by 121%per unit area,respectively.Additionally,factorial experiments with DLEM-CNP showed that the enhanced NPP benefiting from the CO_(2) fertilization effect had been offset by 135%due to deforestation from the 1860s to the 2010s.Our study highlights the importance of P limitation on the C cycle and the weakened CO_(2)fertilization effect resulting from P limitation in tropical forests.

Fully Distributed Nash Equilibrium Seeking for High-Order Players With Actuator Limitations

This paper explores the problem of distributed Nash equilibrium seeking in games, where players have limited knowledge on other players' actions. In particular, the involved players are considered to be high-order integrators with their control inputs constrained within a pre-specified region. A linear transformation for players' dynamics is firstly utilized to facilitate the design of bounded control inputs incorporating multiple saturation functions. By introducing consensus protocols with adaptive and time-varying gains, the unknown actions for players are distributively estimated. Then, a fully distributed Nash equilibrium seeking strategy is exploited, showcasing its remarkable properties: (1) ensuring the boundedness of control inputs;(2) avoiding any global information/parameters;and (3) allowing the graph to be directed. Based on Lyapunov stability analysis, it is theoretically proved that the proposed distributed control strategy can lead all the players' actions to the Nash equilibrium. Finally, an illustrative example is given to validate effectiveness of the proposed method.

Identifying Counterexamples Without Variability in Software Product Line Model Checking

Product detection based on state abstraction technologies in the software product line(SPL)is more complex when compared to a single system.This variability constitutes a new complexity,and the counterexample may be valid for some products but spurious for others.In this paper,we found that spurious products are primarily due to the failure states,which correspond to the spurious counterexamples.The violated products correspond to the real counterexamples.Hence,identifying counterexamples is a critical problem in detecting violated products.In our approach,we obtain the violated products through the genuine counterexamples,which have no failure state,to avoid the tedious computation of identifying spurious products dealt with by the existing algorithm.This can be executed in parallel to improve the efficiency further.Experimental results showthat our approach performswell,varying with the growth of the system scale.By analyzing counterexamples in the abstract model,we observed that spurious products occur in the failure state.The approach helps in identifying whether a counterexample is spurious or genuine.The approach also helps to check whether a failure state exists in the counterexample.The performance evaluation shows that the proposed approach helps significantly in improving the efficiency of abstraction-based SPL model checking.

Potential and limitations of ChatGPT and generative artificial intelligence in medical safety education

The primary objectives of medical safety education are to provide the public with essential knowledge about medications and to foster a scientific approach to drug usage.The era of using artificial intelligence to revolutionize medical safety education has already dawned,and ChatGPT and other generative artificial intelligence models have immense potential in this domain.Notably,they offer a wealth of knowledge,anonymity,continuous availability,and personalized services.However,the practical implementation of generative artificial intelligence models such as ChatGPT in medical safety education still faces several challenges,including concerns about the accuracy of information,legal responsibilities,and ethical obligations.Moving forward,it is crucial to intelligently upgrade ChatGPT by leveraging the strengths of existing medical practices.This task involves further integrating the model with real-life scenarios and proactively addressing ethical and security issues with the ultimate goal of providing the public with comprehensive,convenient,efficient,and personalized medical services.

Limitations of Lightning Rods in Preventing Direct Lightning Strikes

Since ancient times,lightning disasters have undoubtedly been an unstoppable threat to humanity.During thunderstorms,lightning often damages objects on the ground,such as buildings and structures.Since Franklin invented the lightning rod in 1752,lightning rods have been used worldwide to prevent direct lightning strikes in various fields such as high-voltage power transmission lines,outdoor chemical sites,highways,land and sea wind farms,and forest lightning fire protection.It has been proven that lightning accidents still occur frequently in places where lightning rods are installed and the protective angle method is used.In order to further study the protective effect of lightning rods and identify the shortcomings of lightning rod protection,negative lightning strikes are taken as the research object,to analyze the limitations of lightning rods in preventing direct lightning strikes from the working principle of lightning rods.

A Multi-mode Electronic Load Sensing Control Scheme with Power Limitation and Pressure Cut-off for Mobile Machinery

In mobile machinery,hydro-mechanical pumps are increasingly replaced by electronically controlled pumps to improve the automation level,but diversified control functions(e.g.,power limitation and pressure cut-off)are integrated into the electronic controller only from the pump level,leading to the potential instability of the overall system.To solve this problem,a multi-mode electrohydraulic load sensing(MELS)control scheme is proposed especially considering the switching stability from the system level,which includes four working modes of flow control,load sensing,power limitation,and pressure control.Depending on the actual working requirements,the switching rules for the different modes and the switching direction(i.e.,the modes can be switched bilaterally or unilaterally)are defined.The priority of different modes is also defined,from high to low:pressure control,power limitation,load sensing,and flow control.When multiple switching rules are satisfied at the same time,the system switches to the control mode with the highest priority.In addition,the switching stability between flow control and pressure control modes is analyzed,and the controller parameters that guarantee the switching stability are obtained.A comparative study is carried out based on a test rig with a 2-ton hydraulic excavator.The results show that the MELS controller can achieve the control functions of proper flow supplement,power limitation,and pressure cut-off,which has good stability performance when switching between different control modes.This research proposes the MELS control method that realizes the stability of multi-mode switching of the hydraulic system of mobile machinery under different working conditions.

Assessment of the 2 Conventional Physiotherapy Sessions Alone versus One Session Associated to Kabat’s Method in the Rehabilitation of Buruli Ulcer Patients (PUB), with Functional Limitations in the District Hospital of Akonolinga, Cameroon

Buruli ulcer (BU) is a chronic, indolent necrotizing disease of the skin and underlying tissues caused by Mycobacterium ulcerans, which may result in functional disability. This disease is the third most frequent infection after leprosy and tuberculosis caused by a mycobacterium. The main objective of this study was to determine comparative effectiveness of conventional physiotherapy alone to its association with Kabat’s method in the management of post-Buruli ulcer functional limitations. This was an interventional randomized, comparative and prospective study. It took place at the district hospital of Akonolinga from the 12th June to 12th September 2016. The study was included, post-Buruli ulcer patients who matched the eligibility criteria, were under treatment in the physiotherapy unit, and who accepted to participate in our study. A questionnaire on the socio-demographic profile of participants, the ulcer localization, the limitation stage, previous medical history and functional mobility assessment scale was administered to the subjects before and after the intervention which lasted for twelve weeks. We had 2 groups: the case group received association of Kabat technique to conventional physiotherapy and the control group received conventional physiotherapy alone. We had 22 patients, 11 patients for the experimental group, 11 patients for the control group. The mean age was 26.18 years, 54.5% of female participation, 68.2% of leg localization, 59.1% patients with severe limitations of functional mobility, and preference for traditional medication 95.5%. After evaluation of efficiency, we concluded that there was no statistically significant difference between the two treatment protocols. Further studies with larger sample size are recommended.

Review of Software Model-Checking Techniques for Dealing with Error Detection in Program Codes

Debugging software code has been a challenge for software developers since the early days of computer programming. A simple need, because the world is run by software. So perhaps the biggest engineering challenge is finding ways to make software more reliable. This review provides an overview of techniques developed over time in the field of software model checking to solve the problem of detecting errors in program code. In addition, the challenges posed by this technology are discussed and ways to mitigate them in future research and applications are proposed. A comprehensive examination of the various model verification methods used to detect program code errors is intended to lay the foundation for future research in this area.

CRC校验码软件生成技术原理分析

循环冗余校验(Cyclic Redundancy Check,CRC)具有检错能力强,运算简单,易于直接用硬件数字电路实现的特点。在完善CRC校验码生成原理模型的基础上,研究了信息系统传输带CRC校验码数据包的一般过程,提出了三种计算数据包CRC校验码的技术方法,在ADI公司DSP软件集成开发仿真测试环境中,设计了一组嵌入式程序,生成了符合ITU组织CRC16 ITU-T V.41标准的CRC校验码码表,分析并总结了CRC校验码码表元素的工程含义和应用方法,研究了两种计算数据包CRC校验码工程实现方法的技术特点,并验证了它们的正确性、一致性和有效性。

基于轻型自限制注意力的结构光相位及深度估计混合网络

相位提取与深度估计是结构光三维测量中的重点环节,目前传统方法在结构光相位提取与深度估计方面存在效率不高、结果不够鲁棒等问题。为了提高深度学习结构光的重建效果,本文提出了一种基于轻型自限制注意力(Light Self-Limited-Attention,LSLA)的结构光相位及深度估计混合网络,即构建一种CNN-Transformer的混合模块,并将构建的混合模块放入U型架构中,实现CNN与Transformer的优势互补。将所提出的网络在结构光相位估计和结构光深度估计两个任务上进行实验,并和其他网络进行对比。实验结果表明:相比其他网络,本文所提出的网络在相位估计和深度估计的细节处理上更加精细,在结构光相位估计实验中,精度最高提升31%;在结构光深度估计实验中,精度最高提升26%。该方法提高了深度神经网络在结构光相位估计及深度估计的准确性。

基于极限平衡法的危岩倾覆稳定性三维计算方法

目前危岩防治工作中,危岩稳定性评价主要以简化后的二维剖面作为计算模型。由于自然界中的危岩形态极不规则,采用二维剖面计算模型并不能真实反映危岩受力情况。为了研究危岩稳定性三维计算方法,在前人研究基础上,基于极限平衡理论,提出了由后缘裂缝抗拉强度控制的危岩倾覆稳定性三维计算公式,采用数值积分和空间几何方法给出了在危岩单体三维模型基础上求解危岩后缘岩体抗拉力、水压力及其力矩计算公式和实现流程。以三峡库区瞿塘峡吊嘴危岩为实例开展了应用,并通过数值分析进行了验证。通过不同形态危岩的三维稳定性分析,讨论了三维与二维稳定性计算结果的关系,对比发现危岩形态对稳定性计算结果有明显影响,三维计算较二维计算更准确和实用。

家蚕素斑品种菁松的茶斑限性定向转育

为在家蚕现行素斑品种菁松的幼虫发育早期进行雌雄性别鉴别,实现雌雄分养分缫差异化利用目的,用普斑限性品系云蚕7A的雌与茶斑品系Cb的雄杂交后,再分别与现行素斑品系菁松A、菁松B杂交,其后代连续数次回交素斑亲本后自交,结合分类选择进行个体和蛾区选择淘汰,将云蚕7A的普斑限性基因和Cb的茶斑基因转入现行素斑品种菁松中,定向转育得到菁A茶限和菁B茶限。结果表明:转育过程中,幼虫斑纹分化成颜色与形状易于分辨的茶斑与非茶斑2种类型,转育得到的菁A茶限和菁B茶限幼虫在3龄初期就会呈现茶斑颜色深浅明显不同的分化,能准确分辨雌雄,其虫蛹率分别为96.91%和96.40%,全茧量分别为1.62 g和1.56 g,茧层率分别为23.78%和23.26%,经济性状与其轮回亲本的差异较小,表现出健康好养、茧质优良等特性。研究结果可为创建特殊性状的育种材料、差异化利用雌雄蚕,以及降低雄蚕种繁育成本奠定基础。

基于BIM和知识图谱的自动审查方法

本文在设计合规性审查中引入知识图谱技术,提出以规范知识图谱为核心的自动审查系统。通过对中国规范及结构设计规则(以下统称为规范)分析,提出面向规范最小语义单元的规范知识图谱元结构,建立了反映建筑规范复杂语义逻辑元结构的链接规则,进而以元结构为基元提出了规范知识图谱的构建方法。通过从图谱中获取数据,驱动代码生成模块自动生成用于信息检索和审查的可执行规范审查代码,可实现BIM模型的自动审查。

国家安全战略视域下的美国对华制度制衡及影响

形成于21世纪初的制度制衡理论,实际上已成为后冷战时期美国外交政策特别是对华政策的主导理论之一。从美国国家安全战略的角度,可以发现自2001年以来美国历届政府制约中国的因素不断上升,其对华实施的制度制衡方略经历了从包容性向排他性的转变。小布什政府采用试图将中国纳入美国主导的国际体系的包容性制度制衡方略,奥巴马政府则采用两面下注的混合型对华包容性制度制衡方略。特朗普政府主要利用美国国内法律和制度对华进行排他性制度制衡,而拜登政府采用“小圈子”对华进行排他性制度制衡。拜登政府在高科技领域对华实行制度制衡,企图在某种程度上迟滞中国高科技发展,客观上却促使中国自立自强形成尽可能完整的高科技生产链,对美国自身高科技产业和国内经济也产生“反噬”效应,无法从根本上改变经济全球化大趋势。

石灰石露天矿高陡边坡稳定性计算分析

以西南某石灰石矿高陡边坡为研究对象,根据矿山边坡现状、边坡岩体结构和结构面发育特征因素对“现状边坡”和“终了边坡”进行地质分区,通过岩石室内物理力学试验获得坡体岩石物理力学参数,采用GSI法计算边坡岩体内摩擦角、粘聚力、变形模量和泊松比等参数,评估边坡地质强度特性,采用Morgenstern-Price极限平衡法分三种荷载工况分别计算“现状边坡”和“终了边坡”各分区稳定性系数。经分析,该石灰石矿各地质分区“现状边坡”和“终了边坡”稳定性好,采场边坡参数设计合理,可为矿山扩产安全设施设计和安全生产提供参考。