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

基于地质灾害的唐山市土地开发利用管理信息系统

灾害的破坏程度不仅取决于地震能量（受控于现代构造应力场的特征），同时也受岩溶塌陷，采空区塌陷等其他灾害的影响，故采用人工神经网络模型评价灾害危险性。借助地理信息系统软件，计算了唐山市各居住小区的建筑密度和建筑容积率，结合灾害危险性评价结果。确定了从防灾角度考虑的土地开发强度评价指标。应用Maplnfo自带二次开发语言MapBasic及Visual Basic进行二次开发，炳述了二次开发的步骤和过程。依据系统评价结果，对唐山市的城市规划布局和土地利用方向提出了几点建议。     

网上学生思想政治工作的特点与实践

调研学生的心理状况,结合网络教育从事辅导员工作的实践,指出适应网络时代教育发展做好学生思想政治工作的根本要求.     

低热能面包的研究

本研究设计了低热能面包的综合评分法的评分标准;运用正交试验方法,优选最佳配方方案,研制出低热能面包,论述了制作工艺、流程及配方.     

马氏体相变的晶体取向关系

本文利用 Bain 应变和马氏体相变的表象理论阐明了马氏体相变的晶体取向关系。正是由于这附加的点阵不变切变和母相的形状协调,某些合金在某种条件下遵循 K—S 关系,而在另一些条件下遵循 N—关系或 G—T 关系。     

罗丹明B光纤酸度传感器的研究

本文采用静电吸附方法将罗丹明B固定在Nafion膜上,制成光纤酸度传感器,具有响应迅速,稳定性良好,干扰少的优点,可用于2～8M硫酸和盐酸的连续监测。     

物理实验计算机模拟系统初探

本文用计算机实现了一个物理实验模拟系统,并以利萨如图形为例说明了用计算机模拟物理实验的一般步骤。     

泛Loeb可测集的S-饱和性

在 K-饱和的非标准模型中,研究了泛 Loeb 可测集 m(A),pns(~*X),cpt(~*X),fin(~*X),ns(~*X)的 S-饱和性.当 A 是紧致 Hausdorff 空间 X 的子集时,得到了 st~(-1)(A)是标准集的充分条件.