论加权扩充自由选择网的活性与安全性(英文)

来源 :软件学报 | 被引量 : 0次 | 上传用户:dfly1818
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
活性与安全性是网系统重要的行为性质 .对于位置 /变迁网系统的一些子类 ,人们已为之导出许多有意义的结果 .该文贡献在于为一种称为加权扩充自由选择网的网系统子类找到活性与安全性的一般性质 .文章先给出其活性等价条件的简要与直观的证明 ,随后 ,对于这一类安全的子系统又给出活性的充分必要条件 Activity and security are important behavioral properties of the Web system.For some sub-categories of the location / transition net system, many meaningful results have been derived for it.The contribution of this paper is to provide a net for a kind of network called Weighted Extended Free Choice The sub-categories of the system find the general properties of activity and safety.The article gives a brief and intuitional proof of the conditions of the activity equivalence, and then gives the sufficient and necessary conditions for the activity of this kind of secure subsystems
其他文献
摘要:区域活动是一种带有学习性的游戏,幼儿可以按自身的想法进行,同时也是幼儿十分喜欢的一种自我学习、自我摸索、自我发现、自我完善的活动。陶行知先生说过:“真正的生活教育是以生活为中心的教育,是供给人生需要的教育,是生活所原有的、生活所必需的教育。”幼儿的区域活动应该追溯于生活,取材于生活,区域活动能发展幼儿的自主性和创造性。  关键词:生活教育;区域活动  中图分类号:G612文献标识码:A 文章
道路交通事故在世界各国已成为一个极为严重的社会问题,我国道路交通安全形势严峻。文章提出要通过抓源头管理,加强驾驶员培训工作,注重驾驶员的日常道路交通安全教育;严格执
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
自身免疫性慢性活动性肝炎误诊为胰头癌一例广州军区广州总医院[510010]詹世林[病例]女性,34岁。因感冒后出现发热、皮肤巩膜黄染及皮肤癌痒2个月,外院按黄值型肝炎治疗一个月好转后又复发,大
中国国际气体技术、设备与应用展览会(IG,CHINA)创办于1999年,至今已成功举办十四届,2013年11月20—22日第十五届中国国际气体技术、设备与应用展览会(IG,CHINA 2013)将在成
雷蒙德·威廉斯的名字现已越来越频繁地出现在研究者的视野中了。人们自然会把这种转变同“文化研究”(Cultural Studies)的勃兴联系起来。不过,“文化研究”究竟是西方又一轮理论时尚,还是20世纪诸种批评方法合流之地?它是对文学的放逐,抑或是一件“抚摸当代感性生活最敏感部位”的文化“吊带衫”。还是宏观历史视野同当代批评敏锐触觉的一种颇具锋芒的整合?
目的 探讨癫疒间 患儿的视感知功能、个性特征及社会适应能力。方法 采用本顿视觉保持测验(VRT)、艾森克个性问卷 (EPQ)和儿童适应行为量表 (SAB) ,对 4 2例 8~ 12岁癫疒间
我当兵26个年头,立过两次功,而这两次功都是电大毕业后在团职领导岗位上立的。就此,我总结出一条可以指导人生的哲理──知识加努力等于成功。16年前那个夏天,我接到我们国家第一
为贯彻《国务院办公厅关于加强和改进城乡规划工作的通知》精神,加强县域城镇体系规划的编制工作,2000年4月6日建设部发布了《县域城镇体系规划编制要点》(试行),现予刊发。 In o
没想到平生第一次“闯关东”就闯到了大庆。从铁人王进喜率领他的钻井队在那片广袤、寒冷、荒凉的大草甸子上打出第一口油井时,大庆便名扬天下。且不说全国工业学大庆时代,单就