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.     

铝厂污水零排放研究

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

基于计算机和课堂的英语教学模式的教师角色研究

本文按照《大学英语课程教学要求》，简要分析了基于计算机和课堂的英语教学模式，提出了在这种模式下大学英语教师的角色定位，以更好的发挥学生的主体作用和教师的主导作用。     

Homology Priority Task Scheduling in μC/OS-Ⅱ Real-Time Kernel

μC/OS-Ⅱ is an open source real-time kernel adopting priority preemptive schedule strategy. Aiming at the problem of μC/OS-Ⅱ failing to support homology priority tasks scheduling, an approach for solution is proposed. The basic idea is adding round-robin scheduling strategy in its original scheduler in order to schedule homology priority tasks through time slice roundrobin. Implementation approach is given in detail. Firstly, the Task Control Block （TCB） is extended. And then, a new priority index table is created, in which each index pointer points to a set of homology priority tasks. Eventually, on the basis of reconstructing μC/OS-Ⅱ real-time kernel, task scheduling module is rewritten. Otherwise, schedulability of homology task supported by modified kernel had been analyzed, and deadline formula of created homology tasks is given. By theoretical analysis and experiment verification, the modified kernel can support homology priority tasks scheduling, meanwhile, it also remains preemptive property of original μC/OS-Ⅱ.     

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.     

改善20CrMnTiH淬透性的研究

莱钢特钢厂20CrMnTiH钢材成分波动较大,淬透性带HRC8～10,范围较大,制约了齿轮钢质量的进一步提高.通过研究,发现铸坯中心偏析尤其是碳偏析为主要问题.通过工艺优化采取各项措施,尤其增加电磁搅拌后,中心碳偏析得到明显改善;C控制在0.19%～0.20%的炉次达到了95.6%;淬透性带控制在HRC6内的达到了92.1%;在HRC4内的达到了86.2%;提高了产品质量,满足了用户需求.     

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.     

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.     

《古宅传奇》中的梦幻探寻

作者选择了一个新的视角(即作品中的梦幻感)来研究霍桑的《古宅传奇》,指出了这部作品的梦幻的特点是其魅力所在,揭示了其中的各项梦幻特征以及形成的原因,从而探讨了霍桑的写作风格和艺术手法。     

合金铸铁激光处理的探讨——Ⅱ.激光辐照工艺参数的控制

用热传导方程控制激光辐照温度,建立了一种新回归方程以控制激光辐照硬化深度,选用卡尔丹公式列热传导方程及同归方程联立求解,可得到同时满足一定的硬化深度及表面最高温度双重要求的工艺参数,此种方法可作为激光硬化处理工艺参数的控制或预报,对本合金铸铁的激光硬化处理,其表面温度的下限应大于其熔点温度,即以表面产生微熔的快速冷凝处理为宜,并以选取低功率慢扫描为最佳。