遗传进化算法搜索斜坡最小安全系数的研究

介绍了斜坡滑裂面搜索问题和遗传进化算法,并试用遗传进化算法从斜坡任意形状滑裂面组合中搜索最有可能的滑裂面,也就是安全系数最小的滑裂面.作为实例,分析了遗传进化算法在天生桥二级电站首部枢纽进水口右岸滑坡案例中的应用.分析结果表明,在搜索斜坡滑裂面问题上遗传进化算法较其它搜索算法具有准确性和可靠性的优势.     

分布式数据库系统中Web Services的设计

结合实际应用经验,提出适合分布式数据库系统中的Web Services设计原则与提高Web Services系统扩展性能的方法.通过在实例中的应用,说明其可以有效地增强分布式数据库系统的访问效率、可扩展性与可靠性.     

一种基于自修改的动态耦合水印方法

在现有的软件水印工作中,水印通常与载体程序间不存在逻辑上的关联性,因此,攻击者可在载体程序正常运行的情况下移除水印代码,继而非法获得软件的所有权。为有效解决这一问题,提出了一种基于自修改的动态耦合软件水印方法,该方法将水印的触发条件与载体程序的控制流进行结合,增强水印与载体程序的逻辑关联性,并引入自修改代码保护机制对水印触发条件、动态加解密和关联路径分支进行保护。该方法极大地提高了攻击水印的难度,显著增加了攻击者的计算开销。通过安全性分析表明,该方法能够有效抵御逆向工程和分析。     

雨水管道程序计算与绘图一体化

目前设计部门大多仍采用查图、查表的方法进行雨水管道的水力计算。这种传统的设计计算方法是凭经验进行的方法,费时费力、计算精度不高,不利于设计方案的优化。基于解决传统方法的缺点。应用计算机进行雨水管道的设计计算,并结合绘图软件将计算结果直接标注于图形中。实现程序计算与绘图一体化。     

某大楼施工合同管理中的索赔分析

通过对某工程施工合同的索赔情况分析,实际体现了建设项目长期性、复杂性、多变性,以及工程合同的复杂性及易出错性,同时也体现索赔管理的重要性及时效性,为今后同类型的工程合同管理提供借鉴。     

一种可用于新冠肺炎防控的红外测温枪

针对新冠疫情防控中体温测量安全性不高、统计不便等问题,以STM 32嵌入式芯片为核心,设计实现一种新的红外测温枪.硬件包括电源模块、按键模块、存储模块、红外数据采集模块、蓝牙模块等,软件包括嵌入式系统C语言程序和微信小程序.体温枪可准确、便捷地检测人体温度,同时可将体温测量结果通过蓝牙和网络通信储存到云端,供远程读取和...     

内核驱动的轻量级动态二进制程序分析框架

如今网络攻击活动越来越复杂,为更好地实现防御与溯源等目标,需对攻击代码进行深度分析。同时攻击影响也从桌面终端扩大到路由器、智能家居等物联网设备,新场景需要有轻量化和易部署的程序分析方法。为应对攻击活动分析新形势,提出一种系统内核驱动的轻量级二进制程序分析框架,通过合理利用操作系统实现机制对程序进行动态拦截,从而对目标程序进行细粒度动态分析。在此基础上结合内核特性提出一种优化的动态数据流分析方法,可进一步提升程序细粒度分析能力。通过采用基准程序和实际程序进行大量实验,验证了所提出方法的有效性和较好的分析性能,实验表明分析框架具有较好的可部署性和应用价值。     

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

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

子通道程序对PSBT空泡分布实验计算的不确定性量化分析

为了评估子通道程序的准确性与可靠性,需要定量给出计算结果的不确定性.采用统计学上基于输入参数不确定性传递的方法进行不确定性分析,可以定量得到程序计算结果的不确定范围.在假设模型参数不确定性服从正态分布的基础上,采用统计学方法确定模型参数不确定性的分布以取代传统的专家判断.通过对压水堆子通道和棒束实验(PSBT)基准题空泡分布实验进行计算,分析子通道程序COBRA-IV对实验结果的预测能力,同时得到满足容忍限的计算结果不确定性上下限.计算结果表明：评估得到的不确定带能较好地包络实验值;同时利用统计均值对模型进行标定后,可以得到比原模型更接近实验值的计算结果.     

量子程序设计语言初探

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