教学课程资源库 更多>>

关键词： 学生注册系统   顺序图   类图  

摘要： 学生注册系统能够有效地提高学校对学生信息管理的效率与准确性,是学校办公自动化的重要组成部分。本文基于UML面向对象建模技术,以学生注册系统为例,介绍了学生注册系统的功能及其UML的建模机制,通过使用UML对学生注册系统进行分析、设计,实现了系统的静态和动态建模,为今后开发更新系统提供一个良好的理论依据,希望逐步实现学生注册的信息化操作。

关键词： 非结构化数据   CWM元模型   ETL设计  

摘要： 现代信息技术在行业中的应用日益深入,而各系统在开发过程中因其自身的独立性,在处理相关业务或实现数据管理时,多需要从异构环境下来进行整合。文章结合当前流行的公共仓库元模型以及ETL技术特点,针对非结构化数据的差异性,探讨属性提取和数据打包的有效方法,为实现非结构化数据的ETL设计奠定基础。

关键词： 建模   办公   维修   流程  

摘要： 我院自2006年开始启用OA系统,初步实现了无纸化办公。自动化办公系统为我们提供了编制文件、发布通知、收发内部邮件、工资管理,短信息服务等功能,既节约了办公成本,又提高了办公效率。为进一步落实无纸化办公的理念,我们将办公设备报修系统融入了OA中,本文叙述了报修系统的分析与设计流程,重点突出了建模过程。

关键词： 机载雷达   功能建模   空战仿真   效能评估   空战决策   UML  

摘要： 支持战斗机效能评估和空战仿真自动决策,需要能根据需求调整参数的机载雷达功能模型。通过分析机载雷达在实际空战中的工作模式及使用特点,并基于UML从其与战斗机的交互关系,基本目标探测功能,目标管理及工作模式三个方面进行交战级的功能建模。最后在机载雷达应用于战斗机空战的仿真案例中,检验了机载雷达功能模型的可用性和适用性。

关键词： 密码协议   形式化方法   计算可靠性   信息安全   网络安全  

摘要： 密码协议的描述和分析有两类截然不同的方法:一类以形式化方法为主要手段,另一类以计算复杂性理论为基础.Abadi和Rogaway首次试图将这两类不同的方法关联起来,证明一个协议在形式化模型下具有某种安全属性,那么在计算模型下也保持相应的安全属性.在这一工作的带动下,形式化方法的计算可靠性研究越来越受到关注,成为密码协议分析研究的一个重要内容.围绕这一热点问题,人们做了大量的工作.该文首先对两类分析方法做概要介绍;其次对形式化分析的计算可靠性研究成果进行分类和总结,并对各种方法的主要思想进行了介绍;最后对该领域未来的研究方向进行了展望.

关键词： 可扩展制造执行系统   工厂方法模式   软件体系架构   航空制造业  

摘要： 针对制造执行系统扩展性问题,在分析制造执行系统的可扩展需求与特征的基础上,给出了可扩展制造执行系统的定义,提出基于工厂方法模式的可扩展体系结构,探讨了具体的技术实现以及业务对象实例化过程。以多车间中转管理的扩展需求为例,给出了具体的扩展逻辑与方法。立足航空制造业典型离散制造车间,建立了面向航空制造业的可扩展制造执行系统,有效地提高了制造执行系统的开发与维护效率,大幅缩短了系统研发、实施与升级周期。实践表明,该系统具有良好的扩展性和维护性,为软件系统的扩展与维护提供了可借鉴的解决方案和实现途径。

关键词： VDM-SL   需求定义   形式化方法   软件体系结构   形式化描述  

摘要： 论文以一个销售管理系统形式化建模为例,考察了采用形式化方法的适用性原则并探讨了存在的问题。通过遵循试验证明,所提议的规则可以促进模型的简化、强化抽象概念的提取和明确抽象模型与具体模型的区别。在下一步工作中,需要讨论开发过程多阶段的形式化描述以及如何关联多阶段模型。

关键词： Bluetooth Security   MITM   UDDA   SIG   ACO   Link Key   PIN  

摘要： Bluetooth technology has become an integral part of this modern society. Bluetooth is a recently proposed protocol for local wireless communication and has become a de facto standard for short-range ad hoc radio connections. Security concern is one of the most important problems delaying the mass adoption of Bluetooth. Bluetooth communication range is categorized as high, medium and low depending upon power level. High range of Bluetooth communication is up to 91 meter, medium range is up to 9 meter and low range is up to 1 meter. Authentication and Encryption are the key security features that are used in Bluetooth communication. In this paper, we present architecture for authentication security of Bluetooth. The main goal of this paper is to design architecture of security for Bluetooth in real scenarios. In order to find out the major vulnerabilities in modern wireless Bluetooth-enabled devices that has performed successfully for several attacks such as Unauthorized Direct Data Access (UDDA) and Man-in-the-Middle Attack (MITM). This form of authentication presents an interesting modeling challenge. We discuss the implications of this authentication security for typical Bluetooth usage scenarios.

关键词： 软件开发   面向对象建模   RUP   UML   课程管理系统  

摘要： RUP与UML结合是目前最有效的面向对象的建模技术。然而,RUP非常庞大,使用时还得做裁剪。通过对RUP进行裁剪,可以得到很多不同的软件开发过程。基于RUP和UML,该文提出了一种能有效快速建模开发软件的方法,并通过对一个课程管理系统的建模,给出该方法的应用细节。实践表明,在软件的开发过程中,这种基于用例驱动,以类图为核心的软件开发过程,比RUP更简单实用,能清晰快速地构建软件系统的模型。