基于控制流的Mobile Safe Ambients演算的静态分析策略

在Mobile Safe Ambients演算进程的拓扑结构抽象表示基础上,通过识别可被激活的移动原语和通讯原语,计算系统运行的所有动态进程拓扑结构,并在文法规则中显示地标识约束名字和变量,使分析结果在α变换下保持不变.该策略可被应用于静态分析和验证基于Mobile Safe Ambients演算描述的并行与分布式系统的动态行为及属性.

基于网络演算的复杂产品系统供应商风险度量

复杂产品系统研制过程中供应商之间协同设计制造复杂性高,风险通过供应商间的协作关系相互作用和传导。面向复杂产品系统,构建供应商层次网络,考虑供应商风险累积与风险应对及时性的交互影响,通过引入通信领域网络演算理论,基于积压和时延性能指标刻画风险的特征,将不确定的供应商风险量化问题转化为最坏边界求值问题,实现风险的确界度量。以航空复杂产品系统为例对模型进行验证,可以辨识供应商在协同研制过程中面临的重要风险,为复杂产品系统供应商风险管理提供参考依据。

Exploring the relationship between ambient sulfur dioxide and semen quality parameters:A systematic review and meta-analysis

Objective:To investigate the relationship between ambient sulfur dioxide(SO2)exposure and semen quality parameters.Methods:A systematic literature search was conducted to identify relevant studies investigating the association between SO2 exposure and semen quality parameters.This search encompassed the timeframe from January 2000 to May 2023 and included electronic databases such as Web of Science,Google Scholar,PubMed,Cochrane,and Scopus.Pooled effect estimates with 95%confidence intervals(CI)were calculated using percent changes(PC).The meta-analysis included seven studies with 6711 participants and 15087 semen samples.Results:The results revealed a significant negative association between ambient SO2 exposure and certain semen quality parameters.In particular,SO2 exposure was associated with a significant decrease in progressive motility(PC=0.032;95%CI:-0.063 to-0.001;P=0.044)and sperm concentration(PC=-0.020;95%CI:-0.036 to-0.005;P=0.012).However,no statistically significant associations were observed for total sperm count(PC=-0.038;95%CI:-0.079 to 0.003;P=0.070),seminal fluid volume(PC=-0.009;95%CI:-0.048 to-0.030;P=0.662)and sperm motility(PC=-0.17;95%CI:-0.363 to 0.022;P=0.830).In addition,the results of the subgroup analysis revealed specific variables that were associated with the decrease in relevant sperm parameters.Conclusions:This systematic review and meta-analysis provides compelling evidence supporting a consistent negative association between exposure to ambient SO2 and semen quality parameters.

大湖演算模型在裕溪河流域的适用性分析

为探究大湖演算模型在裕溪河流域是否适用,采用大湖模型和误差自回归模型,对2020年汛期裕溪河闸闸上水位一次涨水过程进行模拟研究,发现大湖模型对该流域的洪峰模拟精度较高,对水位的整体涨落过程预测较好,经过实时误差修正后,模型精度进一步得到提升。结果表明,大湖模型在裕溪河流域有一定的适用性,可为裕溪河流域今后防洪调度预报工作提供参考。

网络入侵微分方程正则化反演算法仿真

为了保障网络运行安全,维护网络运行环境,提出基于20-sim软件的网络入侵微分方程反演算法。引入微分方程,在20-sim平台内实现网络入侵模型的构建;通过模型奇点计算,明确网络入侵行为的蔓延程度以及网络入侵行为的扩散趋势。为优化网络入侵模型构建的精准度,引入正则化反演算法,通过对模型构造数据的正则化处理、模型约束目标函数分析,实现反演算法中正则化因子的自适应调节;将正则化反演因子代入反演方程中,实现模型参数向量的推导;根据反演参数推导结果,对网络入侵模型实施纠错与优化。实验结果表明,所提方法能够在较短耗时的前提下,实现网络入侵行为的精准分析,对互联网技术的发展具有重大意义。

Interception of Layered LP-N and HLP-N at Ambient Conditions by Confined Template

We propose a feasible strategy of intercepting the layered polymeric nitrogen(LP-N)and hexagonal layered polymeric nitrogen(HLP-N)at ambient conditions by using the confinement templates.The stable mechanism of confined LP-N and HLP-N at ambient conditions is revealed.

Changes on Stroke Burden Attributable to Ambient Fine Particulate Matter in China

Objective In recent decades,China has implemented a series of policies to address air pollution.We aimed to assess the health effects of these policies on stroke burden attributable to ambient fine particulate matter(PM_(2.5)).Methods Joinpoint regression was applied to explore the temporal tendency of stroke burden based on data from the Global Burden of Disease 2019 study.Results The age-standardized rates of disability-adjusted life year(DALY)for stroke attributable to ambient PM2.5 in China,increased dramatically during 1990-2012,subsequently decreased at an annual percentage change(APC)of-1.98[95% confidence interval(CI):-2.26,-1.71]during 2012-2019.For ischemic stroke(IS),the age-standardized DALY rates doubled from 1990 to 2014,and decreased at an APC of-0.83(95%CI:-1.33,-0.33)during 2014-2019.Intracerebral hemorrhage(ICH)showed a substantial increase in age-standardized DALY rates from 1990 to 2003,followed by declining trends,with APCs of-1.46(95%CI:-2.74,-0.16)during 2003-2007 and-3.33(95%CI:-3.61,-3.06)during 2011-2019,respectively.Conversely,the age-standardized DALY rates for subarachnoid hemorrhage(SAH)generally declined during 1990-2019.Conclusion Our results clarified the dynamic changes of the ambient PM_(2.5)-attributable stroke burden in China during 1990-2019,highlighting the health effects of air quality improvement policies.

The clutch size,incubation behavior of Reeves’s Pheasant(Syrmaticus reevesii) and their responses to ambient temperature and precipitation

Weather conditions play a pivotal role in embryo development and parental incubation costs,potentially impacting the clutch size and incubation behavior of birds.Understanding these effects is crucial for bird conservation.Reeves’ s Pheasant(Syrmaticus reevesii) is a threatened species endemic to China,which is characterized by female-only incubation.However,there is a lack of information regarding the impact of weather conditions on clutch size and incubation behavior in this species.Using satellite tracking,we tracked 27 wild female Reeves’ s Pheasants from 2020 to 2023 in Hubei Province,China.We explored their clutch size and incubation behavior,as well as their responses to ambient temperature and precipitation.Clutch size averaged 7.75 ±1.36,had an association with average ambient temperature and average daily precipitation during the egglaying period,and was potentially linked to female breeding attempts.Throughout the incubation period,females took an average of 0.73 ±0.46 recesses every 24 h,with an average recess duration of 100.80 ±73.37 min and an average nest attendance of 92.98 ±5.27%.They showed a unimodal recess pattern in which nest departures peaked primarily between 13:00 and 16:00.Furthermore,females rarely left nests when daily precipitation was high.Recess duration and nest attendance were influenced by the interaction between daily mean ambient temperature and daily precipitation,as well as day of incubation.Additionally,there was a positive correlation between clutch size and recess duration.These results contribute valuable insights into the lifehistory features of this endangered species.

江-湖-蓄滞洪区聚合调洪演算模型研究与应用

为提高纳入蓄滞洪区的河道洪水模拟精度和效率,更大限度发挥蓄滞洪区的综合利用效益,建立了以大湖模型为基础的江-湖-蓄滞洪区聚合调洪演算模型,提出考虑蓄滞洪区运用影响的洪水模拟方案。以鄱阳湖区2020年实际来水作为边界条件,以2020年7月1日为起始时刻开展单退圩堤启用与否工况下的洪水实时调度模拟。模拟结果表明:构建的江-湖-蓄滞洪区聚合调洪演算模型可以合理快速地模拟蓄滞洪区启用时的鄱阳湖水位变化过程。鄱阳湖区单退圩堤启用分洪效果显著,能够降低湖区水位0.2~0.3 m,模拟结果与实际过程相近,如不分洪,湖口站最高水位将超过保证水位。研究成果可为蓄滞洪区调度和水旱灾害防御提供更精确的水文信息支持。

Ambient-Condition Strategy for Production of Hollow Ga_(2)O_(3)@rGO Crystalline Nanostructures Toward Efficient Lithium Storage

Crystallineγ-Ga_(2)O_(3)@rGO core-shell nanostructures are synthesized in gram scale,which are accomplished by a facile sonochemical strategy under ambient condition.They are composed of uniformγ-Ga_(2)O_(3)nanospheres encapsulated by reduced graphene oxide(rGO)nanolayers,and their formation is mainly attributed to the existed opposite zeta potential between the Ga_(2)O_(3)and rGO.The as-constructed lithium-ion batteries(LIBs)based on as-fabricatedγ-Ga_(2)O_(3)@rGO nanostructures deliver an initial discharge capacity of 1000 mAh g^(-1)at 100 mA g^(-1)and reversible capacity of 600 mAh g^(-1)under 500 mA g^(-1)after 1000 cycles,respectively,which are remarkably higher than those of pristineγ-Ga_(2)O_(3)with a much reduced lifetime of 100 cycles and much lower capacity.Ex situ XRD and XPS analyses demonstrate that the reversible LIBs storage is dominant by a conversion reaction and alloying mechanism,where the discharged product of liquid metal Ga exhibits self-healing ability,thus preventing the destroy of electrodes.Additionally,the rGO shell could act robustly as conductive network of the electrode for significantly improved conductivity,endowing the efficient Li storage behaviors.This work might provide some insight on mass production of advanced electrode materials under mild condition for energy storage and conversion applications.

Electro-assisted photocatalytic reduction of CO_(2) in ambient air using Ag/TNTAs at the gas-solid interface

The direct conversion of atmospheric CO_(2) into fuel via photocatalysis exhibits significant practical application value in advancing the carbon cycle.In this study,we established an electro-assisted photocatalytic system with dual compartments and interfaces,and coated Ag nanoparticles on the titanium nanotube arrays(TNTAs)by polydopamine modification.In the absence of sacrificial agent and alkali absorption liquid conditions,the stable,efficient and highly selective conversion of CO_(2) to CO at the gas-solid interface in ambient air was realized by photoelectric synergy.Specifically,with the assistance of potential,the CO formation rates reached 194.9μmol h^(−1) m^(−2) and 103.9μmol h^(−1) m^(−2) under ultraviolet and visible light irradiation,respectively;the corresponding CO_(2) conversion rates in ambient air were 30%and 16%,respectively.The excellent catalytic effect is mainly attributed to the formation of P–N heterojunction during the catalytic process and the surface plasmon resonance effect.Additionally,the introduction of solid agar electrolytes effectively inhibits the hydrogen evolution reaction and improves the electron utilization rate.This system promotes the development of photocatalytic technology for practical applications and provides new insights and support for the carbon cycle.

基于混合相态降雨粒子的降雨分布反演算法

针对深对流降雨垂直结构特点,并考虑SAR降雨测量的正演模型(即归一化雷达散射截面模型)忽略冻结高度附近过冷水的情况,导致SAR降雨分布反演算法反演结果低估的问题,提出了一种基于混合相态降雨粒子的降雨分布反演算法。通过分析计算混合相态降雨粒子的散射衰减特性,并利用三层结构的降雨分布模型重新构建了反演算法公式。仿真结果表明,在对流降雨分布模型的配置下,提高了降雨分布反演算法的精度。

Climate change,ambient air pollution,and students'mental health

The impact of global climate change and air pollution on mental health has become a crucial public health issue.Increased public awareness of health,advancements in medical diagnosis and treatment,the way media outlets report environmental changes and the variation in social resources affect psychological responses and adaptation methods to climate change and air pollution.In the context of climate change,extreme weather events seriously disrupt people's living environments,and unstable educational environments lead to an increase in mental health issues for students.Air pollution affects students'mental health by increasing the incidence of diseases while decreasing contact with nature,leading to problems such as anxiety,depression,and decreased cognitive function.We call for joint efforts to reduce pollutant emissions at the source,improve energy structures,strengthen environmental monitoring and governance,increase attention to the mental health issues of students,and help student groups build resilience;by establishing public policies,enhancing social support and adjusting lifestyles and habits,we can help students cope with the constantly changing environment and maintain a good level of mental health.Through these comprehensive measures,we can more effectively address the challenges of global climate change and air pollution and promote the achievement of the United Nations Sustainable Development Goals.

口泉河(朔州段)河道洪水调洪演算计算分析

为合理开展山西省朔州市口泉河河道综合治理与生态修复工程,需研究计算朔州市境内口泉河河段洪水情况,进而采取工程措施改善河段输水条件。文章采用水文手册两种计算方法计算设计断面天然洪水,根据河段3座水库现行运行调度规程进行河道洪水调洪演算,采用水文手册推求口泉河河段洪水,并运用水库水量平衡方程计算水库水位,使得调洪演算成果合理可靠,从而能更好的对设计断面的设计洪峰流量进行计算分析。计算分析设计断面设计洪峰流量。通过计算得到设计断面不同频率调洪成果,所得结果对沿岸的防洪安全起到积极作用。研究结论可为该流域治理河道工程建设、水库日常调度及两岸防洪安全体系的建立提供重要参考和依据。

小型水库调洪演算及日常管养工作研究

以晋江市东山水库为例,根据小型水库调查测绘情况,梳理水库设施存在的问题并分析原因,提出相应的措施建议.对试运行的小型水库山围塘日常管理和养护制度进行评估分析,提出更科学合理、契合当地实际的日常管养方案,研究维修养护部分(除草、灭蚁、灌浆)市场化运作方案及成本核算等.其成果可为其他地区小型水库山塘调洪演算及日常管养工作提供借鉴参考.

多设备源项区域监测反演算法初步研究

在一些设备室和实验室中,可能存在同一区域布置多个带源项设备的情况。为了对同一区域内多个设备中的源项同时进行监测,提出了一种多设备源项的区域监测方法。该方法通过蒙特卡罗程序,确定各设备材料成分、几何尺寸及探测系统相关的响应矩阵,利用数值模拟或实验测量得到某工况下各探测器的探测响应计数,利用反演算法求解各设备的源项,实现对同一区域内多个源项的监测。数值模拟实验表明,该方法是可行的,能够实现对于区域内重点关注源项设备的监测,可缓解探测器中干扰的问题。

基于网络演算的显示拥塞通知性能分析

网络拥塞控制是提升网络性能的重要手段,其研究受到广泛关注。显示拥塞通知(Explicit Congestion Notification, ECN)机制作为一种有效的网络拥塞控制协议已经开始在网络中部署。现有的ECN研究工作大多集中在交换机阈值调优算法上,缺少相关的理论研究,因而无法对算法设置的交换机阈值的最优性进行有效评估。通过利用网络演算分析交换机阈值和网络性能的关系,针对交叉流与目标流同时进入交换机并且不同流具有不同优先级的场景,提出一种分析网络性能边界的算法。实验结果表明,在不同场景下分析得到的性能是仿真性能的有效边界,验证了分析算法的准确性。

基于Excel的拦沙工程调洪演算程序编制

将调洪演算过程重构成时刻末水位与时刻末库容的函数关系,通过水量平衡法以及库容曲线法2种计算方法作差实现试算过程,利用Excel内置的“规划求解”功能完成调洪演算试算的关键环节,通过VBA编程调用“规划求解”命令,采取循环结构,完成拦沙坝调洪演算的全流程自动化计算,可保证计算过程稳定、计算结果正确,同时提高程序运行效率。初始输入条件以及其他函数过程采用插值表形式输入,通过VBA编程自定义插值函数引用,延拓程序的适用面。全过程基于Excel实现,该方法在保证拦沙坝调洪演算精度及效率的前提下,操作简单、易于推广。

Association between Low Ambient Temperature and the Severity of Acute Ischemic Stroke

Objective:To explore the relationships among ambient temperature,ischemic stroke severity,and blood pressure.Methods:Meteorological data(2005–2015)were collected from the Guangzhou Meteorological Data Service.Ischemic stroke patients from the Department of Neurology of the First Affiliated Hospital,Sun Yat-sen University were retrospectively evaluated,each winter from 2005 to 2015.Patient demographics,baseline measurements,and National Institute of Health Stroke Scale(NIHSS)score were evaluated.Results:Three hundred sixty-two patients were included.The median latency from symptom onset to admission was 2 d(IQR:1–3 d).During recruitment,the highest and lowest temperatures were 39℃and 1.3℃,respectively.Hypertension was the most common comorbidity(75.1%).NIHSS scores at admission and discharge were higher in the cold-exposed group than in the controls regardless of the average temperature at admission.In addition,systolic and diastolic blood pressure values at admission were higher in the cold-exposed group than in the controls.When stratified by hypertensive status,the average and minimum temperatures at admission were negatively associated with systolic and diastolic blood pressure values in hypertensive patients.Reductions in the average and minimum temperatures at symptom onset were associated with more severe stroke.Conclusion:Ischemic stroke patients with symptom onset in winter had higher systolic blood pressure values and more serious neurologic deficits upon admission.

Link Budget and Enhanced Communication Distance for Ambient Internet of Things

Backscatter communications will play an important role in connecting everything for beyond 5G(B5G)and 6G systems.One open challenge for backscatter communications is that the signals suffer a round-trip path loss so that the communication distance is short.In this paper,we first calculate the communication distance upper bounds for both uplink and downlink by measuring the tag sensitivity and reflection coefficient.It is found that the activation voltage of the envelope detection diode of the downlink tag is the main factor limiting the back-scatter communication distance.Based on this analysis,we then propose to implement a low-noise amplifier(LNA)module before the envelope detection at the tag to enhance the incident signal strength.Our experimental results on the hardware platform show that our method can increase the downlink communication range by nearly 20 m.