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.     

利用补偿收缩混凝土进行建筑物缺陷预防及防水处理

利用补偿收缩混凝土产生的预压应力,可有效的防止建筑物裂缝缺陷的产生及对建筑物进行防水处理。     

浅析森林生态效益补偿制度

从森林生态效益补偿制度的概念入手，分析了我国目前森林生态效益补偿制度的现状和存在的缺陷，并提出了几点完善的建议。     

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

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

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

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

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

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

静止无功功率补偿技术

静止无功功率补偿技术以现代电力电子技术为基础采用晶闸管投切方式,吸收和发出无功电流与系统进行无功功率交换,响应速度快,稳定系统电压,抑制系统振荡.     

维生素D

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

求解一类二阶段有补偿问题的对偶梯度法

1 问题的描述在含有随机变量的复杂决策问题中所产生的二阶段有补偿问题通常具有如下形式这里D={x|Ax=d,x≥0}?R~n为约束区域,A∈R~(m×n),d∈R~m(m≤n),h(x)为x的实函数,Q(x)=EQ(x,ω),而Q(x,ω)为相应于样本点ω的随机变量并取第二阶段(补偿)问题的最优值.对于问题(1),已有算法均限于具有简单补偿和随机右端项的随机线性规划问题,并且算法比较