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.     

一类泛圈图

本文证明了如果G是2连通无爪图,G不是圈,n=|v(G)|>q,G的每个导出子图A都满足φ(a_1,a_2),且G中不存在W′作为其导出子图,则G是泛圈图。     

不容忽视的审计细节

就注册会计师在执业过程中必须关注的一些细节，如对管理当局声明书的依赖问题，会计资料中的非常数字，采用询证法对应收帐款的查询，实地观察公司运营情况，符合性测试以及对作为审计证据的公司函，复印件等问题进行了探讨。     

汕头市API指数年变化规律及控制对策

对汕头市全年空气主要污染物指数年变化规律进行统计、分析 ,结果显示 :其年变化规律受季节及气象要素影响 ,可吸入颗粒物浓度偏高的主要原因与人群活动有较密切关系 .并提出相应的控制对策 :加强对机动车尾气的控制、工业污染源管理和做好垃圾有效处理、主干道定期洒水降尘及绿化固土等工作     

格林函数倒易性在电磁场理论中的应用

格林函数在电磁场理论中有着非常广泛的应用。如在求解静电场问题时，往往会涉及到求解感应电荷的问题，而一般来说感应电荷的量值是不易求得的，特别是对不规则形状的导体。通过应用格林函数的倒易性来求解某些接地导体上感应电荷，能比较简便地解决这个问题。     

浅谈VB在编程中如何实现多媒体功能

详细介绍了如何在VB中利用相关函数和图像处理算法制作动画图标的收集方法,并给出程序源码。     

具有变时滞的偏泛函微分方程平凡解的一致渐近稳定性

运用Ｒａｚｕｍｉｋｈｉｎ技巧．对两类具有变时滞的偏泛函微分方程进行了讨论．获得其平凡解一致渐近稳定的充分判别条件．     

JMF技术在网络多媒体教学系统中的应用研究

 网络多媒体教学与一般的网络多媒体应用的主要差别在于同时包括了视频流、音频流和课件板书数据流等,本文讨论了JMF(Java Media Framework)应用于网络多媒体教学系统开发研究中的几个问题,给出了其中的2个主要部分:JMF API和JMF RTP API的实现方式,在网络课堂实录系统的开发中取得了较好的效果.     

在Powerbuilder中利用API函数实现图片的逐渐放大

通过在Powerbuilder中词用Windows API函数，实现任意图片的逐渐放大功能．     

闭路函子和同纬函子保持同伦正则性

证明了闭路函子和同纬函子保持同伦正则性 ,同时构造出了一系列同伦等价的空间