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.     

关于振动模态参数识别的注记

回顾了关于整体拟合的分母多项式系数的争议,论证了Richardson文献中所提供的参数精度不高的原因并非源于Richardson的错误.指出一个经典考核算例的仿真传递函数生成公式不同于复模态理论提供的公式,讨论了两者之间的关系.表1,参9.     

如何提高科技期刊的利用率

提出了学校图书馆提高科技期刊利用率的途径，首先要提高期刊馆藏的质量，订购期刊要有明确的原则，要根据学校的性质、专业设置、读者的需求特点来确定。其次要根据《全国高校图书馆工作条例》进行业务改革，实行科学管理。再次要提高图书馆工作人员的素质，强化服务意识。     

木材在机械加工中崩茬的控制

在木材的机械加工过程中，崩茬是比较容易出现的制造缺陷，如何有效的控制崩茬问题的出现是非常重要的。本文主要分析崩茬的原因以及平行四边形法则在控制崩茬问题上的应用。     

有限和式的积分放缩及应用

本文给出有限和式sum from k=1 to nf(k)的积分放缩的若干结论,并讨论其在求极限、证明不等式和无穷级数收敛性等问题中的应用。     

论旅游开发对区域生态环境的影响

旅游开发既可能破坏区域生态环境 ,又可以通过促进区域经济发展 ,促进区域生态环境的良性可持续发展 .二者的协调发展是当前我国经济发展中亟需研究解决的新课题     

论奥运经济与我国体育产业的互动关系

从我国体育产业化的现状入手,探讨了体育产业化与奥运经济的互动关系,并提出实现两者双赢的具体措施.     

学年学分制模式下的高校学生工作探索

我国目前大多数高校采用学年学分制,与学年制和完全学分制不同,它以学分为计量单位,按学年或学期作为结算时段确定学生的降级和退学标准,有相对固定的修业年限。文章对该模式下的学生工作进行初步探讨,提出了进一步完善辅导员制度、加强班集体建设等系列措施。     

用对应分析法研究影响城市园林绿化的因素

利用Spss12．0软件，对1999年全国各地区城市园林绿化的统计数据进行了对应分析。通过对应分析图，可以很直观地看出影响城市园林绿化的主要因素，进而通过数据分析可以很清楚地看出城市园林绿化程度的高低直接影响游客的数量，这样就可以为各地区制定发展计划提供一定的参考。     

培养专业英语复合型人才教学探讨

为适应新时代的要求高等学校英语专业应改变过去单纯学习语言的倾向 ,开始向培养复合型、应用型外语人才的方向发展 .为英语教学探索出一条符合中国国情的外语教学新路