UM L顺序图的形式化定义与特性分析

以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步分析了对象消息发送和接收之间的一致性问题;最后,通过实例分析,对UML顺序图的特性作进一步的解释.该形式化定义与特性分析为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,也为基于UML顺序图的测试用例的自动生成奠定了基础.UML顺序图的形式化描述可用于对软件结构的理解和构造可视化建模工具.     

航天器真空热试验测控系统软件结构设计与建模

统一建模语言（Unified Modeling Language,简称UML）是面向对象软件开发方法的重要技术,使用UML对软件系统进行建模研究,有利于提高软件开发的效率和可重用性等。文章给出了真空热试验测控系统软件架构和主要模块的结构设计,并利用Rational Rose结合UML对测控软件进行分析建模和设计。     

行为导向教学法在高职机械制图课程教学中的应用

行为导向教学法强调师生互动,强调教学与实践紧密结合,注重以学生为主体。在《机械制图》课程教学中引入行为导向教学法,可运用任务教学法、案例教学法、项目教学法、现场教学法、小组研讨法,提高学生的综合职业能力。     

任务型《实用英语》课堂教学实验报告

通过传统型与任务型两个教学班的不同的授课方法，测试结果显示：两班学生在英语学习方面的努力程度相似，但实验后的两次水平测试结果表明实验班学生(任务型)优于控制班(传统型)的学生。     

面向对象语言与过程语言比较之不足

在目前的很多软件过程领域里使用面向对象语言，但并非全部。应该把许多过程语言中被公认的好的特性引入其中，以改善面向对象语言的某些不足。     

当代语义研究与英语词汇教学

传统的语义研究局限与外部世界的联系,而当代语义研究注重词汇的内部关系——纵聚合与横组合研究词之间关系。     

Cessna—152飞机的进近着陆过程计算分析

本文应用ＳＬＡＭ—Ⅱ计算机模拟语言编制了Ｃｅｓｓｎａ—１５２飞机的进近着陆程序。ＳＬＡＭ—Ⅱ模拟语言具有数值积分功能，使连续过程的程序编写大为简便。用该程序计算分析了Ｃｅｓｓｎａ—１５２进近着陆过程中飞机各种运动参数对飞行员操纵的响应。     

分层次教学在电工实训中的应用探索

分析在电工实训中采用分层教学的必要性,从教学对象、实训目标、实训内容、实训评价考核四个方面介绍分层教学在电工实训的实施情况,总结分层次教学的效果,提出分层次教学中应注意的问题。     

IPL：运载火箭测试数据自动判读语言

为确保运载火箭测试数据的完整性与正确性，克服传统人工判读模式判读效率低、易误判漏判以及通用编程语言自动判读模式判读适应性、扩展性、复用性差的不足，提出并设计运载火箭测试数据处理领域的自动判读语言IPL（Interpretation Language），以及配套的语言解析与执行器，实现了运载火箭测试判据的形式化定义与描述，减轻了业务人员的学习、判读成本，使得海量测试数据的判读在分钟级即可全部自动完成，目前已在多种新一代运载火箭工程实践中得到成功应用。