特大规模组合电路高速测试生成系统ATGTA-1

针对特大规模组合电路和全扫描设计电路提出了一种高速测试生成方法，并建成了相应的测试生成系统ＡＴＧＴＡ－１。该系统采用有限回溯测试模式产生方法生成测试码，采用ｎ（机器字长）个测试码并行的单故障传播方法模拟验证测试覆盖。测试生成与故障模拟为ｎ对１紧耦合集成方式。该系统运行１０个Ｂｅｎｃｈｍａｒｋ电路，取得了低测试长度、高故障覆盖、高效率的良好效果。     

内可逆卡诺热泵的生态学优化性能

本文导出了内可逆卡诺热泵的供热量、供热率和供热系数的耗散量,以反映热泵供热率π与其耗散φ_cT_Lσ,即热泵熵产率σ、低温热源温度T_L和可逆供热系数φ_c乘积之间最佳折衷的“生态学”性能E=π-φ_cT_Lσ为目标,基于牛顿和线性唯象传热定律,研究内可逆卡诺热泵的优化问题,得到最大E性能时的供热系数界限及相应的供热率和熵产率。     

Q∝T~n时不可逆卡诺热泵的最优性能

非线性传热条件下的内可逆卡诺热机最优性能有了一些讨论,本文将导出不可逆卡诺热泵工作于非线性传热 Q■条件下,最佳供热系数д与泵热率π的关系。据此可确定任意泵热率时所对应的供热系数界限。最后,讨论了这一关系的一些应用,所得结果包含了经典热力学及内可逆线性传热情况下的有关结论,为实际热泵设计提供新的理论依据。     

用非线性规划求解有限推力最优交会

利用非线性规划方法研究了航天器的有限推力最优交会问题。这种方法利用了近年来发展起来的直接优化技术,用分段多项式来表示整个轨道的状态和控制向量,将最优控制问题转化为非线性规划问题。在应用这种方法时,先将整个轨道分为若干推力段和无推力段,然后利用配置方法产生推力段的约束段,利用状态转移矩阵来产生无推力段的约束。最后,对共面轨道情况下的交会进行了数值仿真,验证了方法的有效性和鲁棒性。     

小型无人机控制逻辑建模及仿真

无人机的飞行轨迹具有明显的分段特性,且在各飞行段内其飞行状态和控制方式有明显的区别。针对这一特点,可以通过建立飞行全过程的控制逻辑模型实现对无人机的监控任务。Stateflow是一个基于有限状态机理论的图形化离散事件仿真环境,可以用于控制逻辑建模。利用Stateflow建立了某小型无人机飞行全过程的控制逻辑模型,为无人机的控制逻辑建模提供了新的设计方法。通过对所研究的小型无人机非线性系统模型进行仿真,验证了所建立的控制逻辑模型的正确性。     

寻求兴武与兴企的最佳结合点——江苏省沛县大屯煤电集团有限公司狠抓民兵建设纪事

国有大中型企业--民兵工作传统主阵地不动摇 中煤部属企业大屯煤电集团有限公司，坐落在当年铁道游击队战斗过的美丽富饶的微山湖畔——江苏省沛县大屯镇境内。伴随着改革开放30年的前进步伐，这个集煤炭、电力、冶金、建筑、化工、建材、铁路运输综合经营为一体的国有大型企业股份上市企业走过了32年的风雨历程。这个连续8年跻身中国500家最大型工业企业行列的国有企业，在艰苦创业的辉煌史上同样谱写了一曲兴武强兵之歌，公司武装部先后被南京军区、江苏省军区、徐州军分区表彰为国防教育、民兵训练、基层规范化建设先进单位。     

热烈庆祝湖南云箭集团有限公司建企120周年

湖南云箭集团有限公司系中国兵器装备集团公司直属的国家重点科研生产型企业，国内航空装备专业研制生产厂之一。     

上海飞机制造有限公司召开第一届材料供应商大会

2009年11月12日，上海飞机制造有限公司第一届材料供应商大会在上海锦荣国际大酒店召开。会议由上海飞机制造有限公司供应商管理部部长宋启明主持。会议介绍了上海飞机制造有限公司发展战略、ARJ21飞机和C919飞机项目，     

有限维修能力下多级保障系统装备时变可用度评估及保障方案优化

备件库存和站点维修能力是影响备件维修周转的重要因素,制约着装备的使用效果。针对备件需求随任务阶段动态变化时装备保障方案的评估和优化问题,考虑站点维修能力对备件维修过程的影响,结合METRIC建模方法和动态排队理论,建立了有限维修能力下多级保障系统装备时变可用度评估模型。在评估模型基础之上,以保障费用为优化目标、装备可用度为约束条件,建立任务期内多级保障系统保障方案优化模型。以任务期内的最低可用度所对应的备件短缺数为观测值,分析各项资源的边际效益值,采用边际优化算法对各项资源进行优化计算。算例分析表明,评估模型能够计算多级保障系统任务期内各阶段装备可用度;保障方案优化模型和方法能够得到各项保障资源的优化配置方案。提出的模型和优化方法能够为装备保障人员制订合理的保障方案提供决策支持。