AADL 测试模型的构造研究

目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用.为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误.研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果.     

《计算机程序设计实验》课程的教学改革与实践

围绕《计算机程序设计实验》教学的全过程,以建构主义学习理论为指导,构建本门课程教学的四大模块:学员自我建构、学员协作学习、学员自我反馈和教员归纳总结。这种教学模式真正体现了"学员主体,教员主导"的教学理念,对提高实验课教学质量,培养学员严谨认真的实验精神具有重要意义。     

变电站基建施工智能辅助管理系统的开发与应用

结合嘉兴电力局多年电力基建施工管理经验,研究开发变电站基建施工智能辅助系统,用各类信息化科技手段管理变电站施工过程中的质量、安全、标准工艺,提升变电站基建施工水平.     

钩端螺旋体黄疸出血群赖株LipL41基因的克隆表达及鉴定

目的　对钩体黄疸出血群赖株LipL4 1基因进行克隆、表达及鉴定。方法　采用高保真PCR ,从我国钩体黄疸出血群赖株基因组中扩增全长LipL4 1基因片段 ,并构建原核表达系统。结果　所克隆的LipL4 1基因核苷酸和氨基酸序列与已发表LipL4 1基因序列 (GenbankL4 6 794 )同源性分别为 96 2 5 %和 98 87% ;所表达的目的蛋白经Westernblot证实为具有良好免疫反应性的广谱抗原。结论　可作为研制基因工程疫苗的候选抗原     

污泥衍生生物炭研究进展

介绍了污泥处理处置的现状,分析了污泥热解工艺以及其他工艺的优缺点,说明了污泥热解污泥衍生生物炭制备过程的影响因素。重点综述了污泥衍生生物炭在污泥物催化降解、电化学储能和转化等全新领域的潜在应用,讨论了污泥中无机小分子和金属氧化物等成分对生物炭功能特性的影响。最后提出了污泥衍生生物炭实际应用所面临的问题,并对未来作出展望。     

一款基于运输机场飞行训练保障系统的分析与研究

飞行训练工作是为民航发展提供飞行人才,但在面对空域资源日趋紧张情况下,飞行训练工作压力日益增大,安全保障需要提高,以减轻管制和飞行指挥人员的工作负荷并有效提升工作效益.飞行训练保障系统研制的目的是针对运输机场和通用航空的特点,提出研制信息集成交换共享系统,保障航班和飞行训练安全.     

高校“微课程”教学模式探讨

“微课程”以微视频为知识传播媒介,通过相关知识点的嵌入,以生动形象的视频画面开展教学活动.学生是“微课程”模式的学习主体,是学习活动的中心,根据教师安排的教学任务进行自主学习,不断应用知识完成知识构建,体现了以学生为本和个性化的教学理念.教师设计相关的情景,引导学生进行知识构建,帮助学生更好地学习重点知识,内化知识体系流程,实现对重点知识点的强化,并不断拓展新的学习任务.     

纳米Ni粉填料对聚硅氮烷连接SiC陶瓷接头性能的影响

研究了活性填料纳米Ni粉对陶瓷先驱体聚硅氮烷连接反应烧结SiC陶瓷接头性能的影响，同时与惰性填料纳米SiC粉及活性填料微米Ni粉进行了对比，指出填料的种类及颗粒度对连接强度均有较大影响。活性填料纳米Ni粉的加入可减少连接层内的孔隙和裂纹，同时还可以与聚硅氮烷的裂解产物及母材发生反应，促进聚硅氮烷的裂解，从而降低连接温度，提高连接强度。当连接温度为1200℃时，其最大抗弯强度达到251．6MPa。微观研究表明，连接层结构较为均匀致密，且与母材间界面结合良好。惰性填料纳米SiC粉对连接强度没有明显改善。微米Ni粉因不能与先驱体形成均匀的连接层而导致连接强度降低。     

Effect of extrusion wheel angular velocity on continuous extrusion forming process of copper concave bus bar

The continuous extrusion forming process for producing large section copper concave bus bar under different extrusion wheel angular velocities was studied by three-dimensional finite element technology based on software DEFORM-3D. The rigid-viscoplastic constitutive equation was employed in the model. The numerical simulation results show that the deformation body flow velocity in the die orifice increases gradually with the increase of the extrusion wheel angular velocity. But slippage between the rod and extrusion wheel occurs when the extrusion wheel angular velocity is high. The effective stress near the die orifice enhances gradually with increasing extrusion wheel angular velocity. High stress is concentrated in adjacent regions of the flash gap. The effective strain gradient is greater near the abutment than that near the die orifice. The effective strain of the product increases gradually with increasing extrusion wheel angular velocity. In the deformation process, the deformation body temperature increases remarkably due to friction and deformation. So the cooling is necessary in the region of the die and tools.