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.     

与企业全方位深度融合建设精品专业

行业发展是专业建设的前提,与企业结合是专业建设的关键,与生产结合是专业建设的核心,与就业结合是专业建设的根本。航空制造业的快速发展需要大量的数控技术专业人才。数控技术专业的发展离不开与企业的良好合作。企业为专业建设注入活力,专业建设为企业发展提供保障。     

不对称D—A反应区域选择性及其理论解析

本文以教学研究为基础,系统研究不对称D—A反应区域选译性规律,并运用前线分子轨道理论,采用图解量子化学方法予以理论解析。     

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.     

非常返Markov链的比率极限

比率极限是Markov链理论中人们比较关心的问题之一．Doeblin‘s ratio定理给出了常返Markov链的比率极限limN→∞∑n=0^NPij^(n)/∑n=0^NPkh^(n)=1/gjh,本文对非常返Markov链，给出了用fij，gjh,fjh和fkh表示的比率极限，使这类问题的结果更趋于完备．     

平面布朗运动首中带形之分布

首中时是近代马氏过程的一个重要概念．作为强马氏过程的布朗运动，其首中某集的时间或位置的分布对于研究质点运动以及位势论中的Didchlet问题与平衡问题都有重要意义．球面的首中与末遇分布在六几年就已解决，1981年白苏华等在文献[1]给出了平面布朗运动首中椭圆的分布，本文用类似方法求出平面布朗运动首中带形之分布。     

聚乙二醇类的生物降解

本文对聚乙二醇的生物降解研究进行了评述．聚乙二醇的降解性能取决于分子量的大小，分子量较高的降解不佳．聚乙二醇的好氧代谢作用机理已较清楚：首先被氧化成乙醛和一元羧酸，进一步进行解聚；但其厌氧代谢作用机理沿不明确，已提出的许多机理还有待进一步研究确证．     

BANACH空间中集值测度的勒贝格分解

本文主要是在Ｂａｎａｃｈ空间中建立了集值测度的勒贝格分解定理，把文［２］在有限维向量空间中集值测度的勒贝格分解定理，推广到了无穷维空间．     

高等学校政务热线系统的研究与设计

目前许多高校师生与校领导之间在信息沟通方面存在响应速度慢、办事效率低，甚至师生对学校的许多合理化建议由于缺乏良好的沟通工具而无法及时反映给校领导，给教学管理工作带来了诸多问题，高等学校政务热线系统能有效地帮助领导制定教不管理政策。