论文部分内容阅读
基于C．A.R．Hoare提出的Hoare逻辑，给出了[α1，α2]1-概率拟Hoare逻辑，并证明了其可靠性。
[α1，α2]1-概率拟Hoare逻辑及其可靠性证明
【摘 要】
：
基于C．A.R．Hoare提出的Hoare逻辑，给出了[α1，α2]1-概率拟Hoare逻辑，并证明了其可靠性。
【机 构】
：
上海电子信息职业技术学院计算机应用系,华东师范大学教育部软硬件协同设计技术与应用工程研究中心
【出 处】
：
计算机科学
【发表日期】
：
2015年B11期
其他文献
在四值逻辑系统L4＊中引入了对称逻辑公式.运用Matla软件研究了对称逻辑公式在L4＊逻辑度量空间中的计数问题,给出了3n元、3n＋1元、3n＋2元对称逻辑公式的个数.证明了n元对称逻辑公
论述了AG-E试验机计算机通讯系统的基本原理与系统实现,讨论了计算机GPIB接口的设计原理与C语言的实现方法.本系统对于AG-E试验机的性能开发有着重要的意义;同时对于智能设备
Ｍｉｃｒｏｓｏｆｔ公司推出的Ｖｉｓｕａｌ Ｃ＋＋，是面向对象的软件开发环境，在ＶＣ开发环境下，结合研华或研祥的工业用数据采集卡及其相关动态库，利用多线程技术，可以开发出小型、经济适用地工业监控软件。本文主要介绍
介绍了一种脉冲发电机组的计算机控制系统，介绍了该诉励磁控制系统、模式识别系统和工业控制网络，介绍了该系统的软、硬件设计以及控制系统特点。
利用计算机技术研制了一套微光照度夜间环境模拟测控系统，给出了系统的结构组成和系统测原理。通过本系统的研制，为需要在微光环境下进行的实际与科研提供了方便。
利用可组网数字温度传感器DS18B20具有单总线的特点，结合AT89C51单片机组成传感器网络，实现了多点温度检测系统的硬件设计和软件设计。该系统可应用于仓库测温、楼宇空调控制和
简要介绍了现场总线Lonworks控制网络技术,并对其构建的分散智能控制网络系统的结构特征进行了分析,着重探讨了Lonworks测控网络前端智能节点的硬件电路组成,设计开发出一个
ＰＸＩ模块仪器系统问世一年我以来受到人们极大的关注，１９９８年国已拥有了ＰＸＩ的第一批用户。本文就ＰＸＩ的产生背景、系统构成，技术特性，实际应用，主要模块等方面做一概略的介绍。
自动开关机功能是无人值守微机监控系统的一项重要内容。文章论述了在Windows操作系统环境下，以SANTA－500为后备电源的无人值守自动开关机系统的设计与实现方法，介绍了自动开关
针对四旋翼飞行器姿态控制问题,设计一种Anti-windup PID姿态控制器。结合四旋翼飞行器简化的数学模型,在飞行器在垂直速率、俯仰速率、翻滚速率、偏航速率4个独立通道上分别