嵌入式软件调试器的设计与实现

嵌入式软件调试环境为嵌入式软件的开发提供了一个友好的软件调试平台．从一种新的角度探讨了一种面向嵌入式软件的调试环境，即基于嵌入式系统目标机机内调试器的嵌入式软件调试环境．介绍了一种面向程序设计语言的符号化调试技术，并重点剖析调试环境内核的设计与实现技术．     

网络环境下图书馆的用户教育与参考咨询服务

论述了网络环境下图书馆用户教育的内涵、目标、意义及途径，并阐述了电子信息资源是现代化图书馆参考咨询服务利用的主要文献形式。     

磷渣代替熟料作晶种对熟料形成的影响

本文研究了磷渣代替熟料作晶种对生料易烧性、熟料形成过程和熟料形成动力学的影响。研究表明，磷渣配料，由于形成中间相矿物Ｃ１１Ｓ４ＣａＦ２，可极大地改善生料易烧性，降低熟料形成活化能，加速熟料矿物的形成，从而使熟料烧成温度降低１００℃左右     

管线钢X65热轧变形抗力数学模型

利用热加工模拟试验机进行高温单道次、多道次压缩试验，测定了管线钢Ｘ６５在不同条件下的变形抗力。在此基础上，建立了Ｘ６５钢的高温变形抗力模型和残余应变率模型，并对残余应变现象及其影响因素和算法进行了探讨。     

振动钻削加工过程的监控系统

讨论振动钻削监控系统的工作原理．此系统采用８０９８单片机和上位微机通讯方式，通过对振动钻削过程中动态切削力信号的采集和分析，实现对加工过程的在线监测，提出合理的报警条件．通过钻削实验，优化切削参数和振动参数，改善钻头的工作状况，得到最佳的切削效果．     

一种客观音质评价的新方法

主要讨论了一种使用语音频谱动态特性的倒谱距离测量对通信系统或通信设备进行客观音质评价方法，它是在使用ＬＰＣ倒谱距离评价普通话语音质量的基础上发展起来的，语音频谱动态特性是利用倒谱对时间的回归分析来表示的，这种度量方法中，使用倒谱系数，倒谱回归系数和能量回归系数３个参数的距离测量，在使用了谱包络信息的基础上，考虑了谱包络随时间的变化量及信号能量随时间的变化，比较了４种距离估算方法和主观音质评价（ＭＯ     

益肾除痹汤治疗坐骨神经痛56例疗效观察

目的观察自拟益肾除痹汤治疗坐骨神经痛临床疗效.方法采用自拟益肾除痹汤治疗坐骨神经痛患者56例,随证加减.结果治愈33例,好转19例,无效4例,治愈率58.9%,总有效率92.9%.结论自拟益肾除痹汤治疗坐骨神经痛疗效好,值得研究应用.     

软弱地基的石灰桩加固处理

石灰桩作为一种技术可靠、经济、快速的软弱地基加固处理方法已得到了广泛应用．介绍了河南省地质科学研究所近年来利用石灰桩处理软弱地基的成功经验．阐述了石灰桩的加固机理、使用条件和成桩应注意的问题，说明了加固后复合地基的加固效果．     

一个基于关键字有向图的BCNF分解新算法

FD集中根据左部等价形成划分，划分的各子集根据左部的依赖关系形成一个有向图，有向图中每一个节点的FD可能是一个符合BCNF的子模式的FD，其关键字就是各子集的等价左部。     

基于Petri网的分层工作流模型研究

为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体函数,消息机制,控制变量等,描述了工作流模式中的多实例,取消,高级同步等复杂模式.给出了工作流过程的描述模型DWF_net和分析模型AWF_net的形式化定义.描述模型DWF_net实现对各种复杂流程的直接描述.变迁入口函数通过对控制变量的判断,来消解DWF_net中的冲突.变迁体函数通过可扩展逻辑描述语句,来实现对控制变量的读写及收发消息等操作.AWF_net作为DWF_net的分析模型,剥离了DWF_net个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型.最后,通过一个综合实例来说明如何使用本文提出的模型来对各种复杂流程建模和分析.