【摘 要】
：
对于实时系统来说,UML顺序图描述了对象之间的交互.对象之间的交互展现了系统行为的场景.本文中,我们针对描述多场景的UML顺序图组合中的可达性问题进行研究.尽管这个问题可
【机 构】
：
南京大学计算机软件新技术国家重点实验室
【基金项目】
：
国家自然科学基金(6027036,602339291);863计划(2002AA116090);江苏省自然科学基金(BK2002079)
论文部分内容阅读
对于实时系统来说,UML顺序图描述了对象之间的交互.对象之间的交互展现了系统行为的场景.本文中,我们针对描述多场景的UML顺序图组合中的可达性问题进行研究.尽管这个问题可以转换为相应的时间自功机,然后进行处理,但其转化为之后,状态空间巨大,解决的开销比较大,效率不高.针对部分可达性问题,本文采用更为高效的基于线性规划的解决方案,其思想如下:首先遍历所有到达给定节点的简单路径片断来验证可达性,随后遍历到达给定节点的并且包含所有循环至多一次的路径片断来验证可达性.由于我们并没有遍历所有路径片断,因此用本文的方
其他文献
连续砂滤器是一种高效的污水处理机械,相比于其他砂滤机械它具有结构简单紧凑、连续操作、处理能力大、过滤效果好、消耗能量少、占地面积小、安装简便、维护成本低等优点,广
在全球化历史进程中，经济全球化推动了文化全球化的发展，文化的全球化让世界各国面临一个共同的文化境遇，即在文化全球化发展过程中，世界各种文化相互交融，形成一个共同的全球时代
当前，随着人类社会科学技术的飞速发展，以数字电视、新媒体及互联网为代表的新技术发展迅速，以电视为代表的传统媒体受到严重的冲击。因此，在新时代下，急需实现电视与新媒体的融合
本文以木薯淀粉、聚乙烯醇、剑麻纤维为主要原料，添加发泡剂、增塑剂及填充剂等助剂，通过烘焙工艺制备了木薯淀粉基泡沫材料，并对其密度、力学性能、吸水性能、燃烧性能、热稳定
废旧易拉罐回收利用技术是以废旧铝制易拉罐为原料开发氧化铝纳米纤维非织造材料的制备技术，该材料是一种比表面积高、热稳定性好以及力学性能优良的催化剂及其载体材料和耐高
从人与自然和谐共生、生态公平、可持续发展的维度来论述生态价值观的构建，既有理论价值，也有现实意义。从理论层面看，生态价值观是生态文明的理论先导，对它的研究有助于马克思主
功率放大器(功放)是无线通信系统中的关键模块之一。随着无线通信技术迅速发展,不断提出的新标准和新制式对系统中所用功放提出了宽带、高效率、大功率等的要求。其中,提高功
目的通过免疫荧光双重染色和蛋白质印迹法检测恩度治疗、新辅助化疗以及二者联合治疗后人MCF-7乳腺癌裸鼠移植瘤中VEGF和MMP-2的表达，评价恩度对人MCF-7乳腺癌裸鼠移植瘤的抗
结合当前高中英语"文学欣赏"选修课的现状,分析开设高中英语"文学欣赏"选修课的必要性。提出优化精选选修课教本、优化初始阶段的材料选择、积极开展分级阅读活动等六个加强
基于海外华文教学的特性与需求，本研究采用语料库语言学的方法和计算语言学的方法构建了一个面向华文教学的中小学语文教材课文常用词分级词表。就研制理念而言，始终坚持面向华