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.     

Perron函数的调和分析

本文利用分析的方法,借助于次调和函数和下函数的性质得到 Dirichlet 问题的存在性。     

用实二次型理论解多元函数的极值问题

文章以二次型理论为依据,提出了解决多元函数极值问题的另一种方法.     

The harmonic decomposition reconstruction for the exponential radon transform

The exponential Radon transform, a generalization of the Radon transform, is defined and studied as a mapping of function spaces. It is represented in terms of Fourier transform of its domain and range, and this leads to the harmonic decomposition reconstruction. The results are similar results of Tretiak and Metz. Foundation item: Supported by the National Natural Science Foundation of China (No. 19971064), Key Project of Science and Technology of Hubei Province Education Committee. Biography: Wang Jin-ping (1963-), male, Ph.D. candidate, research direction: numberical solution of singular integral equation and integral transformation etc.     

C++运算符重载教学和编程中易被忽视的问题

对运算符重载教学和编程中常见的、易被忽视的问题进行了深入探讨和分析,并给出了有效的解决方法.对运算符重载时如何考虑用户使用习惯、使用的方便性和继承性也作了阐述.     

Krzyz猜想的证明及其在调和单叶函数中的应用

在族B0中引进了Loewner微分方程，证明了Krzyz猜想，并且在调和单叶函敷中给出系数不等式的应用。     

利用风险投资促进西部大开发

利用风险投资可以解决西部地区实现跨越式发展所需要的巨额资金。根据我国西部地区的实际情况，在西部大开发中发展风险投资的目标模式应该是培育一个以市场为导向、契约为基础的完善的专业化风险投资体系。在这种风险投资体系的建立过程中政府应起到关键性的作用。     

平面弹性连杆机构的KED分析

本文放弃了文献中引用的运动学假设和瞬时结构假定,考虑了刚体运动和弹性变形运动之间的耦合项,分析了梁的横向位移对轴向应变的影响。利用虚位移原理和达明贝尔原理,建立了构件和系统的运动微分方程式。以四杆较接机构为例,进行了KED分析。从所得结果可以看出,本文更好地反映出弹性对机构动态误差的影响。     

Nonsynchronous Trading Model and Return Analysis

Nonsynchronous trading is one of the hot issues in financial high-frequency data processing. This paper extends the nonsynchronous trading model studied in [1] and [2] for the financial security, and considers the moment functions of the observable return series for the extended model. At last. the estimators of parameters are obtained.     

一类由Hadamard乘积定义的函数子类

设p为正整数,)(pA表示单位圆盘内形如+=+=1)(pkkkpzazzf的解析函数全体,对给定的复 常数p-l及)(zf )(pA, 用 )()()(zfzhzfJ*=ll 定义算子lJ,其中kpkzkpzhlll++==)(,文章得出当)()()(alpnRzfJ(p相似文献