【摘 要】
:
提出的弱引发三态加时变迁Petri网能有效地建模分析一类具确定性时间与冲突结构并发系统;在并发意义下研究其动态行为及其特性,并把有关结果用于解决实时并发系统的逻辑特性验证及有
论文部分内容阅读
提出的弱引发三态加时变迁Petri网能有效地建模分析一类具确定性时间与冲突结构并发系统;在并发意义下研究其动态行为及其特性,并把有关结果用于解决实时并发系统的逻辑特性验证及有限资源调度的优化问题
其他文献
腹膜炎是腹腔壁层腹膜和脏层腹膜的炎症,是由细菌感染、化学刺激或损伤所引起的一种严重疾病,按照发病机制不同可分为原发性腹膜炎和继发性腹膜炎。犬腹膜炎病例多为继发性腹
一、幼犬挑选当我准备开始训练一头新犬作为工作用途时,我通常都会选择7~8周大的幼犬,原因如下:1.这个年龄的小犬刚好完成头脑和感官的基础发展,同时又是白纸一张,拥有强大的
警犬搜爆是警犬技术人员携带经过专业搜爆培训并通过相关考核的警犬,对特定的区域、场所、运输工具、物品等进行安全检查,及时发现和排除爆炸物品及安全隐患,预防和侦破各类
文化、语言、思维之间关系密切。不同文化反映出不同的语言,不同语言积淀不同的文化,语言与文化以思维为认知基础,同时制约着人类的思维。言语交际在深厚的文化底蕴中也难以
近年来,中国警犬技术教学工作在实践中不断发展,教学模式推陈出新。本文从警犬技术教学发展的视角,浅析慕课教学背景下,警犬技术教学所面临的机遇,探讨警犬技术教学在新时代
2020年3月26日,上海金山区经济工作党委机关支部主题党日活动在比瑞吉金山工厂顺利开展。区经济工作党委相关领导走访了上海比瑞吉宠物用品股份有限公司,通过座谈和实地参观,
研究了一类高维广义非线性薛定谔方程(Schro¨dinger方程)的孤立子解及其性质,得到了非线性参数变化(α→0 及α→∞)时孤立子性态变化规律,同时利用加权差分格式对2维广义非线性Schro¨dinger方
高血压病(Essential Hypertension,EH)作为心脑血管事件重要的、独立危险因素之一,已被广泛接受。(1)对于高血压的诊断、治疗以及对心脑血管病的危险性判断,通常以收缩压(systolic bl
犬胃肠炎是各种原因所致胃肠黏膜表层组织及深层组织的炎性变化,临床上以呕吐、腹痛、消化紊乱、腹泻、发热为特征。严重的病例精神沉郁,不食,排泄物或者呕吐物带血,甚至死亡
初中教材中文言文占了三分之一的篇幅,所选的诗文都是中国古典文学的精华,是中华民族宝贵的文化遗产,如何让农村少数民族学生学会、学好文言文,以及通过学习这些诗文对提高少数民