基于多色集合的DSC软件设计模型形式化描述

来源 :2011年亚太信息网络与数字内容安全会议(APCID2011) | 被引量 : 0次 | 上传用户:hongjiansu1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  在分析了DSC建模语言和多色集合理论两种方法优缺点的基础上,提出了一种采用多色集合对 DSC模型形式化处理的方法。将简单系统的两两组合,连接关系作为多色集合的元素,建立了从DSC动态系统图到多色集合矩阵模型的转换机制。以网上订票过程为例,应用以上理论和方法,对其进行了形式化描述,使得模型便于计算机表达和操作。
其他文献
  本文从分析电子商务面临的安全性威胁出发,讨论了基于Internet进行的电子商务活动提出的安全需求。在此基础上,概要地介绍目前用于电子商务一些基本安全技术。包括电子商务
在欧美国家,尽管对UFO的研究是近几十年的事,但关于UFO的历史传奇记载可追追溯到几千年之前。比如在梵蒂冈埃及博物馆馆长的收藏物中,发现了一张古老的埃及莎草纸,记录了公元
期刊
二十年前我在西撒哈拉工作时,那里的地表温度最热可达七十五摄氏度。我穿着解放鞋,里面还垫着厚厚的毡垫,依然被烫得直跳,根本就站不住。那时候,我特别怀念当战士挖坑道的那段岁月。  那时,我是北京军区一名守坑道的战士。记得当时我跟团长、政委在坑道口上盖了一所房子,就住在外面,参谋长住在坑道里头。那时温度都是零下三十摄氏度,非常冷,和我在西撒哈拉的情况翻了过来。寒冷的夜晚时常令我夜不能寐。因为是刚刚中学毕
  基于Zadeh算子构建的模糊综合决策模型,有时会出现决策模型失效的问题。基于Zadeh算子和其它算子组合构建的模糊综合决策模型,虽然可以得到模糊综合决策结果,但却导致模糊综
会议
  本文在对变电站现状进行分析研究的基础上,设计了一种基于分布式系统思想的变电站微机监测管理系统。介绍了以16 位工业级单片机80C196KC 为核心的遥测分站的设计。该遥测
会议
  文中对西门子可编程序控制器(S7-200 PLC)和应用于X62W 型万能铣床电气控制系统的改造作了介绍,对系统的硬件组成和软件设计进行了阐述。实践证明,在应用PLC和触摸屏进行技
  某些领域的嵌入式计算机系统关系到国家安全。一旦系统受到敌方控制,就可能会给国家安全带来很大的隐患,因此系统应该具有自毁功能以保证系统安全。本文论述了研究关键领域
  机器翻译是人们通过计算机内部程序实现人类语言互译的一个过程。它是人类语言之间的桥梁。本文针对机器翻译的特点结合当前盛行的B/S 架构,提出设计与实现的方案,将机器翻
为理解套期保值收入与风险的关联性,观察套期保值机制的演化过程,笔者分别从期货套期保值合约和期权套期保值合约两个视角展开分析并提出套期保值的风险防控措施.rn为理解套
期刊
  写操作或存储节点临时的加入及退出会影响数据副本的一致性。如何从多个数据副本中选择出最佳的数据副本以最大限度的提高数据资源的访问速度也是数据副本管理的关键问题