检索结果-南通市图书馆

同方期刊数据库

Semantic theories of programs with nested interrupts

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2015年第3期9卷 331-345页

作者： Yanhong HUANG Jifeng HE Huibiao zhu Yongxin ZHAO jianqi SHI Shengchao QIN National Trusted Embedded Software Engineering Technology Research Center East China Normal University Shanghai 200062 China Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai 200062 China School of Computer Science and Software Engineering Shenzhen University Shenzhen 518060 China

In the design of dependable software for embed- ded and real-time operating systems, time analysis is a cru- cial but extremely difficult issue, the challenge of which is exacerbated due to the randomness and nondeterminism of interrupt handling behaviors. Thus research into a theory that integrates interrupt behaviors and time analysis seems to be important and challenging. In this paper, we present a pro- gramming language to describe programs with interrupts that is comprised of two essential parts： main program and inter- rupt handling programs. We also explore a timed operational semantics and a denotational semantics to specify the mean- ings of our language. Furthermore, a strategy of deriving de- notational semantics from the timed operational semantics is provided to demonstrate the soundness of our operational se- mantics by showing the consistency between the derived de- notational semantics and the original denotational semantics.

关键词： embedded and real-time operating systems in-terrupts operational semantics denotational semantics semantics linking

维普期刊数据库

Observation of acoustic hybrid topological phases induced by the p-d orbital interactions

在线全文

学校读者我要写书评

暂无评论

Science China(Physics,Mechanics & Astronomy) 2025年第1期Mechanics & Astronomy) .卷 132-139页

作者： Xiao Xiang Feng Gao Yu-Gui Peng Peng Wu Zong-Lin Li Xue-Feng zhu School of Physics and Innovation Institute Huazhong University of Science and Technology

In spinless systems,growing attention has recently been attracted to synthetic gauge fields,which redefine the fundamental crystal symmetries by utilizing the projective algebraic ***,synthetic gauge fields have been commonly investigated in single orbital systems,and explorations on hybrid orbitals remain elusive in ***,we report the experimental observation of hybrid topological phases induced by hybrid synthetic gauge flux,which is formed by the interaction between p and d orbitals embedded in acoustic *** breaking the translation symmetries of Lxand/or Ly,we unambiguously demonstrate the first-order M?bius edge states and higher-order corner *** work establishes a platform for seeking exotic topological phases induced by hybrid-orbitals interactions and initializing the framework of hybrid-orbitalsrelated topological *** applications can be anticipated in scenarios such as high-quality sensing and robust wave trapping due to the stepwise energy distribution of the hybrid topological phase.

关键词： topological insulator synthetic gauge field projective symmetry corner states

Magnetic resonance imaging evaluation and nuclear receptor binding SET domain protein 1 mutation in the Sotos syndrome with attention-deficit/hyperactivity disorder

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

World Journal of Clinical Cases 2025年第2期13卷 5-9页

作者： Wei zhu Shanghai XiRong Information Science and Technology Co. LtdNational Science and Technology ParkSchool of Life Sciences and TechnologyTongji UniversityShanghai 200092China

Sotos syndrome is characterized by overgrowth features and is caused by alterations in the nuclear receptor binding SET domain protein 1 ***/hyperactivity disorder(ADHD)is considered a neurodevelopment and psychiatric disorder in *** characteristics and clinical presentation could play an important role in the diagnosis of Sotos syndrome and *** resonance imaging(MRI)has been used to assess medical images in Sotos syndrome and *** images process is considered to display in MRI while wavelet fusion has been used to integrate distinct images for achieving more complete information in single image in this *** the future,genetic mechanisms and artificial intelligence related to medical images could be used in the clinical diagnosis of Sotos syndrome and ADHD.

关键词： Sotos syndrome Attention-deficit/hyperactivity disorder Genetic mutation Magnetic resonance imaging Wavelet fusion

Nitrogen addition promotes soil carbon accumulation globally

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China Life Sciences 2025年第1期 284-293页

作者： Xuemei Yang Suhui Ma Erhan Huang Danhua Zhang Guoping Chen Jiangling zhu Chengjun Ji Biao zhu Lingli Liu Jingyun Fang Institute of Ecology College of Urban and Environmental Sciencesand Key Laboratory for Earth Surface Processes of the Ministry of EducationPeking University Ministry of Education Key Laboratory for Transboundary Ecosecurity of Southwest China School of Ecology and Environmental ScienceYunnan University State Key Laboratory of Vegetation and Environmental Change Institute of BotanyChinese Academy of Sciences

Soil is the largest carbon(C) reservoir in terrestrial ecosystems and plays a crucial role in regulating the global C cycle and climate *** nitrogen(N) deposition has been widely considered as a critical factor affecting soil organic carbon(SOC) storage, but its effect on SOC components with different stability remains unclear. Here, we analyzed extensive empirical data from 304 sites worldwide to investigate how SOC and its components respond to N addition. Our analysis showed that N addition led to a significant increase in bulk SOC(6.7%), with greater increases in croplands(10.6%) and forests(6.0%) compared to grasslands(2.1%). Regarding SOC components, N addition promoted the accumulation of plant-derived C(9.7%–28.5%) over microbial-derived C(0.2%), as well as labile(5.7%) over recalcitrant components(–1.2%), resulting in a shift towards increased accumulation of plant-derived labile C. Consistently, N addition led to a greater increase in particulate organic C(11.9%) than mineral-associated organic C(3.6%), suggesting that N addition promotes C accumulation across all pools, with more increase in unstable than stable pools. The responses of SOC and its components were best predicted by the N addition rate and net primary productivity. Overall, our findings suggest that N enrichment could promote the accumulation of plant-derived and non-mineral associated C and a subsequent decrease in the overall stability of soil C pool, which underscores the importance of considering the effects of N enrichment on SOC components for a better understanding of C dynamics in soils.

关键词：

同方期刊数据库

Hengqin:Gateway for Going Global

在线全文

学校读者我要写书评

暂无评论

China Today 2025年第1期74卷 50-53页

作者： zhu JIE zhuhai Dahengqin Company Limited

The synergy and complementary strengths between Macao and Hengqin can create an important channel for Chinese companies to *** enterprises have placed much emphasis on going global in recent years,from traditional manufacturing giants to emerging tech unicorns,and from traditional sectors to emerging industries like electric vehicles,lithium batteries,and photovoltaic *** enthusiasm to internationalize reached unprecedented levels in 2024.

关键词： companies Gateway lithium

Sequence-activated chemiluminescence probes: programmable illumination for high-contrast in vivo sensing and imaging

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China Chemistry 2025年第01期 26-34页

作者： Yutao Zhang Juan Li Wei-Hong zhu Zhiqian Guo Shanghai Key Laboratory of Functional Materials Chemistry Joint International Research Laboratory of Precision Chemistry and Molecular Engineering Institute of Fine Chemicals School of Chemistry and Molecular Engineering East China University of Science and Technology State Key Laboratory of Bioreactor Engineering Shanghai Frontier Science Research Base of Optogenetic Techniques for Cell MetabolismEast China University of Science & Technology

Sequence-activated chemiluminescence(CL) technique offers a unique approach to detecting specific biomolecules or cellular events with high sensitivity and spatial resolution. The fundamental principle behind sequence-activated CL probes involves tailoring highly-controllable CL signals in response to specific sequences or events of interest, thus enabling high-contrast signals under complex physiological conditions. This sequential activation could be triggered by enzymes, reactive oxygen species(ROS), biothiols or changes in the microenvironment. These unique sequence-activated CL probes bestow several advantages, including minimal background, deep-tissue penetration, and the ability of non-invasive or minimally invasive detection. The sequence-activated CL techniques represent a significant advancement in molecular imaging and diagnostics. In this mini-review, we focus on the latest developments in sequential CL probes, addressing the technical challenges and discussing the future trajectory by harnessing CL signaling and molecular recognition.

关键词：

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

光的分支流现象散开角度的研究

四川师范大学学报（自然科学版） 2024年第3期47卷 359-364页

作者：陈吉苏亚荣陈宇鑫唐正伟刘科祝建琦四川师范大学物理与电子工程学院四川成都610101

光支流现象是激光在肥皂膜介质中传播而产生的一种特殊的光散射现象.肥皂膜作为可以产生光支流现象的介质未来有望成为新型实验平台,因此,研究光支流现象与肥皂膜之间的关系具有重要的科学意义.系统研究不同条件下的光支流散开角度的统... 详细信息

光支流现象是激光在肥皂膜介质中传播而产生的一种特殊的光散射现象.肥皂膜作为可以产生光支流现象的介质未来有望成为新型实验平台,因此,研究光支流现象与肥皂膜之间的关系具有重要的科学意义.系统研究不同条件下的光支流散开角度的统计分布规律,结果表明光支流的散开角度呈高斯分布.实验中,通过改变激光入射角度,发现光支流的形态和散开角度与液膜的厚度分布、变化幅度的大小等因素有关.此外,光支流的散开角度还与皂液中蔗糖质量浓度成正相关.该研究结果将为光支流现象在医学诊断、液膜检测等方面的应用提供了更多可能性.

关键词：光支流散开角度高斯分布影响因素

维普期刊数据库

A new horizon for neuroscience:terahertz biotechnology in brain research

在线全文

学校读者我要写书评

暂无评论

Neural Regeneration Research 2025年第2期20卷 309-325页

作者： Zhengping Pu Yu Wu Zhongjie zhu Hongwei Zhao Donghong Cui Shanghai Key Laboratory of Psychotic Disorders Shanghai Mental Health CenterShanghai Jiao Tong University School of MedicineShanghaiChina Department of Psychiatry Kangci Hospital of JiaxingTongxiangZhejiang ProvinceChina Shanghai Synchrotron Radiation Facility Shanghai Advanced Research InstituteChinese Academy of SciencesShanghaiChina Key Laboratory of Interfacial Physics and Technology Shanghai Institute of Applied PhysicsChinese Academy of ScienceShanghaiChina National Facility for Protein Science in Shanghai Shanghai Advanced Research InstituteChinese Academy of SciencesShanghaiChina

Terahertz biotechnology has been increasingly applied in various biomedical fields and has especially shown great potential for application in brain *** this article,we review the development of terahertz biotechnology and its applications in the field of *** evidence indicates promising prospects for the use of terahertz spectroscopy and terahertz imaging techniques in the diagnosis of amyloid disease,cerebrovascular disease,glioma,psychiatric disease,traumatic brain injury,and myelin *** vitro and animal experiments have also demonstrated the potential therapeutic value of terahertz technology in some neuropsychiatric *** the precise underlying mechanism of the interactions between terahertz electromagnetic waves and the biosystem is not yet fully understood,the research progress in this field shows great potential for biomedical noninvasive diagnostic and therapeutic ***,the biosafety of terahertz radiation requires further exploration regarding its two-sided efficacy in practical *** review demonstrates that terahertz biotechnology has the potential to be a promising method in the field of neuropsychiatry based on its unique advantages.

关键词： biological effect brain neuron neuropsychiatry neuroscience non-thermal effect terahertz imaging terahertz radiation terahertz spectroscopy terahertz technology

维普期刊数据库

Low-cost and fluoride-free synthesis of MFI zeolite nanosheets with enhanced stability for benzene alkylation with ethanol

在线全文

学校读者我要写书评

暂无评论

Journal of Energy Chemistry 2025年第1期100卷 458-468页

作者： Peng zhu Cun Liu Yiren Yu Guoshu Gao Yumeng Zhao Xiongfu Zhang Guodong Liu Guohui Yang State Key Laboratory of Fine Chemicals School of Chemical Engineering Dalian University of Technology State Key Laboratory of Catalysis Dalian Institute of Chemical Physics Chinese Academy of Sciences

Zeolite nanosheets with a short b-axis thickness are highly desirable in lots of catalytic reactions due to their reduced diffusion resistance. Nevertheless, conventional synthesis methods usually require expensive structure-directing agents(SDAs), pricey raw materials, and eco-unfriendly fluorine-containing additives. Here, we contributed a cost-effective and fluoride-free synthesis method for synthesizing high-quality MFI zeolite nanosheets through a Silicalite-1(Sil-1) seed suspension and urea cooperative strategy, only with inexpensive colloidal silica as the Si source. Our approach was effective for synthesizing both Sil-1 and aluminum-containing ZSM-5 nanosheets. By optimizing key synthesis parameters,including seed aging time, seed quantity, and urea concentration, we achieved precise control over the crystal face aspect ratio and b-axis thickness. We also revealed a non-classical oriented nanosheet growth mechanism, where Sil-1 seeds induced the formation of quasi-ordered precursor particles, and the(010)crystal planes of these particles facilitated urea adsorption, thereby promoting c-axis-oriented *** obtained ZSM-5 nanosheets exhibited exceptional catalytic performance in the benzene alkylation with ethanol, maintaining stability for over 500 h, which is 5 times longer than traditional ZSM-5 catalysts. Furthermore, large-scale production of ZSM-5 nanosheets was successfully carried out in a 3 L highpressure autoclave, yielding samples consistent with those from laboratory-scale synthesis. This work marks a significant step forward in the sustainable and efficient production of MFI nanosheets using inexpensive and environmentally friendly raw materials, offering the broad applicability in catalysis.

关键词： MFI zeolite ZSM-5 Nanosheets Scale-up synthesis Aromatic alkylation