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

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

概率线性时段不变式的统计模型检验

模型检验是软件工程形式化方法的一个重要组成部分,线性时段不变式是形式化方法中表述系统性质的一种重要表达式。对线性时段不变式的模型检验一直是形式化方法研究的一个重要内容。该文提出了一种针对带概率的线性时段不变式的模型检验方法,该方法针对不带有不确定性的概率模型,运用统计模型检验的方法,基于UPPAAL工具实现了概率线性时段不变式的统计模型检验。     

基于“CDIO”的“1+2”新教学模式研究

“CDIO”教学是将工程思维训练融合在教学各个环节当中,本文采用“CDIO”与“案例教学、启发教学”进行融合,组合成为一个新的“1+2”教学模式,以医学信息工程学院课程作为应用载体,将传统教学升华到工程思维教学、团队教学上,转变教师授课形式,激励和引导学生自主学习,为学生提供思维的空间和意境,帮助学生在学习时发现问题,发现、解决值得解决的问题,掌握计算在问题解决过程中发挥的作用,获得构建自身学科知识体系,终身自我学习的能力,滋生创新能力,达到学科知识与工程思维能力互相促进,共同提高的目的。     

空心包体在隧道地应力测量中的应用

详细介绍了空心包体地应力测量方法,并对某隧道地应力进行了两组实际测量。结果表明1号测点和2号测点的各个主应力均为压应力,且地应力场分布较为均匀,最大主应力值分别为16.7 MPa和14.3 MPa,从绝对值量值上反映了隧道区测量段具有较高的地应力。测量结果对该隧道设计和施工具有重要的指导意义。     

虚拟机在反病毒实验中的应用

为了适应反病毒实验的复杂性,本文利用IBM刀片服务器和VMware Lab Manager（以下简称VLM）搭建了反病毒实验平台。该平台既能虚拟出多种操作系统,也能构造复杂的网络环境。通过将虚拟机限制在隔绝的网络里,有效地降低了病毒的未知危害。     

PLC中构造双稳态按钮

本文讲述了构造双稳态按钮的三种方法，并分析了每种方法的工作原理和特点，拓展了编制PLC程序的思路，探讨了如何利用软件实现硬件的功能，以达到节省PLC输入点的目的。     

8098单片机在流量仪表中的应用

介绍一种利用8098单片机的硬件和软件资源，设计能对多个管道不同介质（蒸汽、天然气、一般气体、液体和油品）流量进行巡回检测的智能流量仪表的方法。实用的通讯功能实现了智能流量仪表的集中管理，仪表通用性强，具有多种自动补偿功能，从而大大提高了仪表计量精度。     

脱层材料与槽接式挫屈束制支撑的性能研究

挫屈束制支撑耐震性能优劣与否与脱层材料性能有密切关系,首先提出了一种估算脱层不完全因子的方法,利用4组分别使用不同脱层材料的挫屈束制支撑进行构件试验;研究结果表明以黏性橡胶作为脱层材料具有可靠性、经济性与优良的施工性。特别介绍了地震工程研究中心近期所研发的槽接式挫屈束制支撑,并通过3组实尺寸构件试验验证了其耐震性能;测试构件包含一组长度为12.5m,最大抗压强度超过16800kN,核心消能段应变量达3.5%的构件。试验结果表明,新研发的槽接式挫屈束制支撑经济效益极高,迟滞消能行为良好稳定,具有优良的耐震性能,各组试体于试验停止前所累积的总非线性变形量皆超过400倍斜撑屈曲位移量;研究亦显示,非线性结构分析软件PISA3D可准确预测其受力与变形反应。     

基于结构光表面缺陷检测系统设计与开发

为了能够检测零/部件表面缺陷,获取其立体特征信息,提出了基于结构光的表面缺陷检测技术。首先在介绍结构光技术的基础上提出了基于结构光技术的测量系统,之后对其进行了硬件系统选型及基于MATLAB的软件系统设计,最后在实验室条件下对某一曲柄连杆表面的孔缺陷进行了检测,用于该系统的验证。实验结果表明:所设计的系统能够实现表面缺陷的立体数据获取,且该方法的测量误差可以控制在5%以内。     

甲烷二氧化碳催化重整制合成气研究进展

催化剂研究是实现甲烷二氧化碳重整制合成气工业化的关键。对近年来甲烷二氧化碳重整制合成气的催化剂研究进行综述。介绍了贵金属催化剂、非贵金属催化剂及碳化物催化剂在甲烷二氧化碳重整反应中的应用及反应机理,并对催化剂体系研究方向进行展望。