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

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

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

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

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

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

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

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

基于嵌入式技术的MultiBus-CPU模块设计

为扩展工业控制领域的核心功能并丰富其接口操作,本文提出一种基于AT91RM9200微控制器的智能化多总线测控模块的设计方法以及系统的构建架构,并给出显示接口的软、硬件解决方案。该模块利用嵌入式系统解决了显示接口实现困难的问题,具有较好的实际应用前景。     

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

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

金安金沙江大桥隧道式锚碇开挖施工测量及监控方法

金安金沙江大桥采用世界最大规模的隧道式锚碇,在不同的施工阶段采用不同的测量及监控方法,工作复杂,类似工程案例极少。以金安金沙江大桥锚碇测量及监控工作为依托,总结经验,为同类工程施工提供参考与借鉴。     

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

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

不断提升的硬盘单碟容量

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

大兴安岭东南段哈拉苏西铅锌多金属矿床地质特征及成因探讨

大兴安岭东南段晚侏罗世—早白垩世火山—岩浆活动强烈,形成了以北北东向构造控制的构造岩浆岩带,发现多处与其相关的铅锌银矿床。在充分收集已有地质、物探和化探资料的基础上,分析了哈拉苏西铅锌多金属矿矿区和矿体地质特征,提出了矿床成因机制和找矿方向。研究为大兴安岭东南段与火山—岩浆作用相关中低温热液型金属矿的发现提供了基础地质资料和勘查找矿思路。