检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

协同状态网及其在软件建模和分析中的应用

计算机科学 2013年第3期40卷 238-243页

作者：沈春山中国科学院合肥物质科学研究院合肥230031

软件建模是软件活动的根本任务和模型驱动开发过程的核心,软件工程界一直追寻"银弹"式的软件建模方法。在分析现有软件建模方法的基础上,提出了协同状态网,以实现对软件系统的静态和动态特征描述。首先给出了协同状态网的形式化定义、... 详细信息

软件建模是软件活动的根本任务和模型驱动开发过程的核心,软件工程界一直追寻"银弹"式的软件建模方法。在分析现有软件建模方法的基础上,提出了协同状态网,以实现对软件系统的静态和动态特征描述。首先给出了协同状态网的形式化定义、图形化表示以及相关概念解释。以锅炉控制软件系统为例,详细说明了模型构造算法、模型可靠性分析方法。阐述了协同状态网在软件建模与实现等方面的一些优点,如便于理解,一个模型描述静动态特征,模型可分析可执行,可视化和一致性较好等。

关键词：协同状态网软件建模模型驱动开发

在线全文

学校读者我要写书评

暂无评论

基于UML的雷达网信息处理软件建模

弹箭与制导学报 2005年第S8期25卷 573-574,577页

作者：范隽空军工程大学导弹学院陕西三原713800

文中利用当前软件工程的最新发展成果—UML 软件建模方法建立了一个雷达网信息处理软件的实现模型。该模型独立于具体的语言实现,具有灵活、可扩展性强的优点。它不仅可作为雷达网信息处理软件的功能模型,通过适当的修改,还可作为多传... 详细信息

文中利用当前软件工程的最新发展成果—UML 软件建模方法建立了一个雷达网信息处理软件的实现模型。该模型独立于具体的语言实现,具有灵活、可扩展性强的优点。它不仅可作为雷达网信息处理软件的功能模型,通过适当的修改,还可作为多传感器信息处理软件的通用功能模型。

关键词： UML 软件建模雷达网信息处理

基于分层面向对象Petri网的软件建模方法研究

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2008年第31期44卷 90-93页

作者：冯晓宁王朔王卓哈尔滨工程大学计算机科学与技术学院哈尔滨150001 浙江大学竺可桢学院杭州310058

为了增加和扩展Petri网的表现能力,提出了一种分层的面向对象Petri网HOOPN,并且对HOOPN的正式的语法和语义进行了详细的阐述。HOOPN建模方法在很大范围上支持面向对象的抽象、封装、继承和多态等典型特征。HOOPN同样也支持很多的建模和... 详细信息

为了增加和扩展Petri网的表现能力,提出了一种分层的面向对象Petri网HOOPN,并且对HOOPN的正式的语法和语义进行了详细的阐述。HOOPN建模方法在很大范围上支持面向对象的抽象、封装、继承和多态等典型特征。HOOPN同样也支持很多的建模和分析机制,最后的应用实例建模与分析证明了HOOPN的有效性。

关键词：分层面向对象Petri网软件建模增量分析

在线全文

学校读者我要写书评

暂无评论

学习系统的软件建模方法研究

电化教育研究 2003年第8期24卷 46-49,56页

作者：柯清超李克东华南师范大学教育信息技术学院广东广州510631

本文在总结大量学习系统设计与开发经验的基础上 ,提出一套综合了面向对象方法与教学系统设计方法的 OO- ID学习系统软件建模方法 ,阐述了它的基本思想、建模过程和建模体系等。

关键词：学习系统软件建模面向对象教学系统设计

在线全文

学校读者我要写书评

暂无评论

角色模型在软件建模中的应用

计算机应用与软件 2003年第5期20卷 5-6,59页

作者：文斌徐永松何克清国防科学技术大学计算机学院武汉大学软件工程国家重点实验室武汉430072

本文针对模式应用中出现的由于软件模式是解决问题的详细设计而无法实现从分析到设计的平滑转换的问题,提出在分析阶段便使用软件模式,引入了Role模式并把它作为从分析阶段至类图设计阶段的中介,阐述了如何从Use case中抽取Role模式,如... 详细信息

本文针对模式应用中出现的由于软件模式是解决问题的详细设计而无法实现从分析到设计的平滑转换的问题,提出在分析阶段便使用软件模式,引入了Role模式并把它作为从分析阶段至类图设计阶段的中介,阐述了如何从Use case中抽取Role模式,如何从Role模式转换至Class类图,最终得到Class详细设计图,以帮助软件开发者有效利用软件模式,顺利实现从分析过程至设计过程的过渡。

关键词：软件工程软件模式软件体系结构软件开发角色模型软件建模面向对象

在线全文

学校读者我要写书评

暂无评论

浅谈数学建模与软件建模

山西师大学报（社会科学版） 2009年第S1期36卷 209-210页

作者：景妮琴北京电子科技职业学院电子工程系软件教研室

数学建模是通过对实际问题的抽象、简化,确定变量与参数,并应用某些"规律"建立起变量、参数之间的确定的数学问题(也可称为一个数学模型),求该数学问题,解释验证所得到的解,从而确定能否用于解决问题的多次循环、不断深化的过程。当今... 详细信息

数学建模是通过对实际问题的抽象、简化,确定变量与参数,并应用某些"规律"建立起变量、参数之间的确定的数学问题(也可称为一个数学模型),求该数学问题,解释验证所得到的解,从而确定能否用于解决问题的多次循环、不断深化的过程。当今的软件系统特别是商业软件系统通常十分复杂,人们经常借助模型来分析设计系统。软件建模因此应运而生。

关键词：模型数学建模软件建模

在线全文

学校读者我要写书评

暂无评论

基于UML的动力传动系统软件建模方法研究

汽车技术 2014年第8期 32-37页

作者：戴筱妍赵长禄黄英郝东浩北京理工大学

为解决动力传动系统嵌入式软件复杂、开发困难的问题,针对其功能和特点,运用面向对象方法对动力传动系统进行了建模。将动力传动系统划分为发动机控制系统、变速器控制系统和转矩协调系统,针对每一系统进行了静态和动态建模。通过软件建... 详细信息

为解决动力传动系统嵌入式软件复杂、开发困难的问题,针对其功能和特点,运用面向对象方法对动力传动系统进行了建模。将动力传动系统划分为发动机控制系统、变速器控制系统和转矩协调系统,针对每一系统进行了静态和动态建模。通过软件建模,将软件开发的层次提升到系统级,对领域针对性更强。所建立的模型具有较好的通用性。

关键词：动力传动系统语言软件建模

IEC60870-5-104协议的软件建模与实现

在线全文

学校读者我要写书评

暂无评论

IEC60870-5-104协议的软件建模与实现

作者：薛飞华北电力大学

学位级别：硕士

火电厂厂级自动电压控制（AVC）系统是指按预定条件和要求自动控制火电厂母线电压或全厂无功功率的控制系统。云南电网公司十分重视厂站侧AVC系统的研究与建设,于2007年就开展了《云南电网厂站侧AVC方案研究》等课题研究。云南电力研究... 详细信息

火电厂厂级自动电压控制（AVC）系统是指按预定条件和要求自动控制火电厂母线电压或全厂无功功率的控制系统。云南电网公司十分重视厂站侧AVC系统的研究与建设,于2007年就开展了《云南电网厂站侧AVC方案研究》等课题研究。云南电力研究院也于2010年3月提出AVC系统的研究课题。在这个课题中,很重要的一部分内容就是从电网调度侧以及电厂侧的数据源采集一系列的现场数据信号。与这些数据源通信主要是依靠远动通信方式。远动是电网调度自动化系统的重要组成部分,它是应用远程通信技术,对远方的运行设备进行监视和控制,以实现远程测量、远程信号、远程控制和远程调节的各项功能。它用于实现调度中心对远方电厂或者变电站的四遥（遥测、遥信、遥控与遥调）。远动规约是进行远动通信时,收发双方数据传达的格式。跟以前的常规远动通信方式比较,IEC60870-5-104规约在实时性、通用性等性能上更有优势。本文首先对IEC60870-5-104规约在规约的层面上对其规约结构、报文格式、报文结构并选取有代表意义的多个报文对其进行详细分析。之后对IEC60870-5-104规约在安全控制上所做的一些防范措施本文根据实时通信软件的特点选取了面向对象技术、统一建模语言（UML）技术来分析设计远动通信软件,阐述了上述两项技术的优点和适应性,总结并提出了一套针对IEC60870-5-104规约的以面向对象为理论基础,统一建模语言为工具的高度结构化的编程实现框架,与传统的实现方法比较,该实现框架具有更好的可维护性、可复用性。接着在对IEC60870-5-104规约进行详细分析的基础上应用上述的方法对104规约软件建模,在分析阶段,引入抽象层软件体系结构,将系统分成4个线程：主窗口线程、数据线程、日志线程、网络线程,建立起静态模型、动态模型;在设计阶段,通过对通信活动并发性的分析,构建任务（线程）,确定对象、消息的特征,应用大量UML中的类图、状态图进行统一的描述,详细介绍了主窗口线程、数据线程、网络线程的设计和实现。

关键词：远动规约 IEC104 UML 软件建模

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

大型海洋资料浮标前置机软件建模及实现

大型海洋资料浮标前置机软件建模及实现

作者：李崇中国海洋大学

学位级别：硕士

随着人类文明的提高和科学技术的发展，人们越来越重视海洋对人类生存的重要性。大型海洋资料浮标观测资料具有参数种类齐全、平台稳定性好、全天候长期连续监测、观测准确度高、受自然条件限制小特点，是十分重要的海洋监测装置。随... 详细信息

随着人类文明的提高和科学技术的发展，人们越来越重视海洋对人类生存的重要性。大型海洋资料浮标观测资料具有参数种类齐全、平台稳定性好、全天候长期连续监测、观测准确度高、受自然条件限制小特点，是十分重要的海洋监测装置。随着微电子技术不断地进步以及对海洋观测要求的提高，老式的海洋浮标受到其自身软硬件结构的问题，扩展和维护都非常困难。本文所涉及的大型浮标采用了集散式结构，由一个主机和若干前置机组成。主机负责卫星通讯和人机界面，前置机负责海洋参数采集。前置机要兼顾多种传感器的数据采集、存储和通信多种功能，对软件设计提出了很高的要求。为了使前置机软件开发时功能单元划分明确、合理、易于升级维护，使用UML（Unified ModelingLanguage）来对前置机软件建模是十分必要的。浮标前置机软件所涉及的传感器数据采集、通信和数据存储逻辑较为复杂。本文中的用例图设计法针对前置机软件的需求划定了系统边界、抽象出了前置机系统的参与者、整理出了系统内的用例及其关系，使得前置机软件需求条理清晰、模块划分明确。在进一步的软件静态分析中对系统各个进程之间的交互设计了明确的交互步骤，并通过循环、并发、条件等组合标签准确的描述了多个进程间的复杂特性。在动态建模部分本文根据静态建模中规划出的软件需求，首先对系统顶层结构进行了状态设计，妥善的处理了数据采样任务和辅助任务之间的接口和跳转关系;在对串口类传感器进行状态设计的时候考虑了其协议复杂的特性，使得流程清晰明了;在对AD类和脉冲类传感器进行设计的时候为其统计参数计算复杂的特性设计了相应的状态机。软件实现部分在动态建模的基础上，又充分考虑了各个传感器本身的特性。在状态机的状态和跳转条件不变的前提下，结合各个传感器各个状态的协议、计算方法、状态跳转机制等关键技术进行了开发和实现，特别对真风向和真风速的复杂算法进行了设计和实现。由于进行了详细的软件建模设计，复杂的前置机软件得以在短期内完成编码工作。本文所涉及的大型浮标已经成功的在东海海域连续工作了一年以上，在此期间前置机软件工作高效、稳定，充分证明了软件建模工作的有效性和必要性。

关键词：浮标 UML 软件建模海洋仪器状态机采集器