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.     

求Ramsey数最优下界值的递归算法

要确定每个具体的Ramsey数的数值是相当困难的,至今人们只求出了为数很少的几个Ramsey数的数值.人们在研究Ramsey数性质的同时,也在估计Ramsey数的数值,得出了某些Ramsey数的下界值,但工作进展缓慢.本文提出了一种计算Ramsey数最优下界值的递归算法,该算法利用当今关于Ramsey数的最新结果,能得出Ramsey数的目前最优下界值.1 算法描述不妨将本算法定名为G,参数个数为1个以上(可变化),算法允许递归调用,其输出值为Ramsey数的目前最优下界值.C(k_1,k_2…,k_n)表示以k_1,k_2…,k_n作为输入,通过算法G所得到的输出结果,即C(k_1,k_2…,k_n)表示的是G算出的Ramsey数N(k_1,k_2,…,k_n;2)的目前最优下界值,其中N(k_1,k_2…,k_n;2)的含意与文献[2]中有关含意相同.算法G:     

显微组织对NdFeB磁体β（iHc）的影响

研究了显微组织对ＮｄＦｅＢ磁体ｉＨｃ及β（ｉＨｃ）的影响，对ＮｄｘＦｅ９３－ｘＢ７磁体，ｘ从１６增加到２８时，Ｈｃ增加了５５％，β（ｉＨｃ）降低了约１１％；进一步优化显微组织，增加富Ｎｄ晶间相，减弱晶粒间的磁耦合作用及消除晶粒表面的高退磁场区域，不仅可提高磁体的矫顽力，亦可显著改善其矫顽力温度系数。     

A High Speed Detection Scheme for Point Targets in a Multitarget Environment

The purpose of this paper is to develop a high speed detection scheme for moving and / or stationary point targets in a multitarget environment as registered in an IR image sequence. An iterative approximate 3-D line searching algorithm based upon the geometric representation of lines (for non-maneuvering targets in space) in a 3-D space is derived. The convergency of the algorithm is proved. An analysis is performed of the theoretical detection performance of the algorithm. The statistical experiment results show high effectiveness and computational efficiency of the algorithm in the case of low SNR. The idea may be employed to satisfy the real-time processing requirement of an IR system.     

HPM合成及其在苯乙烯阳离子聚合体系中作用

通过利用与金属多氧络合物的相互作用,合成了具有特殊结构与功能的金属多氧络合物催化剂。经过红外表征,说明新合成的催化剂具有典型的金属多氧络合物晶体结构,同时其活性质子也得到了很好的稳定化保护。经过在苯乙烯体系中的聚合实验,发现合成的新型催化剂在引发聚合的同时,也能很好地实现聚合反应的稳定化,便于聚合操作的进行。     

A theoretical model for mid-and low-latitude ionospheric electric fields in realistic geomagnetic fields

The geomagnetic fields, which play important roles in the ionospheric dynamo, can greatly affect the global distribution of ionospheric electric fields, currents and other ionospheric electrodynamics phenomena. In the study of ionospheric electrodynamics phenomena, such as the longitudinal variations of ionospheric electric fields, the non-dipolar component of the geomagnetic fields must be taken into account. In this paper, we deduce a theoretical electric field model for ionospheric dynamo at mid- and low-latitude which adopt a modified magnetic apex coordinates system. In the new electric field model, the geomagnetic fields can be calculated from either the IGRF model or the dipole field model, and the neutral winds and conductivities are calculated based on empirical models. Then the dynamo equation for the electric potential is finally solved in terms of the line-by-line iteration method, and the ionospheric electric fields and currents are derived from the calculated potential. Our model can reproduce the main features of the ionospheric electrodynamics processes, so it will be a useful tool for the investigation of the upper atmosphere and ionosphere.     

膦酰甲基甘氨酸的制备及其对过氧化氢稳定性的研究

用三氯化磷、甲醛、甘氨酸进行反应制得膦酰甘氨酸（草甘膦），草甘膦对过氧化氢有稳定作用，实验结果表明草甘膦在含０．６％时对过氧化氢具有较好的稳定作用。     

A novel mechanism for jumping in the indian ant<Emphasis Type="Italic">Harpegnathos saltator</Emphasis> (Jerdon) (Formicidae,Ponerinae)

The Indian antHarpegnathos saltator may be unique among insects in using its jumping capacity not only as an escape mechanism but also as a normal means of locomotion, and for catching its prey in flight. High-speed cinematography used to analyse the various phases of the jump suggests thatHarpegnathos employs a novel jumping mechanism to mediate these behaviours: namely the synchronous activation of its middle and hindlegs. Electrophysiological recordings from muscles or nerves in pairs of middle and hindlegs show remarkably synchronous activity during fictive jumping, supporting the synchronous activation hypothesis.Harpegnathos is not the only ant to jump, and a cladistic analysis suggests that jumping behaviour evolved independently three times during ant evolutionary history.     

冷带轧机液压厚控系统动态数学模型分析与测试

分析了液压厚度控制系统动态数学模型．并与频率特性测试仪所测结果做了比较．得出了实用的被控对象结构图．为厚度控制系统的设计提供了理论依据．