摘要：形式化技术是系统开发过程中提高可靠性的一种行之有效的途径,随着形式化技术的发展与普及,它在系统软硬件设计方面得到了一定的应用。以某超短波监测系统中的数字信号处理模块软硬件开发为例,介绍了信号处理模块的硬件设计,描述了该模块的软件设计及使用形式化分析技术在软件开发过程中的应用步骤,为形式化技术在类似产品的开发过程中的应用提供了一定的借鉴。

摘要：嵌入式系统在高速通信时通常需要设计缓存机制以保证数据不会丢失,以某嵌入式系统为例,介绍了该系统的硬件及软件平台的设计,利用模型检查工具SPIN对该系统的数据缓存机制进行形式化建模,并利用时态逻辑公式LTL描述了该系统待验证属性,验证结果表明,该缓存机制满足设计需求,为嵌入式系统数据交互设计提供了严密的研究论证方法。

摘要：针对导弹对目标实施大角度攻击的作战需求,运用飞行力学和最优控制理论,设计了带终端攻击角度约束的三维空间最优导引律.在设计过程中,将三维空间分成纵向和航向两个导引平面,分别设计两个平面的最优导引律,并在纵向平面上考虑攻击角度约束,使得导弹在命中点的弹道倾角满足约束条件.最后分别针对静止目标和慢速运动目标进行了仿真研究.

摘要：多核处理器片内一般具有容量较大的动态RAM,其程序代码存储在片外Flash中,或者通过主机下载程序。多核DSP的启动和单核启动区别较大,本文以8核DSP芯片TMS320C6678为应用平台,介绍了多核DSP的启动方法。通过I2 C总线芯片存储一级启动程序,应用程序存储到容量较大的Nand Flash芯片,文中详细介绍了该启动方法的软硬件设计。

摘要：通过活性激发和材料间的协同组合效应,文章利用粉煤灰、矿渣粉、电石渣和复合激发剂制备低成本矿山充填胶凝材料——FGC胶结剂,实现了大宗固废的合理处置和物尽其用。采用响应面优化法进行配方设计,得到FGC胶结剂的适宜配比为:粉煤灰60%、矿渣粉20%、电石渣10%、复合激发剂10%。胶结剂与尾砂质量比为1∶4～1∶8,料浆浓度为67%～70%,充填体28 d抗压强度达0.68～2.63 MPa。适当调整物料配比,可以得到满足不同采空区充填要求。在较高的料浆浓度和较小的胶砂比时,FGC胶结剂用量明显低于普通硅酸盐水泥,充填成本大幅降低。重金属固化实验结果表明,FGC胶结剂对Pb^(2+)的固化能力优于普通硅酸盐水泥。借助XRD和SEM对胶结剂水化产物微观结构和重金属固化机理进行了分析。表明对体系强度起到关键作用的水化产物为水化C-S-H凝胶、水化C-A-H凝胶和AFt;对Pb^(2+)固化起到重要作用的是凝胶类物质和沸石类物质。FGC胶结剂在矿山回填和重金属固化方面具有较大潜力。

摘要：基于废玻璃钢增强和多种材料协同优化,得到兼具防水和保温性能的多功能粘结砂浆。以砂浆粘结强度为响应值,选取对灰砂比、聚合物掺量、废玻璃钢纤维掺量、废玻璃钢粉体掺量作为考察因素,根据Box-Behnken设计及响应面分析,得到粘结砂浆的优化工艺条件。粘结砂浆最佳工艺为:灰砂比0.5,VAE乳液、废玻璃钢纤维、废玻璃钢粉体掺量分别为8%、6%、9%。利用Designexpert 8.0软件拟合的数学模型预测砂浆粘结强度,与实验值吻合。掺入硅灰有利于改善纤维分散性能并提高粘结强度。砂浆的粘结强度符合JC/T 547—2005《陶瓷墙地砖胶结剂》的要求,同时具有良好的防水性能。

摘要：非标准纺织轴承内圈轴颈不同心且需要在其上面钻孔,给车、磨及钻削加工带来困难。针对以上问题,改进了加工方法并设计了一系列工装和夹具,提高了产品质量和加工效率。