具有模糊时态的广义可能性线性时序逻辑的模型检测

本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL(Generalized Possibilistic Fuzzy Linear Tempora Logic)的语构以及基于路径和基于语言的两种语义解释,证明了GPoFLTL在模糊时态方面对GPo LTL(Generalized Possibilistic Linear Tempora Logic)进行了扩张,并通过实例说明了GPoFLTL比GPo LTL具有更强的表达能力;其次在广义可能性测度下通过模糊矩阵运算讨论了"不久","几乎总是"等几类模糊时态性质的模型检测问题;最后研究了模糊时态性质的必要性阈值模型检测问题,给出了基于自动机的GPoFLTL的阈值模型检测算法及算法的复杂度.

广义可能性计算树逻辑的模型检测问题

本文首先分别给出了"约束可达","总是可达"这两个公式在广义可能性计算树逻辑(GPo CTL)中的另外两种等价形式;其次讨论了基于广义可能性测度的计算树逻辑的模型检测问题,将GPo CTL的模型检测问题规约为经典的CTL模型检测问题,利用截集的方法,给出了计算GPo CTL的模型检测问题的算法及其复杂度,并通过实例分析说明了这种算法的可行性;最后,研究了具有公平性假设的GPo CTL模型检测问题的计算复杂度,得到了与上面相似的结论.

随机时序逻辑的模糊时间扩展方法

基于随机时序逻辑(SQTL),通过扩展模糊时间来表达系统的模糊时间关系,并实现一种表达能力更强的时序逻辑——模糊随机时序逻辑(FSQTL)。FSQTL能够建模实时系统中的确定时间、概率时间、随机时间和模糊时间,并利用可能性实现对性能需求的分析。

对GALT算法的理论性分析

GALT(GreatestAvailableLogicalTime,最大可能逻辑时间)算法是HLA(HighLevelArchitecture,高层体系结构)接口规范中时间管理服务能否实现的关键技术。不合理的GALT算法会导致死锁或破坏HLA时间管理的原则,从而导致整个仿真无法向前推进,或产生过去时刻的消息。分析了Frederick算法和身高测量法的死锁问题,给出了Frederick算法造成死锁的一个充分条件,重点讨论了它们遵守时间管理原则的情况。一个好的GALT算法,必须在确保不违反时间管理原则的基础上,才能最终解决死锁问题。

HLA/RTI时间管理的一种优化算法

时间管理服务是HLA与以前分布式仿真标准最主要区别内容之一 ,也是RTI实现的重点和难点 .其性能直接影响到仿真的效率和正确性 .时间管理服务实现的关键是最大可用逻辑时间GALT的计算 .论文针对目前GALT算法存在的可能死锁问题 ,提出了计算GALT的递归式算法———R GALT算法和递归式推进检测方法 ,并给出了R GALT算法无死锁证明 .R GALT算法不但解决了时间管理实现中可能出现的联盟时间推进死锁问题 ,而且能够提高盟员时间推进的效率 .该算法在作者等人研制的遵循IEEE1 5 1 6标准的RTI软件StarLink中已经得到了实现 ,测试表明 。

HLA时间管理中lookahead的设置与调整

HLA时间管理中lookahead值是在仿真执行过程中由用户自己设置的.在实际仿真系统中,寻找合适的lookahead值是比较困难的,为了进一步提高仿真运行的效率和改善仿真运行的效果,本文对lookahead的调整与设置问题进行了研究.引入lookahead的初衷是避免死锁,但looka-head为零仍会造成死锁.本文研究了lookahead为零时死锁的规律,了解这些规律后,就能有效地避免死锁,从而使仿真过程更加顺利地进行.

HLA中时间管理算法死锁的规律性

Frederick算法在通常情况下能够比较好地工作,并且完全符合HLA时间管理的原则。但在特殊情况下,该算法会造成死锁。研究表明,死锁是有规律的。文章分析了文献[5]中对Frederick算法死锁规律的描述,指出了其中存在的问题,并一一加以修正。最后给出了新的死锁规律。

高层体系结构中时间管理算法研究及改进

不恰当的最大安全推进时间(GALT)计算方法会影响系统整体运行,严重情况下可能导致系统死锁,使整个系统仿真无法向前推进。为此,分析经典时间推进Frederick算法中可能出现死锁的情况,给出死锁出现的原因,并对死锁产生的原因进行论证,在此基础上,设计一种基于该算法的改进无死锁时间管理GALT计算算法。分析结果表明,改进算法可以有效解决GALT计算产生的死锁问题。

论童话叙述的时空想象及其边界

童话小说是探寻可能世界叙述的重要文学体裁，其文本世界的时空结构经常表现为多层叙述空间和多维叙述时间。现代小说的空间结构艺术，如嵌套式、链条式、梦境模式等，都为拓宽童话小说空间提供了形式动力，童话叙述也通过采用预述和倒述的不同手法丰富了时间想象。但童话叙述的时空想象又常因空间跨层、逻辑悖论等溢出到不可能世界，甚至落入不可信。因此，童话小说的时空想象有一个边界，逻辑真实就是这种想象的最后边界。逻辑真实不仅是可能世界时空概念和范畴形成的依据，也是童话小说认知接受的规律。童话小说的创作与接受包含成人、儿童等不同主体，逻辑真实的规约保障了这种文学活动的成功。

基于无前瞻量最小时戳的自适应推进算法

GALT(greatest available logical time,最大可能逻辑时间)算法是HLA(high level architecture,高层体系结构)时间管理服务能否高效实现的关键技术.为解决现有GALT算法可能会出现消息丢失及推进速度缓慢等问题,提出一种新的基于无前瞻量最小时戳的自适应推进算法(APMTL).此算法在计算输出时间时最小时戳项时不加入前瞻量,并动态调整其他项的前瞻量.将此算法在空空导弹分布式仿真系统上进行测试,结果表明不会丢失消息且加快了系统推进速度.

时间副词:时间可能世界集合的命名

现代汉语凭借时间性副词、时间性名词、时间性助词来体现语句的时态。从指谓性和交际性两个方面研究现代汉语中一大批时间副词指号,是自然语言逻辑必须承担的使命;这对于扩展时态逻辑也具相当重要的意义。本文旨在运用可能世界的概念说明时态,归纳出若干个基本的时点集,由此对一批时间副词作出逻辑的刻画,从而提出与时间副词相关的言语交际中的推理形式。一说话人使用有时间性表述成分的语句,实质上包含两个方面的内容。

基于模态逻辑的知识情境化表征

知识的情境化表征是人工智能需要解决的重要问题,而通过情境语义学与可能世界语义学的对比表明,可能世界语义学可以为情境化表征提供解释。基于情境计算与模态逻辑结构的比较,我们知道在结构上模态逻辑与情境计算存在许多相似性,可以尝试用于知识的情境化表征。最后,时空特征的分析阐明了模态逻辑为知识的情境化表征提供了新颖的方法与工具。

对“未来偶然命题”的逻辑思考

'明天将有海战'这样的'未来偶然命题'在现在是否具有真值?为了坚持非决定论,卢卡西维茨三值逻辑对这样的命题指派非真非假的第三值'可能的',这种处理方式是新颖的,但也带来了问题:不仅导致矛盾律和排中律的不成立,还显示悖论性公式不再是矛盾的。当然,多值逻辑有多方面的应用,但就解释'未来偶然命题',进而处理与之有关的推理而言,并不成功。普赖尔的奥卡姆主义时态逻辑采用了时间向未来分支的处理方式,对'未来偶然命题'指派相对于分支的真值,这既坚持了非决定论又消除了第三值;此外,它把'未来偶然命题'与模态组合起来,与常识和自然语言相符。尽管分支时间的本体论地位存在争议,但从逻辑的观点看,是一种较好的处理'未来偶然命题'真理论的方案。

虚无主义的现代性病理机制

一、现代性之分化 现代性之分化，首先表现为时间性的。现代性的时间逻辑是，用现在去同一和吸纳历史与未来：历史从属于现在，现在则可以无限地从未来中兑现或支付，而未来则因资本、技术及艺术而被想象为具有无限资源及可能性的世界。现代性是关于“现在”的意识形态，对于“现在”的自我迷恋，已包含着所谓后现代性。从时间性上看，后现代性系现代性的伴随物，绝非现代性之“后”。实质上，虚无主义之发生，正是持续膨胀的“现在”挤掉历史与未来并占据全部历史与时间的结果。

犯人是否会被处以绞刑

某日,在法庭上,一位法官宣判一位犯人将受到绞刑:"你将在下周7天之内被执行绞刑。