基于图分割的机械系统概念模块划分

为更好地实现机械系统的模块化设计,在基于功能-行为-概念结构(function-behavior-conceptualstructure,FBCS)的产品概念设计过程中引入面向产品概念要素的图分割聚类算法,建立了一种面向FBCS的产品概念模块划分方法。以堆垛机推拉机构为例,分析了根据产品的总体目标特征,进行产品功能、行为、概念结构求解与功能分解迭代的产品概念设计分解方法。为描述概念产品,提出黑箱法和IDEF0功能描述方法相结合的概念产品建模方法,以建立产品子功能-概念结构模型。在此基础上,建立了产品概念要素(功能、行为、概念结构、接口)的相关关系分析方法,并引入图分割聚类算法进行产品概念要素聚合,以实现产品概念模块的划分。推拉机构的概念模块划分证明该方法是可行和有效的。     

宇宙高能质子致单粒子翻转率的计算

通过简化半导体器件灵敏单元 ,计算得到了宇宙高能质子在器件灵敏单元内产生的能量沉积。然后利用地面重离子实验单粒子翻转数据得到的Weibull函数 ,计算了CRRES卫星轨道、 33mm铝屏蔽壳体内几种器件的单粒子翻转率 ,并与已有结果进行了比较说明。     

非单调关联故障树顶事件失效概率的新算法

提出了一种计算非单调关联故障树顶事件失效概率的新方法,其基本思想是利用ＢＤＤ进行故障树中顶事件的不交化工作,可避免求ＰＩＳ和ＰＩＳ的最小覆盖的运算过程,为有效解决其运算的ＮＰ困难问题提供了一条新的途径。     

赋双权二部图中最大权最小权完美匹配

本文涉及的是在赋双权的二部图中求关于第一个权最大的限制下、第二个权最小的完美匹配的网络模型,给出了这一模型的有效算法,并用此算法解决了企业的优化组合分工中的挖潜问题。     

图的色数与亏格的相对独立性

本文先证明如下定理:“对于每一个非负整数p,亏格为p 的图的色数可以是任意整数m, 2≤m≤[7+(1+48p/2)].”然后,据此定理得结论:当m≥3,要找到m—色图的充分必要条件基本上是不可能的,即使不说根本不可能。     

系统状态方程的信流图描述

本文从基本概念出发,结合两个具体电路讨论如何用信流图建立系统标准状态方程的方法。     

基于Petri网的近程防空武器射击建模

提出一种扩展时延Petri网,新提出的Petri网与以往高级时延Petri网的不同之处在于它允许个体的个性与共性同样得到考虑。这种方法被用来对装备多跟踪装置、多种对空武器的防空系统对多目标进行射击过程进行建模、分析、模型的正确性在文章最后的仿真中得到了验证。     

多载波码分多址在低密度二分图上的建模与分析

多载波码分多址是移动通信重要的多址技术之一,传统方法将扩频序列的构造和多用户检测单独考虑,未能做到发射机和接收机的一体化设计。受到低密度奇偶校验码的启发,基于图论建立多载波码分多址收发机模型,采用二分图定义码片和数据符号间的扩频关系。在此基础上,利用适合低密度二分图的消息传递算法完成多用户迭代检测,推导并分析洪水消息传递和串行消息传递两种检测机制。仿真结果表明,当传统的多载波码分多址系统陷入严重过载而不能正常通信的情况下,基于低密度二分图的多载波码分多址系统依然能够达到理想的传输性能,为下一代移动通信系统的设计提供了有益的参考。     

65纳米工艺双层三维静态存储器的软错误分析与评估

首先搭建了3D SRAM软错误分析平台,可以快速、自动分析多层die堆叠结构3D SRAM的软错误特性。此平台集成了多种层次模拟软件Geant4、TCAD、Nanosim,数据记录处理软件ROOT,版图处理软件Calibre,以及用于任务链接和结果分析的Perl和shell脚本。利用该平台,对以字线划分设计的3D SRAM和同等规模的2D SRAM分别进行软错误分析,并对分析结果进行了对比。对比分析表明2D 和3D SRAM的翻转截面几乎相同,但3D SRAM单个字中发生的软错误要比2D SRAM更严重,导致难以使用ECC技术对其进行加固。静态模式下2D SRAM和3D SRAM敏感节点均分布于存储阵列中,表明静态模式下逻辑电路不会引发软错误。     

浮空器气体混充定高建模与仿真

依据浮空器浮重平衡特性以及理想气体状态方程,探索了一种气体混充控制浮空器平飞高度的定高方式,并对浮空器气体混充定高技术进行了总体设计研究。考虑到热力学特性对于浮空器上升过程和平飞过程的重要性,结合工程热力学中混充气体的热物性能,以超压气球作为研究对象,分析球体上升和平飞过程中的热环境,并与动力学模型进行耦合。在此基础上,对混充气球上升及平飞过程进行力学仿真,得到气球上升过程中高度、速度、气体温度以及压强的变化,验证了浮空器混充定高技术的可行性,为后续浮空器飞行试验提供指导。