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.     

STUDY ON POLYPYRROLE-VISCOSE CONDUCTING FIBER

The conductivity of Polypyrrole-viscose conducting fiber prepared with author's method can be shown up to as high as 2.106x10~(-2) S/cm. The main factors influencing the conductivity are the concentration of FeCl_3 used as dopant and initiator, the treatment time of viscose fiber as base material in FeCl_3 solution, temperature and polymerization time. It is found that the orientation and crystallization degree of viscose fiber keep constant before and after conducting treatment and the mechanical properties of conducting fiber is the same as that of base material. In addition, the distribution of polypyrrole in viscose fiber, and its effect on the conductivity were investigated in details by TEM.     

探索学生学习效能的提高--兼数学教学活动

学生学习效能差异很大，这和内外因的各种因素有关，文章着重激发学生学习中的内驱力和教师教学方法等外驱力的作用展开探讨．     

两段绞接式联合收割机输送槽的设计研究

本文介绍一种适宜配置在悬挂式联合收割机上的两段铰接式输送槽设计,这种输送槽后段固定,前段与割台连接并与后输送槽铰接,该铰接点为前悬挂割台的支点,借助液压油缸升降,文中对该铰接点位置的确定,以及两段输送槽铰接处的圆弧过渡板设计进行了分析研究,提供了设计方法.     

冬虫夏草菌丝体对小鼠体液免疫的影响

本文采用血清溶血素测定新方法,对兰州三爱堂解放军第一医院人工发酵培养的冬虫夏草菌丝体进行实验分析。结果表明,对正常小鼠的体液免疫功能无影响,但对由环磷酰胺引起的体液免疫功能低下有明显的恢复,说明该菌丝体与天然虫草有一致的功能。     

滚齿切削厚度的计算

本文提出了滚齿时基面内切削厚度的计算方法．该方法可作为深入研究滚齿切削过程的理论基础．     

《多绳落地钢井架设计专家系统》软件的实现

本文介绍了面向矿山特种结构工程的一个专家系统，并论述了程序设计的原理、系统的功能，以及与ＡＵＴＯＣＡＤ软件包的接口。     

总弯沉比及其在机场刚性道面板底脱空判定中的适用性

提出了一种板底脱空判定弯沉指标——总弯沉比（R_TD）,分析了其理论特征;为探究R_TD在机场刚性道面板底脱空判定中的适用性,基于Abaqus有限元软件建模,以弯沉比和截距为对比对象,计算分析了道面结构参数、接缝传荷能力和脱空参数等对指标的影响。结果表明：相比弯沉比和截距,R_TD与道面结构参数相关性更高,可据此建立相对精确的判定标准;此外,R_TD在对脱空参数敏感的同时可避免接缝传荷能力与板底脱空的耦合影响。综合而言,R_TD在机场刚性道面板底脱空判定中具有更好的适应性。     

The age of formation of the mirabilite and sand wedges in the Hexi Corridor and their paleoclimatic interpretation

The Hexi Corridor is located at the transition zone of the Asian summer monsoon and westerly airflow, and lies in an important position in terms of its ecological fragility and climatic sensitivity. During a recent field expedition to this region, we found a sedimentary mirabilite layer in a number of localities including Suwushan, Yanchi, Baitujing, Yanchi Gaotai, Huahai, Yumen, Halanuo扙r, and Dunhuang (Fig. 1), which have the potential to provide important information about environmenta…     

太原市发展屋顶绿化应注意的若干问题

屋顶绿化是我国城市建设的一个崭新亮点，它既有增加城市绿地面积、发挥生态林业的作用，又有美化城市、为居民提供活动场所的功能。简要介绍了国内外屋顶绿化的发展状况，分析了太原市发展屋顶绿化的技术难点，提出了地毯式、花槽连网架式、花园式3种屋顶绿化模式，并建议就不同模式进行试点。