教学课程资源库 更多>>

关键词： 排课系统   UML建模  

摘要： 本文中首先介绍了大学排课系统的研究背景,对所需要解决的问题进行了概述,讨论了项目的研究意义与重要性、国内外研究现状以及功能需求。其次,提出了系统的设计目标,在系统设计中,对系统进行了总体设计与模块设计。

关键词： 结构化设计   桥梁设计  

摘要： 针对桥梁设计当中结构化设计理念的应用现状,进行综合分析,并简要介绍了研究结构化设计在桥梁设计中应用的意义和结构化设计在桥梁设计中的应用原则,如科学性设计原则、简约化设计原则、连续性设计原则、整体性设计原则等等,提出结构化设计在桥梁设计中的应用控制策略,希望能够为有关人员提供一定的借鉴。

关键词： UML   创新实验教学信息化   管理  

摘要： 为了解决创新实验教学过程中资料收集、数据采集、统计与分析、过程监控、课程实验教学管理实施情况反馈等相关问题,将面向对象建模语言UML引入创新实验教学信息化管理云平台的设计和实现过程中,分析创新实验教学信息化管理功能模式需求,将UML应用于创新实验教学信息化管理云平台系统的开发,简化了系统的复杂性,为创新实验教学信息化内涵式发展提供了借鉴。

关键词： 形式化方法   协议验证   模型检测  

摘要： 时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。

关键词： 海面监视   指挥信息系统   体系结构   DoDAF   视图   模型  

摘要： 为提升对海面威胁的监控能力、提高海上作战任务的指挥控制效率,设计开发了一套集信息感知、网络通信、情报处理、指挥决策等功能于一体的国家级海面监视指挥信息系统。采用美国国防部体系结构框架(DoDAF)开展了海面监视指挥信息系统的顶层体系结构设计,构建了规范化、标准化、可扩展的体系结构视图与模型,为系统的具体设计与开发、系统性能综合评估与分析奠定了理论基础,有利于实现系统的可集成、互操作和高效费比。

关键词： 软件需求建模   需求确认   形式化工程方法   形式化方法  

摘要： 嵌入式控制软件是现代航空飞行器的核心部件之一。构建软件需求的形式化规约精确地刻画人们对软件期望的功能和运行场景,是确保此类安全攸关软件质量的根本途径。在工业界,形式化需求建模的大规模应用尽管有成功的案例,但仍面临众多的困难。其根本性难点在于缺少一种系统化的工程方法来引导工业界软件实践者,从原始需求开始最终完成形式化需求规约,并能确认该规约真实、充分地反映了人们对软件期望的功能。针对上述挑战,提出了一种面向机载控制软件需求建模的形式化工程方法ACSDL-MV,以形式化方法为理论基础,结合软件需求工程的基本原理,引导工程人员从原始需求出发以演化式的过程逐步完成需求规约的构建;定制了航空控制软件的形式化描述语言ACSDL,用以构建形式化规约;为了确认软件需求规约准确、充分地描述了人们对软件期望的功能,该方法给出了基于图形的静态审查和基于模型的动态模拟技术。在航空发动机公司中的实验结果表明,该方法相比传统方法探测到了更多的潜在错误。

关键词： 航空电子系统   安全性   形式化方法   模型检测  

摘要： 针对航空电子系统安全性评估过程中正确性难以保证的问题,在研究系统安全性模型的基础上,提出了一种基于模型的系统安全性需求描述和验证方法。该方法首先针对系统功能需求、安全性目标和失效状态建立危害用例,提取安全性需求;然后,采用带功能失效的状态机图描述包含安全性需求的系统功能模型,并使用安全扩展层次自动机作为中间状态,通过转换算法实现系统功能模型的形式化描述;最后,通过模型检测实现安全性需求的正确性验证。实例分析表明,该方法能够验证设计的系统功能是否满足安全性属性,提升安全性评估的准确性和效率。

关键词： 面向对象软件   软件测试   测试用例   覆盖率   自适应随机测试  

摘要： 针对现有面向对象软件(OOS)自适应随机测试中挑选测试用例的有效性及错误检测率不高的问题,提出了基于覆盖率的面向对象软件自适应随机测试方法.新方法在生成候选测试用例集时考虑了代码覆盖率信息,将语句覆盖率同测试用例差异性信息综合考虑来挑选将执行的测试用例,从而提高错误检测率.给出了覆盖率动态排序监测技术整体框架、预处理模块、程序插桩模块及排序模块;叙述了DTCGOOS-Cov算法.采用ID3Manage,RabbitAndFox,SATM,SchoolManagement,WaveletLibrary以及WindShieldWiper这6个被测类库,将新方法与传统自适应随机测试方法和纯随机测试方法进行了对比试验.结果表明:基于覆盖率的OOS自适应随机测试方法在F_m和E_m这2项指标上要优于其他2种方法.

关键词： 工匠精神   培养途径   探索实践  

摘要： “工匠精神”是指工匠对工作精益求精、追求完美、突破自我、创造精品的精神理念。高职院校培养学生的“工匠精神”,是社会转型发展的需要,也是高职院校可持续发展和学生成才、就业的需要,可通过校园文化氛围建设、强化专业课程教学、创新创业教育、企业实训、现代学徒制实施等多种路径,加强对学生“工匠精神”的培养。山东理工职业学院软件工程学院,从强化校园文化建设、加强师资队伍建设、提升专业建设品质、强化创新理念、实施现代学徒制等方面对此进行了积极和不懈的探索与实践。

关键词： train tracing   communication based train control(CBTC)system   zone controller(ZC)   timed automata   UPPAAL  

摘要： The zone control subsystem is a real-time control system,which requests the correctness of the control *** tracing scene is an important function of the zone controller(ZC)in the communication based train control(CBTC)*** the process of deep development and design,to ensure the safety of the system,the system needs to be modeled,simulated and verified to discover the system design *** modeling language(UML)is combined with timed automata,and timed automata network models of train-filter and train tracing demarcation-point are *** the same time,the verification tool of UPPAAL is applied to simulate the system,and verify the requirements of performance and function of *** results show that the function of train tracing demaraction-point meets the requirements of system safety and limited ***,the method is feasible and can be applied to the modeling and verification of other scenes of train control system.