动态系统的一致同余安全

研究动态系统的安全问题．针对动态系统运行时间配置的可变特性，引入了动态系统的进程代数模型和复杂动态系统概念，定义了动态系统的一致安全性质和一致同余安全性质．基于观察同余等价，构造了一类一致同余安全模型．本文证明，动态系统的安全性质是一致安全性质，而对于复杂动态系统，其安全性质是一致同余安全性质．     

通用的嵌入式汇编代码结构分析系统研究

根据汇编语言的特点,提出了一种通用的嵌入式汇编代码的程序结构分析思想,成功地解决了汇编级代码的结构分析问题,特别是针对子程序划分、确定子程序间的调用关系及多入口和多出口等问题提出了实际的解决方案,为以后的编译优化、代码覆盖测试、逆向工程分析等环节奠定了基础。     

考虑多重不确定参数的配电网概率无功优化

针对同一区域内多个分布式电源及波动负荷的随机性和相关性对配电网模型带来的多重不确定性,构建了考虑多重不确定参数的概率无功优化模型,并将其转化为多场景确定性优化问题求解。模型中,三阶多项式正态变换(TPNT)改进的Nataf变换解耦了分布式发电机组和波动负荷的相关性,Gaussian-Hermite积分法处理了目标函数和约束项涉及的概率潮流计算。所建模型使用多策略融合粒子群优化算法进行优化求解,得到确定的控制变量最优解和状态变量统计矩。将该模型应用于接入多个分布式光伏发电机组和波动负荷的IEEE33节点配电系统进行仿真测试,其结果验证了所提概率无功优化模型和解法的适应性和有效性。     

一个分层的多播安全协议体系结构及实现

1.引言随着Internet的普及和商业化应用的增长,越来越多的应用需要多播服务,如大规模信息传播服务、实时视频会议、分布交互式模拟、协同工作等等。为了保护多播消息的内容,需要建立多播安全基础设施。安全多播的最终目标是保护安全多播组的通信,即保证只有(策略授权的)安全组成员才能访问组通信。多播安全问题比单播安全问题复杂得多,甚至消息的保密和鉴别也变得相当复杂,还有其它的相关问题,如访问控制、信任模型、组规模的扩展性、组成员动态性等等。由于多播安全包含的内容广泛、复杂,因此多播安全协议应该是由一个协议组构成,包含若干协议构件,以解决多播安全中的各类问题。     

面向多目标的指令集模拟技术

针对传统指令集模拟器的目标依赖性,提出基于虚指令集的多目标指令集模拟技术。采用解释型模拟策略,利用虚指令集技术优化虚指令集构造,进一步设计出面向多目标的指令集模拟器。实验结果证明该技术具有快速、灵活、可重用等特性,该模拟器在后续工作和兼容性方面优于传统模拟器。     

基于反编译的循环脆弱点检测

循环拷贝出错是缓冲区溢出漏洞产生的主要原因之一。为了提高此类漏洞的检测效率, 提出一种基于反编译的循环脆弱点检测方法。该方法首先对目标文件进行反编译, 在反编译的基础上构建函数的AST(抽象语法树), 设计算法提取函数内部的循环信息; 然后根据循环脆弱点存在的特性, 构建有限状态自动机, 对循环脆弱点进行检测。该方法在无源码漏洞检测方面有明显优势, 能有效发掘软件中存在的循环脆弱点, 提高漏洞挖掘的效率和自动化程度。     

一种基于数据流分析的数据类型推导方法

类型分析是反编译整个流程中的重要模块,其分析效果会对反编译所输出的高级语言的可读性与准确性产生极大的影响。文章所讨论的是一种基于数据流分析的类型分析方法,通过将多种数据类型构造为类型格的层次结构,构建包含类型信息的数据流方程,在推算数据流方程的过程中对指令中的操作数类型进行推导。     

工业废渣煤矸石和赤泥烧制多孔砖工艺性能研究

针对工业废渣煤矸石和赤泥烧结多孔砖工艺性能可行性半工业性试验以及烧成小样强度等项目进行了分析与试验。结果表明:采用煤矸石、赤泥,再添加一定量杂泥土,可以制备出优质烧结多孔砖,为满足GB 6566—2010《建筑材料放射性核素限量》要求,赤泥掺量不宜太多。煤矸石和赤泥总用量达到75%,制备的烧结多孔砖强度等级可达到MU18。     

地震沉积学初步认识

地震沉积学是继地震地层学和层序地层学之后出现的一门新兴学科。地震沉积学利用地震振幅信息和属性分析技术研究沉积岩石学、古地貌学、沉积结构以及沉积演化历史等。地震沉积学最大的理论突破在于对地震同相轴穿时性的重新认识,其关键技术是地层切片体（等时地层切片）的生成。我们在这里将地层切片与另外两种切片做了比较。作为一门新兴学科地震沉积学的有关理论和方法有待进一步发展和完善。