基于模型检测的机载电子硬件验证方法研究

模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。     

酸酐法合成乙酸酯类物质的一种新型催化体系的研究

以DMAP+I_2作为催化体系,考察了其在叔丁醇与乙酸酐的酰化反应中的催化性能,实验结果表明,该催化剂可使乙酸酐与高位阻的叔丁醇顺利进行酯化反应,乙酸叔丁酯收率可高达70%以上,并且反应条件温和、催化体系易被回收和重复使用。同样通过实验验证该催化体系也可高效作用于正丁醇、仲丁醇与乙酸酐的反应。DMAP+I_2催化体系经核磁共振、质谱仪进行表征分析,发现DMAP和碘单质之间发生了配位或者酸碱反应,重复反应多次,催化剂组分没有发成改变。     

水文序列相依变异识别的RIC定阶准则——以自回归模型为例

水文过程相依性是水文变异的主要表现形式之一,应用自回归模型对其进行拟合时合理确定模型阶数是一个难点问题。本文在分析AIC和BIC准则的基础上,提出了一种以原序列与其相依成分的相关系数作为拟合度指标,同时借用信息熵形式的函数式,作为模型不确定性度量指标的自回归模型定阶准则(简称RIC准则)。以AR(1)、AR(2)、AR(3)和AR(4)模型为例进行统计试验,将不同序列长度下该准则的定阶准确率与其他定阶准则进行比较,试验结果表明,RIC准则对于上述模型均具有较好的适应性,且定阶准确率远高于AIC准则,其中对于前三阶模型RIC准则优于BIC准则,但四阶模型略低于BIC准则。RIC准则的优势是可以同时满足模型定阶、相依程度分级与模型检验的需求,将其应用于实测水文序列分析,结果显示,该准则能较准确地识别自回归模型的阶数,且符合提出的"相依有变异而残差无变异的最小阶数"的检验标准。     

BIM用于垃圾垂直运输系统设计上的技术研究

工地扬尘控制属于绿色施工中的一项重要指标。目前,工程针对作业面扬尘的控制措施很少,控制效果不明显。针对此问题,利用BIM技术设计了一种垃圾垂直运输系统。BIM技术在设计过程中的主要应用点是:设计了各组成构件,模拟垃圾坠落时的冲击,设计出了转子这一个缓冲构件;优化了三维空间中钢板、角钢、螺栓等各零件的位置关系,避免碰撞;对整块钢板进行了切割排布,减少加工产生的边角料等。最终,垃圾垂直运输系统在工地现场的使用过程中取得了良好的效果。     

再生塑料包装设计及评价模型构建

基于再生塑料,采用德尔菲专家调查法和层次分析法,对其包装设计及评价模型的构建进行了研究。将再生塑料包装设计分成包装结构设计类、包装装潢设计类、包装材料选择类等;将问题分解,形成不同组成因素;根据因素间隶属关系,形成多层次分析结构模型。再生塑料的包装设计应适应当前市场需要,包装设计具有合理性,且与产品质量完全配合,才能够加强自身竞争力。最后通过实例分析再生塑料包装评价方法的用途。     

试论基于模型的系统工程(MBSE)的推进思路

现阶段推广应用系统工程已经是军方、机关和集团公司的统一要求,也是型号研制的必然选择。本文介绍了基于模型的系统工程(MBSE)的概念,分析了其推广过程中存在的问题及解决措施,最后提出了在型号研制中应用MBSE的思路。