Static extracting method of software intended behavior based on API functions invoking

The method of extracting and describing the intended behavior of software precisely has become one of the key points in the fields of software behavior＇s dynamic and trusted authentication. In this paper, the author proposes a specified measure of extracting SIBDS （software intended behaviors describing sets） statically from the binary executable using the software＇s API functions invoking, and also introduces the definition of the structure used to store the SIBDS in detail. Experimental results demonstrate that the extracting method and the storage structure definition offers three strong properties： （i） it can describe the software＇s intended behavior accurately; （ii） it demands a small storage expense; （iii） it provides strong capability to defend against mimicry attack.     

基于集群的轻量可扩展TCP容错方法

针对现有TCP容错方案在高可用性方面的不足，提出了一个新的容错方案——轻量拷贝的传输控制协议ER-TCP.该方案采用日志管理配合主动复制的方法，可降低通信转发结点的负载；采用高效的同步算法可以减轻多个备份服务器的同步对通信造成的性能损失．与其他TCP容错方案进行性能测试的结果比较表明，ER-TCP对通信造成的性能损失小，在多个备份服务器的情况下ER-TCP仍可保持较高的通信效率．     

受托责任论与决策有用论的影响——我国会计目标的现实选择

会计目标关系到会计基本理论框架的构建以及会计实务的拓展。美国会计界关于会计目标的研究形成两个主要流派——受托责任学派和决策有用学派。探讨了这两种观点对会计理论和实务的影响,以构建出真正符合我国现阶段经济环境的会计目标理论。     

Algorithm of graph isomorphism with threedimensional DNA graph structures

ResearchonDNAcomputingwasinitializedin1994 ,whenAdleman[1] proposedamethodofsolvingasmallinstanceoftheHamiltonianPathproblembyalaboratoryexperimentinvolvingDNAmolecules .Later,Lipton[2 ] demonstratedhowalargeclassofNP completeproblemscouldbesolvedbyencodingtheprobleminDNAmolecules .Inparticular ,LiptonshowedonefamousNP problem ,theso called“satisfiability”problem (SAT)andsubsequentlytheotherNP problemscouldbeencodedandsolvedusingmolecules .TheadvantagesofDNAcomputingareitsmassivepa…     

并行处理可视化监测环境

针对并行程序的工程化开发中缺乏有效的并行程序执行过程的可视化、性能监测与分析工具 ,该文设计和实现了一个面向并行程序的集成开发环境的可视化与监测分析工具。该环境集成并行过程的可视化、并行性能监测和评价于一体 ,根据它提供的直观可视信息 ,程序员能形象化地看到并行程序的运行状况 ,了解并行程序的执行性能 ,并通过性能监测分析比较并行算法 ,找出并行算法的性能瓶颈。该工具已应用于胜利油田的油藏数值并行模拟中 ,有效地支持了油藏数值模拟并行程序设计的开发 ,并获得了较好的效果     

不完备广义多尺度决策系统的逐步最优尺度选择

现有的最优尺度选择算法有可能无法得到全局最优尺度组合,且具有较高的时间和空间复杂度。针对该问题,提出了不完备广义多尺度决策系统的逐步最优尺度选择算法。介绍了不完备广义多尺度决策系统,给出了上下近似集的性质;采取属性约简与尺度选择同步优化策略,以得到全局最优尺度组合;给出了一个快速的求相容类方法,并提出了不完备广义多尺度决策系统的逐步最优尺度组合选择算法,该算法显著降低了时间复杂度与空间复杂度。数值实验表明所提出的算法是有效的。     

Java RMI在分布计算中的应用

随着网络技术、面向对象技术(OOT)的成熟，分布计算技术不再是实验室里的高新技术，分布计算已成为软件设计的主流技术，纯面向对象编程语言Java使分布计算更容易实现．首先阐述分布计算机系统的概念，并分析在分布计算中，Socket通信协议和RPC的不足，然后论述如何使用Java RMI实现分布计算。     

分布存储环境并行有限元研究进展

详细评述了近10年来国内外分布存储环境下并行有限元的研究态势．认为实现分布存储环境下有限元并行化的策略可以归结为基于并行数值分析方法和基于物理分割构造的并行有限元两类．其中，前者的实现方式有直接利用并行数值分析工具软件包和分割系统方程并行求解的策略；后者的策略则有子结构法、单元逐集(EBE)法以及单元重组(FETI)法．对于物理非线性和动力问题，现行的处理方法都是利用静力解法叠代计算实现．以这些分析为基础，进一步分析了机群(COW)环境下实现大规模并行有限元计算的可行性。     

土与结构间一种新接触单元的数值解

推导了基于非线性弹性-理想塑性本构模型的接触带单元的单元刚度矩阵，并对接触带厚度的确定、非线性迭代方法等数值计算中一些重要的细节问题进行了论述．最后对某一典型算例进行了分析，分析结果表明，所提出的接触带单元能够合理地模拟接触面上的变形机理和受力状态，是一种比较适用的模型，在土与结构相互作用分析中具有一定的应用前景。     

基于移动代理的网络应用研究与实现

随着计算机网络的飞速发展以及Internet相关技术的普遍应用，数据处理已经不再局限于网络中的某一台计算机上运行，而是要求所有计算机都参与到网络这一大环境中，这就需要基于智能化和网络化进程的移动代理技术来解决复杂、动态和分布式智能应用的问题．文章首先简要阐述软件代理和移动代理的一些基本知识，然后以目前常用的移动代理开发平台Aglet为例，详细讲述如何开发基于移动代理的网络应用程序．