领域分析与建模研究

基于信息论通信系统原始模型构造了由信码、动作和目标刻画的三维领域概念模型,给出了领域的精确定义.提出用于构造任意构件的基本单元--微构件模型,并在领域三维模型的信码-动作平面给出微构件的精确刻画.提出了基于软总线的一般领域构架建模方法.软总线支持构架内信息流与控制流的混合结构传输,支持把协作策略从功能服务中分类出来,简化领域构架的控制操作行为.以上方法应用于电子政务领域工程实践,已成功地构造了一个柔性软件生产平台(SoftProLine),用于开发一整套基层政府的电子政务应用软件系统,突出地体现了高质量、高效率、高柔性的技术特点,方便灵活地满足用户全方位的需求.     

基于MCGS组态软件对机械手的控制

针对工业现场中纯粹的基于PLC对机械手的控制系统的一些不足,如对现场设备运行情况的实时监控,人机交互、数据处理等方面的不足,提出通过MCGS组态软件对机械手的控制,实现对机械手运行情况进行有效、实时、便捷的监控,提高了劳动生产效率及自动化水平,在工业生产中有广泛的借鉴意义。     

飞机油面控制器结构优化及试验研究

飞机左右机翼输油不平衡故障将会影响飞机操纵甚至飞行安全。基于某型机的输油控制原理,对双油面控制器进行结构优化改进。借助ANSYS软件对双油面控制器内部流场进行模拟。研究发现,控制口压力对其性能影响较大;压力较低时,燃油从油面控制器钟形活门处流出的形式为“涌出”,较稳定;压力较高时,燃油流出形式为“喷出”,射流会顺势进入浮子腔,促使输油过程提前结束,严重降低结构性能。根据仿真获得的射流喷射轨迹,在上浮子摇臂上设计了挡板,阻止燃油进入浮子腔,使双油面控制器在全包线范围内均能有效拉开输油开始与结束的油面差。试验结果表明,优化后的双油面控制器带来的油面差是单油面控制器的数倍,高效解决了输油不平衡的问题。该油面控制器的优化设计可供其他机型推广。     

基于OPTIMUS的临近空间飞行器再入轨迹优化设计

针对临近空间飞行器再入飞行受到热流率、动压和过载等多约束情况下的轨迹优化问题,提出了基于OPTIMUS优化软件平台搜索初值的编程求解方案。首先根据再入飞行动力学原理建立数学模型,并合理简化,应用最优控制理论设计滚转角控制律;然后利用OPTIMUS软件平台搭建系统工作流程,进行试验设计并建立响应面模型,通过平台集成的优化算法寻找初值;最后结合不同优化算法的优点,基于遗传算法加模式搜索法编写程序求解轨迹。结果表明,基于OPTIMUS分析所设计的轨迹优化方案,可以快速确定较为准确的初值,计算效率显著提高,且能够保证较高精度。     

基于加密和即时解密的软件保护

通过加密来保护软件,是防止盗版者通过逆向工程理解程序的一种有效方式.传统加密保护方式,运行时解密开销大,又由于采用一次性解密方式,易受到攻击而直接从存储器中获得解密后的程序映像.提出了即时解密技术,摒弃了传统的一步解密的方式,在运行时通过即时解码器以函数为单位一步步揭开隐藏在软件中的秘密.仅对一次运行中必须的部分解密,使得攻击者难以获得完整的解密后程序,难以篡改并绕过未解密部分中的软件保护功能,增强了抗攻击性.在运行效果上,由于解密分散进行,就解决了启动延时长的问题.用基于一次一密加密技术,与对称密钥加密算法相比,进一步减少了运行时开销,使得该技术在目前处理器上可以流畅运行.该方法增强了基于加密的软件保护的实用性,增大了破解的难度.      

一种嵌入式月面巡视器移动系统模拟器设计

提出了一种嵌入式月面巡视器移动系统模拟器设计方案,分析了模拟器的功能性能需求,给出了模拟器整体方案设计及硬件、软件的具体实现,最后通过系统测试对模拟器设计的有效性进行了验证.该移动系统模拟器可实现对移动系统电机及负载的功率级模拟,满足移动控制驱动组件的系统测试需求,并具有良好的通用性和可扩展性.     

基于模型架构的航天器控制软件研制方式研究

开展基于模型设计研究,旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作繁琐问题,提出一种基于模型架构的航天器控制软件研制方式,搭建软件模型驱动框架,通过模型封装方式将既有代码资产或新编写代码嵌入到软件模型驱动框架,简化代码胶合过...     

飞行器控制软件的Statechart原型及其验证

为快速构建飞行器控制软件的系统功能与行为模型,以无人飞行器为时象研究了一种飞控软件的Statechart原型(简称SCP)及其验证技术。基于软件虚拟原型,该SCP采用形式化语言Statechart对飞控软件进行自顶而下的功能与行为建模。先通过顶层模块定义系统的入口与主流程,接着构造两个并发的子模块：主控模块描述飞行控制与设备管理的状态演变,定时控制模块完成控制输出的实时更新。之后分别从语法、功能及性能3个层面对SCP进行验证与测试,并给出相关实验。该SCP具有层次性、模块化、可视化、可执行和快速反应等特点,适用于各种复杂嵌入式系统(包括有人飞行器和高空高速无人飞行器的飞控系统)的软件规范设计。     

基于嵌套网格和计入尾迹影响的旋翼流场数值模拟

给出了三维Euler方程数值模拟悬停状态旋翼流场的方法和模型。为充分考虑旋翼尾迹对流场的影响,采用了由动量理论导出的远场边界条件和由尾迹诱导速度代入滑移条件而构造的新翼面边界条件。为减少尾迹数值耗散和便于添加上述边界条件,采用了嵌套网格方法。针对嵌套网格中关键的贡献单元搜寻问题,本文采用一种伪贡献单元搜寻法。应用上述方法进行了算例计算,给出了有无尾迹修正时的旋翼桨叶表面压力分布和沿展向升力分布的计算结果,并与可得到的实验数据进行了对比。此外,从计算的等涡量线图上分析了旋翼尾迹流场畸变的发展趋势,表明了Euler方程法在旋翼涡尾迹捕捉方面的能力。     

FMS动态调度软件自动生成

在面向对象建模的基础上，首先给出了FMS的对象模型，着重研究了FMS动态调度软件自动生成的关键技术。在FMS调度软件的自动生成中，作者提出了运用构造调度指令表的方法，比较好地解决了FMS高度软件自动生存中系统触发唯一高度活动问题，而且将源代码自动生存的顺序，转化为调度摊在调度指令表中的顺序的生存，降低了软件自动生成的难度。文中给出了关键操作的算法，并考虑了死锁的预防，文末给出了应用实例。