检索结果-内蒙古大学图书馆

计算机工程与设计 1996年第5期17卷 13-20页

作者：雍信阳蔡希尧西安电子科技大学软件工程研究所

首先讨论了目前设计软件密集型系统设计中存在的错误认识，并指出了协同设计对于软件密集型系统设计的必要性。在此基础上，文章讨论了基于功能分解的协同设计方法，并用实例讨论了不同硬软件组合对于系统设计的影响。在面向对象技术日... 详细信息

首先讨论了目前设计软件密集型系统设计中存在的错误认识，并指出了协同设计对于软件密集型系统设计的必要性。在此基础上，文章讨论了基于功能分解的协同设计方法，并用实例讨论了不同硬软件组合对于系统设计的影响。在面向对象技术日益普及的今天文中就把面向对象技术引入协同设计中进行了初步的探讨。最后，文章以系统理论为基础，论述了系统开发的一般过程，并将此结论推广到基于计算机的软件密集型系统中，由此得到致力于解决这类系统问题的计算机系统工程的一般过程，同时指出了该学科的进一步发展方向。

关键词：软件密集型系统协同设计面向对象

来源：评论

学校读者我要写书评

暂无评论

软件密集型系统的故障诊断技术研究

引用

计算机应用与软件 2012年第2期29卷 175-178页

作者：徐静雯周继恩施跃跃马明孙权中国银联股份有限公司上海200135

在软件密集型系统发生故障时缺乏系统、规范的诊断方法,严重影响软件密集型系统的质量。以大量研究为基础,提出基于软件黑匣子的集成软件故障诊断模型,利用UML的扩展机制,采用"4+1"视图模型方法构建模型的体系结构框架,在Visu... 详细信息

在软件密集型系统发生故障时缺乏系统、规范的诊断方法,严重影响软件密集型系统的质量。以大量研究为基础,提出基于软件黑匣子的集成软件故障诊断模型,利用UML的扩展机制,采用"4+1"视图模型方法构建模型的体系结构框架,在Visual C++6.0环境中开发了它的原型系统。最后给出两个验证的应用实例,证明该技术路线是行之有效的。

关键词：软件密集型系统故障诊断 ISFDM-SBB ESBB

来源：评论

学校读者我要写书评

暂无评论

大型软件密集型系统的可管理性研究

引用

计算机技术与发展 2012年第9期22卷 99-102,106页

作者：宗平郭剑南京邮电大学海外教育学院江苏南京210046 南京邮电大学计算机学院江苏南京210046

随着软件密集型系统的大量建设,相应的管理任务难度日益凸显。文中针对此类问题将系统体系(SoS)的思想应用到系统的管理之中,对可管理性进行描述和明确了系统的管理任务,提出了一种提高系统可管理性的方法。通过简化系统体系的层次,运... 详细信息

随着软件密集型系统的大量建设,相应的管理任务难度日益凸显。文中针对此类问题将系统体系(SoS)的思想应用到系统的管理之中,对可管理性进行描述和明确了系统的管理任务,提出了一种提高系统可管理性的方法。通过简化系统体系的层次,运用分层管理与增加智能管理组件,设计了一种通用的智能管理组件架构,通过对系统可管理性定量分析方法的讨论,提出按照不同的管理目标和不同的组成部分来分别加权,说明定量分析方法的正确性和有效性。

关键词：软件密集型系统系统体系可管理性管理组件定量分析

来源：评论

学校读者我要写书评

暂无评论

基于代码检测的软件故障定位方法

引用

计算机工程 2007年第12期33卷 82-83,89页

作者：易昭湘慕晓冬赵鹏张雄美第二炮兵工程学院西安710025

针对现有软件故障定位方法的缺陷,提出了一种基于代码检测的软件故障定位方法,用嵌入式模块获取软件发生故障时的模块运行序列,分析出软件故障可疑模块集及其故障系数,在此基础上对故障模块进行代码的分类检测,根据上述过程中得到的结... 详细信息

针对现有软件故障定位方法的缺陷,提出了一种基于代码检测的软件故障定位方法,用嵌入式模块获取软件发生故障时的模块运行序列,分析出软件故障可疑模块集及其故障系数,在此基础上对故障模块进行代码的分类检测,根据上述过程中得到的结果进行综合分析运算,得出软件故障的可疑代码集和故障系数,采用代码分析辅助工具进行排查,定位故障。该方法已成功应用于软件密集型系统的故障诊断,能快速有效地实现软件故障定位。

关键词：软件故障故障定位代码检测软件密集型系统

来源：评论

学校读者我要写书评

暂无评论

UML的分析与研究及在合同管理信息系统设计中的应用

UML的分析与研究及在合同管理信息系统设计中的应用

引用

作者：雷瑛东北大学

学位级别：硕士

UML是一种可视化建模语言，它使用图形表示法来表示系统的面向对象的分析与设计。一方面，它是一种对软件密集型系统的各个方面进行可视化、规格说明、构建和文档化的语言；另一方面，使用UML有助于用户与软件开发人员之间进行良好的沟... 详细信息

UML是一种可视化建模语言，它使用图形表示法来表示系统的面向对象的分析与设计。一方面，它是一种对软件密集型系统的各个方面进行可视化、规格说明、构建和文档化的语言；另一方面，使用UML有助于用户与软件开发人员之间进行良好的沟通，使可靠的系统设计成为可能。\n 本文首先对介绍了面向对象的分析与设计过程和UML的发展背景，然后对UML建模语言的主要特点和表示法进行了分析和讨论，并介绍了UML的建模工具RationalRose，最后将UML语言应用于首钢公司合同管理信息系统的设计与开发过程中。\n 首钢公司合同管理信息系统是对首钢机动部和各分厂合同管理中的信息存储、预算管理、合同审核、数据维护及数据传送等进行管理的典型系统，不仅实现了对分布在各处的分厂的合同信息进行微机化、统一化的管理，而且还为首钢ERP系统的数据利用保留了接口。\n 该系统主要采用面向对象方法进行分析与设计，用UML语言为系统建模。在课题的实施过程中，首先采用用例图对机动部合同系统和分厂合同系统实现的功能进行分析。用例图的建立是系统开发者和用户反复讨论的结果，表明了开发者和用户对需求规格定义达成的共识。它不仅描述了待开发系统的功能需求，而且带动了需求分析之后各阶段的开发工作。然后利用交互图、活动图和状态图等对系统的动态行为建模，并在此基础上设计了系统的类图、构件图和部署图等静态行为模型。最后，利用UML建模语言对系统的GUI进行了设计。\n 在系统设计开发过程中，坚持实用性和科学性相结合的原则。同时，不断进行迭代开发，通过修改文档和可视化的模型来进一步满足用户的需求。\n 本系统采用MicrosoftSQLServer2000数据库作为后台数据库，选择JAVA作为开发工具。系统软件界面友好，操作简便易行，功能实用。

关键词：可视化建模语言建模信息管理系统静态行为模型动态行为模型软件密集型系统软件工程合同管理信息系统

来源：评论

学校读者我要写书评

暂无评论

SoS方法在软件工程过程中的应用研究

SoS方法在软件工程过程中的应用研究

引用

作者：郭剑南京邮电大学

学位级别：硕士

随着计算机软件系统的广泛应用，人们对于系统的功能需求变得越来越复杂。在建设软件密集型系统的过程中，需要集成许多不同归属、管理操作独立的自治系统，导致了相应的管理任务难度日益凸显。本文运用系统体系（SoS）的概念与方法，... 详细信息

随着计算机软件系统的广泛应用，人们对于系统的功能需求变得越来越复杂。在建设软件密集型系统的过程中，需要集成许多不同归属、管理操作独立的自治系统，导致了相应的管理任务难度日益凸显。本文运用系统体系（SoS）的概念与方法，讨论了系统体系的概念以及特征，着重分析了对管理问题的影响较大的组成部分——自治系统，从而归纳出相关的管理问题。本文在讨论适用于系统体系的软件工程过程的基础上，将互联网的管理框架应用于系统体系的管理，设计了相关的智能管理组件，通过该组件的部署可以在一定程度上实现组成部分乃至整个系统体系的自动管理。为了提高系统的可管理程度，本文提出了对系统可管理性进行量化分析的策略，设计了可演进的系统可管理性测度模型；并将影响系统可管理性的因素划分为内部属性因素和外部复杂性因素两个部分，分别根据这两方面的影响将系统的可管理性进行形式化，从而归纳出系统的可管理性量化结果；用以计算出整个系统体系的可管理性得分，对系统质量评估以及改进系统可管理性都有较好的参考价值。本文将系统可管理性的测度方法应用于路由器的可管理性分析，并根据路由器的管理现状将影响路由器可管理性的指标细化，给出一种适用于一般路由器的可管理性分析方法实例。

关键词：软件密集型系统系统体系可管理性管理组件测度

来源：评论

学校读者我要写书评

暂无评论

基于时间博弈自动机的道岔自动控制系统

引用

计算机工程 2012年第10期38卷 221-223页

作者：余兴超董荣胜孙栋栋邵梅桂林电子科技大学计算机科学与工程学院广西桂林541004

为提高道岔自动控制系统的运行效率,引入时间博弈自动机理论,建立列车、控制器、道岔和故障检测器的时间博弈自动机网络模型,使用TCTL公式描述获胜条件,应用策略综合工具Uppaal-Tiga输出获胜策略并生成控制代码。仿真结果表明,该控制策... 详细信息

为提高道岔自动控制系统的运行效率,引入时间博弈自动机理论,建立列车、控制器、道岔和故障检测器的时间博弈自动机网络模型,使用TCTL公式描述获胜条件,应用策略综合工具Uppaal-Tiga输出获胜策略并生成控制代码。仿真结果表明,该控制策略可以有效提高列车的行车效率。

关键词：时间博弈自动机形式化综合道岔自动控制系统控制策略完全信息博弈软件密集型系统

来源：评论

学校读者我要写书评

暂无评论

MVC设计模式在年金支付系统中应用的研究和设计

MVC设计模式在年金支付系统中应用的研究和设计

引用

作者：王波华南理工大学

学位级别：硕士

随着软件技术的发展，设计模式在软件分析与设计中得到越来越多的应用。MVC模式是广泛使用的交互式体系结构模式，它将模型、视图和控制器分离以提高灵活性和可复用性。本文基于MVC模式重新设计了年金支付系统。年金支付系统是一个... 详细信息

随着软件技术的发展，设计模式在软件分析与设计中得到越来越多的应用。MVC模式是广泛使用的交互式体系结构模式，它将模型、视图和控制器分离以提高灵活性和可复用性。本文基于MVC模式重新设计了年金支付系统。年金支付系统是一个相对复杂的交互式系统。随着我国企业年金的逐步实施，现有系统已经不能满足新的需求。由于现有系统紧耦合的体系结构，用户接口模块的修改对整个系统的影响很难估计。本文应用MVC模式比较有效地解决了该问题。在分析和设计过程中，本文使用UML来建立系统模型。UML是一种用于对软件密集型系统进行可视化、详述、构造和文档化的建模语言，主要适用于分析与设计阶段的建模。从需求分析出发，本文使用UML用例图展现了年金支付系统中的参与者和用例以及它们之间的关系。通过形式化文字描述和UML状态图，本文对用户需求进行了详细的分析。同时，对处理请求、错误处理等关键用例，本文使用了UML顺序图展示了对象之间的交互过程和消息传递。顺序图有效地帮助了本文在设计阶段对类和对象职责的识别。接着本文通过分类表和语言分析法提取出概念类，建立了年金支付系统的对象模型。基于MVC模式，本文建立了分层的系统体系结构。该体系结构将程序分为多个层次。模型包含核心功能和数据。视图向用户显示信息。控制器处理用户输入。视图和控制器共同构成了用户接口。本文给出了分层的系统包图。在类设计阶段，本文根据GRASP原则来分配类的职责，寻找类之间的关系。接着使用UML类图给出了年金支付系统的静态模型。年金支付系统包括了比较多的数据元素和表，本文对申请表录入批次信息，申请表的详细信息，客户信息，年金计划，年金账户余额信息，交易详细信息等表结构和元素进行了说明。最后，在分析和设计的基础上，本文描述了.net环境下的实例。该实例系统具有年金支付系统的大部分功能，并具有一定的灵活性和重用性。

关键词：年金通用职责分配软件 MVC设计模式年金支付系统软件技术软件密集型系统

来源：评论

学校读者我要写书评

暂无评论

UML综述

引用

大学时代（B版） 2006年第10期 160-161页

作者：王国辉马红梅王金荣烟台农业学校山东烟台264000 烟台职业学院电子工程系山东烟台264000

本文首先介绍了UML（Unified Modeling Language）的历史、现状及未来发展，然后就其组成、概念模型及建模思想作了概要阐述，最后用UML中的况图建立成绩管理系统的需求模型。

关键词：概念模型建模思想用况图组成 UML 成绩管理系统软件密集型系统

来源：评论

学校读者我要写书评

暂无评论

软件测试技术应用研究

引用

国防科技工业 2012年第3期 54-55页

作者：王晓华工业和信息化部电子一所

在全球进入信息化时代,软件密集型武器系统快速普及的大背景下,军用软件在国防中的地位愈加举足轻重。软件本质上是一种虚拟化的特殊产品,较之大部分武器装备来说,它看不到、摸不着,难以使用工业测量工具来检验它的质量。而军事用途的... 详细信息

在全球进入信息化时代,软件密集型武器系统快速普及的大背景下,军用软件在国防中的地位愈加举足轻重。软件本质上是一种虚拟化的特殊产品,较之大部分武器装备来说,它看不到、摸不着,难以使用工业测量工具来检验它的质量。而军事用途的软件一旦发生

关键词：软件测试技术军用软件软件密集型系统软件可靠性

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：