论文部分内容阅读
CPN作为一种重要的建模工具,组合了高级编程语言和常规Petri网的优点,具有状态空间仿真和分析能力。提出了针对CPN状态空间的四种覆盖准则:状态覆盖、变迁覆盖、状态对覆盖、变迁覆盖,对自动饮料机系统进行了CPN建模,并用四种不同场景的CPN状态空间的覆盖准则来阐述该方法的有效性。
基于CPN状态空间的软件场景测试
【摘 要】
：
CPN作为一种重要的建模工具,组合了高级编程语言和常规Petri网的优点,具有状态空间仿真和分析能力。提出了针对CPN状态空间的四种覆盖准则:状态覆盖、变迁覆盖、状态对覆盖、变迁覆盖,对自动饮料机系统进行了CPN建模,并用四种不同场景的CPN状态空间的覆盖准则来阐述该方法的有效性。
【机 构】
：
上海市计算机软件评测重点实验室
【出 处】
：
计算机应用与软件
【发表日期】
：
2010年09期
【基金项目】
：
国家高技术研究发展计划项目子课题（CFA2009RJZX01）,国家火炬项目（2009GH520068）,上海市科委创新行动项目（10DZ2291800）.
其他文献
经营好一家汽修店的秘诀之一是要多搜集、掌握一些维修的方法,以解决遇到的新问题,这也就是我们常说的经验.我曾听到过一句这样的俗语:总结你曾犯过的错误,可以减少你再犯错
近年来农村经济迅速发展,大量劳动力从农村转向城市,致使各种林产废弃物大量增加,造成严重的环境污染。而堆肥是一种生物处理技术,不仅可以对有机固体废物进行安全处置,也可
由于项目管理技术的不断提升和管理模式的多样化,不同行业甚至不同企业对项目管理系统的要求各不相同。如何利用软件构件技术快速地构造新的项目管理系统成为急需解决的问题。从项目管理系统的框架出发,首先对构件进行了形式化定义,然后基于此定义对项目管理系统组成部分进行了形式化描述,最后利用定义好的连接器,通过顺序、选择和并行三种组装方式组装成项目管理系统。并在此基础上提出了基于构件组装的PMS开发模型。
设计并实现了一个基于FAQ(Frequently Asked Question)的OTC(Over The Counter)问答系统。描述了该系统的工作流程、系统结构;详细阐述了系统实现的关键技术,包括基于倒排索引的查找算法、根据用户问题建立候选问题集和基于知网的语义相似度计算方法等。运行结果表明,对于常问问题和普遍性的问题,系统有很高的准确率。
首先定义了引入排队机制后的任务调度模型,根据P2P环境下节点和任务不确定性等特点,采用粗糙集提取任务和节点关键属性后利用相似度将任务和节点进行划分,对于同一队列中的任务按多目标规则进行优先级排序。实验表明按照内容进行任务调度提高了任务的平均QoS。
西红柿是百姓所熟悉并喜爱的一种重要的蔬菜,其营养价值较高,宜蔬宜果,消费量较大经常成为人们餐桌上必不可少的食物.同时,西红柿的栽培也是我国农民创收的重要途径.基于此,
在现有精细积分(最优)控制系统设计工具箱PIMCSD(Precise Integration Method-Control System Design)的基础上,采用MATLAB的GUI技术开发了交互式界面软件PIMCSD,其主要功能包含有限长时间线性二次最优控制系统和H∞鲁棒控制系统的设计与仿真。以一个具体的线性二次硬终端约束控制器的设计与仿真为例,介绍了PIMCSD软件的具体操作使用步骤,也演
新野县属于南阳盆地平原麦区,处于黄淮麦区和长江流域麦区过渡地带,常年小麦播种面积6.3hm~2,是国家小麦商品粮基地县和国家产粮大县。赤霉病是新野县小麦后期主要病害之一,
椭圆曲线密码体制以其密钥短、安全强度高、速度快等优越性被广泛用于进行构建数字签名和用户身份认证方案。同样,它也可以用来构建密钥交换协议。Diffie-Hellman密钥协商协议对来自中间人的攻击是脆弱的。基于椭圆曲线离散对数难解性,利用椭圆曲线密码体制的数字签名方案,提出了基于身份认证的密钥协商协议。该协议提供身份认证、密钥确认、完美前向安全性,并能够防止中间人攻击。