论文部分内容阅读
提出的弱引发三态加时变迁Ｐｅｔｒｉ网能有效地建模分析一类具确定性时间与冲突结构并发系统；在并发意义下研究其动态行为及其特性，并把有关结果用于解决实时并发系统的逻辑特性验证及有限资源调度的优化问题
弱引发三态加时变迁Petri网及其在并发系统中应用
【摘 要】
：
提出的弱引发三态加时变迁Ｐｅｔｒｉ网能有效地建模分析一类具确定性时间与冲突结构并发系统；在并发意义下研究其动态行为及其特性，并把有关结果用于解决实时并发系统的逻辑特性验证及有
【机 构】
：
南京理工大学动力工程学院
【出 处】
：
应用基础与工程科学学报
【发表日期】
：
1999年1期
其他文献
腹膜炎是腹腔壁层腹膜和脏层腹膜的炎症,是由细菌感染、化学刺激或损伤所引起的一种严重疾病,按照发病机制不同可分为原发性腹膜炎和继发性腹膜炎。犬腹膜炎病例多为继发性腹
一、幼犬挑选当我准备开始训练一头新犬作为工作用途时,我通常都会选择7~8周大的幼犬,原因如下:1.这个年龄的小犬刚好完成头脑和感官的基础发展,同时又是白纸一张,拥有强大的
期刊
警犬搜爆是警犬技术人员携带经过专业搜爆培训并通过相关考核的警犬,对特定的区域、场所、运输工具、物品等进行安全检查,及时发现和排除爆炸物品及安全隐患,预防和侦破各类
文化、语言、思维之间关系密切。不同文化反映出不同的语言,不同语言积淀不同的文化,语言与文化以思维为认知基础,同时制约着人类的思维。言语交际在深厚的文化底蕴中也难以
近年来,中国警犬技术教学工作在实践中不断发展,教学模式推陈出新。本文从警犬技术教学发展的视角,浅析慕课教学背景下,警犬技术教学所面临的机遇,探讨警犬技术教学在新时代
2020年3月26日,上海金山区经济工作党委机关支部主题党日活动在比瑞吉金山工厂顺利开展。区经济工作党委相关领导走访了上海比瑞吉宠物用品股份有限公司,通过座谈和实地参观,
期刊