证实原则的认知逻辑分析

证实原则作为证实主义的一个一般性纲领认为,一个非分析性的有意义的真语句都是可以被经验所证实(因而是可知)的。用认知逻辑表明从证实原则出发可以产生费奇悖论。费奇悖论表明,证实原则不仅和信念修正中穆尔语句不能被一致地相信相关,还与动态认知逻辑中一个公式是否总能成功更新有关。我们在对动态认知逻辑对证实原则的各种修正方案进行比较分析后认为,证实原则反映了人类学习和交流互动过程中的精致性和复杂性,这在动态逻辑的具体背景下可以进一步进行更为细致的研究。     

“小材大用”——解析小词but在应试听力中的巧用

在英语学习中，“but”虽看似微乎其微，但如能对它作为连词，介词，副词及惯用句型的语法意义细加分析，掌握其在语篇联承中的逻辑纽带功能，并在听力洲试中巧用之，可大大提高我们的应试听力技能。     

Lukasiewicz区间值命题逻辑的广义重言式

给出一个新区间值的定义,在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义.同时由一类特殊的公式序列Ak,k=1,2,…,证明了可达-a-重言式类类不空和类类互异定理在Lukasiewicz区间值命题逻辑中也成立.     

C语言常见错误浅析

C语言是一种与硬件扣系统靠得较近，同时又面向用户，容易理解、便于阅读扣书写的中级语言。本根据C语言的特点，列举了运用C语言时一些常见错误，并加以简要分析，帮助初学更好地掌握C语言。     

复杂系统的逻辑结构判据问题

系统阐述了LAPP方法以及2004年以来的主要发展,并指出一些新的针对复杂系统的逻辑结构判据算法及相关问题的研究方向.     

习近平关于党自我革命重要论述之四题

本研究遵循马克思主义基本原理,对习近平关于党的自我革命重要论述进行了四个层面的解读。从文化基因、理论溯源、历史传统三个维度剖析了“重要论述”的生成逻辑;通过系统梳理相关显性文本与隐性文本,提炼了“重要论述”的核心要义;立足于时代背景,阐释了“重要论述”的哲学意蕴;从理论建设、破解国内时代难题、推动世界社会主义运动三方面彰显了“重要论述”的时代价值。     

基于系统思维的智慧城市治理创新研究

新一代信息技术在提供城市治理手段的同时,重塑了智慧城市的社会结构和城市治理规则。用系统科学的思维范式指导复杂城市治理模式的智慧化转型,是实现城市善治的重要途径。本文从智慧城市治理的技术基础入手,考察智慧治理的逻辑起点,以及智慧化的技术逻辑与城市治理的融合路径,进而探讨整体性、系统性、自组织性、协同性、精确性思维对于创新城市治理,建构适应复杂性要求的智慧治理模式的作用机理。     

可逆计算原理与实验进展

计算能耗高和散热问题使传统计算芯片的集成度和运算能力的提升遇到瓶颈.大规模量子计算探索的关键是比特的相干叠加性和可逆性.因此,可逆计算既作为一种可能从根本上解决计算耗能高和散热问题的方案,又作为一种兼容量子计算的方案,近年来在理论上和实验上得到了深入的研究.本文介绍了可逆计算的基本原理,总结了目前基于微机械、传统微电子和超导领域的可逆计算实验研究进展,分析了超导器件实现可逆计算的独特优势,并着重对其中两种器件的工作原理进行了论述.     

逻辑的计算进路——从莱布尼茨到图灵的逻辑发展

现代逻辑肇始于莱布尼茨,在布尔和弗雷格处发生了分流,形成了所谓的逻辑的代数传统和逻辑的语言传统,然而,无论是代数传统亦或者是语言传统都与莱布尼茨的逻辑学纲领(即:"作为科学、数学和哲学"的基础)相去甚远。在图灵机理论中,图灵核心阐述了"自动机"和"指令表语言"这两个概念,这两者很好地契合了莱布尼茨关于"理性演算"和"普遍语言"的构想,可以说,图灵机理论最为接近莱布尼茨的逻辑学纲领,也跳出代数传统和语言传统,另辟蹊径,形成了一种新的"作为计算的逻辑"传统(也可以称为"计算传统")。"作为计算的逻辑"实质上是一种"主体转向","以往的逻辑"是当仁不让地以人类为主体,研究的对象是人的思维、自然语言种种,"作为计算的逻辑"则是将计算机作为信息处理的主体,研究的是计算机的处理方式以及人与计算机的互动关系。     

基于模糊逻辑方法的多船会遇安全态势评估

为了提高水上交通安全,减少船舶碰撞风险,基于模糊逻辑理论提出一种多船会遇安全态势感知评估方法。首先,基于船舶自动识别系统数据判断船舶会遇等典型交通场景下船舶避让优先级;然后,利用船舶相对距离、航速、船速比(本船与他船的航速比值)和相对方位(本船与他船的航向比值)等因素建立模糊评价规则,利用模糊综合评价法量化会遇态势下船舶的碰撞危险程度;最后,基于给定的风险阈值给出船舶航行安全风险预警。基于AIS数据对上海洋山深水港水域附近的多船交叉会遇和多船对遇局面进行仿真实验,实验结果表明所提出的方法能有效评估不同交通态势下船舶安全风险程度,可为智能船舶智能航行决策和安全预警提供数据支撑。