基于软件总线的星载系统软件结构的研究与设计

针对目前国内外星载系统软件可重构性较差的问题，提出了一种基于软件总线的星载系统软件结构。首先，介绍了软件总线和软构件的结构。其次，阐述了星载实时多任务操作系统中混合任务调度算法的设计。最后，对这个混合任务调度算法的正确性给出了证明。     

自乳化环氧树脂固化剂8310通过省级鉴定

由湖北省化学研究所研制、武汉市青山新型建筑材料厂生产的一种新型环氧树脂固化剂——自乳化环氧树脂固化剂8310,于1988年2月10日在武汉通过由湖北省科学技术委员会主持的鉴定。一般的环氧树脂固化剂所固化的环氧树     

废农用聚乙烯薄膜固相氯化制备氯化聚乙烯的研究

本文研究了以废农用聚乙烯薄膜(WPE)为原料,固相氯化法制备氯化聚乙烯(CWPE)的工艺。研究了氯化温度、氯含量、引发剂、分散剂等因素对CWPE性能的影响。并通过红外光谱的研究阐述了CWPE结构与性能的关系。对CWPE的开发应用泎了简要的介绍。以固相法对废聚乙烯薄膜进行氯化制备氯化聚乙烯的研究,国内外至今尚未见报道。     

基于G-KPR模式的三维一体创新能力培养模式探究

针对计算机科学与技术专业学位研究生培养仍然存在着本科化倾向的教学实际,分析G-KPR三维一体培养模式基本思想,提出一种将人工智能、项目协作、竞赛激励融入G-KPR模式的三维一体研究生创新培养新模式,介绍具体实施过程与评价,为研究生创新能力培养提供新思路.     

考虑风电不确定性和旋转备用容量配置的综合能源系统鲁棒机会约束优化

风电出力的随机性和波动性给综合能源系统带来极大挑战。为此,提出基于风电不确定性分析和广义储能备用的鲁棒机会约束优化模型。首先,采用拉丁超立方采样和模糊c均值聚类算法对风电出力进行不确定性分析;其次,引入广义储能优化旋转备用容量,以应对风电出力不确定性;然后,以运行成本最低为目标建立将随机规划和鲁棒优化相结合的鲁棒机会约束优化模型,客观处理综合能源系统运行中风电出力的不确定性;最后,经改进的IEEE 39节点电力系统、天然气系统与热网系统组成的综合能源系统验证,该模型能够在保证系统鲁棒性的同时,提高了系统的经济性。     

嵌入式实时操作系统Nucleus邮箱通信机制研究

对嵌入式实时操作系统Nucleus邮箱通信机制作了详细的分析与研究，给出了邮箱通信的结构图和各种接口关系，并详细讨论了邮箱功能组件具体实现方法，为进一步更好地开发及利用该操作系统提供了技术上的支持。     

功能翻译理论下日化产品外包装翻译研究

<正>日化产品外包装翻译是揭示产品功效、进行品牌宣传的有效形式,承载着扩大营销份额、提升品牌影响力的重要作用,尤其在全球一体化趋势不断加强的背景下,世界各国间的经济、文化交流日益紧密,不同国家的日化产品不断输入国内市场,国内日化产品亦不断走出国门销往世界各地,日化行业竞争愈演愈烈,基于此,消费者对日化产品外包装翻译提出更高要求。现阶段,日化产品外包装翻译质量参差不齐,且翻译侧重点存在较大偏差,如何采取有效措施提升日化产品外包装翻译质量是亟待解决的重要问题。本文以日化产品外包装翻译为探讨核心,分析日化产品外包装翻译现存问题,探讨功能翻译理论下日化产品外包装翻译的应用法则,在此基础上提出日化产品外包装翻译策略,以期促使日化产品外包装翻译更加合理、完善,提升日化产品对消费者的吸引力及相应日化品牌的核心竞争力。     

基于动态故障树联合动态Bayes网络的汽轮机跳机电磁阀配电系统可靠性研究

跳机电磁阀配电系统可靠性关系到机组安全运行。针对跳机电磁阀配电系统中因电源切换易造成跳机电磁阀误动问题，分析了误动及遮断系统失效原理，从取消电源切换装置和改变供电拓扑结构两方面考虑，提出两种配电系统改进方案，并采用动态故障树蒙特卡洛联合动态Bayes网络对跳机电磁阀配电系统进行可靠性研究。仿真结果表明，所提的改进方案不仅解决了电源切换引起电磁阀误动问题，提高了供电稳定性，而且系统具有较高的可用率。     

工业用钛粉鉴定新方法研究

工业钛粉帮鉴定方法为化学分析，要测定所２０种低含量元素，工作量非常大。针对较多行业使用的钛粉只要求全钛含量或单质钛含量，本文提出用ｘ射线衍射法确定钛含量，此方法简便，且能确定单质钛含量，这是别的办法无法达到的。     

带式输送机三元件固体模型启动过程动态分析

为了更精确地表达带式输送机启动过程的动态特性,将带式输送机划分为若干单元,运用牛顿第二定律对每个离散单元的运动过程进行了描述。同时对三元件固体模型的应力应变响应特性进行了分析,其两者结合起来就构成了动态分析模型。该模型未采用等效弹性模量的概念,而是将输送带的弹性伸长量和由垂度变化所导致的伸长量分离开来,更有助于了解整个动态分析的过程。采用迭代方法对模型进行求解,未涉及到对矩阵的处理,更加符合实际情况。采用三元件固体模型对带式输送机做动态分析建模,为动态分析提供了较好的理论指导。