简介：哥德尔不完全性定理是20世纪逻辑和数学史上的一座里程碑,必在哲学上引发巨大的思考空间和反思力度。首先,既然＂真＂与＂可证＂不能等同的,那么＂真＂是否可定义的？＂真＂与＂可证＂两个概念之间到底是一种什么关系？其次,它是否意味着我们的知识是不确定的,如果能表明知识不是确定的,那我们是不是在知识的可靠性上要承认彻底的怀疑主义？再次,在人工智能化的今天,人的主体性地位受到严重的挑战,那是否意味着如后现代主义哲学家所说人的主体性将被抹去？等等。

简介：提出了一个不完全信息下的异质多寡头投资竞赛的非线性动力学模型,然后以三寡头为例进行数值仿真,研究了其Neimark-Sacker分岔的存在性,接着通过计算第一Lyaponov指数,对模型中产生的Neimark-Sacker分岔的方向及其不变封闭曲线的稳定性进行了计算和证明,最后对系统的复杂性演化路线进行了相应的数值模拟,展示了多种周期的不变封闭曲线及超混沌吸引子等复杂动力学行为。

简介：摘要城市轨道交通是我国交通发展的重要方向，具有安全便捷、运量大等优势，作为控制中枢即为行车调度系统，保障轨道交通行车调度的高效进行就显得尤为重要。本文详细说明电话闭塞法的概念、使用条件、特点、内容等，并通过一些办法进行优化，避免联锁故障，保障行车调度安全有序，希望对城市轨道交通的稳定运行有所裨益。

简介：“形式主义”一词在国内的大众媒体中频频出现,是中国政治文献常用的术语之一。国内的权威词典大多将其翻译成formalism。文章基于CCL语料库和COCA语料库,从词频、搭配和语义韵三个角度进行了对比分析,发现“形式主义”一词在不同领域中含义大相径庭,特别是在中国政治领域中,该词更是含义特殊。笔者建议中国政治文献中的“形式主义”应翻译成formism,以便与其他语境下该词被翻译成formalism相区分。

简介：