基于时间区间时序逻辑的实时系统统一模型检测

在同一个逻辑框架内无法自动验证实时区间模型的实时区间性质。为此,该文使用一个离散时间区间时序逻辑公式建立实时系统模型,使用另一个离散时间区间时序逻辑公式描述实时系统需要满足的性质,在此基础上,离散时间区间时序逻辑统一模型检测问题即可归约为目前已解决的离散时间区间时序逻辑可满足性判定问题。该文证明了新方法的有效性以及正确性,为区间实时逻辑这一类的模型检测问题提供了方法。     

量化核证逻辑QLP概观

QLP是第一个量化核证逻辑,它允许对证明项的量化.菲廷给出了QLP的公理系统和可能世界语义,并证明了QLP的可靠性和完全性.迪安和黑川用QLP分析了知道者悖论,后来又对其进行了详细的哲学分析,但阿洛-科斯塔和岸田反对这种分析.QLP的出现填补了核证逻辑在量化部分的空白,推动了核证逻辑的发展.     

面向对象的时序逻辑语言

针对时序逻辑语言缺少面向对象概念的现状,对投影时序逻辑进行了扩展,介绍了新的语法和语义。在扩展投影时序逻辑中,基于变量集合的层次化和谓词的分组,给出了对象、类和继承等概念的形式化定义。扩展投影时序逻辑的一个可执行子集被定义为面向对象的时序逻辑语言FramedTempura++,它能够用于面向对象的程序设计,可以模拟组合Web服务的执行。所给出的实例表明,该语言与FramedTempura相比,能有效地重用代码,提高了代码的可读性和可维护性。     

基于SDRAM的视频数据存储系统设计

文章提出了一种分辨率为800×480的LCD视频图像数据处理的方法.介绍了SDRAM结构特点和工作过程,分析了SDRAM的控制器设计方法以及LCD显示器与SDRAM之间的时序配合,并进行了在线逻辑分析和相应硬件电路的显示实验,证明了SDRAM控制器工作的可行性以及显示时序设计的正确性.     

当代内涵逻辑的理论发展

内涵逻辑是经典逻辑的一种重要的扩展类型.内涵逻辑是关于必然、可能、时间、空间、行动、知识、信念、义务和其他内涵概念的逻辑研究.内涵逻辑研究的主要目的是分析内涵概念,围绕内涵概念给出相应的形式系统,形式系统的语义模型解释及关于系统的可靠性和完全性证明等问题.内涵逻辑在哲学问题的分析和自然语言语义学及人工智能等领域都有极为重要的应用.本文概述当代内涵逻辑发展的主要类型以及它们之间的内在关联.结论部分给出了关于内涵逻辑与经典逻辑关系的两种观点,有助于人们更深刻地理解内涵逻辑.     

多主体自认知逻辑系统

认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题,多主体的自认知逻辑系统,是在单主体唯一知道逻辑系统的基础上进行的扩充.现将单主体的K45系统扩充为多主体的K45n系统,并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论,同时也对该系统的可靠性和完全性进行了证明.     

非等差时序灰色系统及其应用

对灰色系统的时序进行拓展 ,提出一种非等差时序灰色系统概念 ,为描述时序间隔无规则的灰色过程和解决工程、预测等领域中非等差时序问题提供了一种新的工具 .应用实例及误差分析表明 ,能得到令人满意的结果 .     

人机工程学的发展及人机系统的可靠性

本文介绍了人机工程学(工效学)这一新兴边缘学科的研究内容、发展及现状,讨论了人-机系统的可靠性并着重讨论了人的操作可靠性,探讨了按人为差错进行可靠性分析与可靠性估计的人为差错和可靠性分析逻辑推演法(HERALD法)及系统能力方法(SC方法)。 本文的结论可供系统管理工作者及设计工作者,特别是可靠性管理及可靠性设计工作者参考。     

对动作的认知

在通常的动态认知逻辑的基础上,引进对动作的认知.给出对动作认知的语义和特征公理,建立这种新类型逻辑的极小系统,并证明其框架可靠性和框架完全性.     

主体认知正则活动的逻辑刻画

研究了主体对正则复合活动认知的性质.首先,分析了文献中对主体认知活动的逻辑刻画及其存在的问题;然后,提出刻画主体认知复合活动的逻辑系统KRAL,并证明了该系统的可靠性和完全性.