基于 Django 的编程题互评系统的设计与实现

学好《程序设计》这门课的重中之重就是编程练习。然而,程序作业的判分是一项单调且繁琐的工作,学生数量上的扩大使这一问题更加严重。解决这个问题的方法是学生之间互相评分,这样,学生可以通过电脑提交程序作业并不受时间和地点的约束,可以立即得到反馈。主要介绍基于 Django 的编程题互评系统,通过对作业分配管理事务的流程化处理,实现对网络互评资源的系统化配置与管理。     

Fitts＇定律实验的设计与实现

首先,介绍了Fitts＇定律,然后,设计了验证Fitts＇定律的实验,最后,使用Matlab7.0.1对数据进行了统计和分析.实验结果有效地验证了Fitts＇定律,并且Fitts＇ Law（错误率为4％）得到的预测模型精度高于通过“effective width”Fitts＇ Law得到的预测模型.     

基于WPKI技术的安全移动支付系统研究

为了有效解决移动支付信息安全问题,在分析和研究无线应用协议（WAP）、公开密钥基础设施（WPKI）和移动网络安全威胁的基础上,提出了一种基于WAP和WPKI技术的移动支付安全解决方案。该方案通过对WAP和WPKI体系结构和优化性的分析,确定了基于WAP和WPKI的移动支付体系结构模型,并对安全支付系统功能模块进行了详细的设计。通过分析表明,该解决方案可为移动支付提供加密、认证等安全服务,为移动网络中的安全支付提供了较好的安全保障。     

依靠技术攻关和创新创国内乙烯装置长周期运转新纪录

通过开展技术攻关,开发、采用在线反吹、"波动法"除垢、高效阻垢剂、在线检测与专家诊断系统等乙烯装置长周期运行技术,解决了裂解炉对流段超温、急冷油塔和裂解气压缩机结垢、乙炔前加氢反应器稳定性差等影响长周期运行的技术难题,实现了乙烯装置连续运转6年,创国内乙烯装置长周期运行新纪录,达到国际先进水平.     

基于CFL_BLP模型的CFL SSL安全通信协议

现有PKI、IBC认证技术与SSL/TLS通信协议已不能满足当今网络空间新兴信息产业的毫秒级信息安全需求。针对新兴信息产业的毫秒级通信安全问题,以CFL为原点技术,并基于CFL_BLP模型给出CFL SSL协议及其形式化描述,从协议层面上证明该协议可实现毫秒级双向认证、通信的机密性和完整性保护、自主可控以及防止中间人攻击等信息安全属性。实验结果表明,与SSL/TLS协议相比,该协议的可用性和安全性更高,且能够满足各种新兴信息产业通信机制的毫秒级信息安全需求。     

程序调试中的树形结构演变可视化模型

树形结构作为一种非线性数据结构,在程序执行过程中的演变过程较为抽象,尤其是在对其进行加工型操作时,容易发生内存泄漏。针对编程初学者难以掌握树形结构的逻辑演变过程,以及在程序中发生内存泄漏错误时调试较为困难的问题,文中提出了一种对程序调试过程中树形结构的演变过程进行可视化呈现的处理模型TEVM(Tree Evaluation Visualization Model)。针对单个可视化程序在调试步骤前和调试步骤后的两个树形结构,设计了一种将树形结构转换为线性表示的结构对比算法,得出了它们的包括泄漏树在内的结构差异;同时设计了一种树形结构布局方法,并计算它们的布局差异。根据结构差异和布局差异生成可视化演变序列,调用绘图引擎对该序列进行解析和执行,从而完成对树形结构及其演变过程的动态、平滑和直观的可视化呈现,帮助编程初学者快速理解树形结构相关程序的执行过程,提升调试效率。将TEVM模型集成于一个面向编程实训教学的集成开发环境原型Web AnyviewC中,取得了较好的应用效果。     

通用代码Shell化技术研究

代码Shell化技术是一种实现程序从源码形态到二进制形态的程序变换技术。该技术可用于实现Shellcode生成,生成包括漏洞利用过程中的Shellcode及后渗透测试过程中的功能性Shellcode。文中形式化地描述了程序中代码与数据的关系,提出了一种基于LLVM(Low Level Virtual Machine)的通用程序变换方法,该方法可用于实现操作系统无关的代码Shell化。该技术通过构建代码内置全局数据表和添加动态重定位代码,将代码对数据的绝对内存地址访问转化为对代码内部全局数据表的相对地址访问,重构了代码与数据之间的引用关系,解决了代码执行过程中对操作系统重定位机制依赖的问题,使得生成的Shellcode代码具有位置无关特性。在验证实验中,使用适用于不同操作系统的不同规模的工程源码对基于该技术实现的Shellcode生成系统进行了功能测试,并对比了Shell化前后代码功能的一致性、文件大小、函数数量和运行时间,实验结果表明基于该技术的Shellcode生成系统功能正常,具有较好的兼容性和通用性。     

涪陵页岩气录井解释评价关键技术

以涪陵页岩气田焦石坝区块首口参数井JY1井页岩岩心实验数据为基础,借鉴传统致密砂岩、碳酸盐岩油气层录井评价方法,形成适用于页岩气储集层的录井解释评价关键技术:钻时比值识别储层、钻时比值与烃对比系数交会图现场快速解释方法;页岩气储层孔隙度、渗透率、地层压力、地层破裂压力、游离气、吸附气及总含气量、脆性矿物含量等关键参数的计算模型;多参数定量类比的完钻综合解释方法。研究成果在涪陵页岩气田推广应用40多口井,效果良好。     

浅谈子程序在数控铣教学中的应用

子程序是数控编程过程中的一种常用功能,灵活使用子程序技术,可以减少编程时的程序量,增强数控机床的功能。本文针对子程序调用技术在数控铣床教学中的几种常用方法进行探讨与研究,希望对同行起一个抛砖引玉的作用。     

基于单词的源程序相似度度量方法

为了帮助教师快速准确地识别程序设计类作业中的抄袭现象,本文研究了一种源程序相似度度量方法,根据学生提交的源程序,基于单词统计程序源代码之间的编辑距离和最长公共子序列的长度,计算程序对之间的相似度,通过设定合理的动态阈值,判断源程序对之间是否存在抄袭。实验结果表明,该方法能够及时有效和准确地识别学生提交的相似源程序。