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.     

保障公民劳动就业权的里程碑

就业促进法这部法律属于经济法中的宏观经济调控法，把它放到宏观经济调控法的结构中看，仍有一些问题值得探讨和研究。     

山西省代县碾子沟金红石矿的成因分析

金红石在基性岩中是由于自变质作用和后期热液作用的结果,使矿体中金红石加富,该区矿床属岩浆矿床。介绍了代县碾子沟矿区金红石矿产的地质特征,就代县碾子沟矿区金红石矿的成矿原因进行了分析。     

漳州某基坑抽水引起地面沉降的初探

由于基坑快速抽水导致基坑周边地面沉降。通过对场地因抽水引起地面沉降的计算和试抽水等方面的前期工作,分析了因基坑降水对地面沉降的影响,并据此来调整完善基坑降水方案,取得了明显的社会和经济效益。     

电脑刺绣机针杆及挑线机构设计

以电脑刺绣机原始针杆机构和挑线机构为研究对象,在保持原有针杆运动规律和挑线杆运动规律的前提下,运用机构创新设计理论,分析电脑刺绣机针杆机构和挑线机构的可能选型.为研制新型电脑刺绣机针杆机构和挑线机构奠定了理论基础.     

求解Po-函数非线性互补问题的一个下降牛顿算法

构建了一个新的光滑价值函数来求解Po-函数非线性互补问题.区别于以往所构建的价值函数,构建的新的光滑价值函数不含任何光滑参数.对于Po-函数,可以得到,此价值函数的任一稳定点都是非线性互补问题的解.基于这个简单的光滑价值函数,提出了求解Po-函数非线性互补问题的一个下降牛顿算法.在适当的条件下,该算法的全局收敛性及局部超线性(二次收敛性)也得到了证明.     

Finding finer functions for partially characterized proteins by protein-protein interaction networks

Based on high-throughput data, numerous algorithms have been designed to find functions of novel proteins. However, the effectiveness of such algorithms is currently limited by some fundamental factors, including (1) the low a-priori probability of novel proteins participating in a detailed function; (2) the huge false data present in high-throughput datasets; (3) the incomplete data coverage of functional classes; (4) the abundant but heterogeneous negative samples for training the algorithms; and (5) the lack of detailed functional knowledge for training algorithms. Here, for partially characterized proteins, we suggest an approach to finding their finer functions based on protein interaction sub-networks or gene expression patterns, defined in function-specific subspaces. The proposed approach can lessen the above-mentioned problems by properly defining the prediction range and functionally filtering the noisy data, and thus can efficiently find proteins’ novel functions. For thousands of yeast and human proteins partially characterized, it is able to reliably find their finer functions (e.g., the translational functions) with more than 90% precision. The predicted finer functions are highly valuable both for guiding the follow-up wet-lab validation and for providing the necessary data for training algorithms to learn other proteins.     

弧焊机器人控制系统

本文介绍一种二级计算机控制的弧焊机器人控制系统。在考虑相邻关节影响的条件下，对弧焊机器人控制系统的硬件电路和控制方法进行了分析和设计．     

中药材中孳生粉螨的初步调查

本文采用清水漂浮法和塔氏电热集螨器分离法,共分离中药材样本124种,1240份,从中分离出粉螨45种,隶属7科23属.得出结论:中药材粉螨的污染严重,应加强对中药螨类的防治,以保护中药材及预防人体螨病.     

软件补偿方法在测温智能仪表中的应用

软件补偿方法具有效果好、精确度高、成本低的优点。介绍了在研制多点巡回检测仪中采用的几种软件补偿方法：前向通道特性补偿使放大器等元件不因外界条件的变化而受到任何影响；引线电阻的补偿可实现引线电阻对系统无任何影响；热电阻、热电偶的非线性度补偿效果明显，节省开销。