动态逻辑相关论文
实时系统、嵌入式系统等反应式系统(Reactive Systems)往往具有“同步”特性,即模块间通信时间可忽略不计,同一时刻多个信号可同时发......
“动态逻辑(dynamic logic,简称DL),又称关于程序的模态逻辑(modal logic of programs),是进行程序逻辑性质研究、程序正确性证明研究的有......
本文把逻辑表述为关于信息流动的一般理论,它涉及推理、观察和社会交往等人类能力。由此导致的多主体动力学可以用关于信息更新的动......
IBM虚拟化技术主要优势在于它是硬件层面上虚拟化技术.它允许POWER服务器运行不同的操作系统,几乎根本无需更改配置,它将硬件分成多......
在基于UML的软件开发过程中,各种UML图形从不同侧面描绘着所开发的软件系统,这些图形之间存在着信息的重叠,从而导致UML模型的一致性......
随着Web服务技术的迅速发展,越来越多的Web服务运行在Internet上,但单个Web服务功能有限,难以满足日益增长和不断变化的用户需求。因......
本文重点研究一阶逻辑与模态逻辑之间的历史关系以及模态逻辑的产生发展。文章首先回顾了《概念文字》出现的历史背景和理论背景,......
到目前为止,对于逻辑的动态性并没有一个确定的标准,本文首先介绍了动态逻辑的内容,然后从逻辑语法、推理、语义的角度对动态性的......
许多关于规划的研究近几年来集中于所谓的反应规划系统。本文对面向反应式规划系统的动态逻辑进行了研究。文章围绕扩展情景演算、......
ScienceWord是我国具有完全自主知识产权的科技文档处理软件,其独特的“非线性和动态逻辑”功能把传统的理科教学带入了一个崭新的......
本文以相关选择理论和认知语境主义为背景,以动态认知逻辑、证据逻辑和证成逻辑等为工具,从动态逻辑的角度研究知识如何受证据和相......
该文主要探讨了在企业业务流程重组(企业再造)过程中存在的问题及其解决途径.对于流程分析,作者首次提出了动态逻辑分析法.在具体......
价值观对于世界观和方法论来说具有链接功能。价值观与世界观、方法论比较,其理论内容、逻辑指向、社会功能均具有相对独立性;价值......
当今,命题模态逻辑作为一种标准的形式工具,已被广泛应用于计算机科学和人工智能的各个领域.然而,与命题模态逻辑不同,通常的一阶......
该文提出一种论证安全协议之安全性质的非单调动态逻辑.针对信息安全的特定需要,给出了一组与加密、解密、签名、认证和密钥分配等......
在某种程度上说,认知逻辑似乎有些脱离一般的认识论研究。本文旨在说明介于这两个领域之间的“桥梁”依然存在。而且,事实上它们之......
针对高性能浮点乘加部件中的应用需求,全定制设计了高性能52位或门和108位与门。设计中使用HSPICE工具进行电路模拟,模拟时使用CSM0.1......
动态逻辑的证明系统揭示了典范模型的一些比较特殊的特征,即程序的不协调性。在标准的模态逻辑证明系统中,真值引理指在典范模型的世......
本文提出了一种新的逻辑方法分析安全协议的安全性.该方法给出了一种安全协议的动态分析模型,从而克服了类BAN逻辑“理想化协议”......
内置SRAM是单片集成TFT-LCD驱动控制芯片中的图像数据存储模块.针对内置SRAM的低功耗设计要求,采用HWD结构和动态逻辑的字线译码电路......
刘奋荣的《动态偏好逻辑》虽然也以冯·莱特的《偏好逻辑》为逻辑起点,然而却表现出了自己的独特优势:在方法论上采用了最新的动......
文章通过把无穷值的卢卡斯维茨逻辑的真值取值范围从[0,1]扩展到[-1,1],提出了基于卢卡斯维茨逻辑和命题动态逻辑的keg—BDI逻辑(即:知......
本文提出若干应用横向决策过程的动态规划及序贯模式识别的新方法,充分利用帧间心脏轮廓的动态信息,从超声图象中自动检测、分离心脏......
n个输入变量的逻辑函数有3n种不同的MPRM(Mixed-Polarity Reed-Muller)表达式,其对应电路的功耗和面积不尽相同。本文通过对CMOS电路......
常言道,三十年河东,三十年河西,世事万物的兴替演义是一个永恒的“变”论,同时也是一个唯物主义论点下的辩证关系,而物业管理行业在内地......
唐稚松院士及其团队开发的大型软件工具系统XYZ是我国软件工程领域发展的一个里程碑,其核心部分XYZ/E是基于时序逻辑的程序语言。......
关于发展的运行态势的判断,通常有两种:一是认为发展是必然的,二是认为发展是实然的。然而,人们很少谈及发展的应然问题。实际上,发展自......
现代逻辑正在经历着一个认知的转向,避开了弗雷格的"反心理主义"。逻辑学家与更多以经验观察为根据的研究领域的同事们之间的合作正......
研究主体思维状态逻辑框架KARO中的多动作承诺机制,并对其进行语义解释。通过引入动态逻辑中模型状态迁移概念以及相关谓词来描述多......
本文讨论适于研究并发控制问题的逻辑。由于现有某些逻辑(如动态逻辑、时态逻辑)的缺陷,因此我们提出了程序逻辑 TDL,它是时态逻辑......
实现快速、低功耗以及节省面积的乘法器对高性能微处理器(例如DSP和RISC)而言是至关重要的.文中详尽论述了新型的增强型多输出多米......
本文通过构建业务流程的动态逻辑关系,提出了重组业务流程的一种新方法。...
软件工程工具系统XYZ是将时序逻辑和软件工程有机结合而成的整体,XYZ/E是建立在时序逻辑基础上的程序语言,它是XYZ系统的核心。虽......
对动态系统的描述是智能领域的一个重要问题,但目前已有的动态描述逻辑语言,用不可再分的符号表示原子动作,不能区分动作类和动作实例......
命题动态逻辑是一种应用模态逻辑,用于程序行为的推理。Iteration—free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。PDL不......
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清......
本文主要从人工智能视角研究动态的自然语言逻辑,探讨真值条件语义,动态修正和更新等动态系统以及可用来处理单主体和多主体之间的......
基于扩展的真单相时钟(E-TSPC)技术,设计了一款用于10 GHz扩频时钟发生器(SSCG)的分频比范围为32~63的多模分频器(MMD)。在设计中,......
<正>随着世界新军事变革的不断深化和信息技术的飞速发展,军事领域业已发生深刻裂变,军事教育系统转型刻不容缓。如何尽快顺应和主......
上世纪中后期,芬兰哲学家、逻辑学家辛提卡在《知识与信念》一书中,在分析认知概念的基础上,建立了第一个认知逻辑形式系统。此后,......
信念修正是当前研究的一个热点问题,如何构建信念修正系统形式化描述主体信念的动态变化以及利用更好的技术处理信念修正问题,具有......