基于综合电子计算机的多系统软件协同运行及联合仿真技术研究

对基于综合电子计算机的卫星姿轨控系统和星务系统的软件协同运行及仿真技术进行了研究.介绍了综合电子计算机的硬件组成,对综合电子控制系统联合仿真进行了软件框架设计、数据池数据结构设计、数据池操作接口函数等设计.并针对该计算机设计了一种控制系统联合仿真闭环验证系统.试验结果满足控制系统的各项指标要求,整个联合仿真技术为卫星综合电子技术的应用提供了参考依据.     

基于虚拟化技术的卫星控制系统软件构件库运行监控与可信验证技术

动态系统建模工具可以按照设定的仿真步长对控制器的行为动态模拟,也可以在仿真环境下模拟控制器所在的系统架构和动态数据交互,因此传统的卫星控制系统方案设计时一般采用在同一模型建模体系进行,并进行相应的控制算法设计。但是由于动态系统建模工具其自身的时钟步长和数据流处理逻辑,不能完全模拟目标机的内部ALU逻辑和真实外围设备工作行为,可能与真实物理环境要求的系统有一定的出入,造成对承载卫星控制器功能的目标机CPU处理系统存在一定程度的失真,影响仿真效果。提出了一种基于虚拟化技术的卫星控制系统软件构件库可信验证技术,使用虚拟化技术实现对真实物理目标机功能的完全模拟,运用软件非干涉运行监控技术,获取可信的开发证据和应用证据,利用协同仿真组件和卫星控制系统方案设计的控制算法模型对各个软件构件进行动态同步仿真验证。     

甜菜乙醇发酵条件的研究

以甜菜为原料,利用酿酒酵母对经过预处理后得到的汁液进行酒精发酵试验。通过单因子试验和正交试验,探讨最优发酵条件。试验结果显示的最佳发酵条件:初始糖浓度为10.4%,营养盐添加量分别为K2HPO40.2%,NH4Cl0.2%,MgSO40.01%,种龄24h,接种量15%,初始pH值为5,温度为32℃,摇床转速为175r/min。     

基于STP方法的SCADE模型形式化验证框架

高安全性应用开发环境(SCADE)的形式化验证组件Design Verifier能够验证航空航天领域嵌入式软件系统的安全性质,但不能充分描述拥有复杂时序性质的安全需求。为解决该问题,构建一种SCADE状态机的时序性质验证框架,将SCADE模型转换成NuSMV模型,并将线性时态逻辑和计算树逻辑引入SCADE模型的需求规范中。分析结果表明,借助NuSMV模型检查器及其验证结果可检验复杂时序相关的安全性质,减少模型设计阶段的错误,提高系统的安全性和可靠性。     

HJ混凝土界面处理剂剪切强度的试验研究

为了提高混凝土界面处理剂的剪切强度，得到良好的剪切力学性能，文章研究了不同聚合物种类、掺量和不同灰砂比对界面处理剂剪切强度的影响，并分析了各自的作用机理。试验结果表明：不同聚合物种类具有不同的最佳掺量，可使得界面处理剂的剪切强度达到最高。     

SS-MSM密胺类高效减水剂合成工艺

在密胺类高效减水剂合成工艺中引入新材料对氨基苯磺酸钠,合成具有高减水分散性能的改性密胺类高效减水剂(SSMSM).系统研究了主要原料摩尔比、pH值、反应温度和反应时间对SS-MSM性能的影响.结果显示,引入对氨基苯磺酸钠能明显提高其分散性能,减水效果好,有较好的水泥适应性和贮存稳定性,并且优于参比的高效减水剂.     

对氨基苯磺酸钠改性三聚氰胺减水剂合成工艺

在四步法合成三聚氰胺甲醛树脂的基础上,引入新的单体对氨基苯磺酸钠,研究了主要原料三聚氰胺(M)与对氨基苯磺酸钠(A)、甲醛(F)、焦亚硫酸钠(S)的摩尔比对高效减水剂性能的影响,结果显示:原料配合比三聚氰胺(M)∶对氨基苯磺酸钠(A)∶甲醛(F)∶焦亚硫酸钠(S)=1∶0.5∶3.5∶0.55时,所合成的三聚氰胺甲醛树脂性能最佳。     

农业院校提高动物生物化学教学效果的途径

动物生物化学课程是农业院校畜牧兽医专业的主要专业基础课。学好动物生物化学这门课程,不管是对学生后续求学还是走 向工作岗位都具有重要的意义。农业院校动物生物化学教学中存在师资队伍年轻化、教学水平偏低、教材使用缺乏规范、教学方法单 一、考核方式不全面和教学技术水平不高等问题。农业院校应该结合教学实践从提高教师队伍素质、加快教材改革、注重教学法改革、 提高多媒体课件制作水平等途径提高动物生物化学课程教学效果。     

辣椒红色素与β-环糊精包合物的制备及理化性质研究

阐述了辣椒红色素与β-环糊精包合物的制备及其理化性质的研究.采用饱和水溶液搅拌法制备包合物,通过紫外分光光度法对其进行鉴定,并将包合物与色素在光照、不同pH值、不同温度下比较各自的色泽损失率.结果表明：色素由包合前的脂溶性变为包合后的水溶性,且包合物在光照、不同pH值及不同温度条件下的稳定性与色素相比均有一定程度的提高.