量子程序设计语言初探

结合简述几种有代表性的量子程序语言,着重阐明量子计算、语言风范、程序结构、输入输出、异常机制,以及南京大学量子计算研究组的新近研究成果,即函数式量子程序设计语言NDQFP.附录中给出了NDQFP之所有原始函数及组合型.     

设计模式指导的软件分簇方法

程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种设计模式指导的分簇方法,该方法采用程序中蕴涵的设计模式信息指导开源软件的分簇,运用"分而治之"的策略辅助程序开发者和维护人员快速、方便地理解代码.首先,采用设计模式检测技术从程序代码中抽取设计模式信息;然后,基于设计模式中角色间的相互关系,利用检测出的设计模式信息指导分簇;最后,对分簇结果可视化,以辅助程序理解.基于以上研究工作,开发了原型工具TasteJ并进行了实例研究,设计并实现了以人工为基准的实验来检验本文提出的软件分簇方法,并通过7个软件分簇度量函数,从统计的角度将其与现有主流软件分簇方法进行分析和比较,实验结果显示出本文所提方法的优势.     

基于踪迹挖掘的自动缺陷警报分类方法

缺陷检测一般包括静态分析与人工确认两个阶段.静态缺陷检测工具报告大量警报,但是主要的警报确认工作仍然由人工完成,这是一件费时费力的工作.巨大的确认投入,会导致测试人员和管理人员拒绝使用该静态检测工具.为了辅助警报确认工作,提出一种基于警报踪迹挖掘的警报分类方法,使用该方法挖掘警报踪迹进而将代码结构相似警报分为一类,使得分类后的最终警报报告更加易于人工确认.实验表明,该方法能够在较大规模的软件测试过程中分类测试结果,提高警报确认效率.     

基于GOCAD的FLAC3D前处理方法研究

由于GOCAD软件具有强大的建模功能,能方便快捷地建立出复杂的地质体,但未能提供数值模拟。FLAC3D只能靠键入式输入命令进行建模,工程量大、易出错,但其强大的数值分析功能刚好弥补GOCAD的不足。GOCAD导出的模型文件格式不能直接被FLAC3D软件识别,要用程序语言编写从GOCAD转换到FLAC3D的接口程序,从而实现二者的转换。利用Matlab以及C++语言来编写转换接口程序,完成二者六面体网格信息的转换,从而实现三维地质模型在FLAC3D的快速简便建模。该方法简单实用,被广泛应用于地质工程、地球物理勘探、矿业开发、水利工程中。     

基于动静结合的单一背景目标检测方法

本文通过研究目标在单一场景条件下的成像特点与背景图像特征,提出一种基于动态特征、静态图像特征结合的单一背景目标检测算法框架模型。然后,通过分析算法模型对目标特征凸显的两种策略模式,分析其突出特征。最后,结合背景抑制分割方法,实现背景中目标的自适应溢出。     

基于静态指令分配的多模块ROP自动构造方法

返回导向式编程(ROP)是一种可有效绕过数据执行保护(DEP)机制的技术.已有的ROP自动构造技术缺少对ROP模块转换过程的静态指令分配的优化,导致ROP载荷需占用大量内存空间.为解决这一问题,基于已有的ROP自动构造系统Q,针对多模块ROP的模块转换过程,设计了新的静态指令分配规则SIA.SIA通过静态指令分配,构造中间指令序列;通过动态数据填充,实现ROP模块转换过程中的寻址与指针修改.实验表明,相比已有技术,通过SIA规则构造的多模块ROP载荷降低了内存空间占有率,提高了ROP载荷的实用性.     

基于集成学习的安卓恶意程序检测技术

随着安卓恶意程序的数量的急剧增加,恶意程序检测已成为一个重要的研究课题.然而,目前许多研究表明,恶意程序的检测仍然需要改进,安卓的碎片问题和需要root权限,阻碍了这些方法的广泛使用.现有的杀毒程序依赖于需要实时更新的签名数据库,这无法检测出零日恶意程序.在本文中,我们提取了安卓程序中的特征,进行混合,选择集成算法中的DECORATE算法,并用WEKA工具辅助进行分类恶意程序的检测.该方法最终达到95.8%的检测精度,同时我们在真实的数据集上经过十折交叉验算实验及对比.     

论公益信托设立

公益信托设立是相关当事人依照信托法律规定的条件和程序设立公益信托的行为,公益信托设立像其他民事法律行为一样会发生一些法律上的后果。公益信托设立要遵守法定的条件和程序,明确的公益目的、确定的信托财产、不特定的受益人以及经过批准的合格受托人是公益信托设立的法定条件;指定信托文件、提出设立公益信托的申请、进行审查批准和移交信托财产是公益信托设立的必经程序。     

浅析思维创新在供配电工作中的应用

钢铁行业的大发展,造成超常规的电力需求。110KV、35KV电压等级变电站迅速扩张和整合,设备和技术的更新同整合后变配电队伍整体水平偏低的矛盾凸显,为适应行业和自身发展的需要,有必要寻找新的突破口,适时的创新工作方法。创新方法是一种技巧,它可以指导人们克服思维定势,改善心智模式,促进想象、联想、直觉和灵感等非逻辑思维的形成;引导值班人员改善工作方法,提高作业水准。     

VFP6．0程序中结构的自动更新

阐述说明在VFP6．0中用程序对数据库结构进行修改。