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.     

基于系统动力学理论建模的教育投资、经济增长和就业问题的研究

运用系统动力学的理论、方法构建模型,对教育投资、经济增长与就业问题进行了模拟,提出应加大教育投资力度,提高国民教育水平,将巨大的人口压力转化为巨大的人力资本优势,同时也必须兼顾由于人口总量以及其他因素导致的巨大的就业压力问题,在教育投资与固定投资之间保持合理的比例关系,以促进经济的持续、适度发展,为政府决策提供参考和依据。     

E-n-伪矩形性拟正则半群

本文是在[1]的基础上,将半群s的幂等元集E(S)由埋想推广为n-伪理想,然后来给出S的结构。本文未用到格林关系,因而证明有别于[1],而且[1]是我们的特例。     

Perron函数的调和分析

本文利用分析的方法,借助于次调和函数和下函数的性质得到 Dirichlet 问题的存在性。     

用实二次型理论解多元函数的极值问题

文章以二次型理论为依据,提出了解决多元函数极值问题的另一种方法.     

一阶线性非齐次微分方程求解方法的讨论和一个简化的求解方法

本文证明了一阶线性非齐次微分方程y＇+P(x)·y=f(x)三个求解方法:参数变易法、积分公式、积分因子法之间的等同关系.从参数变易法中引出一个简化的积分公式.事实上此公式恰是对用参数变易法解高阶线性非齐次微分方程时对n=1的拓广.最后以实例验证此公式的简易.     

C++运算符重载教学和编程中易被忽视的问题

对运算符重载教学和编程中常见的、易被忽视的问题进行了深入探讨和分析,并给出了有效的解决方法.对运算符重载时如何考虑用户使用习惯、使用的方便性和继承性也作了阐述.     

利用风险投资促进西部大开发

利用风险投资可以解决西部地区实现跨越式发展所需要的巨额资金。根据我国西部地区的实际情况，在西部大开发中发展风险投资的目标模式应该是培育一个以市场为导向、契约为基础的完善的专业化风险投资体系。在这种风险投资体系的建立过程中政府应起到关键性的作用。     

3~k元域上的三次方程根的简况

Ｆ是一个３ｋ元域，ｘ３＋ａｘ２＋ｂｘ＋ｃ＝０是Ｆ上的三次方程。该文证明方程ｘ３＋ａｘ２＋ｂｘ＋ｃ＝０在Ｆ中有一根，或一根与二重根，或三个互异的根，或没有根。     

平面弹性连杆机构的KED分析

本文放弃了文献中引用的运动学假设和瞬时结构假定,考虑了刚体运动和弹性变形运动之间的耦合项,分析了梁的横向位移对轴向应变的影响。利用虚位移原理和达明贝尔原理,建立了构件和系统的运动微分方程式。以四杆较接机构为例,进行了KED分析。从所得结果可以看出,本文更好地反映出弹性对机构动态误差的影响。