教学课程资源库 更多>>

关键词： 多活性代理理论   航天测控网   体系   设计  

摘要： 我国航天测控网的发展面临信息化的挑战，为了更好地迎接这一挑战，需要根据我国航天发展的总体规划，研究探讨航天测控网信息系统体系结构。本文分析航天测控网的复杂性特点，引入针对强约束、强对抗条件下复杂信息系统设计与构建的方法论一多活性代理理论，指出该理论对于航天测控网体系结构设计的重要指导作用。本文论述了这一课题的理论和实践意义，并初步探讨了该理论在测控网体系结构设计上的应用。

关键词： 体系结构设计   向量计算机   科技进步一等奖   巧算   负责人   控制中心   人造卫星   结构原理  

摘要： 他是我国第一颗人造卫星地面计算控制中心早期设计负责人之一，我国第一台自行设计的大型通用电子管（该机获国家级一等奖）和第一台大型通用晶体管计算机体系结构设计负责人之一，我国第一台十万次／秒以上晶体管计算机体系结构设计负责人，我国第一台超大型向量计算机（该机获国家科技进步一等奖）新体系结构原理提出者和总体设计负责人，我国第一个管理程序总体设计负责人。

关键词： 联锁   进路控制   Event-B建模   形式化方法  

摘要： 计算机联锁系统具有典型的安全苛求特性。传统的联锁软件开发方法难以完整准确地定义需求,单纯依靠测试也无法发现软件中的所有错误,使软件在功能完整性和安全性方面难以得到保证。本文利用形式化Event-B方法和相关工具对联锁系统的核心功能—进路控制的相关功能需求和安全需求进行了建模、精化和验证,对开发高安全苛求和高可靠性的联锁软件提供了新的方法借鉴。

关键词： 底吹炉   物料平衡   热平衡   UML建模  

摘要： 以统一建模语言UML为工具,完成了系统的需求模型、静态模型和动态模型的设计,最终实现了底吹熔池熔炼炉冶金计算软件的开发。并以某企业实际生产数据为实例进行冶金计算分析,表明该系统能为企业生产提供技术性指导,同时可为优化生产工艺技术经济指标提供了重要参考依据。

关键词： 体系结构   设计   过程  

摘要： 介绍体系结构的多视图分析问题的方法,提出体系结构设计过程中工程准备、需求分析、设计开发、评估验证和发布应用的五个阶段。

关键词： 形式化   Z语言   ATP系统  

摘要： 首先叙述了形式化方法的概念和铁路信号系统软件安全技术规范,同时介绍了几种较为流行的形式化设计语言,同时也基于Z语言对列控ATP软件的移动授权分配功能规格进行了实例说明。

关键词： 串空间   Kerberos协议   形式化方法  

摘要： 串空间是一种基于定理证明的,新兴的安全协议形式化分析模型。认证协议使用密码技术实现网络环境下的身份认证和信息保密。建立了Kerberos协议的串空间模型,并进行了安全性分析,证实了Kerberos协议是安全的。此外还说明了Kerberos协议存在的不安全因素及努力的方向。

关键词： 教学改革   实践教学   支撑平台   实训课程  

摘要： 针对目前很多高校在软件工程实践教学初期所遇到的缺乏过程指导与各种资源的问题,阐述软件工程实践教学所需要的各方面支撑体系,构建一个由指导手册、系统原型、关键问题解决方案、教学资源库及相应管理规则、考核指标体系等要素形成的全方位实践教学支撑平台。

关键词： UML建模   项目驱动   教学案例   分析问题   解决问题  

摘要： 《UML建模》是计算机与电气自动化学院计算机科学与技术专业学生的一门专业基础必修课，它在软件工程建设中占有突出的地位。该文提出了一种新的项目驱动教学理念，并以此基础制定的教学案例，可以整合其他专业课程，使学生在学习UML建模的过程中，加深和巩固其他知识点，培养他们在软件开发过程中的分析问题和解决问题的能力。

关键词： 航天器   真空热试验   测控系统   统一建模语言   电气模型  

摘要： 随着航天器批量化生产及新型号研制进程加快,航天器真空热试验需求越来越多样,试验温度测量与控制的复杂程度越来越高,现有测控系统逐渐暴露出固有缺陷。文章针对测控电气系统,基于统一建模语言(UML)分析并提出了系统模型,提高了试验设备信息的处理能力,增强了系统设计人机交互的规范性,改进了试验进行时状态跟踪效果。通过实际的案例应用,展示了通过电气模型提高试验可靠性的过程。