教学课程资源库 更多>>

关键词： 形式化方法   马尔科夫链   模型   算法  

摘要： 通过形式化方法建模,对集成电路设计过程中的模型简化技术进行了研究.对互模拟、模拟偏序概念提出判定算法,利用交互式马尔科夫链模型的事件结构构造及功能模块细化方法、软件工程方法,得到模型验证程序,该程序能够对集成电路系统设计过程中的模型进行简化,实践证明具有良好的应用价值.

关键词： UML图   空间数据库建模   Visio开发   XML  

摘要： 针对传统数据库模式在建立庞大、多维、关系复杂的地理数据库模型的过程中存在语义表达不清等问题,本文研究了空间数据库模型在传统建模软件中的构建规律,设计了空间数据库模型在UML图中的表达方式及模板库和在XML文件中的存储规则,实现了将XML文件导入GIS数据库后自动生成控件数据库模型。通过在原型系统中的应用,表明了本文建模方法具有可扩展、方便修改、建模可视化的优点。

关键词： SOA   媒体资产管理   分布式集群系统  

摘要： 提出了一种基于面向服务的媒体资产系统体系结构为模型的探索性的数字媒体资产处理技术方案,对媒体资产的复杂业务,多任务的处理与存储进行业务功能的增加和转变,建立了基于SOA的分布式,为系统的建立提供了扩展和传输性的构架保障.

关键词： 图文档   审批流程   更改流程   节点任务   UML建模  

摘要： 国内企业图文档的传统审批主要依靠职能部门对纸质媒介进行审批修改,存在效率低、成本高和安全性差等不足,无法满足产品快速研发的需求,基于网络的图文档在线审批管理势在必行。针对某企业图文档管理系统开发需求,分析并定义了图文档审批流程的主要节点任务,并进行了相应的图文档审批流程分析。针对图文档更改需求,将图文档更改审批流程细分为问题报告审批、变更申请审批和变更审批三个子流程,对各子流程的主要节点任务进行了详细设计,在此基础上,基于UML建模方法建立了图文档更改审批流程的活动图模型,为图文档在线审批管理系统的开发提供了理论基础。

关键词： 云计算   数据中心   结构设计   网络体系  

摘要： 这些年来计算机行业快速的发展,云计算作为一种新型的网络技术得到了空前的发展,云计算技术为整个计算机行业带来了前所未有的变革。本文将阐述一种较低制造成本的交换机来建构新型的,具备高连通性能的数据中心网络方式,以供行业内其他人士进行参考。

关键词： 设备管理   Web应用   UML   组件技术  

摘要： 设备是企业组织生产的物质基础,在制造业中起着非常重要的作用。现代设备呈现出结构复杂、功能完善、自动化程度高等特点,只有利用先进的信息技术来对其进行管理,才能有效提高设备管理的工作效率。因此,实现设备管理信息化成为了企业信息化的重要组成部分。然而,随着面向设备管理领域软件体系结构和Web应用复杂性越来越高,原有的CGI、ISAPI等技术,已很难满足对分布式对象访问和操作的需求。所以,本文以实现系统的复用为目标,将组件技术与Web技术相结合,在某烟厂的实际项目Web-based Equip-ment Management System(WEMS)开发过程中,采用统一建模语言(UML)对特定领域设备管理软件进行了从需求模型、静态模型、动态模型到物理模型的软件全生命周期可视化建模,提出了分布式系统建模的解决方案。最终,在***框架下,采用C#语言和SQL2000数据库开发了WEMS系统,同时也验证了该分布式系统建模方案的有效性。

关键词： UML   建模   调串课   E-R图  

摘要： 高校调串课系统是适用于高等院校教师调串课的网络应用软件。在需求分析过程中,将整个系统分为教师调串课模块、教学秘书模块、教务处调串课管理模块和课程信息模块等6部分,使用统一建模语言UML对系统进行面向对象的分析和建模,完成了系统的静态建模和动态建模。在数据库设计中用E-R图建立了数据库的概念模型。

关键词： 体系结构设计   功能设计   数据库设计   自动组卷算法  

摘要： 文章详细描述了基于常职院考试题库管理系统概要设计的方案，包括系统体系结构设计、功能设计、数据库设计、自动组卷算法设计等方面，为考试系统的详细设计和系统测试提供了重要依据，特别是在试卷自动组卷方面，提出了应用遗传算法以及概率密度算法的方法和思想，使得组卷更为科学和切合实际。

关键词： UML建模   网上销售系统  

摘要： 电子商务形式的网上商店具有高效、快捷,信息畅通的特点,还可以很大程度上降低销售成本。以网上手机销售系统为例,探讨使用UML建模语言进行面向对象的分析、设计和实现等问题。主要对用户订购模块进行详细的分析,创建系统的用例图、静态模型、动态模型和物理模型。

关键词： UML   装甲装备   主动式保障系统   建模  

摘要： 摘要：为将主动式保障先进理念应用于装甲装备保障过程，采用UML系统建模理论和方法，在分析装甲装备保障主要业务内容的基础上，通过系统需求分析建模和系统分析与设计建模，构建装甲装备主动式保障系统用例模型、对象类静态模型、动态交互模型和状态模型，以及体系结构模型，明确装甲装备主动式保障系统的结构功能与运行流程，为系统仿真与评估、演示验证等后续研究奠定基础．