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.     

商业银行内部控制存在的问题及改进措施

文章指出我国商业银行传统的内部控制模式存在着严重的问题,内部控制的思路和方式与金融风险的控制方向相背离,致使内部控制低效.笔者从我国商业银行存在的问题入手,分析其产生的原因,进而提出相应的解决措施.     

论《高等数学》中洛必达法则求极限问题的讨论

《高等数学》是大学中重要课程,笔者把洛必达法则在教学中遇到的问题给一个阐述,同时对洛必达法则重点!难点给出举例说明。     

目的论指导下的新闻英语编译

针对传统的翻译标准"忠实"、"等值"无法解释新闻翻译中必要的摘译、编译等现象,以德国功能学派翻译理论家H. J.弗米尔 (H. J. Vermeer) 提出的"目的论"为切入点,探讨了目的论在新闻翻译中的应用,目的论的提出拓宽了翻译理论研究的领域.     

核磁共振跟踪反应法研究5—O—乙酰基—2.3-双脱氧-D.L-呋喃戊糖基氯的合成

以乙酸四氢呋喃甲酯为原料,通过自由基氯化反应,合成双脱氧核苷类抗艾滋病药物的重要中间体化合物5—0—乙酰基—2.3—双脱氧—D.L—吹喃戊糖基氯.对于此种不稳定的中间体化合物,用~1HNMR跟踪监测反应物的方法,研究了改变反应时间、反应温度和反应物摩尔比对反应产物的影响,获得了最佳的反应条件,使其收率从10％提高到50％左右.     

Cu基形状记忆合金中析出相的研究

本文利用 X 射线衍射分析、透射电镜等技术,研究了几种热处理制度下 Cu—27.84 Al—3.82 Ni(at%)合金中析出相;用会聚束(CBED)技术测定了析出相与马氏体的取向关系。结果表明:分级处理试样中析出相 r_2是复杂立方结构,晶格参数 a=0.87nm;大量弥散的折出相引起共格应变场,从而使分极处理试样 X 射线衍射峰型宽化;r_2与2H 马氏体的取向关系为;[00]2H‖[001]_r_2,(10)_(2H)‖(300)_r_2。     

抗癌药物蓖麻油提取物的气相色谱分析

文[1]曾报道将蓖麻油提取物精制品制成乳剂和多相脂质体,进行动物体内外抗癌活性实验,结果表明该提取物具有较强的抗癌活性,但其抗癌活性成分的组成和含量尚不清楚.本实验就蓖麻油提取物的组成和含量进行气相色谱分析.     

山东省公路货运运力结构调整的对策

本文在调查研究的基础上,指出了山东省载货汽车运力发展中存在的问题,提出了相应的运力结构调整对策。这对省府有关部门制定交通政策具有参考价值。