动态逻辑相关论文
实时系统、嵌入式系统等反应式系统（Reactive Systems）往往具有“同步”特性,即模块间通信时间可忽略不计,同一时刻多个信号可同时发......
在基于UML的软件开发过程中，各种UML图形从不同侧面描绘着所开发的软件系统，这些图形之间存在着信息的重叠，从而导致UML模型的一致性......
随着Web服务技术的迅速发展，越来越多的Web服务运行在Internet上，但单个Web服务功能有限，难以满足日益增长和不断变化的用户需求。因......
该文主要探讨了在企业业务流程重组(企业再造)过程中存在的问题及其解决途径.对于流程分析,作者首次提出了动态逻辑分析法.在具体......
价值观对于世界观和方法论来说具有链接功能。价值观与世界观、方法论比较,其理论内容、逻辑指向、社会功能均具有相对独立性;价值......
随着计算机网络以及基于网络的分布式计算的发展，对于Agent系统的研究，已成为 人工智能领域中一个新的研究热点，也成为分布式......
当今,命题模态逻辑作为一种标准的形式工具,已被广泛应用于计算机科学和人工智能的各个领域.然而,与命题模态逻辑不同,通常的一阶......
该文提出一种论证安全协议之安全性质的非单调动态逻辑.针对信息安全的特定需要,给出了一组与加密、解密、签名、认证和密钥分配等......
在某种程度上说,认知逻辑似乎有些脱离一般的认识论研究。本文旨在说明介于这两个领域之间的“桥梁”依然存在。而且,事实上它们之......
针对高性能浮点乘加部件中的应用需求，全定制设计了高性能52位或门和108位与门。设计中使用HSPICE工具进行电路模拟，模拟时使用CSM0．1......
动态逻辑的证明系统揭示了典范模型的一些比较特殊的特征，即程序的不协调性。在标准的模态逻辑证明系统中，真值引理指在典范模型的世......
本文提出了一种新的逻辑方法分析安全协议的安全性.该方法给出了一种安全协议的动态分析模型,从而克服了类BAN逻辑“理想化协议”......
内置SRAM是单片集成TFT-LCD驱动控制芯片中的图像数据存储模块．针对内置SRAM的低功耗设计要求，采用HWD结构和动态逻辑的字线译码电路......
n个输入变量的逻辑函数有3n种不同的MPRM（Mixed-Polarity Reed-Muller）表达式，其对应电路的功耗和面积不尽相同。本文通过对CMOS电路......
唐稚松院士及其团队开发的大型软件工具系统XYZ是我国软件工程领域发展的一个里程碑,其核心部分XYZ/E是基于时序逻辑的程序语言。......
关于发展的运行态势的判断，通常有两种：一是认为发展是必然的，二是认为发展是实然的。然而，人们很少谈及发展的应然问题。实际上，发展自......
研究主体思维状态逻辑框架KARO中的多动作承诺机制，并对其进行语义解释。通过引入动态逻辑中模型状态迁移概念以及相关谓词来描述多......
实现快速、低功耗以及节省面积的乘法器对高性能微处理器(例如DSP和RISC)而言是至关重要的.文中详尽论述了新型的增强型多输出多米......
软件工程工具系统XYZ是将时序逻辑和软件工程有机结合而成的整体,XYZ/E是建立在时序逻辑基础上的程序语言,它是XYZ系统的核心。虽......
AUL(Arrow Update Logic)是一个刻画多主体的信念变化的动态逻辑。AUL通过更新模型中的可及关系来刻画行为对主体信念造成的影响。......
对动态系统的描述是智能领域的一个重要问题，但目前已有的动态描述逻辑语言，用不可再分的符号表示原子动作，不能区分动作类和动作实例......
命题动态逻辑是一种应用模态逻辑，用于程序行为的推理。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)。在设计中,......
<正>随着世界新军事变革的不断深化和信息技术的飞速发展,军事领域业已发生深刻裂变,军事教育系统转型刻不容缓。如何尽快顺应和主......
上世纪中后期,芬兰哲学家、逻辑学家辛提卡在《知识与信念》一书中,在分析认知概念的基础上,建立了第一个认知逻辑形式系统。此后,......
在高速电路设计中,动态逻辑电路应用十分广泛。但由于缺乏内在的上拉恢复路径,动态逻辑电路对单粒子效应极其敏感。因此,相比静态......
新文化运动至今历经百年有余,今朝回溯之际,我们发现常常会陷入一种极其尴尬的两难悖谬之中:一方面,“五四”新文化运动与文学革命......
自20世纪50年代中期以来,逻辑经验主义的目标和纲领受到哲学界的广泛评论,历史主义学派的库恩提出科学革命的范式理论和非累积的科......
本文对中医阴阳学说与五行学说建立数学模型,提出采用动态二值逻辑的方法进行描述.对中医五行学说,利用二元关系进行刻画.其中生克......
戏曲的“继承与创新”长期、持续地聚讼不断,以致“如何继承与创新”反而陷入尴尬的构建缺失之中。很大程度上,这与戏曲缺乏系统化......
尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公......
期刊
刘奋荣的《动态偏好逻辑》虽然也以冯·莱特的《偏好逻辑》为逻辑起点,然而却表现出了自己的独特优势:在方法论上采用了最新的动态......
针对双重化智能站域保护在检修、故障退出、灾变恢复等多种场景下可靠性不充分的问题,提出远程备用智能保护一体化中心(Remote Dup......
