摘要：为了验证多Agent系统设计的正确性,将责任政策作为约束多Agent交互行为的高层"需求规格"或"通信协议",对其进行形式化建模及验证。研究了建模责任政策的形式化框架语言,基于责任状态模型建模责任政策的动态演化过程。给出了政策模型形式化验证方法,将政策模型的操作语义定义为Kripke结构的状态迁移系统,政策中Agent行为的约束规则声明为线性时序逻辑公式,使用模型检测器Nu SMV验证政策模型对线性时序逻辑公式的可满足性。实验结果表明,该方法可有效分析责任政策的设计缺陷,提高多Agent系统设计的正确性。

摘要：飞机机翼热气防冰系统设计主要包括防冰热载荷计算、笛形管设计、防冰腔设计和防冰系统验证。以某客机机翼为例,在机翼防冰热载荷计算的基础上,分析热载荷及溢流水蒸发率结果,获得防冰引气量需求,进一步提出防冰系统随高度变化的引气流量制度,确定防冰系统严酷状态设计点。采用欧拉-欧拉两相流方法计算水滴运动和表面水滴撞击特性,建立考虑溢流水流动相变的机翼表面的能量平衡方程,计算分析机翼表面的防冰热载荷和溢流水的蒸发率。分析结果表明:同一飞行与结冰气象条件下,在防冰表面温度2~15℃范围,热载荷随着表面温度近似以线性增加;为满足防冰要求,高度较低时的状态对应的表面温度设计值较大;引气流量制度随高度变化分为3个阶段:高度小于5594.9 m时,单边流量为0.91 kg/s;高度大于6705.0 m时,单边流量为0.59 kg/s;中间高度对应流量采取两者线性插值方式。研究结果为热气防冰系统的笛行管设计及校核提供支撑。

摘要：以东芝公司生产的TCD132D型号线阵CCD为例,介绍了一种基于CPLD和Verilog HDL语言的CCD时序驱动电路的设计方法。给出了Verilog HDL语言源代码,采用Modelsim SE等软件实现了功能、时序仿真。实验结果表明,设计符合实际工作需要。

摘要：应用计算流体动力学(CFD)方法,利用"浮子受力平衡度误差分析法"逐步调整入口流速,控制计算精度,对锥管浮子流量计的三维湍流流场进行数值计算,设计出满足设计目标要求的大口径、大流量的金属锥管浮子流量计.为了进一步验证仿真数据的准确性,建立了与实验用流量计结构参数、浮子高度完全相同的6个流量点数值计算模型.物理实验和数值计算数据对比表明,数值计算获得的各流量点的均方根误差仅为1.42%,可以用CFD方法设计浮子流量计的结构参数.

摘要：为了提高红外导引头稳定平台动态性能,减小振动环境对其稳定精度和光电载荷成像质量的影响,采用基于变密度法的拓扑优化理论,利用NX/TOSCA软件,以刚度最大化为目标函数,以体积比约束为设计响应约束,对红外导引头稳定平台主框架进行了拓扑优化设计。对比分析了经优化设计和经验设计的主框架结构形式的刚度及模态振型。结果显示,经拓扑优化的主框架在动态性能有所提高的情况下,结构质量大幅地减小,最大变形量由3.2μm减小到2.8μm,一阶固有频率由1 567 Hz提高到1 953 Hz,质量减小32.4%,有利于导引头轻量化水平的提升和整机性能的提高。最后,通过振动试验和稳定精度的检测数据验证了主框架的动态性能,说明了拓扑优化结果的正确性,这种拓扑优化方法可为其他重要件结构设计提供帮助。

摘要：为了研究节流装置结构参数对湿气流量测量虚高特性的影响,设计了与传统文丘里管结构相对的边壁绕流型长槽道内文丘里节流装置,并对其湿气测量特性进行了实验研究,对比分析了节流装置水力直径和管道液相分布对虚高的影响。实验研究和理论分析表明,气相对液相加速的摩阻压降是影响虚高的重要因素,在相同工况条件下,节流装置流通区域的水力直径越小,液相分布越均匀,气液两相混合越充分,虚高值越大。对节流装置结构参数对虚高的影响进行了较为细致的分析,为基于边壁绕流型节流装置的湿气流量计的结构优化设计奠定了基础。

摘要：以我国现有的百万千瓦级压水堆核电厂为对象,应用有限元分析软件ANSYS,通过对各种载荷组合工况和楼层反应谱进行全面分析评估,揭示了现有设计的厂址适应能力,分析给出了现有设计厂址的核岛厂房土建设计和楼层反应谱的适应性等主要包络参数范围。分析结果表明,现有结构设计的厂址适应范围较为广泛,抗震设计的厂址适应范围稍微偏窄。

摘要：主要讨论了面向任务的维修资源配置决策支持系统所需的模型和设计方案,采用形式化描述方法,建立了装备任务、结构、维修过程和维修资源之间的关系,解析和仿真相结合,研究了战前和战时的维修资源优化配置模型及算法,并设计得到面向任务的维修资源配置决策支持系统的结构和功能组成,为该类决策支持系统的设计与开发提供了思路。

摘要：为实现空间环境下机器人关节的谐波传动输出力矩测量,研究测量柔轮形变获取力矩的谐波测力技术。使用LS-DYNA有限元分析软件对谐波传动进行瞬态动力学分析,得到谐波柔轮的动应变特性,以此为依据对谐波测力技术的应变片设计方案进行分析和优化设计。经优化设计的谐波力矩传感器在未滤波的情况下均方根误差为1.6%,稳态测量误差为2%,采用低通滤波后稳态测量误差降至0.5%,满足空间机器人关节力矩测量的需求。

摘要：我国探月三期需在月面真空环境下钻采2 m深的月壤样品,为测试采样器在真空热环境下的性能,需首先在地面模拟一个接近月表的真空热环境.本文设计了一套模拟月壤真空试验装置,研究了模拟月壤真空实现方法.通过使用机械泵对模拟月壤进行抽真空,分析了抽速、样品量、含水量、密实度和温度等因素对模拟月壤真空度的影响情况.此外,分别分析了从容器顶部、底部抽气对模拟月壤抽真空效果的影响,提出了保证样品密实度的可行抽气方法.该试验研究对构建月面真空环境模拟器具备一定的参考价值.