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.     

铝厂污水零排放研究

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

Pierre Duhem’s virtue epistemology

Duhem’s concept of ‘good sense’ is central to his philosophy of science, given that it is what allows scientists to decide between competing theories. Scientists must use good sense and have intellectual and moral virtues in order to be neutral arbiters of scientific theories, especially when choosing between empirically adequate theories. I discuss the parallels in Duhem’s views to those of virtue epistemologists, who understand justified belief as that arrived at by a cognitive agent with intellectual and moral virtues, showing how consideration of Duhem as a virtue epistemologist offers insights into his views, as well as providing possible answers to some puzzles about virtue epistemology. The extent to which Duhem holds that the intellectual and moral virtues of the scientist determine scientific knowledge has not been generally noticed.     

Polarized Emission of Molecular Film With Lanthanide (Ⅲ) Complex

1 Results In the coordination system by using complexation with organic ligand, the ff emission of lanthanide(Ⅲ) (Ln(Ⅲ)) is induced the excitation energy transfer form the organic chromophore under the light-irradiation. However, there are not so much number of reports to discuss the energy relaxation mechanism in such complexes with Ln(Ⅲ). Recently, we succeeded firstly to estimate the rate constant of the energy transfer between the ligand and Ln(Ⅲ) in Pr(Ⅲ)-phenanthroline analogs[1]. Here, we will di...     

范德华力：生物学家、化学家、工程师和物理学家手册

分子间的范德华力是十分微弱的，但可以说普遍的存在着，在很多体系中起着巨大的作用，在物理学、化学、生物学等学科中得到了广泛的研究。但怎样计算范德华力？如何考虑各种条件对范德华力的影响？     

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-Ⅱ.     

学生管理中的沟通策略——浅谈单亲家庭子女的学校教育

本文在对单亲家庭子女的性格作客观分析的基础上,探讨了学校教育管理中如何引导单亲家庭子女健康成长的问题。主要提出了学生管理中的五大沟通策略。