多用户协作式界面

多用户特征是交互桌面的核心特征.多用户围绕交互桌面进行面对面协作过程中体现出一些新的协作方式,这种体现新型协作方式的界面是一种新型界面设计范型,即“协作式界面”.分析了协作式界面的并发操作等6个特征和5种新型协作方式.在设计方面,提出了协作式界面的设计范型,并采用层次状态机对典型协作方式进行了形式化描述与设计.在实现方面,构建了一套体现上述协作特征和协作方式的控件库,基于该控件库实现了2个示例性应用.最后开展了用户实验,并利用李克特量表对实验进行了统计,结果表明,基于交互桌面的协作式界面设计在决策质量、协同标绘效率、协作可视化能力方面都提高了60%以上,效果显著.      

可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.      

概念设计集成系统与星座方案探索

进一步研究了快速方案选择和概念设计新方法.结合概念设计过程,给出星座方案选择和卫星概念设计的基本模型,在方案探索和概念设计中集成了风险和不确定性分析;应用系统综合设计优化平台(SDOF)开发卫星星座概念设计集成系统,实现卫星星座方案探索优选;集成系统交互、演进、分布式协同设计,可自动运行优化过程,同时可监视和控制设计任务单元运行状况,优化完成后用户可定制设计报告内容和格式;最后介绍了对地观测卫星星座概念设计实例,采用多岛遗传算法进行优化,初步验证了该系统在技术原理上的可行性.      

产品开发早期基于核心工艺框架的工艺设计

关于早期工艺设计理论方法的研究都是以特征信息为基础,不能利用早期阶段粗粒 度、非完备的产品信息.为此,采用关键特性表示粗粒度、非完备的产品信息,提出基于核 心工艺框架的工艺设计方法.核心工艺框架是对满足关键特性要求的工艺计划的抽象,可表 达产品族或零件族中各种变型的核心工艺内容,根据分支和存在规则快速配置工艺计划.基 于核心工艺框架的工艺设计过程包括4个步骤:确定产品族/零件族,检索核心工艺框架, 配置核心工艺和工艺路线设计,有效性规则、原理性规则和定制性规则确保工艺设计的准确 性.最后通过有翼导弹的弹翼主梁的加工工艺验证了此方法的可行性.      

动态工艺尺寸设计方法研究

工件的工艺尺寸在工艺过程中经常会超出许可的范围,但当这些超差工件仍有足够的加工余量时,通过修改其后续工艺路线（称为动态工艺路线）及工艺尺寸（称为动态工艺尺寸）仍有可能加工成成品,本文提出了一种在后续工艺路线确定后如何确定后续工艺尺寸的数学模型,并利用该模型成功了编制了动态工艺尺寸设计的软件,且用很多事例验证了该模型的正确性,该方法可以用于精密机械零件制造时的计算机辅助工艺过程设计及在线质量保证。     

基于MiniGUI的载人航天器人机交互界面的研究与实现

图形用户界面对于载人航天器中航天员在轨操作至关重要。针对载人航天器显示需求多、易变化导致开发周期长、难度大的特点,对显示界面的控件设计方法进行了分类,分析了各方法的特点,在此基础上提出了一种基于MiniGUI的控件自定义设计方法,增加了控件的用户可配置属性。实际应用结果表明,该方法可有效提升显示效果并提高了设计效率。     

面向对象的飞机概念设计系统中的重心估算

为了在飞机概念设计阶段有效而便捷地评估方案重量和静稳定裕度等特性,研究了在一个按照面向对象方式进行数据组织的计算机辅助飞机概念设计系统中进行重心及相应重量估算的措施.着重论述了重心估算部分的面向对象结构和采用的方法,尤其是根据相关部件的设计与造型特点估算燃油及起落架重心的方法.通过在设计方案的动态调整过程中估算其重量和重心,验证了该部分的适应性和可靠性,以及设计者交互地对估算的方法和结果加以控制的灵活性.      

飞机拦停网强度及拦停系统性能评估的数值方法

为了评估飞行器拦停系统性能以及拦停网强度裕度,采用非线性动力学有限元方法模拟了飞机拦停系统的工作过程,考虑了飞机外形、飞机和捕获装置间的相互作用、捕获装置重量、材料性能等因素对拦停过程的影响,解决了建立有限元模型、添加边界条件以及计算中非线性因素多,收敛困难等关键技术问题,获得了捕获装置在工作过程中应力的演化规律,完成了捕获装置拦停性能验证以及拦停系统结构强度、裕度评估.通过将理论分析结果与试验数据对比后表明:该方法可用于评估拦停系统拦停效率并预测捕获系统的强度储备,为今后设计拦停系统提供有效的分析方法.      

车辆监控系统中短消息通信网关的设计与实现

在阐述短消息通信模型的基础上,详细研究了可使车载系统与多个监控系统之间实现透明访问的短消息通信网关.在此基础上,提出了一种TCP/IP环境下短消息通信网关的技术方案和实现方法,并讨论了具体实现的一些思路和想法.为了提高网关的整体效率,设计时合理地采用了排队论、散列技术和缓冲技术,实现时采用了多线程、消息通信和控件技术.大量的现场实验和实际应用的结果表明了网关的高效性和稳定性,同时也证明了设计思想和实现方法的正确性.      

一种面向服务的业务过程建模语言

通过对现有业务过程建模语言的分析指出了其对面向服务支持的不足,以可视化过程建模语言VPML(Visual Process Modeling Language)为基础,提出了一种面向服务的可视化过程建模语言VPML-S,并提出了该语言的概念设计框架,简述了其通用的建模元素;使用UML类图设计了该语言的元模型,在此基础上建立了语言的形式化模型;分析和评估了VPML-S中的服务元素所提供的将活动映射为Web服务的面向服务功能,嵌入子过程元素所提供的多个业务过程之间的复用机制,管道元素所提供的多个业务过程的协作机制以及VPML-S和其它语言所建立的业务过程模型的互操作支持机制;评述了VPML-S的可视化图符替换、元模型扩展机制;最后通过一个网上购物流程实例说明VPML-S为面向服务的环境下的业务过程复用、协作和互操作提供了有效的支撑.      

基于遗传算法(GA)的具有约束的飞行轨迹规划

轨迹规划的一个最基本目标是规划飞机通过威胁空间并实现任务目标的飞行轨迹,这个轨迹需满足任务规划所确定的约束,这些约束包括：地形、威胁（静、动态）、燃油、时间、飞行性能等,构成了一个多维、多模态且具有组合爆炸的搜索空间,造成了轨迹规划的具有挑战性的难题。对基于ＧＡ的自适应搜索技术的轨迹规划方法和轨迹规划器进行了研究。提出了用来解决满足约束条件最优飞行轨迹问题的描述方法。     

用对象实现构件的原型开发方法

基于面向对象语言的基本特征,分析了用对象表示构件的诸多有利因素,提出了用对象实现构件的原型开发方法。该方法规定了构件的外部接口,构件间“联系”函数及原型合成过程中的择优方案等。它对原型法的实用化将会起很大的推进作用。     

投入产出生产函数在生产计划管理中的应用

探讨了如何应用投入产出生产函数为订货生产类型的企业制订企业生产计划大纲和产品进度计划问题.将企业的整个生产过程划分为多个生产节点,根据生产节点划分的规则,不同品种的产品生产所需经过的路径可由产品依次经过的生产节点来描述.生产节点间的投入产出关系,以及生产过程中普遍存在着的动态随机性,则借助于动态随机生产函数来反映,从而使计划人员估计不确定性对完成项目时间的影响.在此基础上,同时考虑到订货生产类型企业的特点,在制订企业的生产计划大纲时,应用静态生产函数,制订企业的产品进度计划时,应用动态随机生产函数.     

不确定需求下航空公司枢纽网络优化设计

为了帮助航空公司合理规划航线网络，降低运输成本，从航空公司的角度出发，将机场容量看作到港和离港航班的函数，绘制了机场容量包络曲线。基于机场容量包络曲线构建了随机需求下多分配、非严格的两阶段混合整数随机规划模型，第1阶段确定网络的枢纽位置，第2阶段确定不同需求情形下城市对的运输路径和不同路径上的流量比例。当需求情形是离散变量时将两阶段模型转化为确定的等价规划。继而以东航为例选取13个机场对模型进行验证，并对运输成本折扣因子进行灵敏度分析。结果表明:在不同的折扣因子情形下选择的枢纽机场不同，折扣越大，选择的枢纽越多，网络总成本越低，且3种折扣因子情形下的枢纽选择与实际比较吻合；每种折扣因子情形下，当需求不同时航线网络的布局有所差异；对比需求确定和不确定下的模型结果差异，得出需求不确定下的网络总成本更低。可见需求不确定下的随机规划模型更加贴近实际，能够帮助航空公司规划符合实际情形的枢纽航线网络，并确定其在枢纽机场的容量份额。      

无人直升机自主着舰系统设计及仿真试验

设计了一套包含视觉目标识别单元、目标跟踪器、甲板状态跟踪器和模糊逻辑控制的无人直升机自主着舰系统.视觉系统通过对采集的图像预处理提取出可能的甲板标识区域,然后对此区域计算其仿射不变矩特征集合,对得到的特征集经过模糊识别技术实现对甲板降落区域的识别,并根据矩特征集计算出甲板运动状态信息.目标跟踪器采用了卡尔曼滤波技术,在目标二阶运动方程的基础上设计了跟踪算法.甲板运动状态跟踪器用于在无人直升机的降落期间实现对甲板尤其是触舰瞬间甲板的纵摇、横摇及浮沉状态的预测,该跟踪器采用了改进的卡尔曼多步预测算法.设计了基于模糊逻辑的比例积分控制器,由多个并行的对特定任务实施控制的子控制行为构成.仿真试验结果验证了所提出的算法.在仿真试验中,无人直升机能够正确的识别甲板目标区域,实现了对运动舰船在二维水平面内的跟踪,甲板状态跟踪器能够预测未来1~5个周期内甲板状态,控制器基于目标信息和甲板状态能够正确地引导无人直升机实现安全着舰.     

航空发动机一维数值仿真

分析了航空发动机一维气动热力数值仿真模型,此模型能够用于航空发动机整机数值仿真.进行了整机性能数值仿真,求解过程考虑了粘性效应以及气体流动损失对于整机性能的影响;采用了具有TVD性质的高阶精度Godunov格式,此格式具有良好的数值稳定性和激波捕捉能力;应用了时间推进法,交替使用显/隐格式.计算了某型带加力的混排涡扇发动机的速度特性以及节流特性并且与设计数据进行了比较分析,数值仿真结果与设计数据比较吻合.分析了典型工作点的计算过程,模型收敛速度较快.     

舰载机进舰任务中的驾驶员变策略控制模型

针对进舰任务中驾驶员的变策略行为,构建了驾驶员控制模型.变策略模型由离散行为模型和连续行为模型组成.使用滑动模态变结构控制方法实现驾驶员离散行为建模,根据飞行训练要求和驾驶员经验,确定滑动模态控制结构中的切换面和控制律参数;驾驶员连续行为采用经典的模型描述,依据转角模型理论确定模型参数.使用一个驾驶员判断偏差大小的功能模块,进行离散行为模型和连续行为模型的切换.通过数值仿真验证了模型的合理性.      

一种基于图论的机场空域无人机流量控制方法

城市物流无人机机场需具有同时起降多架无人机的能力，针对中小型垂直起降无人机设计了一种单入口单出口、航路交叉、多停机坪的机场模型，提出了一种基于图论的飞行安全优先的流量控制方法。根据机场内无人机飞行状态，控制无人机进离场时间，规划出机场内飞行航路，保证无人机飞行安全。仿真结果表明:该流量控制方法可以确保无人机在机场空域内安全有序飞行；分别测试了面积不同的机场进场与进离场运行容量，在单个停机坪面积一定时，停机坪数量越多进场容量越大，但进离场容量反而越小；因此在设计机场时，在给定的机场面积情况下，需要合理规划停机坪数量。      

改进（DSP）模型运用于货运中心信息系统规划

货运中心信息系统规划,是围绕着公路货物运输网络的信息系统布局,对货运中心适站量的信息输送方式,信息作业规模、以及信息系统的建设水平进行规划。在货物运输过程中,该信息系统需要处理有关物品运输、中转换装、车辆调度、运输代理等多方面的信息流,使之密切配合物流系统的管理,提高货物运输服务水平、工作效率及经济效益。该信息系统群的作业过程,是由一组与物流组织相关的成对信息系统,对每对O—D流进行作业。在满足运输网络流需求的条件下,信息系统的布局应要求以最低的系统费用或最好的效益来安排建设序列。DSP模型是送货系统问题规划模型,本文对该模型进行了适当的改造,首次将之运用到货运中心信息系统规划问题中。主要变化是:(1)一个货运中心为一个节点,所覆盖的运输区内的用户端点都合并到该节点中;(2)成本系数为决策变量的直接相关的函数。本方法已成功地应用于甘肃省货运中心运输网络规划,取得了满意的结果。     

Self-restoration of biocomponents as a mean to enhance Biological Life Support Systems reliability.

One of the key problems of long-term space missions is limited service life of units. The only exceptions are biological components of biological Life Support Systems--higher plants or microorganisms. These components are capable of self-restoration: after complete disintegration, they can appear again from seeds or spores. The estimate of failure intensity of BLSS regeneration component includes: a number of self-sustained sections of the regeneration component; permissible boost (how many times can productivity of a component be increased); time required to repair (restore) a component; the crew existence time, when all LSS regeneration components fail; failure rate of one section of a regeneration component. Evaluations show that for hydrogen-oxidizing bacteria and micro-algae very high reliability is achieved even for one or two sections. In the case of higher plants (due to low rate of self-restoration) bio-regenerative module has to be divided into 10 self-sustained sections operating simultaneously. These measures can decrease the probability of catastrophe by a factor of 10(6).