真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

带延迟约束单机排序的改进算法

给出了带延迟排序的一个改进启发式算法,从而解决了Wikum等提出的一个问题。并且此算法可以最优求解单位加工时间的问题,进一步对另一个问题,此算法亦被证明好于Wikum等原来的算法。     

一种基于数字水印的错误检测和定位技术

为了增强视频通信系统在有误码信道的适应能力 ,提出了一种基于数字水印技术的错误检测方法 ,使得解码器可以对误码块进行有效的补偿。其原理为编码器在量化后离散余弦变换 (DCT)系数中嵌入易碎的数字水印 ,解码器可以通过提取水印从而确认错误以及错误发生的首宏块位置。仿真结果证明 :在信道误码率为 5× 10 - 4时 ,与常用的基于语法的方法相比 ,本方法的错误检测率是其的 1.32～ 1.82倍 ,错误正确定位率是其的 2 .95～ 5 .32倍 ,而且 PSNR只有微弱降低 ,同时算法复杂度很低     

冲击压实机在商开高速公路中的试验及应用

结合商丘至开封高速公路介绍了冲击压实机的试验工艺、结果及应用.     

磁畴形成的原理探索

本文运用量子力学和固体物理学分析铁磁物质及其磁畴形成的原理     

论刑事附带民事赔偿的实现

刑事犯罪引起的附带民事赔偿就其性质而言，与一般的民事侵权导致的民事赔偿之间并没有本质的区别。但因前者是附带于刑事案件而启动的一种民事诉讼，导致其与一般的民事诉讼在起诉、受理、审判、执行等 多方面存在很大的区别，而且这种区别在很大程度上阻碍了刑事附带民事赔偿的最终实现，侵害了刑事案件被害人（包括国家）的合法权益，损害了刑事司法的公正性和严肃性。又因目前我国法律法规对刑事附带民事赔偿问题的规定尚存在许多不完善之处，司法实践中对此类问题的处理缺乏统一的标准，致使赔偿的实现进程步骤维艰，故对附带民事赔偿问题的深入研究具有重要的理论价值和巨大的实践意义。文章仅就赔偿的性质、范围、程序以及司法实践中存在的误区及解决方法作初步探讨。     

Mbius群的离散性(英文)

利用一个固定的抛物型M bius变换作为检验性元素来检验扩充复平面上的非初等M bius群的离散性 ,文中给出的结果改进了由Jrgensen所建立的判别准则     

从东西方文化看以德治国和依法治国

关于法治和德治的争论在东方和西方产生了相似的激烈争论。这种争论已经持续了约 30 0 0年并将继续。法律是最低的道德 ,道德是法治的环境。对于当代中国来说 ,法治和德治都不可或缺 ,不可丢弃。要建设一个文明、民主和强大的中国 ,依法治国具有特别的意义。     

对厦门市教育布局调整工作的几点建议

教育经费投入不足与教育资源浪费并存 ,是制约教育发展的主要因素之一。如何做好教育布局调整工作 ,进一步促进教育资源优化配置 ,已成为摆在我们面前的一个大课题。本文通过分析厦门市教育布局调整工作的现状 ,提出做好厦门市教育布局调整工作的几点建议。     

高校图书馆为东北老工业基地振兴服务的有效途径

论述了高等学校图书馆在振兴东北等老工业基地的背景下，可以利用自身的优势，通过为大型企业、中小型企业、各级领导、教师和大学生等提供知识服务，履行自己的社会职责。