命题符号论文-廖巧云

命题符号论文-廖巧云

导读:本文包含了命题符号论文开题报告文献综述及选题提纲参考文献,主要关键词:根植认知,话语运作,模态符号,命题符号

命题符号论文文献综述

廖巧云[1](2019)在《作为话语命题符号基底的模态符号研究》一文中研究指出本文基于根植认知理论,在对模态符号进行重新界定的基础上,对话语模态符号与命题符号的关系进行了探究。话语的运作,从根本上讲,来自模态符号和命题符号的相互转换;从话语生成视角体现为模态符号到命题符号的转换,命题符号是模态符号的体现形式,而从话语识解视角则体现为命题符号到模态符号的转换。因此,模态符号作用于话语运作的全过程,是命题符号的基底。本研究能够为话语运作研究提供一个新视角。(本文来源于《外国语(上海外国语大学学报)》期刊2019年05期)

刘建明[2](2019)在《符号消费理论的认知边界与假命题》一文中研究指出传播学研究者大都认同鲍德里亚的符号消费理论,认为消费者在大众传媒的渲染下追求商品的象征意义而抛弃其实用价值,热衷于体验商品符号的某些快感。鲍德里亚的理论既有某些合乎情理的知识,也有虚幻、荒谬的观点,很多论述把真命题与假命题混杂在一起,充满似是而非的幻觉和自相矛盾的论证。(本文来源于《新闻爱好者》期刊2019年08期)

陈莉莉[3](2017)在《关于一阶逻辑命题符号化的思考》一文中研究指出命题符号化是逻辑推理的基础,本文讨论一阶逻辑命题符号化需要注意的几个问题,帮助学生更好地掌握一阶逻辑的命题符号化。(本文来源于《新校园(上旬)》期刊2017年10期)

熊瑜[4](2017)在《数理逻辑中谓词命题符号化的难点解析》一文中研究指出本文通过作者多年教授离散数学课程中数理逻辑部分的教学经验,总结谓词命题符号化的学习要点和难点,从而帮助学生更高效地学习好数理逻辑.(本文来源于《数学学习与研究》期刊2017年09期)

逄涛,段振华,刘晓芳[5](2015)在《一个命题投影时序逻辑符号模型检测器》一文中研究指出现有模型检测工具的形式化规范语言,如计算树逻辑(computation tree logic,简称CTL)和线性时序逻辑(linear temporal logic,简称LTL)等的描述能力不足,无法验证ω正则性质.提出了一个命题投影时序逻辑(propositional projection temporal logic,简称PPTL)符号模型检测工具——PLSMC(PPTL symbolic model checker)的设计与实现过程.该工具基于着名的符号模型检测系统NuSMV,实现了PPTL的符号模型检测算法.PLSMC的规范语言PPTL具有完全正则表达能力,这使得定性性质和定量性质均可被验证.此外,PLSMC可以有效地缓解模型检测工具中容易发生的状态空间爆炸问题.最后,利用PLSMC对铁路公路交叉道口护栏控制系统的安全性质和周期性性质进行验证.实验结果表明,PPTL符号模型检测工具扩充了NuSMV系统的验证能力,使得时间敏感、并发性和周期性等实时性质可以被描述和验证.(本文来源于《软件学报》期刊2015年08期)

杨柏岭[6](2014)在《文化符号与命题人生——校训的情结、信仰与责任》一文中研究指出人生是一种文明化的进程,在个体生命的自然流动中,随着生活空间的转移,总是自觉或不自觉地被各类文化符号包裹着,也被她们塑造着。从家风、乡约、里范、到族规、校训,乃至社契、国法,或许可以说,在这些充实着各种价值观念的文化符号的浩瀚汪洋中,个体实属那一叶飘荡的扁舟,也属巨浪冲击下那微不足道的沙粒。何况"训,说教也","规,有法度也"(《说文解字》),在业(本文来源于《高校辅导员学刊》期刊2014年06期)

逄涛[7](2014)在《命题投影时序逻辑符号模型检测及其应用研究》一文中研究指出模型检测是一种验证软硬件系统、多智能体系统、通信协议和嵌入式系统等的重要形式化方法。它将待验证系统建模为有限状态机,如Kripke结构、状态-迁移系统或自动机等,将系统期望的性质描述为时序逻辑公式;然后,自动化穷举搜索系统行为以确定待验证系统是否满足期望的性质。然而,现有模型检测方法大多基于显式状态空间描述和操作,即便使用动态状态空间构建和偏序规约等优化技术,可验证系统的规模仍然十分有限。在实际设计中系统模型的大小往往随着并发组件的数目呈现指数级增长,这一问题构成了将模型检测技术应用于实际设计的主要瓶颈。此外,模型检测的形式化规范语言(如计算树逻辑和线性时序逻辑等)的表达能力不足,描述顺序、并发和循环等性质较为困难,或者根本无法描述这些性质。因此,本文研究了命题投影时序逻辑的符号模型检测技术及其应用。命题投影时序逻辑(Propositional Projection Temporal Logic, PPTL)是对命题区间时序逻辑(Propositional Interval Temporal Logic, PITL)的扩展。它引入了新的时序操作符且被证明具有完全正则表达能力,能够方便的描述顺序、并行、选择、时间敏感和周期性等多种并发的系统性质。符号模型检测是一种应对显式状态模型检测中容易出现的状态空间爆炸问题的有效方法。它将待验证系统模型和系统期望的性质描述为布尔方程,然后通过基于规约有序二叉决策图的搜索算法查找系统模型中满足期望性质的状态集合。基于PPTL和符号模型检测方法的优点,提出了一个使用符号模型检测方法验证PPTL规范的统一框架。在该框架中,将待验证系统建模为Kripke结构M= (S,I,R,L),其中S表示有限状态集合,I表示初始状态集合,R(?)S×S表示集合S上的状态迁移关系,标记函数L用每个状态下成立的原子命题标记该状态;将系统期望的性质描述为PPTL公式φ。然后,将期望性质的否定形式,φ转化为它对应的范式。由于范式是构建标记范式图(Labeled Normal Form Graph, LNFG)的基础,且LNFG包含了目标公式所有可能的模型。因此,可以求得状态集合Sat((?)φ),使得对于该集合中的任意状态s,s包含于S且公式(?)φ在模型M中任何以s开头的路径上成立。通过这种方式可以将检查系统模型M是否满足期望性质φ的问题等价为检查初始状态集合I中满足(?)φ的子集Sat((?)φ)∩I是否为空的问题。事实上,通过进一步分析发现PPTL符号模型检测方法的时间杂度为O((log|V(φ)|)×|V(φ)|×(|R|+|S|)),其中|V(φ)|为公式φ的LNFG中顶点的数目,而|R|+|S|表示模型M的大小。此外,通过验证实例说明了PPTL的符号模型检测方法的可行性。基于给出的PPTL符号模型检测方法,本文研究了实时与嵌入式计算系统的形式化验证方法。以单调速率调度算法和延迟单调速率调度算法为例,验证了上述算法对任务集可调度性的充要条件。将任务集在单调速率调度算法和延迟单调速率调度算法调度下的行为建模为Kripke结构,将调度算法的可调度性描述为PPTL公式,然后调用PPTL符号模型检测方法对任务集在单调速率和延迟单调速率调度算法下的可调度性分别进行描述和验证。近几年来,基于线性时序逻辑和分支时序逻辑的符号模型检测方法是当前形式化验证领域最为活跃的研究课题之一,并实现了相应的符号模型检测工具,如SMV、NuSMV和NuSMV2等。但是,上述工具均受制于形式化规范语言的表达能力,无法完整描述顺序、并行、选择、时间敏感和周期性等性质。此外,上述符号模型检测工具均不支持以PPTL公式描述的规范。因此,本文在NuSMV工具中实现了PPTL的符号模型检测方法以支持对PPTL公式的验证。基于上述PPTL符号模型检测工具,本文研究了Verilog硬件描述语言程序的形式化操作语义和模型检测方法,并以Gigamax缓存一致性协议、交替位协议和PCI总线协议的验证为例解释PPTL符号模型检测工具是如何工作的。(本文来源于《西安电子科技大学》期刊2014-09-01)

逄涛,段振华,刘晓芳[8](2014)在《Verilog程序的命题投影时序逻辑符号模型检测》一文中研究指出为了保证以Verilog硬件描述语言设计的片上系统的正确性,提出了Verilog程序的符号模型检测方法.依据形式化操作语义将Verilog程序建模为有限状态机,将设计规范用命题投影时序逻辑公式描述,并采用命题投影时序逻辑符号模型检测工具对程序进行验证,从而证明片上系统满足设计规范.以Verilog程序描述的四位同步二进制计数系统的验证实例表明,Verilog程序的命题投影时序逻辑符号模型检测方法是可行的.(本文来源于《西安电子科技大学学报》期刊2014年02期)

郭芸,王朝晖[9](2013)在《离散数学命题符号化的叁种方法》一文中研究指出命题符号化是离散数学课程的重要内容,看似简单,学生在学习过程中却常常犯错,甚至经典教材配套用书也存在一些错误.针对这一教学难题,分析出错的原因,并结合教学实际,提出了解决命题符号化问题的叁种方法:真值表法、类比法和平衡主谓法.(本文来源于《苏州市职业大学学报》期刊2013年03期)

张常青,王瑞明,谢久书,孙逊[10](2013)在《颜色概念的知觉符号表征与命题符号表征》一文中研究指出使用启动范式通过两个实验检验颜色概念的表征是知觉符号表征还是命题符号表征。实验1使用显性颜色概念,即颜色词;实验2使用隐性颜色概念,即隐含颜色信息的词。实验结果表明显性颜色概念的表征是知觉符号表征,而隐性颜色概念的表征是命题符号表征。(本文来源于《心理与行为研究》期刊2013年04期)

命题符号论文开题报告

(1)论文研究背景及目的

此处内容要求:

首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。

写法范例:

传播学研究者大都认同鲍德里亚的符号消费理论,认为消费者在大众传媒的渲染下追求商品的象征意义而抛弃其实用价值,热衷于体验商品符号的某些快感。鲍德里亚的理论既有某些合乎情理的知识,也有虚幻、荒谬的观点,很多论述把真命题与假命题混杂在一起,充满似是而非的幻觉和自相矛盾的论证。

(2)本文研究方法

调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。

实证研究法:依据现有的科学理论和实践的需要提出设计。

定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。

定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。

跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。

模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

命题符号论文参考文献

[1].廖巧云.作为话语命题符号基底的模态符号研究[J].外国语(上海外国语大学学报).2019

[2].刘建明.符号消费理论的认知边界与假命题[J].新闻爱好者.2019

[3].陈莉莉.关于一阶逻辑命题符号化的思考[J].新校园(上旬).2017

[4].熊瑜.数理逻辑中谓词命题符号化的难点解析[J].数学学习与研究.2017

[5].逄涛,段振华,刘晓芳.一个命题投影时序逻辑符号模型检测器[J].软件学报.2015

[6].杨柏岭.文化符号与命题人生——校训的情结、信仰与责任[J].高校辅导员学刊.2014

[7].逄涛.命题投影时序逻辑符号模型检测及其应用研究[D].西安电子科技大学.2014

[8].逄涛,段振华,刘晓芳.Verilog程序的命题投影时序逻辑符号模型检测[J].西安电子科技大学学报.2014

[9].郭芸,王朝晖.离散数学命题符号化的叁种方法[J].苏州市职业大学学报.2013

[10].张常青,王瑞明,谢久书,孙逊.颜色概念的知觉符号表征与命题符号表征[J].心理与行为研究.2013

标签:;  ;  ;  ;  

命题符号论文-廖巧云
下载Doc文档

猜你喜欢