基于QFD和TRIZ的可信软件技术冲突解决方法

为解决软件开发中的技术冲突及提高软件的可信性,提出了基于质量功能展开(QFD)和发明性问题解决理论(TRIZ)的可信软件技术冲突解决方法.首先构建可信软件规划质量屋,在软件开发过程中引入用户视角;其次,重点分析质量屋的技术特性自相关矩阵中呈负相关的技术特性,尝试用TRIZ的发明创新原理予以解决,获得多个可行的创新性解决...     

开放式网络化测控系统中的同步控制技术

现代测控系统的测量对象越来越复杂、越来越分散,信号采集和控制终端节点呈现开放式、网络化分布式发展趋势.     

基于Modelica的载人航天器环热控系统建模仿真

为了给载人航天器乘员营造一个良好的生活工作环境,需要将众多空气环境参数控制在指标范围内。文章结合载人航天器专业知识,基于Modelica统一建模语言建立了一种载人航天器环热控系统仿真分析模型;利用该模型仿真分析了温湿度控制风机取不同转速时,载人航天器空气环境参数随乘员代谢水平的变化趋势。结果表明:在其他参数不变的情况下,温湿度控制风机转速越大,空气温度越低,相对湿度越高;乘员代谢水平变化对空气环境参数有显著影响,通过调节系统运行参数可将各空气参数有效控制在指标范围内。舱体温度与氧分压、二氧化碳分压、舱体相对湿度有密切关系且相互影响,不可单独分析。     

基于HTML语言的多媒体E—MAIL系统

介绍了一个在ＩＮＴＥＲＮＥＴ上实现的基于ＨＴＭＬ语言的多媒体Ｅ－ＭＡＩＬ系统，提出了一个适合实现多媒体Ｅ－ＭＡＩＬ的体系结构，通过将ＨＴＭＬ语言和Ｅ－ＭＡＩＬ有机结合起来，能达到系统的标准化和开放性等要求。本文在ＳＧＩ ＩＮＤＹ上实现。     

基于有效准则矢量生成的成像调度方法

进行高效成像调度是卫星控制的一项重要任务。通过将成像需求序列对应为有向图中的成像路径,结合成像调度问题特点,基于多个优化准则使用支配关系对成像路径质量进行综合评价,提出有效准则矢量生成算法。利用成像有向图的拓扑特性,基于时间顺序顶点选择策略进行顶点标记更新,生成出有向图中所有的有效准则矢量及每个准则矢量对应的一条Pareto优化路径。实验结果表明,获得的有效准则矢量数目小,算法可以在较短时间内得到多条具有代表性的优化成像路径,满足卫星成像调度的时间和性能要求。     

真空检漏设备数据采集系统的实现

文章详细介绍了真空检漏设备数据采集系统硬件网络的构建以及软件的开发。着重讲述了采集软件的主要功能设计及其实现方法,包括:可扩展串口功能、数据采集控制及处理功能、监视功能、数据备份恢复功能和模板式文件管理功能等。最后对该软件进行了展示。该系统已经在小卫星检漏试验中使用,并获得了较好的效果。     

MATLAB在方案论证中的运用

初步介绍了MATLAB工程计算语言的编程思想及部分功能，并列举实例，在对某重型越野车汽车性能指标的计算过程中，分别用Qbasic和MATLAB两种语言对同一问题编程，并进行对比分析，通过对比表明MATLAB在编程计算时具有高效、准确且更易于设计人员理解的功能。     

航电系统SCI环型互连的计算机仿真建模

研究可扩展一致性接口 SCI环型互连的计算机仿真问题。作为未来一代航电系统的首选技术 ,SCI互连系统性能的优劣直接影响到飞行器的质量 ,对其性能的评价因此显得尤为重要。文中按照计算机仿真建模的一般方法 ,从 SCI协议的基本原理出发 ,建立了接口和节点模型 ,解决了并发数据交互的仿真时序问题 ,给出了 SCI环型互连的系统仿真模型 ,并通过例子对仿真模型的有效性进行了验证     

引射冷却系统设计与数值模拟

采用复合可压流法和考虑粘性影响的一维流法设计了满足最大次流流量的引射喷管冷却结构,并采用Delphi语言开发了具有友好人机界面的设计应用软件,对引射喷管抽吸特性规律进行了研究,利用Fluent商用软件进行了设计引射喷管结构的数值模拟,验证了计算方法的有效性.     

基于语料库的大学生二语/外语作文分析述评

本文回顾了近年来国内外基于语料库的大学生二语/外语写作的实证研究成果,内容包括大学生二语/外语写作语言特征以及前人的研究对研究方法和写作教学的启迪。在此基础上,文章分析了大学生二语/外语写作领域内已取得的成绩和有待探讨的课题,从而为今后的研究指明方向。