试论Heaviside算子

分析并提出了微分算子方程形成的数学依据。     

土地开发程度修正及在基准地价更新中的应用--以石家庄市为例

土地开发程度修正是国土资源部《城镇土地估价规程》中规定的内容，是基准地价评估中常用的一种修正方法．提出了土地开发程度修正的主要方法——系数修正法、加减补正修正法，并对土地开发程度修正在基准地价更新中的应用进行了研究．     

帐篷映射归宿的完整性探析

应用三进制方法完整地研究了帐篷映射的动力学特性．当初值x0=0，1时，经帐篷映射迭代后的最终归宿为x∞→0；当x0 [0，1]时，x∞→-∞．当x0∈（O，1），x0为有限位小数时，x0→0或-∞；当x0为循环小数时，x∞将处在周期轨道上或趋于-∞；当x0为不循环小数时，x∞将处在混沌轨道上或趋于-∞．     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

皮尔士论术语伦理学

语言与思想休戚相关,思想的表达、交流与进步需要科学语言的同步发展。在近现代科学史上,皮尔士较为集中地关注术语的改进问题,并提出了著名的术语伦理学原则。皮尔士的相关思想对于科学共同体建设提供了有益启示,也增添了科学哲学研究的一种新主题。     

基于SNMP网络管理的MIB库访问实现

由于管理信息库（ＭＩＢ）是网络管理子系统各功能间的公共接口，故ＭＩＢ处理网络管理的核心地位，文中详细论述了ＴＣＰ／ＩＰ互连网络上基于ＳＮＭＰ网络管理的ＭＩＢ库访问实现。     

The convergence of statistically self-similar sets and the upper bound and lower bound of Hausdorff measure

We constructed a class of self-similar sets and proved the convergence in this paper. Besides these, the upper bound and lower bound of Hausdorff measures of them were given too. Supported by the National Natural Science Fundation and the Doctral Programme Fundation of China Hu Dihe: born in May 1935, Professor     

旋转双曲面成像问题再研究

利用旋转双曲面的标准方程,正确导出了近轴成像的一般公式,并对以往相关文献中的不当之处进行了纠正。     

技术制图简化表示法

介绍了新、旧国际简化画法和尺寸注法的主要差异 ,讨论了GB/T16 6 75 1～ 16 6 75 2—1996《技术制图　简化表示法》的应用条件     

基于形式规约的软件测试用例自动生成技术研究

在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展．该方法基于软件的Z语言规约;以HierOns提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如ViPi∧Qi的析取范式;然后根据析取范式将Z语言描述的操作模式划分为子操作模式;依据子操作模式的前置条件和后置条件,将子操作模式作为状态转换图的转换关系,构建了被测试软件的状态转换图;依据状态转换图,提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则．