检索结果-南通市图书馆

Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification

journal of Computer Science & Technology 2022年第1期37卷 4-28页

作者： Inès Mouakher Fatma Dhaou j.christian attiogbé Faculty of Sciences of Tunis University of Tunis El Manar1068TunisTunisia Institute of Technology University of Nantes44322NantesFrance

UML 2.X sequence diagrams(SD)are among privileged scenarios-based approaches dealing with the complexity of modeling the behaviors of some current ***,there are several issues related to the standard semantics of UML 2.X SD proposed by the Object Management Group(OMG).They mainly concern ambiguities of the interpretation of SDs,and the computation of causal relations between events which is not specifically laid ***,SD is a semi-formal language,and it does not support the verification of the modeled *** justifies the considerable number of research studies intending to define formal semantics of UML *** proposed in our previous work semantics covering the most popular combined fragments(CF)of control-flow ALT,OPT,LOOP and SEQ,allowing to model alternative,optional,iterative and sequential behaviors *** proposed semantics is based on partial order theory relations that permit the computation of the precedence relations between the events of an SD with nested *** also addressed the issue of the evaluation of the interaction constraint(guard)for guarded CFs,and the related synchronization *** this paper,we first extend our semantics,proposed in our previous work;indeed,we propose new rules for the computation of causal relations for SD with PAR and STRICT CFs(dedicated to modeling concurrent and strict behaviors respectively)as well as their ***,we propose a transformational semantics in *** modeling approach emphasizes computation of causal relations,guard handling and transformational semantics into *** transformation of UML 2.X SD into the formal method Event-B allows us to perform several kinds of verification including simulation,trace acceptance,verification of properties,and verification of refinement relation between SDs.

关键词： UML 2.X sequence diagram formal semantics nested combined fragment partial order theory Event-B

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Enhancing 3D Reconstruction Accuracy of FIB Tomography Data Using Multi‑voltage Images and Multimodal Machine Learning

引用

Nanomanufacturing and Metrology 2024年第1期7卷 48-60页

作者： Trushal Sardhara Alexander Shkurmanov Yong Li Lukas Riedel Shan Shi christian j.Cyron Roland C.Aydin Martin Ritter Institute for Continuum and Material Mechanics Hamburg University of TechnologyHamburgGermany Electron Microscopy Unit Hamburg University of TechnologyHamburgGermany Institute of Materials Physics and Technology Hamburg University of TechnologyHamburgGermany Institute of Materials Mechanics Helmholtz-Zentrum HereonGeesthachtGermany Research Group of Integrated Metallic Nanomaterials Systems Hamburg University of TechnologyHamburgGermany Institute of Material Systems Modeling Helmholtz-Zentrum HereonGeesthachtGermany

FIB-SEM tomography is a powerful technique that integrates a focused ion beam(FIB)and a scanning electron microscope(SEM)to capture high-resolution imaging data of *** approach involves collecting in-plane SEM imagesand using FIB to remove material layers for imaging subsequent planes,thereby producing image ***,theseimage stacks in FIB-SEM tomography are subject to the shine-through effect,which makes structures visible from theposterior regions of the current *** artifact introduces an ambiguity between image intensity and structures in thecurrent plane,making conventional segmentation methods such as thresholding or the k-means algorithm *** study,we propose a multimodal machine learning approach that combines intensity information obtained at differentelectron beam accelerating voltages to improve the three-dimensional(3D)reconstruction of *** treatingthe increased shine-through effect at higher accelerating voltages as a form of additional information,the proposed methodsignificantly improves segmentation accuracy and leads to more precise 3D reconstructions for real FIB tomography data.

关键词： Multimodal machine learning Multi-voltage images FIB-SEM Overdeterministic systems 3D reconstruction FIB tomography

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Can active late-type stars contribute to the Galactic lithium abundance?

引用

Research in Astronomy and Astrophysics 2020年第7期20卷 127-133页

作者： Darnell E.Kelly Damian j.christian Mihalis Mathioudakis Darko jevremovi′c Department of Physics and Astronomy California State UniversityNorthridgeCA 91330-8268USA Astrophysics Research Centre School of Mathematics and PhysicsQueen’s University BelfastBelfast BT71NNUK Astronomical Observatory Volgina 711060 BelgradeSerbia

Lithium abundances in our Galaxy and especially 6 Li abundances provide important constraints on our understanding of Big Bang Nucleosynthesis(BBNS),stellar evolution and the creation of light elements by cosmic rays in the ISM.~6 Li has been detected in energetic solar events,one chromospherically active binary and several dwarf halo *** our work on active late-type stars with high lithium abundances,we expand our study to consider if the flare origin of lithium created by spallation can contribute significantly to the Galactic abundance of *** previously derived ~6 Li/~7 Li=0.030 ± 0.010 for active K dwarf Gj 117 using VLT UVES *** find^6 Li/~7 Li ratios of 0.02 and 0.10 for two other stars in our sample,Gj 182 and EUVE j1145-55.3 A,*** that these later type,active stars have significant flare rates and stellar winds,we have estimated the contribution of these stars to the Galactic lithium *** that K and M stars comprise over 84% of our Galaxy and that many of these can have significant stellar winds,we conclude that spallation in stellar flares can contribute 1% and up to 5% of the Galactic lithium abundance.

关键词： stars:abundances stars:activity Galaxy:abundances

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A Modified Lagrange Method for Solving Convex Quadratic Optimization Problems

引用

Open journal of Optimization 2024年第1期13卷 1-20页

作者： Twum B. Stephen Avoka john christian j. Etwire School of Mathematical Science C. K. Tedam University of Technology and Applied Sciences Navrongo Ghana Department of Mathematics University for Development Studies Tamale Ghana

In this paper, a modified version of the Classical Lagrange Multiplier method is developed for convex quadratic optimization problems. The method, which is evolved from the first order derivative test for optimality of the Lagrangian function with respect to the primary variables of the problem, decomposes the solution process into two independent ones, in which the primary variables are solved for independently, and then the secondary variables, which are the Lagrange multipliers, are solved for, afterward. This is an innovation that leads to solving independently two simpler systems of equations involving the primary variables only, on one hand, and the secondary ones on the other. Solutions obtained for small sized problems (as preliminary test of the method) demonstrate that the new method is generally effective in producing the required solutions.

关键词： Quadratic Programming Lagrangian Function Lagrange Multipliers Optimality Conditions Subsidiary Equations Modified Lagrange Method

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Multi-wavelength observations of the 2014 june 11 M3.9 flare: temporal and spatial characteristics

引用

Research in Astronomy and Astrophysics 2019年第7期19卷 123-132页

作者： Damian j.christian David Kuridze David B.jess Menoa Yousefi Mihalis Mathioudakis Department of Physics and Astronomy California State University NorthridgeNorthridgeCA 91330USA Institute of Mathematics Physics and Computer ScienceAberystwyth UniversityCeredigionCymruSY23 3UK Astrophysics Research Center School of Mathematics and PhysicsQueen's University BelfastBelfast BT7 INNUK

We present multi-wavelength observations of an M-class flare(M3.9) that occurred on 2014 june *** observations were conducted with the Dunn Solar Telescope(DST),employing adaptive optics,the multi-camera system Rapid Oscillations in Solar Atmosphere(ROSA),the new Hydrogen-Alpha Rapid Dynamics camera(HARDcam) in various wavelengths,such as Ca II K,Mg I b2(at 5172.7 A),and Hα narrow band and G-band continuum *** were re-constructed using the Kiepenheuer-Institut Speckle Interferometry Package(KISIP) code,to improve our image *** observed intensity increases of ≈120%–150% in the Mg,Ca K and Hα narrow band filters during the *** increases for the flare observed in the SDO EUV channels were several times larger,and the X-rays,as recorded by GOES,increased over a factor of 30 for the harder *** a modest delay was found between the onset of flare ribbons of a nearby sympathetic flare and the main flare ribbons observed in these narrow band *** peak flare emission occurred within a few seconds for the Ca K,Mg and Hα *** techniques indicate propagation velocities of ≈60 km s^-1 for the main flare ribbon and as high as300 km s^-1 for smaller regions,which we attribute to filament *** result and delays and velocities observed with SDO(≈100 km s^-1) for different coronal heights agree well with the simple model of energy propagation versus height,although a more detailed model for the flaring solar atmosphere is ***,we detected marginal quasi-periodic pulsations(QPPs) in the 40–60 s range for the Ca K,Mg and Hα bands,and such measurements are important for disentangling the detailed flare-physics.

关键词： magnetic reconnection-Sun flares-Sun atmosphere

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Small mammal community composition impacts bank vole (Clethrionomys glareolus) population dynamics and associated seroprevalence of Puumala orthohantavirus

引用

Integrative Zoology 2024年第1期19卷 52-65页

作者： Felicitas Maria BUjNOCH Daniela REIL Stephan DREWES Ulrike MROSENFELD Rainer G.ULRICH jens jACOB christian IMHOLT julius Kühn-Institute Federal Research Centre for Cultivated PlantsInstitute for Epidemiology and Pathogen DiagnosticsRodent ResearchMünsterGermany University of Münster Institute for Evolution and BiodiversityMünsterGermany Friedrich-Loeffler-Institut Federal Research Institute for Animal HealthInstitute of Novel and Emerging Infectious DiseasesGreifswald-Insel RiemsGermany

Rodents are important reservoirs for zoonotic pathogens that cause diseases in *** is hypoth-esized to be closely related to pathogen prevalence through multiple direct and indirect *** example,the presence of non-host species can reduce contact rates of the main reservoir host and thus reduce the risk of transmission(“dilution effect”).In addition,an overlap in ecological niches between two species could lead to increased interspecific competition,potentially limiting host densities and reducing density-dependent pathogen transmission *** this study,we investigated the relative impact of population-level regulation of direct and indirect drivers of the prevalence of Puumala orthohantavirus(PUUV)in bank voles(Clethrionomys glareolus)during years with high *** compiled data on small mammal community composition from four regions in Germany between 2010 and *** equation modeling revealed a strong seasonality in PUUV control mechanisms in bank *** abundance of shrews tended to have a negative relationship with host abundance,and host abundance positively influenced PUUV seroprevalence,while at the same time increasing the abundance of competing non-hosts like the wood mouse(Apodemus sylvaticus)and the yellow-neckedfield mouse(Apodemusflavicollis)were associated with reduced PUUV seroprevalence in the *** results indicate that for PUUV in bank voles,dilution is associated with increased interspecific *** pressures leading to the decline of Apodemus *** a specific habitat could lead to the amplification of mechanisms promoting PUUV transmission within the host populations.

关键词： bank vole biodiversity Puumala orthohantavirus small mammals

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

High-speed silicon photonic electro-optic Kerr modulation

引用

Photonics Research 2024年第1期12卷 51-60页

作者： jONATHAN PELTIER WEIWEI ZHANG LEOPOLD VIROT christian LAFFORGUE LUCAS DENIEL DELPHINE MARRIS-MORINI GUY AUBIN FARAH AMAR DENH TRAN XINGZHAO YAN CALLUM G.LITTLEjOHNS CARLOS ALONSO-RAMOS KE LI DAVID j.THOMSON GRAHAM REED LAURENT VIVIEN University Paris-Saclay CNRSCentre for Nanoscience and Nanotechnology(C2N)Palaiseau 91120France University Grenoble Alpes CEALETIGrenoble 38000France Optoelectronics Research Centre Zepler Institute for Photonics and NanoelectronicsFaculty of Engineering and Physical SciencesUniversity of SouthamptonSouthampton SO171BJUK

Silicon-based electro-optic modulators contribute to easing the integration of high-speed and low-power consumption circuits for classical optical communications and data *** the plasma dispersion modulation,an alternative solution in silicon is to exploit the DC Kerr effect,which generates an equivalent linear electro-optical effect enabled by applying a large DC electric *** some theoretical and experimental studies have shown its existence in silicon,limited contributions relative to plasma dispersion have been achieved in high-speed modulation so *** paper presents high-speed optical modulation based on the DC Kerr effect in silicon PIN *** contributions of both plasma dispersion and Kerr effects have been analyzed in different waveguide configurations,and we demonstrated that the Kerr induced modulation is dominant when a high external DC electric field is applied in PIN ***-speed optical modulation response is analyzed,and eye diagrams up to 80 Gbit/s in NRZ format are obtained under a *** of 30 *** work paves the way to exploit the Kerr effect to generate high-speed Pockels-like optical modulation.

关键词： waveguide dispersion effect

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Conservative management of spinal pathology with autologous conditioned serum: A systematic review of the literature

引用

World journal of Orthopedics 2024年第9期15卷 870-881页

作者： christian j Rajkovic Matthew L Merckling Alyssa W Lee Galadu Subah Aryan Malhotra Zachary D Thomas Sabrina L Zeller john V Wainwright Merritt D Kinon Department of Neurosurgery Westchester Medical CenterValhallaNY 10595United States

BACKGROUND Chronic inflammatory pain is associated with increased expression of interleukin(IL)-1,an inflammatory cytokine,and activity on its receptor(IL-1R).In response,the body produces IL-1R antagonist(IL-1Ra)to reduce this *** conditioned serum(ACS)is the only biologic therapy for spinal pathologies that enhances the action of endogenous IL-1Ra reserves to improve *** systematic review investigates the effectiveness of ACS in treating pain and dis-ability caused by spinal *** To evaluate the use of ACS as a conservative management option for spinal *** A systematic review of PubMed/Medline was performed to identify studies inve-stigating administration of ACS for treatment of any spinal *** Six articles were included,comprising 684 patients treated with epidural(n=133)or transforaminal(n=551)ACS *** had an average age of 54.0 years with slight female predominance(53.2%).The lumbar spine was most com-monly treated,with 567 patients(82.9%)receiving injections for lumbar radicu-lopathy(n=67),degenerative disc disease(DDD)(n=372),or spinal stenosis(n=128);cervical injections were performed in 109 patients(15.9%).Mean(SD)follow-up was 21.7(4.8)weeks from first ACS *** studies investigating mecha-nical lumbar and lumbar or cervical radicular pain reported significant pain re-duction at final follow-up compared to *** achieved comparable or su-perior results to lumbar epidural steroid *** events were reported in 21 patients(3.1%),with no serious adverse *** ACS injection is a safe and effective intervention for pain reduction in many spinal pathologies,including cervical and lumbar radiculopathies.

关键词： Spine Autologous conditioned serum Orthokine Regenokine Epidural steroid injection Interleukin-1 Inter-leukin-1 receptor antagonist

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Rationale of a Cross Sectional Analytic Study on Determinants of Recurrent Preeclampsia at University Clinics of Kinshasa (Democratic Republic of Congo) and at Victor Dupouy Hospital Center (France)

引用

Open journal of Obstetrics and Gynecology 2024年第5期14卷 824-831页

作者： Mushengezi Amani Dieudonné Sengeyi Muela Andy Mbangama Mokambanda Cynthia Awena Goy Sambwa christian Kelele Nkongolo Freddy Muamba Banza jésual Lotoy Otem christian Ndesanzim Department of Obstetrics and Gynecology University Clinics of Kinshasa Kinshasa Democratic Republic of Congo

Research Background: Pre-eclampsia is one of main causes of materno-foetal mortality and morbidity worldwide, with a prevalence of 3% - 7%. Although considered a primiparous condition, it can nevertheless recur. Several factors appear to be associated with risk of recurrence of pre-eclampsia, such as the term of delivery of previous pregnancy, severity of disease, the existence of co-morbidities and the inter-genital space. Purpose: The aim of our study will be to analyse and identify in a population of pregnant women with a history of preeclampsia risk factors associated with occurrence of recurrent preeclampsia at University clinics of Kinshasa (Democratic Republic of Congo) and at Victor Dupouy Hospital Center (France). Methods: In this study, pregnant women with an history of preeclampsia who will give birth between November 2018 and October 2024 at University Clinics of Kinshasa (UCK) and Victor Dupouy Hospital Center (VDHC) will be included. This will be a cross-sectional analytical study, data from previous and subsequent pregnancies will be studied. Expected Result: The prevalence of recurrent preeclampsia in the study population will be determined. And we will highlight the factors that will determine the recurrence of preeclampsia by analysing the risk factors. Conclusion: Knowledge of the factors associated with recurrent preeclampsia could be an excellent tool for predicting and preventing the disease.

关键词： Recurrent Pre-Eclampsia Risk Factor Determinants

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

The siphonic energy transfer between hot solar wind and cold martian ionosphere through open magnetic flux rope

引用

Fundamental Research 2024年第4期4卷 882-889页

作者： Xiaojun Xu Lou-Chuang Lee Qi Xu Qing Chang jing Wang Ming Wang Shaosui Xu christian Mosti Charles j.Farrugia Xing Wang Yudong Ye Zilu Zhou Lei Luo Peishan He Shaoguan Cheng State Key Laboratory of Lunar and Planetary Sciences Macao University of Science and TechnologyMacao 999078China CNSA Macao Center for Space Exploration and Science Macao 999078China Institute of Earth Science Academia SinicaTaipei 115029China Institute of Space Science and Applied Technology Harbin Institute of TechnologyShenzhen 518000China Planetary Environmental and Astrobiological Research Laboratory(PEARL) School of Atmospheric SciencesSun Yat-sen UniversityZhuhai 519000China Nanjing University of Information Science and Technology Nanjing 210000China Space ScienceLaboratory Universityof CaliforniaBerkeleyCA94320USA Space Research Institute Austrian Academy of SciencesGraz 8010Austria University of New Hampshire NH 03824USA

A mechanism for energy transfer from the solar wind to the Martian ionosphere through open magnetic flux rope is proposed based on the observations by Mars Atmosphere and Volatile EvolutioN(MAVEN).The satellite was located in the dayside magnetosheath at an altitude of about 70o km above the northern *** between the hot solar wind protons and the cold heavy ions/neutrals in the subsolar region can cool the protons and heat the heavy *** a result,the magnetosheath protons are siphoned into the ionosphere due to the thermal pressure gradient of protons and the heated heavy ions escape along the open magnetic field *** direct collisions in the lower-altitude region were not detected,this physical process is demonstrated by MAVEN measurements of enhanced proton density,decreased proton temperature and oppositely directed motions of hot and cool protons within the flux rope,which are very different from the observational features of the flux transfer events near the Earth's *** mechanism could universally exist in many contexts where a collisionless plasma region is connected to a collisional plasma *** reconstructing the magnetic geometry and the cross-section of the flux rope using the Grad-Shafranov technique,the ion loss rates are quantitatively estimated to be on the order of 1023 s-l,which is much higher than previously estimated.

关键词： Mars Flux rope Solarwind Ionosphere Ion loss

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：