基于Mobile Ambients的网络实时模拟方法

在通信协议中,很多性质都与时间相关。为了研究通信协议的时间性质,需要一种能够描述时间的形式化方法。在Mobile Ambients的基础上,用时间对其做扩展,提出一种新的形式系统——类型化实时Mobile Ambients演算。并采用实时Mobile Ambients描述了三次握手协议,结果表明了该方法的可行性。

基于控制流的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.

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.

Predicate μ-Calculus for Mobile Ambients

Ambient logics have been proposed to describe properties for mobile agentswhich may evolve over time as well as space. This paper takes a predicate-based approach toextending an ambient logic with recursion, yielding a predicate μ-calculus in which fixpointformulas are formed using predicate variables. An algorithm is developed for model checkingfinite-control mobile ambients against formulas of the logic, providing the first decidabilityresult for model checking a spatial logic with recursion.

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 Performance Evolution Characteristics of Insitu Concrete at the Permafrost Regions

This study aimed to investigate the performance evolution characteristics of concrete under permafrost ambient temperatures and to explore methods to mitigate the thermal perturbation by concrete on the permafrost environment.A program was designed to investigate the properties of various concretes at three curing conditions.The compressive strength development pattern of each group was evaluated and the concrete's performance was characterized by compressive strength damage degree,hydration temperature and SEM analysis in a low temperature environment.The experimental results show that the incorporation of fly ash alone or incombination with other admixtures in concrete under low-temperature curing does not deteriorate its microstructure,and at the same time,it can slow down the hydration rate of cement and significantly reduce the exothermic heat of hydration of concrete.These findings are expected to provide valuable references for the proportioning design of concrete in permafrost environments.

Fluorescent,multifunctional anti-counterfeiting,fast response electrophoretic display based on TiO_(2)/CsPbBr_(3)composite particles

Traditional optical anti-counterfeiting(AC)is achieved by static printed images,which makes them susceptible to lower levels of security and easier replication.Therefore,it is essential to develop AC device with dynamic modulation for higher security.Electrophoretic display(EPD)has the advantages of low power consumption,high ambient contrast ratio,and capability of showing dynamic images which is suitable for dynamic AC applications.Herein,we prepared a dynamical AC device based on a fluorescent EPD,and achieving the image switch between black,white,and green fluorescence states under the dual-mode driving(electronic field and Uv light).We loaded perovskite quantum dots(CsPbBr3)onto the TiO_(2) particles and further prepared fluorescent electrophoretic particles TiO_(2)/CsPbBr_(3)-3-PLMA(TiO/CPB-3)by grafting and polymerizing method.In addition,We fabricated the AC devices based on the fluorescent EPD,which exhibits the multifunctional AC,where the fluorescent EPD has a fast response time of 350 ms,a high contrast ratio of 17,and bright green fluorescence.This prototype demonstrates a new way for future dynamic AC and identification.

Bio-inspired micropatterned thermochromic hydrogel for concurrent smart solar transmission and rapid visible-light stealth at all-working temperatures

Thermochromic hydrogels exhibit a smart capacity for regulating solar spectrum transmission,enabling automatically change their transmissivity in response to the ambient temperature change.This has great importance for energy conservation purposes.Military and civilian emergency thermochromic applications require rapid visible-light stealth(VLS);however,concurrent smart solar transmission and rapid VLS is yet to be realized.Inspired by squid-skin,we propose a micropatterned thermochromic hydrogel(MTH)to realize the concurrent control of smart solar transmittance and rapid VLS at all-working temperatures.The MTH possesses two optical regulation mechanisms:optical property regulation and optical scattering,controlled by temperature and pressure,respectively.The introduced surface micropattern strategy can arbitrarily switch between normal and diffuse transmission,and the VLS response time is within 1 s compared with previous~180 s.The MTH also has a high solar-transmission regulation range of 61%.Further,the MTH preparation method is scalable and cost-effective.This novel regulation mechanism opens a new pathway towards applications with multifunctional optical requirements.

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.

Activation Distance and Capacity Analysis for Ambient Backscatter Communications with Sensitivity Constraint and Beamforming

Circuit sensitivity of sensors or tags without battery is one practical constraint for ambient backscatter communication systems.This letter considers using beamforming to reduce the sensitivity constraint and evaluates the corresponding performance in terms of the tag activation distance and the system capacity.Specifically,we derive the activation probabilities of the tag in the case of single-antenna and multi-antenna transmitters.Besides,we obtain the capacity expressions for the ambient backscatter communication system with beamforming and illustrate the power allocation that maximizes the system capacity when the tag is activated.Finally,simulation results are provided to corroborate our proposed studies.

Systematical High-Pressure Study of Praseodymium Nitrides in N-Rich Region

We investigate high-pressure phase diagrams of Pr–N compounds by proposing five stable structures(PnmaPr N,Ⅰ4/mmm-PrN_(2),C2/m-PrN_(3),P■-PrN_(4),and R3-PrN_(8))and two metastable structures(P■-PrN_(6)and P■-PrN_(10)).The P■-PrN_(6)with the N14-ring layer and R3-PrN_(8)with the N18-ring layer can be quenched to ambient conditions.For the P■-PrN_(10),the N_(22)-ring layer structure transfers into infinite chains with the pressure quenched to ambient pressure.Remarkably,a novel polynitrogen h R8-N designed by the excision of Pr atoms from R3-PrN_(8)is obtained and can be quenched to ambient conditions.The N-rich structures of P■-PrN_(6),R3-PrN_(8),c-PrN_(10)and the solid pure nitrogen structure exhibit outstanding properties of energy density and explosive performance.

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.

Awake rabbit model of ischemic spinal cord injury with delayed paraplegia:The role of ambient temperature

Background:Paraplegia after spinal cord ischemia is a devastating condition in the clinic.Here,we develop an awake rabbit model of spinal cord ischemia with delayed paraplegia and explore the influence of ambient temperature on the outcomes after injury.Methods:A total of 47 male rabbits were involved in the present study.Transient spinal cord ischemia was induced by occluding the infrarenal abdominal aorta of awake rabbits at different ambient temperatures.To find the optimal conditions for developing delayed paraplegia,hindlimb motor function after ischemia was evaluated between experiments.Results:The onset and magnitude of ischemic injury varied with the ambient temperature maintained during the peri-i schemia period.More serious spinal cord injury occurred when ischemia was induced at higher temperatures.At 18°C,25-minute ischemia resulted in 74%of rabbits developing delayed paraplegia.At a temperature of 28°C or higher,most of the animals developed acute paraplegia immediately.While at 13°C,rabbits usually regained normal motor function without paraplegia.Conclusion:This awake rabbit model is highly reproducible and will be helpful in future studies of delayed paraplegia after spinal cord ischemia.The ambient temperature must be considered while using this model during investigation of therapeutic interventions.

Impact of Air Pollutants on Lung Function and Inflammatory Response in Asthma in Shanghai

Objective Air pollution is a leading public health issue.This study investigated the effect of air quality and pollutants on pulmonary function and inflammation in patients with asthma in Shanghai.Methods The study monitored 27 asthma outpatients for a year,collecting data on weather,patient self-management[daily asthma diary,peak expiratory flow(PEF)monitoring,medication usage],spirometry and serum markers.To explore the potential mechanisms of any effects,asthmatic mice induced by ovalbumin(OVA)were exposed to PM_(2.5).Results Statistical and correlational analyses revealed that air pollutants have both acute and chronic effects on asthma.Acute exposure showed a correlation between PEF and levels of ozone(O_(3))and nitrogen dioxide(NO_(2)).Chronic exposure indicated that interleukin-5(IL-5)and interleukin-13(IL-13)levels correlated with PM_(2.5)and PM_(10)concentrations.In asthmatic mouse models,exposure to PM_(2.5)increased cytokine levels and worsened lung function.Additionally,PM_(2.5)exposure inhibited cell proliferation by blocking the NF-κB and ERK phosphorylation pathways.Conclusion Ambient air pollutants exacerbate asthma by worsening lung function and enhancing Th2-mediated inflammation.Specifically,PM_(2.5)significantly contributes to these adverse effects.Further research is needed to elucidate the mechanisms by which PM_(2.5)impacts asthma.

Clinical, scientific and stakeholders’ caring about identity perturbations

In this editorial we comment on the article by Zhang et al published in the recent issue of the World Journal of Psychiatry.We focus on identity diffusion,identity perturbations,their origin and developmental pathways.This is an upcoming problem in the society as not only school children are affected.Adolescents and young people suffer from uncertainty in gender identity,in self-image,migration effects due to chronic crises caused by war,pandemic disruptions or climate change.We show how such chronic uncertainty can be cared for,treated,and contained.The key is affective holding,reflection and to provide adequate affective mentalizing in a close concomitant way.These key features also depend on ambient conditions,such as psychotherapeutic care.In a qualitative interview study carried out in a cyclical research design with a comparative analysis on the basis of thematic coding using Grounded Theory Methodology we found institu-tionalized defenses in health policies.Professionals request better training and adequat academic knowledge as well as research into unresolved areas for improvement of the ambient conditions for adequat development of the self.Practice points for further clinical and scientific development are given and discussed.

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.

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.

义博会、正博会、法兰克福消费品展的国际化战略对比研究

义博会、正博会和法兰克福春季消费品展(Ambiente)同为消费品类展会,水平和成效却存在显著差异。为探究其中问题并找寻解决方案,本文聚焦三大会展的国际化战略展开对比研究,旨在为中国会展业实现可持续发展谋求更优出路,推动中国经济贸易国际化发展。从会展战略定位可以得知,正博会的定位为区域内B2C展会;义博会则定位为“买全球、卖全球”商贸平台;法兰克服春季消费品展之所以能占领同类会展全球龙头地位,得益于其高瞻远瞩的全球化视野及对平台责任的坚定落实。据此,本文提出打造世界级会展品牌的相关对策建议:培育强有力的组展商,平衡与政府、协会的合作关系;科技赋能商品,创新驱动发展,加快发展新质生产力;借助区域优势,构建贸易关系网络,充分发挥平台效应等,仅供参考。

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.