摘要：综合模块化航空电子(IMA)架构下,系统功能定义已经不同于以往联合式架构中面向任务的专用分布式计算定义,IMA平台上功能应用软件的余度通常代表着系统功能的余度。为了确定机载系统功能的余度,引入应用软件种类、通用处理资源模块、IMA平台机箱、功能应用软件余度4种变量,提出了一种依次设置因变量并反馈调整的任务可靠性设计方法。该方法能够科学地对IMA架构中功能应用软件的余度进行设计,为IMA架构下系统功能余度分析提供了一种新思路。

摘要：为实现具有相控阵功能的超宽带雷达,选用平衡式Vivaldi天线作为阵列单元,在周期边界条件下对Vivaldi天线阵列进行仿真,可以实现在4~12 GHz频带内E面、H面扫描角度均达到±60°,且有源驻波比均小于3。但基于介质基板的平衡式Vivaldi天线阵列剖面较高,不便于在空间有限的位置安装,因此设计了剖面更低的纯金属阶梯槽线天线。对三阶的纯金属阶梯槽线天线在周期边界条件下仿真,可以实现与平衡式Vivaldi天线一样的辐射性能。以6×6矩形网格阵列为例,对比两种天线的散射性能,纯金属阶梯槽线天线整体散射数值更低,在水平极化时具有明显优势。在三倍频的带宽内,纯金属阶梯槽线天线阵列有着与Vivaldi天线阵列相同的辐射性能,但前者天线剖面更低,结构强度更高,且在低散射性能上表现更加优秀。

摘要：本研究致力于炼油化工领域,专注于催化汽油加氢工艺的技术优化。通过深入的理论探讨与实际测试相结合的研究方法,提出了多项技术改进策略,旨在增强产品质量,降低能源消耗,并减少环境污染,以实现清洁生产的目标。在研究过程中,团队设计并进行了一系列针对性实验,这些实验不仅证明了提出的优化方案在实践中的有效性,同时也展现了其在经济上的优势。这些成果对于指导未来油化工企业的技术升级和环保措施实施具有重要意义。

摘要：本研究围绕分子炼油理念,对C8芳烃分离工艺进行系统优化,通过技术创新和过程参数调整,提出了新的分离工艺。研究首先分析当前C8芳烃分离工艺的局限性,基于分子炼油理念设计优化策略,并通过实验验证其效果。最终,探讨了该优化工艺在工业规模的应用潜力,评估其经济和环境效益。

摘要：为了探究微沟槽阵列对TC4(Ti6Al4V)钛合金表面润湿性的影响规律,使用皮秒激光在钛合金表面进行微槽加工。设计正交试验并进行回归分析研究激光参数与沟槽尺寸形貌之间的关系。通过单因素实验,分别改变槽宽、槽深以及槽间距,研究沟槽形貌尺寸的变化对钛合金表面水接触角的影响。结果发现在一定范围内,更大的槽宽和槽深、更小的间距会增强钛合金表面的疏水性能。

摘要：面向对象的并行程序设计提供了类似于共享内存模型对通讯和计算的抽象能力，从而非常适合于大型并行软件系统的开发．但是基于远程对象调用的分布式对象的实现效率一直是面向对象方法在分布式／并行程序设计中得到广泛应用的障碍．本文介绍了并行机ＭＡＮＮＡ上所采用的面向对象的并行程序设计模型——Ｄｕａｌ－Ｏｂｊｅｃｔ模型．该模型通过引入从语义角度出发给出的数据一致特性的描述，在一定程度上解决了实现效率低下的问题．其次，文章通过程序设计实例详细地讨论了基于Ｄｕａｌ－Ｏｂｊｅｃｔ模型的扩展Ｃ＋＋并行程序设计，并给出了部分实际测试结果．

摘要：程序设计语言ＦＯＰＬ是一种同时支持函数式程序设计风洛和面向对象程序设计风格的合成语言．本义介绍了ＦＯＰＬ的类型思想，并讨论了表达式纯洁性判断规则、表达式附类型规则及表达式等价判断规则，这些规则描述了ＦＯＰＬ基于方程逻辑的语义．

摘要：在面向对象程序设计中，继承性是导致语义复杂性的因素之一．本文讨论了作为代码共享机制的继承和表示功能特殊化的子类型的共存及相互关系．采用了将行为规范视为类型的概念，即类型为命名操作的集合．并在此基础上给出了类型、类及子类型关系的形式描述．

摘要：函数式面向对象程序设计语言ＦＯＰＬ，是笔者设计并实现的一种同时支持函数式程序设计和面向对象程序设计的合成型智能语言，本文在一个全称抽象域上描述了它的指称语义，进而讨论了一个和该指称语义计算一致的按值调用的操作语义。

摘要：本文基于有关因果关系复合的ＣｏｍｍｕｎｉｃａｔｉｏｎＣｌｏｓｅｄＬａｙｅｒ（ＣＣＬ［１］）理论提出了一种结构化并行程序设计方法以支持不同并行平台的“通用”并行程序设计．该模型采用“ＳＥＱＯＦＰＡＲ”的层次化结构和基于伪同态的并行抽象数据类型来分析和刻画程序的并行行为．首先，本文通过因果关系复合的范式定理的证明在理论上论证了“ＳＥＱＯＦＰＡＲ”形式进行结构化并行程序设计的可行性，然后详细介绍了该模型中并行程序的设计和性能评价模型．良好的代数性质使得在这一模型中可采用代数方法的程序变换来进行并行程序设计、优化和验证．与其它并行程序设计模型和方法相比，该方法为自然地综合描述数据并行和控制并行提供了一种途径；特别是基于代数变换的程序变换技术使得并行程序设计既独立于具体的体系结构又便于高效实现．