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.     

关于参数方程中参数的选取

一条曲线是具有某些特征的点的轨迹,在直角坐标系(或极坐标系)中,当一点的坐标(x,y)(或!,")都是同一个变数t的函数时,如果对于t的每一个允许值,方程所确定的点都在某一条曲线上,同时这条曲线上的任意一点的坐标都可以由t的某一个允许值通过方程得到。那么这个方程就叫做曲线的参数方程。     

引导教育需求调节教育供求结构矛盾

我国教育供求结构矛盾主要体现在不同层次和不同类别教育供求的非均衡两个方面。针对这种情况,政府首先要提高贫困地区义务教育、中等职业教育和高等教育内冷门专业的个人教育需求;其次要减少对高等教育的投入比例、对热门专业收取高学费、进一步健全人才市场和培育健康的用人机制,抑制高等教育需求过度扩张,调节教育供求结构矛盾。     

对单亲孩子心理问题的调节策略

随着改革开放以及社会的迅猛发展，我国的离婚率在不断呈上升的趋势，给学校带来了前所未有的挑战。在校家庭离异的学生在心理和行为都存在着程度不一的偏差。     

篮球比赛中节奏的控制与调节

本文对篮球比赛中节奏的表现内容、节奏的控制及其改变场上节奏的几种手段。旨在丰富篮球理论的研讨,提高教练员临场指挥水平,合理把握比赛的节奏。     

维生素D

维生素D是一种脂溶性维生素，也被看作是一种作用于钙、磷代谢的激素前体，它与阳光有密切关系。维生素D在人类中的主要生理功能是维持血清钙和磷的浓度在正常范围内，维持神经肌肉功能正常和骨骼的健全，它是生命必需的营养素和钙代谢的最重要生物调节因子。     

边界拟合坐标系中的流动方程

本文提出了流体力学解析边界拟合坐标系方法，及建立在这种坐标系基础上对流动方程进行摄动处理的方法，并列举几种流动建立了解析边界拟合坐标系中的方程。     

Banach空间中的幂级数方程

本文考虑Banach空间中形如x=u+sum from k=1 to ∞(a_kx~k)的幂级数方程,建立了一个比较定理,并将其应用于一定的非线性积分方程.