基于编译优化和反汇编的程序相似性检测方法

提出了基于编译优化和反汇编的程序相似性检测方法,能够检测出标识符重命名、增加冗余语句、等价的控制结构替换等12种学生常用的抄袭手段.基于该方法,设计和实现了一个程序相似性检测系统BuaaSim,采用编译优化和反汇编技术将源程序转化为汇编指令集合,删除和替换汇编指令中对程序本质特征影响不大的易变元素,使用一个与指令顺序无关的决策函数计算程序相似度;还给出一个简单有效的聚类算法,从程序集合中聚类出相似的程序子集.通过与著名的JPlag系统针对两份典型的抄袭样本集进行评测对比,表明本文方法的检测效果具有明显的优势.      

航空器蒙皮、汽车覆盖件柔性模具设计制造技术

柔性模具的设计制造由于存在理念上的不同认识,将快速组合模具设计制造(或为杆系柔性模具)称之为柔性模具,这类模具的设计制造能否快速构建,取决于带冲头单元的构形和调节杆机构的设计制造及覆盖件成型中的塑性形变要求,所重构的成型曲面构形描述,及其控制系统的设计和控制.     

可亲可贵的敬业精神

我有幸参加中国航空史研究会代表大会,深受教育。会议从头到尾贯穿着一条红线,那就是敬业精神。同志们、朋友们对航空史和航空事业的挚着追求和热爱,真是可敬可贵。     

对空司领航部两次成立两次撤销的看法

1949年11月11日,空军领导机关成立.1949年11月15日,在空军参谋部航行处中设立领航科.这是在空军领导机关中最初建立的领航专业机构.1952年10月25日,军委空司建立领航处.1959年11月空军党委作出《关于加强领航工作的决定》.     

一次难忘的夜间飞行

为怀念我们敬爱的老师长刘善本同志遇难25周年而作。 “文革”期间的1968年3月上旬,空军学院原副教育长刘善本同志因给邓颖超同志写信反映原空军司令员吴法宪等人在空军的一些问题,此信被吴法宪截获,即对刘设立专案进行政治迫害,武斗肉刑,残酷迫害致死。我是刘善本同志的老部下,非常敬佩他反对国民党发动内战,勇敢的作出驾驶B-24轰炸机飞向延安。在老航校埋头积极投入教学工作,不为名利,从教学领导干部到当教员,一样努力工作。建国后成立空军航校,又担负第一航校校长,1950年6月成立第一个战斗部队,他又任副部队长兼轰炸团团长。1951年他是我们的师长,他技术高超,当时的苏联顾问都佩服他。     

基于量化分析的软件测试过程的控制技术

论述了软件测试的基本过程以及涉及的文档、角色和活动.在此基础上重点讨论了如何通过在测试过程中提取的有效数据来对整个测试过程进行监督、控制和管理的技术,如对测试进度变化、软件问题分布、人力资源情况、软件问题处理时间以及软件问题重现等情况进行分析的技术.为保证被测系统的质量、提高效率、降低成本和改善测试过程提供支持和帮助.      

一个领航员的飞行日记(二)

第三节　抗美援朝夜袭大和岛1951年 7月侵朝美军开始执行“绞杀战”,企图摧毁中国人民志愿军的战略目标 ,卡断中朝后勤供应线。这时 ,在朝美空军已增至 19个联队 ,作战飞机 140 0余架 ,空中活动十分猖狂 ,为了粉碎美空军的“绞杀战”计划 ,志愿军空军从1951年 9月起 ,采取轮番进入 ,以师为单位陆续参战。老大哥部队空 4师率先参战 ,从 9月 12日至 10月 19日 ,共战斗出动 2 9批 50 8架次 ,取得了击落美机 2 0架 ,击伤 10架的战绩。老大哥部队空 3师 ,相继参战 ,自 1951年10月 2 1日参战以来 ,共出动飞机两千多架次 ,击落美机 50多架 ,击伤 8…     

一种基于自动分区的海量科学数据计算框架

在科学研究领域, 存储容量、处理效率和分析精度并不能适应科学数据的指数级增长速度。通过对科学数据结构与标准的研究, 提出了一个海量科学数据计算框架BSDF。提出了一种基于模型驱动的统一数据接口, 实现对异构科学数据的无差别访问；提出了一种基于元数据的自动分区算法, 通过参数预取与超平面维度计算确定任务颗粒度。实验结果表明:与H5Spark科学数据计算框架的基于9项基准测试的性能相比, BSDF计算框架提升了39%~68%；在特定领域PKTM的算法优化上, BSDF达到了41.62倍的加速比。