基于Simhash算法的作业查重系统设计

为了减少大学生完成作业过程中的抄袭问题,提高大学课程教学的过程性考核效果。基于自然语言处理中常用的Simhash算法,设计开发了作业查重系统。该系统以Spring、SpringMVC、MyBatis(SSM)为开发框架,前端开发采用Bootstrap技术。先采用IKAnalyzer分词器对输入的作业文本进行分词处理,再使用Simhash算法计算文档的签名,最后通过计算汉明距离得到作业的查重结果。该系统能够对学生提交的作业进行查重,帮助教师客观地评价学生的作业完成情况,有效防止作业抄袭现象,从而营造良好的学风环境,促进学生的健康发展。     

公路超限运输沥青路面结构验算系统

为更深入了解超限作用下沥青路面结构的受力及破坏情况,并指导管理部门对相应路段采取合理的养护措施,根据路面结构的力学原理,以现行沥青路面设计规范为基础,分析并获得了车辆超限作用下沥青路面轴载换算公式。将该公式应用于超限作用下沥青路面验算系统,并将该验算系统与GIS相结合。研究结果表明：通过对系统数据和功能的需求分析对系统进行总体设计,即进行GIS相关软件的二次开发,得到基于GIS的公路超限运输沥青路面结构验算系统,以实现路网超限统计数据及路面验算结果的可视化,超限作用下路面结构验算过程的简便、直观化。     

基于并行环境的模型检查技术研究与实现

针对实时系统模型检查中的突出问题：状态组合爆炸,提出一种基于并行环境的实时系统模型检查技术,用邻接表存储时钟带,用C＋＋和MPI设计并实现了一个并行实时系统模型检查器———PRAModelChecker,选择一个典型的实例对PRAModelChecker的性能进行分析.实验表明,随着系统复杂性的增加,不但能提高工作效率,而且能处理的系统规模可伸缩,从而为从根本上解决状态组合爆炸问题提供了一种新的途径.     

Web导航行为范畴模型一致性与安全性研究

范畴理论为各数学学科提供了一种公共的语言、工具、思维方法和研究手段,其中作为形式结构的素描是一种基于图的规范,是形式建模和验证的有效方法.文章给出了Web导航行为的线性素描,构建一个基于范畴理论的形式模型,这一模型符合由素描所描述的要求和规范,提出了通过建立自由范畴来检验模型一致性的方法,讨论了导航模型的安全性,并给出了一些相应的安全性规则和检查方法.     

基于移动智能终端的油田巡检系统

提出了一种基于GPS技术、移动收集技术、WIFI通信技术、RFID标签和嵌入式技术的油田管道线路巡检管理系统.该系统在巡检现场搭建WIFI网络,将巡检人员通过智能终端收集到的数据上传到远端服务器,服务器对收集数据进行综合分析处理,判断巡检人员是否按着设定的巡检路线完成检查工作,同时生成相应的巡检报告供管理员查询.该系统解决了传统巡检方式人为因素多、反映信息不及时、管理效率低、无法可视化等问题,同时保证了巡检人员的到位率和工作质量.     

一种基于时间自动机网络的实时系统形式化验证方法

介绍了时间自动机形式模型,在此基础上给出了时间自动机网络的形式语法和语义,然后给出一种基于时间自动机网络的实时系统形式化验证方法,并采用基于时间自动机网络的模型检测工具UPPAAL对一个经典的实时系统实例进行了验证．     

地质雷达在隧道初期支护质量检测中的应用

在建隧道中,初期支护为主要受力结构,从而使得喷射混凝土层厚度检测显得十分必要.通过对地质雷达检测原理的论述,以及在都匀至新寨段公路改建工程塘打隧道初期支护检测中的应用,对雷达波速的标定、雷达波形分析作了全面阐述.     

哥德巴赫猜想证明及验证

在《前沿科学》2011第三期《揭开素数神秘的面纱》一文中得到PA数列（Prime Arrav）及其性质后。再将该PA数列分列直角坐标第1象限X、Y轴上顺序方型相加,得X轴各素数住与该PA数列结构相似的“PA和数列”,用“边带型相加移位还原”按数学归纳法先证明,边带型相加移位还原的两奇素数和连续的范围比组合最大奇素数所在的方形范围越来越更大,两奇素数和进入奇数积连续段的每个偶数的能力越来越更强,全部进入各范围内奇数积连续段的Oj1速度越来更快;再用满足莫比乌斯带（Moebius strip）转换等反证验算,完成整数→∞,在任X×X方型范围内（X≥3奇数）哥德巴赫猜想成立。     

基于SIMULINK仪表着陆系统链路级仿真

仪表着陆系统的全数字仿真是飞行检验仿真系统的基础.在分析仪表着陆系统原理的基础上,利用MATLAB/SIMULINK建立仪表着陆系统发射机、天馈系统和机载接收机、仪表显示的仿真模型.并利用MATLAB/GUIDE图形用户界面开发环境开发了仪表着陆系统仿真的GUI界面.为复杂电磁环境下仪表着陆系统的效能评估和飞行检验仿真系统的建立提供有价值的参考.     

往复泵曲轴设计应用程序开发及应用

随着往复泵朝着大型化、超高压方向发展,为消除往复泵曲轴设计与强度校核中工作量大、过程繁琐、易出错等弊端,利用ObjectARX,APDL等二次开发工具以及基础类库MFC、ADO数据库接口、曲线离散技术、图表数字化技术等在VC++6.0上开发出一个运行在AutoCAD平台上的动态链接库应用程序,实现了曲轴设计、强度校核、ANSYS的启动调用、曲轴有限元分析的自动化与参数化绘图.对国内外4台往复泵机组曲轴的实例校核表明,程序在解决往复泵机组扩容计算、缺陷曲轴的改造、中外机组曲轴对比分析、提高往复泵曲轴设计效率等方面具有很好的应用.