摘要：本文设计并实现了一个集成的网站开发工具WSAG(网站自动生成器 )。它为用户提供友好的设计界面 ,把用户的交互式的描述信息分类后存入后台数据库 ,在需要时通过对数据库中的数据进行选取 ,使用预先定义的网页模板 。

摘要：完井工程是石油工程本科专业的主干课程之一,针对传统教学方式在石油人才培养中的现状及教学中存在的问题,提出基于CDIO-OBE理念的完井工程课程教学设计与实践,以提高学生自主学习、创新实践和团队合作的能力。该文通过对课前-课堂-课后三个教学活动阶段的方案设计,从理论教学、实践教学、考评模式等方面对完井工程课程教学模式进行创新,初步形成“课前线上预习、课堂理论学习、课后拓展实践和以赛促教”的教学模式。在CDIO-OBE特定理念背景下的教育过程,帮助学生树立职业道德、团队精神和分享意识,为应用型人才培养模式创新提供参考和启示。

摘要：为提升机载紫外告警传感器性能,设计了一款基于ICMOS构架的紫外告警传感器。该型传感器工作波长覆盖250~270 nm,可通过RS422接口上传告警目标信息,具有超广角、高角分辨率、灵敏度高、重量轻、功耗低等优点。对传感器的技术指标、工作原理和设计构架等方面进行了介绍。完成了传感器的基本功能、性能测试,经环境试验验证,满足机载使用要求。

摘要：隧道照明控制系统能够科学地检测和调节隧道照明环境,以提供良好的行车环境。在此控制系统中,传感器是非常重要的组成部分,对于隧道照明控制系统具有重要意义。鉴于此,文章分析了4种传感器的原理、硬件设计和软件设计,提供了隧道照明控制系统中传感器关键器件的选型与设计方案。

摘要：提出一种基于FPGA的OSD菜单系统的设计及实现方法。系统软件部分以嵌入式图形支持软件μc/GUI为底层,设计了菜单项结构体及OSD菜单分层结构,灵活地建立菜单系统,生成图形界面。系统硬件部分实现OSD菜单图形与视频图像的叠加,在指定位置以指定透明度显示菜单图形。设计的菜单系统在实际显示器上运行效果出色。采用C语言的软件设计提高程序的可移植性,FPGA平台的使用为系统集成、功能扩展提供便利。

摘要：软件的可靠性和可信性越来越受到人们的关注,而编译器作为软件开发的基础,其正确性的验证一直都是个重要且迫切的问题.设计和实现一个小型命令式语言IMP的编译器,该编译器将IMP源代码转换成定理证明器Coq接受的函数式语言表示形式的代码,通过语义分析得到IMP目标代码,在堆栈中执行得到结果.本文的重点是使用交互式定理证明器Coq机械验证函数式语言表示形式的源代码编译执行前后的属性和行为均保持一致.本文的工作为使用堆栈的编译器和其他软件系统的机械化形式验证提供了一种新的思路和方法.

摘要：煤矿主通风机作为矿井通风的核心环节,其运行效果的好坏,不仅影响到井下采煤工作的正常进行,更关系到井下工作人员的生命安全。因此,采用模糊智能控制技术,设计煤矿局扇风机智能控制系统,以改善矿井内部通风环境,提高通风效率,增强通风可靠性。

摘要：针对定制液晶面板,设计了一款专用TCON时序控制电路板。基于FPGA平台实现双路LVDS视频输入,14路mini-LVDS视频输出,外加多组显示控制时序转换等功能。经实物测试和高低温试验验证,在-55℃至75℃温度范围内工作稳定,性能优异。

摘要：针对超级计算机的重要性、复杂性以及并行计算课程实验教学成本高的现状,介绍自主研发的超级计算机虚拟仿真实验系统的设计与实现,探讨该系统在并行计算课程中的应用,提出线上线下混合的并行计算课程虚拟仿真实验方案,最后说明教学效果。

摘要：针对计算机程序设计类课程中学生在Online Judge平台上进行编程实践时的个性化表现,提出混合推荐方法的思想及实现方法,探讨综合考虑教学要求和学生个性化特点的学习路径推荐方法。