【摘 要】
：
在弱引发规则下用二态加时Ｐｅｔｒｉ网建模、分析一类具确定性时间和冲突结构的并发系统；联系柔性制造系统、Ｃ３Ｉ系统这类实时并发系统的逻辑验证及有限资源优化问题，在并发意义下研究该网模
【机 构】
：
南京理工大学动力工程学院,连云港市国税局
论文部分内容阅读
在弱引发规则下用二态加时Ｐｅｔｒｉ网建模、分析一类具确定性时间和冲突结构的并发系统；联系柔性制造系统、Ｃ３Ｉ系统这类实时并发系统的逻辑验证及有限资源优化问题，在并发意义下研究该网模型的逻辑特性与时间特性，示例表明了有关结果的可应用性
Under the weak priming rule, this paper uses two-state additive Petri net modeling to analyze a kind of concurrent system with deterministic time and conflict structure. In connection with the logic verification and limited resource optimization of real-time concurrent systems such as flexible manufacturing system and C3I system, In the concurrency study of the network model logic and time characteristics, the example shows the applicability of the results
其他文献
试验于2005～2007年在安徽省池州市试验农场进行,以高产水稻品种直早038和武运粳7为试验材料,设置早晚稻免翻耕对比处理、免耕条件下早稻不同播量晚稻不同抛栽密度和在免耕条件下前后期施氮比例处理,研究其对土壤理化性状、生物特性、群体质量指标、效益、产量和品质的影响;主要研究结果如下:1.通过对免翻耕不同耕作方式条件下土壤理化性状及生物特性的研究表明:(1)采用免耕栽培方式后,各土层的理化性状得到
本研究以枇杷实生苗的叶片与根系为试材,采用人工降温的方法,研究低温胁迫对枇杷地下部与地上部超微结构及生理代谢的影响。1低温胁迫对枇杷幼苗超微结构的影响枇杷幼苗叶片
棉花,锦葵科棉属植物,原产于亚热带,是世界上最重要的经济作物,纤维是主要的产品。棉花纤维是由棉花胚珠表皮细胞分化而来,棉纤维的发育过程可以分为四个相互有重叠的阶段：纤维起始；纤维伸长阶段(初生细胞壁合成与沉积)；次生细胞壁合成；成熟期。棉花纤维的产量与品质由胚珠细胞的分化数量和棉花纤维的伸长长度决定,也就是说棉花纤维的产量与品质决定于纤维的分化起始期和快速伸长期。蛋白质是生物体生理生化活动的直接参
滨梅(Prunus maritima Mar.)属蔷薇科李属落叶灌木,原产美国东北部。该树种适应性与抗逆性强；花大而密；果实颜色变化丰富而且酸甜可口,可广泛应用于园林观赏绿化和生态保护等多
二十一世纪的全球农业面临两大挑战:一是为满足人口的增长需要不断增加粮食产量,二是在不断增加粮食产量的同时需要应对水资源的日益减少。覆膜或覆草旱种是近年来发展起来的水稻节水栽培技术,具有明显的节水效果。但对于在不同旱种方式下水稻品质形成特点的研究很少,在旱种条件下产量和稻米品质形成的生理机制尚不清楚。本研究以粳稻镇稻88、籼稻扬稻6号和杂交籼稻汕优63为材料,进行裸地旱种(NM),地膜覆盖旱种(PM
4月21日上午，在嘹亮的队歌声中，“2013年全国少先队辅导员（骨干）培训”在江苏淮安开班。来自全国18省（市）、自治区的500多名少先队辅导员和少先队工作者将进行为期6天的培训。全国
为深入贯彻党的十八大精神，加快推动社会主义文化强国建设，根据国家新闻出版广电总局的有关通知精神，2013年全民阅读活动已全面启动。 一是围绕2013年党和国家中心工作，组织开
4月23日，中央电视台科教频道推出“世界读书日”特别节目《2013十大读书人物》，介绍了第23届全国书博会“十大读书人物”的感人故事。其中有创办“爱心书屋”，实现5年“爱心捐书
甲烷是最主要的温室气体之一,对全球变暖起重要作用。稻田是甲烷主要排放源,控制稻田甲烷排放对全球气候环境具有至关重要的作用。水稻品种是影响稻田甲烷排放的关键因素,但是关于水稻品种演进对稻田甲烷排放的影响仍不是十分清楚。本研究选取江苏省近60年来各阶段具有代表性的12个中粳水稻品种为材料,依据种植推广年代结合株型和基因型将其分为20世纪50年代、60年代、70年代、80年代、90年代和2000年以后6
事件的平和落幕,奠定了民意诉求和政府意志新一轮互动的理性平台不可否认,在信息不甚透明和对称的状况下,普通老百姓陷入巨大的“PX恐慌”之中,其中或许带有盲目和过激的成分