【摘 要】
：
基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论,给定一个系统,其每一个状态的性质都是确定的,当提出软件需求时,常常是
【机 构】
：
北京航空航天大学自动控制系,中国科学院软件研究所计算机科学重点实验室
【基金项目】
：
国家自然科学基金重点资助项目(60633010);国家自然科学基金(60473067,60474006,6042100l,60573012);国家973重点基础研究发展规划项目(2002cb312200)
论文部分内容阅读
基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论,给定一个系统,其每一个状态的性质都是确定的,当提出软件需求时,常常是对系统状态的性质提出需求,为设计出满足需求的系统,可以首先按照是否满足该性质对系统状态进行分类,再对不满足该性质的状态控制其可控事件的发生从而改变其性质使之满足要求的性质。本文将这种方法用于软件需求是不变性或可达性时的软件设计问题,通过和已有文献中结论的比较,显示了这种设计思想的广泛适用性和优点,也验证了软件控制论这一思想的可行性。
其他文献
<正>尊敬的铸造业同仁们:大家好,新春伊始,中国铸造协会张立波会长、张志勇秘书长携全体员工向海内外铸造业同仁致以诚挚的问候和由衷的祝福!同时郑重宣布以下重要调整:为提
本文介绍了合成氨生产中氢氮比的一种控制方案.几乎所有的合成氨装置对氢氮比的控制都存在一定的问题.因为氢氮比系统是一个超大时滞系统,大时滞系统的控制问题是过程控制中
我国明显的城乡二元结构对农村义务教育产生非常大的负面影响,严重制约其健康发展。而要解决这种现状,必须从制度安排和政策调整入手,制订城乡教育协调发展战略,健全教育法规
提出了一种用于工业机器人时间最优轨迹规划及轨迹控制的新方法 ,它可以确保在关节位移、速度、加速度以及二阶加速度边界值的约束下 ,机器人手部沿笛卡尔空间中规定路径运动
极限是高等数学最重要的概念之一,也是研究变量数学的重要工具和分析方法,同时又是高等数学的主要运算——微分法和积分法的理论基础.其题型多变,方法灵活,技巧性强.本文用实
当代美国黑人女作家爱丽丝.沃克的长篇小说《紫色》是女性主义文学经典。本文从黑人女性主义的立场探讨沃克在《紫色》中表达的黑人妇女的自我解放之路,即以缝纫、写信等创造
以后现代主义的视角来理解教育本质,会发现"教育本质"是不存在的,现实世界是多么巨大,教育本身就是一个复杂的教育现象,我们没办法用"教育"一词来海涵一切教育现象,从而我们
作者以人教版小学五年级语文课文《白杨》的课堂教学为例,针对教学对象和教学引导两个关键环节,结合小学语文多媒体教学的应用实践,探讨有效利用多媒体教学的方法,实现教学效
大学是典型的利益相关者组织,在所有权分离的情况下,特别需要建立一种制度与组织结构,用以对多元化的利益主体进行权责划分和关系协调,进而提高大学的办学效益,实现办学目标
<正>人民网舆情监测室发布《企业舆情报告》显示,2010年企业舆情危机总量达154件,同比增长83.3%;2000年至2010年十年间的企业舆情危机数量平均增长率为31.5%;2010年成为中国