R-演算:一个修正程序规约的演算系统

在一个软件规约(program specification)的形成过程中, 规约总是不断被修改, 要么增加新的功能, 要么由于出现事实反驳, 而改正规约中的错误. 规约的新功能是与其逻辑无关的新规则, 而它的事实反驳则是其反例. 新规则和事实反驳都是由研究者或用户提出来的. 极大缩减是在规约出现事实反驳的情况下, 对规约的理想修正. 这里在一阶逻辑的框架下给出规约的新规则、事实反驳和极大缩减的模型论定义. 构建了R-演算. 该演算由一组变换规则组成, 用以删除规约中与事实反驳矛盾的规则, 并最终得到规约的极大缩减. 同时证明了R-演算的可达性和完全性.     

超新星背后的秘密

在宇宙的某个地方每一秒钟都会发生超新星爆发。即使它们的距离极为遥远,这一恒星灾变现象仍能为我们提供有关恒星形成的重要信息——其抛射出几个太阳质量的恒星碎片丰富了星际空间重元素和放射性元素的含量。 尽管超新星非常的明亮,但是超新星爆发的能量     

试论标点符号的表意性

本文以大量的语言事实和现象论述了标点符号的意义和作用 ,并从信息论和语用学的角度进行论证 ,认为标点符号在书面语言表情传意的过程中不仅可以使其信息得到增值 ,而且在特定的语境中 ,还可以独立地负载特定的语言信息 ,从而相对独立地完成一定的语言交际任务。提出仅从修辞的角度上对标点符号的作用进行研究是不够的 ,不能从理论上对标点符号的作用作出令人信服的合理解释。文章最后通过语言事实和现象的对比分析 ,阐述了对标点符号的表意性展开研究的必要性     

基于MATLAB的无速度传感器直接转矩控制策略比较

介绍了采用MATLAB5.3/SIMULINK建立的无速度传感器直接转矩控制（DTC）的仿真模型，同时分析并建立了三种转速观测方案的数学模型，对于三种观测方案都作了仿真研究，仿真结果表明，交互式模型参与自适应观测（MRAS）方法具有相对较好的跟踪性能。     

林盛煤矿岩移参数研究

通过对沈阳矿务局沈南矿区林盛煤矿、红菱煤矿岩移观测资料的分析，对林盛、红菱煤矿提出新的建（构）筑物煤柱留设参数和岩层移动能数，这样可缩小建（构）筑物永久煤柱，获得良好的经济效益。     

林盛煤矿岩移参数研究

通过对沈阳矿务局沈南矿区林盛煤矿、红菱煤矿岩移观测资料的分析 ,对林盛、红菱煤矿提出新的建 (构 )筑物煤柱留设参数和岩层移动参数 ,这样可缩小建 (构 )筑物永久煤柱 ,获得良好的经济效益。     

建筑物地表观测网的布设及观测系统可靠性分析

观测站的布设与观测精度是正确反映地面建筑物受地下开采影响的前提.本文以梅河矿服务公司办公楼的地表观测站布设为例,探讨建筑物地表观测站的合理布设,分析观测的精度和观测系统的可靠性,以便正确指导建筑物的保护.     

直射线CT技术的局限性

分析了利用弯曲路径旅行时进行直射线反演的若干结果,对直射线CT技术的局限性进行了讨论.研究认为,对所讨论的区域而言,若介质速率的相对变化较大时,运用反演的结果不能很好地确定区域的内部结构;而当介质速率的相对变化较小时,对5m左右的薄层,它亦只能确定速度异常区的存在,而不能很好地确定其速度异常的数值.     

宇宙学方法论初探

本文简单评述了宇宙学研究对象、研究方法的基本属性和宇宙学基本问题,着重探讨了宇宙学研究方法的特点:1.哲学观念的支配作用;2.宇宙学观测方法的特点;3.宇宙学理论推演的特点;4.模型方法.并从方法论和认识论角度对宇宙学中的一些尖锐问题作了讨论.     

行政赔偿责任的构成要件

行政赔偿责任，是指国家行政主体及其工作人员在行使行政职权的过程中，违法造成公民、法人或其他组织的损害，而出国家承担赔偿责任的情况。对其构成要讲的确切理解，可以准确地把握行政赔偿责任的内涵，更好地区分行政赔偿责任与其他赔偿责任，有利于遏制行政违法行为的发生，更好地保护行政相对人的合法权益。分析行政赔偿责任的构成要件时；很基本、很重要的一点就是要严格依据有关法律条文的规定，把握行政赔偿责任的自身特点，虽借鉴其他赔偿责任之构成要件的研究成果，但又不陷于框框，失之空泛，流于形式．L的勉强统一。当前一些研…