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.     

电子线路的数值优化设计

研究了电子线路的数值化设计方法.它是一种自动化程度高、通用性强、精度高的电路设计方法。介绍了电子线路数值优化设计软件系统YJX—1.它具有广泛的通用性和快速收敛的特点。     

Structure of astacin and implications for activation of astacins and zinc-ligation of collagenases.

Astacin, a digestive zinc-endopeptidase from the crayfish Astacus astacus L., is the prototype for the 'astacin family', which includes mammalian metallo-endopeptidases and developmentally regulated proteins of man, fruitfly, frog and sea urchin. Here we report the X-ray crystal structure of astacin, which reveals a deep active-site cleft, with the zinc at its bottom ligated by three histidines, a water molecule and a more remote tyrosine. The third histidine (His 102) forms part of a consensus sequence, shared not only by the members of the astacin family, but also by otherwise sequentially unrelated proteinases, such as vertebrate collagenases. It may therefore represent the elusive 'third' zinc ligand in these enzymes. The amino terminus of astacin is buried forming an internal salt-bridge with Glu 103, adjacent to His 102. Astacin pro-forms extended at the N terminus, as observed for some 'latent' mammalian astacin homologues, did not exhibit this 'active' conformation, indicating an activation mechanism reminiscent of trypsin-like serine proteinases.     

巷道底板上锚杆布置形式对预防底鼓效果的模拟研究

本文采用三个边界元模型对巷道底板上锚杆的不同布置形式对防治底鼓的效果进行了模拟研究。根据研究结果,提出采用在巷道底板上分期安装锚杆的方法,可有效地防治巷道底鼓。本文对巷道底鼓产生机理和防治措施的研究结果,具有一定的理论价值和应用参考价值。     

新的基团法估算沸点下蒸发焓

提出了估算沸点下蒸发焓的含基团重量分率的基团法和估算式，拟合团贡献值，对３８５种有机物的计算平均偏差约为１．５％。所提出的新方法明显优于３种对应状态和用蒸发熵的基团法。     

变系数Leslie模型在污染环境下生存问题的研究

研究了具有变系数Leslie模型在环境污染下种群的生存问题.利用微分方程的定性理论及比较定理,给出了种群弱持续生存和灭绝的条件.     

温公颐中国逻辑史研究方法论初探

温公颐先生中国逻辑史研究的方法论涉及一般原则和具体方法两个层面。其中,一般原则主要包括"贵有创见"、实事求是和发展的观点3个方面。具体方法主要有比较的方法、语言学的方法以及逻辑与历史统一的方法等。温公颐中国逻辑史研究的方法论,在一定意义上是对近代以来中国逻辑史研究中简单比附这一思路与方法的有力矫正。     

水切割机中超高压预应力复合缸体研究

针对水切割机中高压缸经常爆裂的现象,本文研究了预应力缸体、高压缸的失效原因及预应力缸体的基本特点,最后进行了缸体疲劳实验。     

育种目标性状间的同一关系分析方法研究

借助集对分析理论,提出了一种新的育种目标性状间的关系分析方法,阐明了其基本原理与分析步骤,并结合小麦育种实例,介绍了这种分析方法的具体应用。在此基础上,讨论了这种分析方法的优越性及尚待改进之处。表3,参9。     

APPLICATION OF BORON MODIFIED SILICA SOL ON RETENTION AND DRAINAGE

INTRODUCTIONRecently with the high speed, large-scale develop-ment of papermaking, in the manufacture of paper and paperboard conventional single and dual reten-tion and drainage systems cannot obtain satisfying re-tention and drainage. So in 1980 microparticulate systems appeared. Because of its superiority such as good retention effectiveness on fine and chemicals, improving drainage and paper formation, reducing waste water and enhancing the concentration of white water for good recover…