嵌入式实时软件模型开发环境研究

为保证嵌入式实时软件的功能安全和实时性,基于模型驱动开发方法,研究了嵌入式实时软件的模型开发环境的体系结构,设计了一个嵌入式实时软件模型开发环境的原型MDE环境.其中应用任务模型使用两层模型机制:上层模型用于建模应用任务的功能行为与性能特征并支持形式化功能安全验证和实时性分析,下层模型用于模型测试和自动生成支持嵌入式实时操作系统API接口和驱动函数接口的应用任务源代码.通过工具集成实现了建模、分析验证、代码生成和测试等嵌入式实时软件的完整模型化开发过程,为将来进一步完善和改进嵌入式实时软件模型开发环境的构建技术提供了应用验证.     

一种嵌入式浏览器设计技术

一个具有可伸缩性、可移植性、容错性并考虑资源有限性的为嵌入式应用开发的Web浏览器,分析了该浏览器的内部控制流和数据流结构.     

一种求解TSP的混合遗传蚁群算法

结合遗传算法和蚁群算法,提出了一种求解TSP的基于启发式遗传信息的蚁群遗传算法。该算法由蚁群遗传算法和基于启发式遗传信息的蚁群算法两部分组成。蚁群遗传算法将蚁群算法和遗传算法结合起来,提高了遗传算法的种群的多样性;基于启发式遗传信息的蚁群算法是将启发式遗传信息加入到蚁群算法中,防止蚁群算法对信息素过分依赖,缩小最优解的搜索空间。HGI ACGA算法是将启发式遗传信息加入到蚁群遗传算法中,可以提高蚁群算法的收敛速度和寻优能力。实验结果表明,HGI ACGA算法在收敛速度和收敛精度上均优于ACGA和ACA算法。     

酶膜耦合法制备高聚合度壳寡糖

为了制备高聚合度壳聚糖,本研究通过对比分批酶解法和酶膜耦合法制备所得壳寡糖产物的聚合度差异,探索了利用酶膜耦合技术高效富集制备高聚合度壳寡糖的可行性。研究结果表明,酶膜耦合方法所得壳寡糖产物中DP 4~8壳寡糖的总收率高达78.1%,DP 4~8壳寡糖所占比例分别为16.5%、35.8%、18.9%、7.81%和5.12%。同时,以卷式膜系统代替板式膜系统,通过错流过滤的方式,可以有效降低实验过程中的不可逆膜污染(R_if=1.56×10⁶ m^-1),提高了料液底物浓度(30 g/L)。综上所述,本研究建立了一种基于酶膜耦合技术的高聚合度壳寡糖连续制备工艺,为高聚合度壳寡糖的应用和功能研究提供了基础。     

传统文化融入“ 数字逻辑电路” 课程实践探索

优秀传统文化中蕴含的思想观念和人文精神,既有助于提高人文素养,培养理工科大学生健全的人格,也可以拓展视野,提升学生辩证思维和创新能力发展。深入挖掘传统文化中的人文精神,融入“数字逻辑电路”专业课程教学中,以现代信息技术为依托,通过启发式、探究式等教学手段,让学生在学习专业知识的同时感受和领悟到传统文化的魅力和内涵,落实新工科“立德树人、德学兼修”的根本任务。