能行禁集与程序指标集——递归式定理的一个推广及应用

众所周知,Smullyan引进了能行单纯集,杨东屏引进了原始递归单纯集,Blum引进了程序极小指标集。在本文中我们要引进能行禁集与程序指标集并讨论它们的一些性质;我们获得了关于违归式定理的一个推广结果,利用这个推广的递归式定理,本文推广了Blum关于程序极小指标集的有关结果。     

基于SMIL的网络流媒体课件方案构建与技术实现探讨

流媒体技术的出现为Internet带来了新的生机,它弥补了计算机网络的视频、音频方面的不足,并且流媒体同步技术的解决了视频/音频与电子讲稿的同步问题,为网络多媒体教学提供了又一种全新的模式。本文结合流媒体课件《数据结构与算法》具体开发实践,就基于SMIL的网络流媒体课件方案构建模式及技术实现方法与流程进行探讨,以期对此类课件开发提供一些启示。     

从Unicode到GBK的内码转换

讨论了GB，GBK，Big5。Unicode编码以及内码转换原理和方法，介绍了在手机的TTS系统下把Unicode码转换成GBK码的方法，并使用代码页CP936中Unicode码和GBK码的对应关系实现了从Unicode码到GBK码的内码转换。     

含氮气三相泡沫的固氮及惰化特性

通过实验，研究了不同浆液体积分数的三相泡沫中氮气的释放速率；以此为基础分析了含氮气三相泡沫对封闭火区气体的惰化特性；应用三相泡沫固氮及惰化特性对宁夏煤业集团白芨沟矿的火区进行了成功惰化；防止了瓦斯爆炸的发生，保证了矿山救护队员施工的安全．实验及现场应用结果表明：三相泡沫能有效地将氮气封存于浆液之中，增强火区惰化的持久性，且适于惰化具有漏风源的封闭火区．     

相关MIMO信道下一种特征波束成型方案的性能研究

提出了相关多输入多输出信道下的一种空时分组码、空分复用与波束成型相结合的新方案．该方案利用了发射分集和空分复用所带来的分集和复用增益，并基于接收机反馈的信道相关矩阵设计了一种波束成型器．仿真结果表明，这种方案的性能较传统的方案在高信噪比时能获得较大的改善．     

一个新的公平非否认协议

在安全数据传输协议中，发送方和接收方的非否认性及公平性非常重要。通常可以通过采用数据传输中的双方非否认协议来达到这个目的。在克服CMPI协议缺陷的基础上，提出了一种新的公平非否认电子邮件协议。经过使用改进的Kailor逻辑分析验证，新的协议满足非否认性和公平性原则，可广泛应用于电子邮件、电子合同等电子商务应用中。     

一种新的密码协议分析方法及其应用

针对传统时序逻辑把协议看成封闭系统进行分析的缺点， 提出一种新的基于策略的ATL逻辑方法分析密码协议。最后用新方法对Needham-Schroeder协议进行了严格的形式化分析，结果验证了该协议存在重放攻击。工作表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析密码协议。     

线形结构的ZnO生长与光致发光特性研究

采用模板生长法在Si衬底上制备了具有线形结构的ZnO。样品的晶体结构、形貌及光致发光性使用XRD、AFM、SEM及PL谱进行表征。结果表明所制备的线形ZnO为六方纤锌矿型晶体结构，线宽度大约为1μm，长度约10-30μm，具有良好的发光特性。我们对这种线形结构的形成作了推测。     

数控系统轨迹的连续运动处理方法

介绍一种数控系统连续轨迹的实现方法.设计思想是:在上位机(PC)上进行预处理,计算出数控机床沿轨迹各点的速度,判断轨迹的连续性,并找出轨迹中的"拐点"和减速点,然后将这些数据传给下位机(DSP)对机床进行运动控制.这样机床就能在给定速度的情况下沿轨迹进行不断的加减速运动,从而提高机床的加工效率.     

MDA中的图重写和转换方法研究

模型转换是MDA的核心思想,包括模型到代码的转换和模型到模型的转换。本文对一种功能强大模型转换的方法--图重写和转换方法进行了深入研究,并针对其不足,提出了规则库与模型库的分离的思想。该方法可以对转换规则进行精确的描述,使转换具有明确的语义,更便于工具实现。