2. 您的位置
3. 首页
4. 期刊论文
5. 参数Kleene系统的可靠性定理

参数Kleene系统的可靠性定理

来源 :科学技术与工程 | 被引量 : 0次 | 上传用户：czq8068

【摘 要】

：

介绍了参数Kleene系统及其三-I算法,并讨论了它们随参数值的变化。把参数Kleene系统广义三-I算法归入到逻辑演算意义下,讨论了参数Kleene系统的可靠性。

【作 者】

：

赵正波 

【机 构】

：

渭南师范学院数学与信息科学学院

【出 处】

：

科学技术与工程

【发表日期】

：

2012年11期

【关键词】

：

参数Kleene系统 广义重言式 三-I算法 可靠性 parameter Kleene system generalized tautology triple 

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

介绍了参数Kleene系统及其三-I算法,并讨论了它们随参数值的变化。把参数Kleene系统广义三-I算法归入到逻辑演算意义下,讨论了参数Kleene系统的可靠性。

其他文献

星载SAR天线转动控制的软件模拟实现

利用串口通信技术,模拟了对星载合成孔径雷达（SAR）天线转动控制的监视与通信。本设计仅利用软件,通过笔记本计算机串口,模拟和替代星上通信上位机对RS485总线的调度功能。严格

期刊

星载合成孔径雷达天线总线通信协议调度监视space-borne SAR antenna bus communication protocol dispa

基于变量化设计技术的整体式固冲发动机一体化设计系统

将变量化设计技术应用到整体式固体火箭冲压发动机一体化方案设计中。利用变量化约束将设计过程与几何造型过程进行有机结合,在VC.NET 2003平台下自主研发了一套固体火箭冲压

期刊

整体式固体火箭冲压发动机计算机辅助设计变量化设计integral ramjet rocket motor computer aided design va