检索结果-南通市图书馆

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

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Fabrication of sAW sensor for Detecting Chemical Agent

引用

稀有金属材料与工程 2006年第A03期35卷 433-435页

作者： j H Lee B s joo j s Huh D D Lee school of Electronic & Electrical Engineering Kyungpook National UniversityKorea Dept.of Materials science and Metallurgy Kyungpook National UniversityKorea

sAW sensors using five different types of polymer to detect of chemical agents(DMMP,CH_3CN,CH_2Cl_2,DCP) have been fabricated and its gas response characteristics were extensively *** polymers used as the sensing material are polyisobutylene(PIB),polyepichlorohydrin(PECH),polydimethylsiloxane(PDMs),polyisoprene(PIP)and polybutadiene(PBD).Their thin films were coated on quartz substrate by spin coating *** types of simulants gases,dimethylmethylphosphonate(DMMP),acetonitrile(CH_3CN)and dichloromethane(CH_2Cl_2),dichloropentane(DCP)were used as target gases,instead of the real nerve,blood,choking and vesicant *** spin coating of PIB and PECH,the substrates were heated to 65℃with N_2 flow for 1 h to remove the cyclohexane and ethylacetate which was used as solvent. PDMs was heated to 75℃with N_2 flow for 2 h to remove the ethylacetate which was used as *** and PIP on the substrate were heated to 60℃with N_2 flow for 1 h to remove the benzen which was used as *** sensing characteristics of the sAW sensors were measured by using E-5061A network analyzer.

关键词： sAW DMMP CH3CN CH2Cl2 DCP polymer film

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

PMA-siO_2 catalyzed synthesis of β-keto enol ethers

引用

Chinese Chemical Letters 2008年第7期19卷 767-770页

作者： P.srihari s.s.Mandal j.s.s.Reddy R.srinivasa Rao j.s.Yadav Organic Division-I Indian Institute of Chemical TechnologyHyderabad 500007India

An efficient conversion of β-diketones into corresponding β-keto enol ethers with catalytic amount of PMA-siO2 has been achieved.

关键词： β-Keto enol ethers β-Diketones

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

synthesis of 1,8-dioxooctahydroxanthenes utilizing PMA-siO_2 as an efficient reusable catalyst

引用

Chinese Chemical Letters 2008年第7期19卷 771-774页

作者： P.srihari s.s.Mandal j.s.s.Reddy R.srinivasa Rao j.s.Yadav Organic Division-I Indian Institute of Chemical TechnologyHyderabad 500007India

PMA-siO2 has been utilized as an efficient catalyst system in preparation of 1,8-dioxooctahydroxanthenes.

关键词： Heteropolyacids Xanthenes Pigments Dyes silica gel

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Hybrid Halide Perovskites and Related Materials:Contraindicated Optoelectronic Materials

Hybrid Halide Perovskites and Related Materials:Contraindica...

引用

第十四届固态化学与无机合成学术会议

作者： Ram seshadri Materials Department and Department of Chemistry and Biochemistry Materials Research LaboratoryUniversity of California

The recent explosion of interest in the functionally and architecturally diverse perovskite-halidederived materials has been due to their potential as PV absorbers and ***,while important,these applications represent only a small part of what these materials are capable *** studies have revealed several important knowledge gaps in our understanding of these systems and raised a number of fundamental questions with regard to the prospects for developing innovative new variants with enhanced *** particular,there is the recognition that these materials exhibit useful yet contraindicated properties,or properties that usually do not coexist in the same *** talk will cover Bi-based alternatives to the standard Pb-I materials,[1,2].some subtle structure features and transitions at low temperatures in the standard materials,[3]that appear to impact properties,[4]will be ***,the use of optoelectronically active cations to develop new systems and prospects for other novel systems will be discussed.[5]

关键词：

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Transcriptional changes in mesenteric and subcutaneous adipose tissue from Holstein cows in response to plane of dietary energy

引用

journal of Animal science and Biotechnology 2018年第1期9卷 233-247页

作者： s.j.Moisá P.ji j.K.Drackley s.L.Rodriguez-Zas j.j.Loor Department of Animal sciences Auburn University Department of Animal sciences University of Illinois

Background： Dairy cows can readily overconsume dietary energy during most of the prepartum period, often leading to higher prepartal concentrations of insulin and glucose and excessive body fat deposition. The end result of these physiologic changes is greater adipose tissue lipolysis post-partum coupled with excessive hepatic lipid accumulation and compromised health. Although transcriptional regulation of the adipose response to energy availability is well established in non-ruminants, such regulation in cow adipose tissue depots remains poorly ***： Effects of ad-libitum access to high [HIGH; 1.62 Mcal/kg of dry matter（DM）] or adequate（CON; 1.35 Mcal/kg of DM） dietary energy for 8 wk on mesenteric（MAT） and subcutaneous（sAT） adipose tissue transcript profiles were assessed in non-pregnant non-lactating Holstein dairy cows using a 13,000-sequence annotated bovine oligonucleotide microarray. statistical analysis revealed 409 and 310 differentially expressed genes（DEG） due to tissue and diet. Bioinformatics analysis was conducted using the Dynamic Impact Approach（DIA） with the KEGG pathway database. Compared with sAT, MAT had more active biological processes related to adipose tissue accumulation（adiponectin secretion） and signs of pro-inflammatory processes due to adipose tissue expansion and macrophage infiltration（generation of ceramides）. Feeding the HIGH diet led to changes in m RNA expression of genes associated with cell hypertrophy（regucalcin）, activation of adipogenesis（phospholipid phosphatase 1）,insulin signaling activation（neuraminidase 1） and angiogenesis（semaphorin 4 G, plexin B1）. Further, inflammation due to HIGH was underscored by m RNA expression changes associated with oxidative stress response（coenzyme Q3, methyltransferase）, ceramide synthesis（N-acylsphingosine amidohydrolase 1）, and insulin signaling（interferon regulatory factor 1, phosphoinositide-3-kinase regulatory subunit 1, retinoic acid receptor alpha）. Activation of ribos

关键词： Adipose tissue Dairy cow Dietary energy Transcriptome

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

3D kinematicmandiblemodel to designmandibular advancement devices for the treatment of obstructive sleep apnea

引用

Bio-Design and Manufacturing 2021年第1期4卷 22-32页

作者： M.García j.A.Cabrera A.Bataller s.Postigo j.j.Castillo Department of Mechanical Engineering University of MálagaC/Doctor Ortiz Ramos s/nAmpliación Campus Teatinos29071 MálagaSpain

Mandibular advancement devices(MADs)are one of the treatments used for Obstructive sleep apnea(OsA).MADs try to maintain the mandible in an advanced position to keep the upper airways open when *** achieve this goal,most current MADs limit the mouth opening to a few *** study of the kinematic behaviour of the patient’s jaw is essential in order to design devices that allow greater aperture *** this purpose,a 3D multibody model that reproduces jaw movement has been developed in this *** this end,the movement of the lower incisor has been determined by means of a vision system and reflective *** addition,the kinematics of the temporomandibular joint has been ***,the device is designed and printed using a cam-follower *** way,the cam profiles and the followers are optimally designed and positioned for each patient depending on the physiognomy of the jaw and the opening and advancing movement prescribed by the specialist.

关键词： Mandibular advancement device 3D mandible kinematics Cam-follower mechanism 3D printed devices

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Polyethylene glycol has immunoprotective effects on sciatic allografts, but behavioral recovery and graft tolerance require neurorrhaphy and axonal fusion

引用

Neural Regeneration Research 2025年第4期20卷 1192-1206页

作者： Tyler A.smith Liwen Zhou Cameron L.Ghergherehchi Michelle Mikesh Cathy Z.Yang Haley O.Tucker juliAnne Allgood jared s.Bushman George D.Bittner Department of Molecular Biosciences University of Texas at AustinAustinTXUSA Department of Neuroscience University of Texas at AustinAustinTXUSA Division of Pharmaceutical sciences University of WyomingLaramieWYUSA

Behavioral recovery using(viable)peripheral nerve allografts to repair ablation-type(segmental-loss)peripheral nerve injuries is delayed or poor due to slow and inaccurate axonal ***,such peripheral nerve allografts undergo immunological rejection by the host immune *** contrast,peripheral nerve injuries repaired by polyethylene glycol fusion of peripheral nerve allografts exhibit excellent behavioral recovery within weeks,reduced immune responses,and many axons do not undergo Wallerian *** relative contribution of neurorrhaphy and polyethylene glycol-fusion of axons versus the effects of polyethylene glycol per se was unknown prior to this *** hypothesized that polyethylene glycol might have some immune-protective effects,but polyethylene glycol-fusion was necessary to prevent Wallerian degeneration and functional/behavioral *** examined how polyethylene glycol solutions per se affect functional and behavioral recovery and peripheral nerve allograft morphological and immunological responses in the absence of polyethylene glycol-induced axonal ***-type sciatic nerve injuries in outbred sprague–Dawley rats were repaired according to a modified protocol using the same solutions as polyethylene glycol-fused peripheral nerve allografts,but peripheral nerve allografts were loose-sutured(loose-sutured polyethylene glycol)with an intentional gap of 1–2 mm to prevent fusion by polyethylene glycol of peripheral nerve allograft axons with host *** to negative control peripheral nerve allografts not treated by polyethylene glycol and in contrast to polyethylene glycol-fused peripheral nerve allografts,animals with loose-sutured polyethylene glycol peripheral nerve allografts exhibited Wallerian degeneration for all axons and myelin degeneration by 7 days postoperatively and did not recover sciatic-mediated behavioral functions by 42 days *** morphological signs of rejection,such as col

关键词： allograft rejection axotomy macrophage myelin nerve repair polyethylene glycol(PEG) sciatic nerve T cell transplantation Wallerian degeneration

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

PDE Constrained Optimization and Design of Frozen Mode Crystals

引用

Communications in Computational Physics 2008年第4期3卷 878-898页

作者： s.Chun j.s.Hesthaven Division of Applied Mathematics Brown UniversityProvidenceRI 02912USA.

We explore the use of PDE constrained nonlinear optimization techniques to optimize and design electromagnetic crystals which exhibit frozen mode *** is characterized by Van Hove singularities in the dispersion relation,e.g.,stationary reflection points and degenerate band edge ***,the optimization process modifies the dispersion relation by adjusting the geometries and material *** resulting algorithm is found to be capable of recovering all known crystal configurations as well as many new configurations,some of which display dramatically improved properties over previously used *** investigate both gyrotropic photonic crystals and degenerate band edge crystals as well as the more complex case of the oblique *** this latter case,we extend the investigation to the three-dimensional case to identify the first three-dimensional crystal exhibiting frozen mode behavior.

关键词： PDE constrained optimization method of matched asymptotics frozen mode photonic crystal.

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

swampland ds conjecture in mimetic f(R,T)gravity

引用

Communications in Theoretical Physics 2022年第8期74卷 101-115页

作者： s Noori Gashti j sadeghi s Upadhyay M R Alipour Department of Physics Faculty of Basic SciencesUniversity of Mazandaran PO Box 47416-95447BabolsarIran Department of Physics K.L.S.CollegeNawadaBihar 805110India Department of Physics Magadh UniversityBodh GayaBihar 824234India Inter-University Centre for Astronomy and Astrophysics(IUCAA) PuneMaharashtra 411007India school of Physics Damghan UniversityDamghan ***Iran

In this paper,we study a theory of gravity called mimetic f(R,T)in the presence of swampland ds *** this purpose,we introduce several inflation solutions of the Hubble parameter H(N)from f(R,T)=R+δT gravity model,in which R is Ricci scalar,and T denotes the trace of the energy–momentum ***,δand N are the free parameter and a number of e-fold,*** we calculate quantities such as potential,Lagrange multiplier,slow-roll,and some cosmological parameters such as nsand *** we challenge the mentioned inflationary model from the swampland ds *** discuss the stability of the model and investigate the compatibility or incompatibility of this inflationary scenario with the latest Planck observable data.

关键词： mimetic f(R,T)gravity Lagrange multiplier swampland conjecture

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：