状态图相关论文
本文以CISR 系统为应用背景,以统一建模语言(UML)和Petri 网的适应性改进为目标,进行了相关的建模方法研究,并提出了相应的分析算法。......
随着自卸车货箱结构的不断发展,其后门翻转浮动铰链座在自卸车货箱结构设计中占有了很重要的地位。经分析改进后的后门翻转浮动铰......
<正> 一、ε相究竟表示为(Fe3N)、(Fe2N)还是(Fe3-2N)我国过去和最近出版的一些书籍中及苏联明克维奇著"钢的化学热处理"(1950版)一书中,......
随着计算机网络和Internet的不断发展,系统遭受的入侵和攻击也越来越多。入侵检测作为一种积极主动的安全防护技术,提供了对内部攻击......
目前虽然面向对象的程序设计方法在全世界范围内得到广泛应用,但相对而言对面向对象软件测试方面的研究却是严重滞后的。随着人们发......
随着软件系统在各个领域的深入和渗透,软件质量已经成为软件产品最重要的要素,只有高质量的软件产品才能赢得市场和消费者的欢迎.......
摘要: 本文分析了面向对象软件的特点及其对测试的影响,综述了面向对象软件测试的层次划分、各层的测试特点以及类级和类簇级的各......
本文首先逐步深入地对软件测试、面向对象软件测试、自动化软件测试和面向对象软件单元测试进行了介绍和分析。最后主要集中精力于......
分布式组件系统是一类重要的应用软件,为了提高这类软件产品的质量,必须开展充分有效的测试。但是分布式技术和组件技术的结合为软件......
软件测试是当今计算机科学与工程中起着至关重要作用的领域之一。近年来,面向对象技术的广泛应用和CASE工具的发展,已经大大减轻了......
本文在分析了对面向对象软件进行测试所面临的问题和已存在的测试策略、方法的基础上,基于UML模型进行面向对象的软件测试,并介绍了......
软件测试是软件工程的一个重要阶段。随着软件工程的发展,软件设计规模的增大,软件测试的地位变得日益重要。测试用例的设计和编制......
在当今的软件开发行业中,面向对象的开发模式获得了越来越广泛的应用。面向对象软件开发以其优秀的模块化,通过封装和接口达到模块......
应用场景是指应用系统为完成某个功能所进行的一系列的行为活动,包括用户对象与系统对象之间的交互。统一建模语言(UML)中的顺序图......
随着计算机应用的普及,软件质量成为软件工程最为关心的问题之一,软件测试作为软件质量的有效保障而备受关注。统一建模语言(UML)......
统一建模语言(Unified Modeling Language) UML简洁、直观,便于建模人员之间的交流与沟通,适用于软件开发的各个阶段。然而,UML缺......
从上世纪五十年代软件诞生开始,软件设计一直是软件系统开发的核心内容,好的软件设计有助于软件开发人员提高工作效率,减少不必要的开......
随着计算机科学的发展,各行业对软件产品的质量和开发周期提出了更高的要求。面对持续变化的需求,软件本身需要快速地做出响应。建模......
UML作为一种软件面向对象分析和设计的建模语言,已经得到了广泛的应用,但是,在软件的设计过程中,难免会引入一些错误。传统的软件测试......
统一建模语言(UML, Unified Modeling Language)是一种非专利的可视化建模和规约语言。UML提供了开放的方法,用于系统说明、文档化......
近日,澳大利亚科研人员研制纳米记忆技术取得了重要进展,这对研发大脑仿真技术的成功有着重要的意义。墨尔本皇家理工大学(RMIT)的科研......
提出了浸出剂的浸出能力和浸出容量的概念,以及浸出过程的理论浸出率的计算公式;根据化学热力学基本原理,提出了浸出状态图的概念,并......
移位寄存器序列中的M序列又称de Bruijn序列,由于有着良好的随机性质及密钥量大与难以破解的特点,在保密通信中具有非常重要的地位。......
学位
UML作为面向对象分析和设计建模语言的标准,有广泛的应用和扩展背景,通过UML的扩展机制使其支持面向方面状态图的建模,但UML建模的......
随着我国高速铁路自动化水平的提高,列控系统成为保障列车安全运行的关键系统。列控中心作为列控系统重要的地面子系统,为列车提供......
竹荚鱼(Trachurus Japonicus)是世界重要的渔业资源之一,近10年来,全世界竹荚鱼的年渔获量基本上都超过500万吨,产量居世界所有单一渔......
de Bruijn序列是一类最长的非线性移位寄存器序列,也称它为M序列。它在密码学、电讯学等很多领域中有着广泛的应用,因此,如何有效地生......
摘要:利用语音卡发送语音通知是一种非常实用的技术,可以极大的提高日常工作的办事效率。重点介绍了语音服务器软件的开发流程、主要......
目的研发“三防”医学救援队组织指挥模拟训练导调系统,实现训练进程的自动控制,确保模拟训练的顺利实施。方法分析导调系统的业务......
模型检验产生于20世纪80年代初,由美国的clarke和Emerson提出的。主要思想是:将要验证的系统抽象为有限状态机,用时态逻辑描述系统应......
状态图(StateChart)是对对象的行为的一种描述的方法,并是UML(Unified ModelingLanguage)可视化建模的一部分。文中分析了状态图建......
由于TiC熔点高、比重小、强度好、耐高温,TiC基复合材料如Ni-Mo-TiC、Ni-Cr-TiC等已研究用作高温结构材料,但这些材料的高温强度仍不......
随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一.......
SDL是ITU-T推荐的用来描述系统行为的一种语言.这里首先简单介绍了SDL的相关内容,然后举例说明了SDL在通信系统中的应用.......
主要介绍了ASM图的基本概念和用法,以数字密码锁为例,着重说明了其分析方法和设计步骤,具有很高的应用和推广价值。
This paper i......
电力系统于1998年开始推行新的电力系统远动规约标准IEC 870-5-101,为了便于该规约的推广应用,编写较好的应用软件,利用面向对象分......
习题课直接影响着学生对新课内容的巩固、理解和内化吸收,可见习题课对新课内容有一个后续的影响,它影响着新课内容的效果与效率,......
高中新课程方案是以模块作为学习基本单元的,由于每个模块的学习内容具有一定的独立性,学生对每个模块都要求从知识与技能、过程与......
C4ISR系统基于仿真的设计方法需要良好的建模方法的支持,Statecharts是一种支持动态行为建模的建模方法,能够描述系统中的层次性、......
介绍了一种多功能数字交流伺服控制系统的软硬件设计方案,其控制核心采用数字信号处理器(DSP)及带有短路保护的IGBT逆变桥驱动电路......
针对电网的连锁故障,提出了一种基于图论的模式搜索方法.根据实时的网络拓扑结构和潮流运行方式,建立系统潮流状态图.在供电通道包......
汽车电子软件是一类控制汽车机械和动力部件、实现各种汽车安全和舒适功能的高可靠实时嵌入式软件,其需求分析和设计方法是目前软......
介绍了自动化立体仓库中各种出入库方式的分类和分层结构模式 ,着重给出一种基于状态图和数据库表的出入库管理软件及其算法 ,其中......
可编程控制器在日常生活中已经得到广泛的应用,文章介绍了应用可编程控制器设计的多岔路口交通信号灯控制系统,并给出了顺序状态图。......