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.     

关于C++中继承方式问题的研究

针对C＋＋语言中继承方式及访问权限的理解极易混淆的问题，详细讨论了对C＋＋语言中的继承方式及成员访问权限的教学，并给出具体的继承访问控制的例子。     

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

量子退相干解释的再思考

量子测量退相干解释,在解决量子测量难题上正在取得进展。但量子测量退相干解释的具体模型,被测系统与宏观仪器所形成的纠缠态,在退相干解释理论体系中逻辑上并不自恰,退相干解释的应用模型仍存在重新建立的必要。     

Lipschitz条件题设的完善

本文给出了函数单侧极值点的定义,并证明了连续函数的单侧极值点所成之集与实数集等势,且利用此完善了函数满足Lipschitz 条件的题设。     

超微粒MnO_2的合成

以MnCl_2和NaOH为原料,采用胶溶法,制备了超微粒MnO_2制得的MnO_2超微粒为非晶态,直径6.0～10.0 nm,呈球状,在有机溶剂中具有良好的分散性和透明性,考察了影响氧化锰溶胶调制的因素,获得了最佳制胶条件,研究了表面活性剂用量与Mn迁移率的关系;通过X-光粉末衍射、红外光谱、热重及差热分析,研究了产品的结构性能。     

彩色珠光粉的研制

本文探讨了以有机染料为着色剂合成彩色珠光粉的合成方法,并对金属氢氧化物吸附量、有机染料用量、搅拌时间及 pH 值等影响产品性能的因素进行了讨论.     

象质评价中光学孔径与波象差的最佳匹配

导出了光学孔径与波象差共同决定成象质量的一些关系式，并从理论和实践两方面找出上述两参数的最佳匹配范围。文中得出的结果与以往传统的象质评价判据有明显的区别。     

小麦群体连续选择效应的综合分析

本试验对由信谷核不育基因构成的异效群体内４个性状进行连续两轮歧化选择，并将所得数据进行群体综合分析。结果表明：整个群体的平均表现和变异程度未发明显变化；但群体分布状况有一定改变，尤其是每穗粒数的分布数化较为明显；株高和千粒重的有效因子数估计基本符合小麦遗传实际表现，每穗粒数的有效有效因子数估计略低，说明此性状遗传背景较为简单。     

关于极限的几个定理

给出了极限的几个定理及其推论，可以解决或简化某类极限问题。推论2修正了数学通报11（1963）《关于极限的一个定理》。