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

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

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

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

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

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

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

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

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

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

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

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

3，4-二硝基吡唑(DNP)的研究进展

随着武器装备的不断发展,对弹药能量和安全性的要求也越来越高,传统TNT基熔铸炸药存在易损性差、长期储存渗油、爆轰性能不理想等缺点,已不能满足当前不敏感弹药的发展要求;因此,研究炸药的新型载体是当前熔铸炸药发展的一个重要方向。3,4-二硝基吡唑(DNP)是一种新型的熔铸炸药载体。根据国内外的相关报道,阐述了DNP的合成方法、基本性能、机械感度、热安全性、相容性、应用性等研究发展现状。研究结果表明:目前,经N-硝化、热重排、C-硝化三步法合成DNP的工艺更加稳定,得率较高;DNP的熔点为86.5 ℃,理论密度为1.87 g/cm³,实测爆速为7 633 m/s（ρ=1.65 g/cm³）,爆热为4 326 kJ/kg,理论爆压为28.7 GPa;DNP的机械感度与TNT相当,具有较好的机械安全性;DNP热分解分两个阶段,第一阶段分解放热峰为319.8 ℃,第二阶段分解放热峰为407.2 ℃,与TNT和DNTF相比,DNP的热分解峰温高,热安定性好;DNP与RDX、HMX、CL-20、Al、AP、微晶蜡具有较好的相容性,可以与这些组分组成混合炸药,具有广泛的适用性。     

不断提升的硬盘单碟容量

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

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

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

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

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