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.     

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

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

铝厂污水零排放研究

本文从水质方面分析了西南某铝厂污水零排放的可行性。为了实现污水零排放,对该铝厂东片区、氧化铝厂、热电厂三大污水处理系统进行改进。从现场试验监测及统计分析结果表明,改进后的处理系统处理的水质满足再生水水质指标要求,该铝厂污水零排放的实现创造了极大的经济和社会效益。     

Effects of self evaluation on late ERP components

High-density event-related potentials (ERPs) were measured when participants were required to evaluate oneself, significant others (father and mother) and the most familiar public figures (Lei Feng and Jiang Qing) based on trait adjectives. There were three referential conditions and a non-referential control condition including self-evaluation (SE), significant other-evaluation (SOE), general other-evaluation (GOE), and semantic positivity-evaluation (SPE). The behavioral data showed that RTs to GOE condition were longer than the other three conditions. Scalp ERP analysis revealed that (1) SPE condition elicited a more negative N2 than SE condition, which was associated with inhibition of responses; (2) SE condition elicited a more positive P300 than SPE condition, which was an index of attention to self-relevant stimuli; (3) there was no difference on the amplitude and latency of P300 between SE and SOE conditions, which reflected that the concept of “self” included intimate others (e.g., father and mother) in Chinese culture.     

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

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

自动精密玻璃切割机的设计

本文重点介绍液晶产品生产线上不可缺少的基础设备———精密玻璃切割机的设计,包括切割机的工作原理、切割机部分关键部件的结构特点、切割机所能达到的精度等.     

The Difference of the Pulmonary-Artery Pressure of the Migrants from Difference Elevation at the 4636 - 4907 m Altitude

Study Objective： To compare and analyze the changes of the pulmonary-artery pressure of the migrants coming from different elevation in the hypoxic environment of 4636 - 4907 m extreme altitude. To explore the susceptibility to hypoxic pulmonary-artery hypertension （PH） in the subjects from different altitude and profession. Methods： By using Color Doppler Ultmsonography （CDU）, measuring the pulmonary-artery pressure of 207 healthy men, who had continuously being lived and worked at the extreme altitude for more than six months, and then were divided into three groups according to their profession and the altitude of original living place. Results： There was a significant difference in the outcomes of pulmonary-artery pressure from the 3 groups. Conclusions： Altitude of original living place, labor intensity are some of factors that impact the pulmonary-artery pressure of the people who exposure to a hypoxic environment. The pulmonary- artery pressure of person without strenuously physical work experience was more sensitive to hypoxic surroundings than that of labor workers. It was not always the fact at an extreme altitude that the moderate altitude mountaineers were superior to other migrants from a lower altitude or plain. The higher PH was found in the groups of the moderate altitude mountaineers and labor workers. It is unlikely certain that one with PH would surfer from HAPE.     

求解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.     

三维光盘存储系统中双光头同步控制的频域分析与辨识

详细介绍了双光头同步控制原理.对采集的伺服模块聚焦误差跟踪信号及共焦模块读写光头的聚焦线圈驱动信号进行了频域分析,并以此两路信号作为系统输入输出,分别对三种参数模型进行参数优化.根据3种模型的频率响应及阶跃响应,选择双光头同步控制过程的参数模型为[450]阶的ARX模型.实测曲线与模型仿真结果符合度(fit)为78.0259%.