异质网上互操作—从数据交换到程序交换

对分布式计算和软件集成中的互操作性问题进行了讨论，叙述了遵循特定的标准解决互操作性的办法，比较几种常见的互操作标准，包括ＳＴＥＰ／ＳＤＡＩ，ＣＯＲＢＡ和Ｊａｖａ，描述了Ｊａｖａ语言出现后程序交换的新特点，并对互操作标准的现状作了评述。     

基于独立学院的模块化课程体系建设研究

在分析独立学院人才培养定位的基础上,以国际经济与贸易专业为例,从注重学生能力培养的角度阐述了独立学院模块化课程体系设置的内涵,并在此基础上提出了独立学院实施模块化课程教学的保障条件。     

一种适用于小推力轨控发动机“二次变轨”机动突防方案

针对突防发动机轨控推力较小,难以产生在拦截器末制导段内成功突防所需的机动过载的实际情况,提出避开拦截器机动性能最强的末制导段,而选择在拦截器自由飞行段和末制导结束后实施“二次机动变轨”的突防方案,旨在解决弹道中段机动突防方案的有效性问题.建立了推力方向、推力持续时间等轨控发动机主要控制参数的优化规划模型,提供了基于遗传...     

嵌入式软件自动化测试平台的研究与实现

随着嵌入式系统的广泛应用,对其软件进行完善而又高效的测试成为必须.本文提出了一种联系宿主机和目标机的自动化测试平台.该平台分为宿主机端的测试管理和目标机端的测试代理,实现了代码自动插装、脚本自动化批量执行、功能测试、分支覆盖、数据通信和测试结果报告生成等功能.     

叶-盘系统振动特性有限元分析程序实现

引入空间八节点等参数单元,对叶-盘结构进行了有限元网格划分.利用自行编制的有限元循环对称结构振动分析程序对叶-盘结构(泵叶轮及涡轮叶轮)进行了振动特性分析,并与ANSYS软件计算结果进行了对比.经过对比,本程序的计算结果与ANSYS软件的计算结果吻合良好,从而验证了本计算程序具有良好的工程计算精度.     

某型飞机维护规程编制初探

针对某型飞机维护规程编制的特点，通过消化、学习专业知识，与外场维护人员的沟通与交流，给出了某型飞机维护规程编制的内容、依据和要求，解决了相关专业的协调与分工，检查条件苛刻及项目多的编制难题，并对维修项目和区域的确定进行了探索和研究。     

符号运算在工程分析中的应用

从用户的角度出发，简单介绍了国外符号运算在工程分析中的应用现况和发展趋势，旨在引起同行对这个领域的兴趣和重视。文中给出了一个符号运算的简单例子—用ＭＡＰＬＥ导出了１２自由度矩形板弯曲单元刚度矩阵的显式并将其自动转换成ＦＯＲＴＲＡＮ程序，以说明符号运算的优越性。可以看出，符号运算的程序简洁、直观，且不易出错。繁锁的公式推导和程序编制均由计算机自动完成，这不但大大提高了效率，而且也确保了公式推导和程序编制的可靠性。顺便指出，本文导出的矩形板弯曲单元比目前不少教材中采用的单元在性能上要优越。由于本文已给出了单元的插值函数的显式，故可望用该单元来替代教材中所用的单元．     

大客户管理:起源、概念与研究视角

大客户已经成为众多企业争夺的焦点，而基于交易的传统营销模式越来越不适应供应商一大客户关系管理。大客户管理已经成为客户关系管理学科的一个非常重要的分支。文章从大客户管理的起源、概念界定与研究视角等方面对西方大客户管理研究文献进行了初步的梳理，并指出了现有研究的缺陷和进一步研究的方向。     

机载防撞系统现场诊断软件的架构设计

本文阐述了机载防撞系统现场诊断软件（ACAS Diag）的架构设计过程。从软件的需求分析入手,引入用例分析的方法描述了ACAS Diag的功能需求;介绍了架构设计的五视图方法;并在此基础上进行ACAS Diag的软件架构设计,分别给出了软件的逻辑架构、物理架构、开发架构和运行架构视图,从而为后续的软件开发奠定基础。     

基于懒替换的C符号执行

针对传统符号执行中的动态地址计算问题,提出了基于懒替换的符号执行方法.通过引入尽可能替换的策略,基于懒替换的符号执行在无法静态确定变量的地址或符号表达式过长时不做符号替换.首先给出了基于懒替换的符号执行算法,在此基础上,详细分析了C语言主要结构尤其是数组和指针的懒符号执行语义.LazySEC是一个面向C程序的懒符号执行系统原型,初步实验表明,它可以有效地处理含有指针和结构体等涉及动态地址计算的程序语言结构.