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

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

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

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

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

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

一个操作系统不确定性的讲解实例

用一个简洁的C程序,实际演示1 1!=2,到达用程序来证明操作系统不确定性问题.     

量子程序设计语言初探

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

程序规约变换技术在程序设计中的应用

算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法,并清晰地展示了程序设计的过程,为算法程序设计提供了一种有效的方法和途径。     

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

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

一种有效地检测权限提升攻击的审计机制

在分析了权限提升攻击一般步骤的基础上,针对其会在系统中留下的攻击痕击,提出了一种新的审计机制,即在每次通过调用系统函数execve执行新的应用程序时,跟踪进程的real userID、effective ID以及saved set user-ID值的变化,从而可以准确地检测出各种针对特权程序的权限提升攻击.     

数据库技术对Web问卷数据缺失校验的优化研究

减少缺失数据是提高“问卷有效率”的重要环节。主要根据统计分析的要求,从技术角度微观地探讨如何在ASP中利用数据库技术防止缺失数据,即通过Recordset对象中nelds集合的字段名（Fields（）．Name）网络问卷表单的对象名（Name）进行关联,优化缺失数据校验程序,设计出更简洁、灵活且不受问卷试题规模影响的校验程序,增强了Web问卷的通用性,提高了“问卷有效率”．达到事半功倍的效果。     

论我国流通政策体系的优化与完善

随着社会主义市场经济体制的完善及我国加入世界贸易组织,现有的流通政策体系暴露出很多问题。通过对国情的研究及国外经验的借鉴,全面优化与完善我国的流通政策体系,是解决流通业目前存在的问题及实现流通现代化的必要措施。