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.     

筒型基础系缆平台沉／拔过程侧摩阻力原型测试

介绍了1999年首次安装在渤海锦州9－3地区多筒基础平台安装施工过程中的侧摩阻力原型测试研究，描述了简型基础上沉和上拔过程中筒壁侧摩阻力的测试系统和测试方法，给出了主要测试结果并与现行规范进行了对比分析，这项成果对筒型基础平台的设计和施工具有直接的参考意义。     

水下沉桩施工新技术

肇庆换流站供水工程之一的五尺峡取水泵站施工中，在受施工条件限制的情况下，采用将钢筋混凝土预制桩改为开口钢管桩，将双排桩改为单排桩，尝试搭设水上竹平台作沉桩施工平台等措施均取得成功，保证了质量、安全、进度，降低了施工成本．     

最优化法在计算平台破损后浮态及初稳性中的应用

提出了一种用优化方法求解平台破损进水后浮态和初稳性的方法,并用所编制的计算机程序对平台破损后的浮态和初稳性进行了计算。文中给出了某一平台在下沉就位过程中的计算实例,计算结果表明:利用优化方法来求解平台破损进水后的浮态和初稳性是切实可行的.     

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

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

基于TP－801的十六位微机教学实验平台

本文叙述在ＴＰ－８０１单板微机硬件基础上增设十六位微机功能板并重写监控程序使其成为能调试和运行８０８６／８０８８机器语言程序并能进行某些简单接口实验的教学实验平台。     

基于Nexperia数字多媒体平台的设计与实现

设计并实现了以Nexperia PNX1300 Series媒体处理器为核心，集视频、音频、通信、图象和控制为一体的数字多媒体平台，它具有高性能的实时数字信号处理能力，是数字多媒体编解码标准的算法研究与实现的理想平台，实验证明，数字多媒体平台是一个性能卓越、功能强大的实时信号采集与处理系统，完全满足数字多媒体实时处理的需要，它将MPEG-4的视频压缩技术与流媒体技术结合，具有广泛的应用前景。     

分解炉虚拟样机的开发

以水泥生产过程中的分解炉为对象，分析了分解炉内具体的物理化学过程，同时开发了反映分解炉工作过程(流体力学、燃烧学、分解动力学、颗粒动力学)的数学模型，借助数值模拟方法进行了分解炉虚拟样机的开发，为分解炉的设计与开发提供了试验平台。     

大型径向和推力滑动轴承试验台结构设计与应用

对径向滑动轴承、推力滑动轴承试验台以及实验台的结构设计、试验范围、功能和工业产品实验进行了介绍。该试验台在滑动轴承的实验研究中得到了很好的应用。     

西秦岭南带中志留统的岩石学特征与沉积环境

详细研究了西秦岭南带中志留统岩石学特征,对遭受重结晶作用的碳酸盐岩进行了结构成因分类。分析了该区中志留世的沉积环境及变化特征。在该区发现的层孔虫生物礁及其它“浅水”标志,表明志留纪时,为若尔盖微古陆北侧的边缘浅海环境。西部为局限陆棚环境,可分为:局限内陆棚、海湾、礁滩-泻湖-潮坪(孤立台地)等亚环境;东部为开阔陆棚环境,可分为浅海砂滩、内陆棚、外陆棚等亚环境。