线性逻辑相关论文
话剧《哥本哈根》将众说纷纭的“哥本哈根会见”用平行的“罗生门”式的叙述手法,将原本的事件解构、重组成为四段独立的回忆,其非......
提升网络涉军舆论引导力,应改变固有的“传者一受众”的二元对立和线性逻辑思维,将舆论引导主体从传者回归到受者。基于接受分析的......
“反对者总要拿那些不是常识的常识来给人扣帽子。按照固有的理论延伸出来，一党就没有竞争，没有竞争就没有民主的选举，没有民主的选举......
摘要：在歌剧《大秦灵渠》的和声创作手法上，曲作者以多声部思维为出发点，将作品主要的动机、主题材料中所包含的音程、音列等诸多因素......
以跨学科、跨文化的方法,从语言文字角度,提纲挈领地研究了“隐喻”、“比”、“兴”的异同,得出以下结论:这三个概念虽共有类比性......
一文概述了由Girard分别于1986和2001所创建的线性逻辑和态极逻辑.线性逻辑和态极逻辑汲取于计算机科学并反之应用于其中,从根本上......
针对传统分析方法的不足 ,提出了时间 Petri网的线性逻辑表示和时间推理方法 .基于线性逻辑 ,定义了时间 Petri网中变迁之间的各种......
介绍一种自动服务组合模型服务消息语义化匹配验证的方法。该方法先从服务描述中提取服务消息模型和服务行为模型,后将服务行为模......
很多流行音乐创作人最终都会走上电子音乐的道路。这似乎是某种不成文的规定。原因很简单：敢于涉足电子音乐的胆量和能力。证实了作......
从经典命题逻辑到原始兰贝克演算,基于规则的存废形成了演算的"结构层级".对于自然语言的计算处理来说,各层级系统各有优劣.虽然原......
英语篇章写作是英语学习过程中的的重要技能，并受到学习者的关注。通过对汉英语篇逻辑模式的对比分析，可以发现汉语和英语语篇在不同......
摘 要：针对当前缺乏面向航班延误波及分析的精确航班运行模型、以及延误波及分析算法复杂度过高的不足，提出一种航班运行时间Petri网......
<线性逻辑和态极逻辑引论>一文概述了由Girard分别于1986和2001所创建的线性逻辑和态极逻辑.线性逻辑和态极逻辑汲取于计算机科学......
针对常规导弹旅作战指挥决策过程中伴随大量随机、并发情况的特点，提出利用线性逻辑给出的模糊时间Petri网来描述作战指挥决策融合......
在应试教育大行其道的当下，语文是一门很尴尬的课，因为它不容易挣来分数。教师和学生即使下很大的功夫，实际收获也不一定突出。可学校......
介绍一种服务组合模型中服务消息语义化匹配验证的方法。该方法先介绍基于服务行为模型的服务组合,并将其转换为形式化的有限状态......
在Quantale中引入模糊滤子的概念，研究了它的一系列性质，得到了若干等价刻画，讨论了Quantale中滤子和模糊滤子之间的相互确定关系，证明......
针对传统分析方法的不足,提出用线性逻辑给出模糊时间Petri网描述和时间推理的方法.该方法能清楚地分析模糊时间Petri网的运行行为......
为了实现对不确定时间工作流Petri网的成本控制，在原型Petri网的基础之上，基于模糊理论，通过建立模糊时间Petri网，实现对不确定性时间......
纵观人类的音乐史册,在音高——和声技法上的"革命",可谓音乐史上最为激烈、最为漫长的"革命"之一了。通过线性逻辑和组合逻辑这两......
教师采用线性逻辑组织和开展的课堂教学活动,因思维固化与形式单一,抑制了学生的学习兴趣,限制了学生的思维和能力的平衡发展。课......
随着Internet中Web服务的不断增长，如何通过对现存的服务进行合成，以满足用户的个性化需求，成为目前的研究热点。通过引入线性逻辑工......
网络文学是今天理论界讨论的热点。新的文学载体赋予了网络文学新的文学特质 ,而超文本性是其中鲜明而突出的代表。超文本链接技术......
针对列车群行为分析中的不确定性时间信息推理问题，结合线性逻辑和扩展模糊时间Petri网（EFTPN）等理论，提出了一种基于EFTPN的线性推理......
中原公司副总经理、卡拉奇K2/K3项目总经理、K2机组冷试总指挥宋丰伟的办公室中,一张超大的“K2机组冷试前主要工作逻辑图”几乎占......
“笔墨”是国画中特有的表达意境的手法。意境更是国画、书法、戏曲等中国经典艺术所追求的，它融合着文人墨客们的情韵、感悟以及东......
<正>一篇文章,前有开头,后有结尾(以后将有专文谈及)。除了这两个部分,正文的结构方式千变万化,但文章的结构也有一些基本类型,横......
