计算机专业嵌入式课程群实践教学探讨

分析湖北理工学院计算机科学与技术专业特色和嵌入式系统特点,结合国际教育机构推广的CDIO工程教育理念,提出"基础实践—专业提高性实践—研究创新性实践—工程性实践"4步走的能力培养方案,制定符合湖北理工学院学情和行业需求的嵌入式课程群体系,旨在通过"教育创造学生价值",使学生在校期间能够积累丰富的实践经验,有能力将拥有的知识不断创新并迅速应用到工作岗位中,从而实现"学生创造社会价值"。     

气体钻井地层出水环空携液规律研究

气体钻井在钻井提速、缩短建井周期和保护储层方面具有明显的优势,但钻井过程中也容易发生一些复杂情况,如若气体钻井导致地层出水,会引起携岩规律复杂化、井壁失稳等状况,影响钻井速度、质量及成本。通过对气体在环空中携水机理的研究,建立环空液滴大小模型,并对影响因素进行分析。同时提出环空气体携水量计算模型,利用MATHCAD编程计算出的理论数据与环空气体携水模拟实验数据基本吻合。     

基于短信模块的环境参数检测系统设计

基于手机网络的环境数据传输方法具有网络覆盖广、可靠、无需组网等优点,有较大的应用价值和前景。为满足环境参数的远距离无线检测的需求,设计了一种基于短信模块的环境参数检测系统,实现了环境参数的采集、短信发送等功能,并通过串口连接上位机,配合上位机软件作为远程环境参数的征询端使用。对所设计软硬件的测试结果表明,该系统能较好地完成环境参数的采集和短信发送,实现环境参数的手机网络采集功能。     

同步数据流语言高阶运算消去的可信翻译

Lustre是一种广泛应用于工业界核心安全级控制系统的同步数据流语言,采用形式化验证的方法实现Lustre到C的编译器可以有效地提高编译器的可信度.基于这种方法,开展了从Lustre*(一种类Lustre语言)到C子集Clight的可信编译器的研究.由于Lustre*与Clight之间巨大的语言差异,整个编译过程划分为多个层次,每个层次完成特定的翻译工作.阐述了其中高阶运算消去的翻译算法,翻译过程采用辅助定理证明工具Coq实现,并进行严格的正确性证明.     

代码生成器形式化验证技术研究

代码生成器已经广泛应用于嵌入式控制软件的开发.对于安全攸关的软件系统,对软件可靠性有很高的要求,代码生成器作为工具软件被要求与所生成代码有相同的可靠性,形式化验证方法可有效保证代码生成器的可靠性.本文介绍了用于构建形式化验证代码生成器的方法,针对Lustre到C的代码生成器给出Lustre和C的抽象语法,并定义Lust...     

川渝地区天然气产业链协同优化

天然气产业链涵盖产运储销等诸多环节,各环节若独立决策将难以实现整体最优。为此,根据川渝地区天然气产业链特点,基于混合整数线性规划方法建立了一个以总利润最大化为目标,集管网建设、产销平衡、管网输送和储气库调峰决策为一体的天然气产业链协同优化模型,并用Benders分解算法进行求解,最后进行了案例分析和参数敏感性分析。结果表明,所提模型和算法可为川渝地区天然气产业链协同规划提供决策参考,产运储销成本、管网投资参数、外输气多元化、外输气价格等参数显著影响天然气产业链协同优化方案。     

公路隧道施工技术及质量控制措施

公路隧道施工是一项系统性的工程,为了提高公路隧道建设项目的施工质量,结合实际,在分析公路隧道施工特点的同时,总结了公路隧道施工过程中存在的难点问题,同时对公路隧道施工技术进行研究,另外,提出相关的质量控制措施,通过分析研究可知,在不同的隧道条件下施工,合理的选择施工技术与质量控制措施,对提高隧道工程的施工效率、质量有促进作用。     

不断提升的硬盘单碟容量

随着硬盘技术的不断提高，新式硬盘在容量和数据传输率上相比老式产品有巨大的提高，希捷在其7200．8系列硬盘上实现的133GB单碟容量便是一例。     

旅行商问题(TSP)的一种改进遗传算法

传统的序号编码遗传算法(GA)使用PMX、CX和OX等特殊的交叉算子，这些算子实施起来很麻烦。针对TSP问题的求解，提出了一种新的改进遗传算法：单亲进化遗传算法(PEGA)，PEGA是利用父体所提供的有效边的信息，使用保留最小边的方法进行个体的进化。与传统的遗传算法相比，PEGA算法弥补了它们的不足之处，简化了遗传算法。给出了PEGA算法的数值算例，仿真实验表明了该算法对于对称的TSP和非对称的TSP问题，都具有收敛速度快的特点，证明了该算法的有效性。     

基于J2EE的无纸化考试试卷分析系统的设计与实现

为提高试卷分析的自动化管理水平,降低试卷分析管理成本,通过对试卷分析现状的分析,阐述了目前在人工试卷分析方面所面临的问题,实现了一种基于Web的试卷分析系统。与传统的人工试卷分析方式相比,该方案利用Web在线试卷管理,易于系统集成。重点研究了系统的通用性、扩展性、方案的总体结构、系统架构;系统的核心模块的设计与应用程序的实现。应用结果表明,该方案可有效地集成和管理实现试卷分析系统的网络化,系统实施之后,试卷分析的工作效率得到了明显的提高。