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.     

高校实验技术人员的现状与分析

实验室是一个为高校师生进行科研和教学的实践平台,而实验室人员是其功能正常发挥的重要保障.通过对高校实验室人员现状分析,找出存在的问题并提出相应的解决措施.     

The controlling factors and distribution prediction of H2S formation in marine carbonate gas reservoir, China

Generally, there are some anhydrites in carbonate reservoir, as H2S is also familiar in carbonate oil and gas reservoirs. Nowadays, natural gas with high H2S concentration is usually considered as TSR origin, so there is close relationship between H2S and anhydrite. On the contrary, some carbonate rocks with anhydrite do not contain H2S. Recently, researches show that H2S is only a necessary condition of H2S formation. The reservoir porosity, sulfate ion content within formation water, reservoir temperature, oil/gas and water interface, hydrocarbon and some elements of reservoir rock have great controlling effects on the TSR occurrence. TSR deoxidizes hydrocarbon into the acidic gas such as H2S and CO2, and the H2S formation is controlled by TSR occurrence, so the relationship among reaction room, the contact chance of sulfate ion and hydrocarbon, the reservoir temperature has great influence on the TSR reaction. H2S has relatively active chemical quality, so it is still controlled by the content of heavy metal ion. Good conditions of TSR reaction and H2S preservation are the prerequisite of H2S distribu- tion prediction. This paper builds a predictive model based on the characteristic of natural gas reservoir with high H2S-bearing. In the porosity reservoir with anhydrite, the formation water is rich in sulfate and poor in heavy metal ion. Oil and gas fill and accumulate in the gas reservoir with good preservation conditions, and they suffered high temperature later, which indicates the profitable area of natural gas with high H2S-bearing.     

第三部门青年组织的社会功能研究

第三部门在公共领域所扮演的特殊角色引起了公众与学术界的广泛关注。采用个案研究的方法,借鉴西方女童子军个案来探讨第三部门青年组织的现实意义和特点,主要从教育功能和社会文明营造两个方面研究了第三部门青年组织的社会功能,并进一步探讨了中国和西方国家第三部门青年组织在社会功能发挥上的差异以及西方第三部门青年组织给国内第三部门青年组织发展带来的启示。     

新农村职业教育与新农村文化建设

文化功能是教育的基本功能，农村职业教育在新农村文化建设中大有作为。依靠农村职业教育建设农村物质文化、精神文化和制度文化，充分发挥农村文化在新农村建设中的作用。     

维生素D

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

目的论指导下的新闻英语编译

针对传统的翻译标准"忠实"、"等值"无法解释新闻翻译中必要的摘译、编译等现象,以德国功能学派翻译理论家H. J.弗米尔 (H. J. Vermeer) 提出的"目的论"为切入点,探讨了目的论在新闻翻译中的应用,目的论的提出拓宽了翻译理论研究的领域.     

SrFCl:Eu~(2+)晶体的电子自旋共振谱研究

用程序降温法生长了SrFCl:Eu~(2+)晶体,并测量了它的电子自旋共振谱。应用最小二乘法拟合技术对g因子及自旋哈密顿参数进行了精确拟合。报道了各向异性的g因子及有关自旋哈密顿参量。发现并归属了Eu~(2+)的高阶禁阻跃迁。     

“相扑”运动在中国古代所表现的政治功能

“相扑”运动在中国封建社会的政治功能，主要表现两个方面：（一）中国古代“角抵”外交及其政治影响。（二）统治者身边蓄养的角抵力士；在中国古代不同的历史时期，“相扑”所表现的政治功能也不同。     

关注小学生科技教育的德育功能

科学技术是第一生产力，它推动着人类社会不断地向前发展。科学技术的发展和掌握需要一大批高素质的科技人才，而科技人才的培养离不开科技教育，每个科教工作者都肩负着这个艰巨而又神圣的使命。青少年是祖国的未来和希望，关注小学生科技教育的德育功能，致力于开展青少年科技教育活动，并把它渗透于科技教育的全过程。