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.     

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.     

硼对12Ni3CrMoV高强度钢焊接接头冷裂敏感性的影响

低碳调质高强度钢中添加硼对焊接冷裂敏感性的影响较少有人研究,并存在两种不同意见.本文对含硼量分别为0.005%,0.0014%,0.0028%,0.0035%的12Ni3CrMoV调质高强度钢焊接冷裂敏感性进行研究.试验结果表明:1.插销试验临界应力:含硼钢比无硼钢(含硼0.0005%)高;含硼钢中,临界应力按含硼量0.0014%,0.0028%,0.0035%的顺序递减.2.扫描电镜断口分析:无硼钢有沿晶断裂区、准介理断裂区和韧窝断裂区.含硼钢没有沿晶断裂区,只有准介理断裂区和韧窝断裂区.3.焊条未烘干时,无硼和含硼钢的插销临界应力都降低,无硼钢沿晶断裂区扩大,含硼钢仍无沿晶断裂区.4.硼在HAZ粗晶区中沿奥氏体晶界形成偏聚带,硼相主要沿奥氏体晶界呈不连续点状析出.含硼愈多,沿奥氏体晶界偏聚和硼相析出也愈多.5.C.D.Beachem提出的断口形貌发展过程示意图可以解释无硼钢断裂,不能完全解释含硼钢断裂过程.6.裂纹敏感性成分Pcm值表达式中,硼项系数为" 5"值得商榷.就本文钢材而言,硼项函数应为"负变数".本文对含硼钢延迟裂纹机理作了探讨.     

一种新的基于Kohonen网络的图像矢量量化

矢量量化是一种重要的数据压缩方法.本文利用Kohonen自组织映射神经网络进行矢量量化,首次较为详细地讨论了具体实现的步骤与细节,并在此基础上为改善边缘质量,提出一种基于Laplas算子检测边缘弓引导神经网络训练的方法,并通过实验证明其效果是明显的.     

复合氧化物晶体晶格能的近似计算

本文以 Born-Harb 循环为依据,推导了复合晶体晶格能和与其相应的各二元化合物晶体晶格能之间的关系,并由此给出了复合氧化物晶体晶格能近似计算的新公式。对20种复合氧化物晶体晶格能计算结果的分析表明:用本文所给公式对复合氧化物晶体晶格能进行近似计算是可行的。     

奇异积分算子对p幂可积函数的逼近常数的上界估计

本文探讨由正偶核确定的奇异积分算子对连续函数的逼近常数与对p幂可积函数的逼近常数之间的关系,并由此得到Fejér算子、Jackson算子和Vallee-Poussin算子对p幂可积函数逼近常数的上界。