【摘 要】
:
目前人们对统一建模语言状态图产生测试用例的研究仅建立在标准UML statecharts的基础之上,其并不适用于描述实时系统的时间扩展UML statecharts。作者在这里提出了一种时间扩展UML statecharts混合时间Petri网模型的构造方法。考虑到时间扩展UML staecharts具有时间描述、层次结构和并发结构,难以直接根据扩展UML statecharts产生测试用例,文中
【基金项目】
:
广西科学基金项目(桂科青0640032)
论文部分内容阅读
目前人们对统一建模语言状态图产生测试用例的研究仅建立在标准UML statecharts的基础之上,其并不适用于描述实时系统的时间扩展UML statecharts。作者在这里提出了一种时间扩展UML statecharts混合时间Petri网模型的构造方法。考虑到时间扩展UML staecharts具有时间描述、层次结构和并发结构,难以直接根据扩展UML statecharts产生测试用例,文中按照时间扩展UML statecharts的语义,论述了时间扩展UML satecharts的混合时间P
其他文献
“课程思政”是指教师在讲授专业知识的同时,将思想政治教育元素融入到课堂教学的一种教育理念,从而对学生的思想和行为产生积极的影响。《组织学与胚胎学》是一门研究人体微
2005年底,我们公司很幸运的收到了一本《农业新技术·今日养猪业》样刊,当时还没太在意,以为就是一种广告宣传而已。直到1个月后的某一天,才在找文件时从角落里给翻了出
指出了Markov方法和Monte-Carlo方法在可修复系统可靠性仿真中存在的问题,并提出了一种新的方法,称为RSS方法,从理论上系统地阐述了RSS方法的基本原理及算法过程,并在理论上验证了其正确性。利用RSS方法可以对事后维修可修复元件和系统的可靠性进行仿真。RSS方法不受系统元件寿命分布类型限制,计算量小,仿真时间短,精度高,仿真结果具有确定性,弥补了Markov方法和Monte-Carlo
铁骑力士企业文化的基础是以人为本,是以尊重人、信任人、关心人、理解人为人本观的表现。铁骑力士识别人才的标准是:品格+才能+绩效+认同铁骑力士文化=铁骑力士人才。董事长雷文
高技能人才短缺已成为制约中国经济社会发展的瓶颈之一,高技能人才是“科学技术是第一生产力”的实践者,是推动技术创新和实现科技成果转化为生产力的重要力量,在推动经济发
近些年,由于全球温室效应的加重,使粮食或饲料被霉菌及其毒素污染的程度及范围日趋明显。据统计,全世界每年约有25%的谷物被霉菌毒素所污染。霉菌毒素除直接使畜禽中毒致死
患者会阴部烧伤后,一般需采用充分暴露创面的治疗方式。为了保护患者隐私,以往直接在创面上覆盖无菌棉垫,这样和充分暴露创面的治疗相违背。为此,笔者特别设计制作了医用保护
目的观察宫颈扩张单球囊和双球囊对促宫颈成熟及剖宫产率的影响。方法选取2019年2月至2020年3月该院收治的足月妊娠促宫颈成熟孕妇78例,随机分为观察组与对照组各39例。观察
阐述大蒜脱皮成泥机的整体结构和工作原理,由小型电机提供动力,主要由吹皮装置、高速电机、成泥装置、去皮装置等组成。并通过试验结果得出:大蒜的去皮率在90%,损失率达到10%
噪声是影响系统辨识的不利因素,而实际系统不可避免的受到噪声的污染。对模糊推理系统在噪声消除中的应用进行了研究,提出了一种基于T-S模糊模型的模糊非线性噪声消除算法。说明了非线性噪声消除(NNC)的结构和使用NNC进行噪声抵消的原理。该方法由输入-输出数据对直接提取模糊规则,模糊规则的后件参数采用递推最小二乘法一次计算得出,然后从测量信号中消去噪声得到有用的信号。仿真结果表明模糊推理系统可以应用于噪