TP TO P——从PASCAL语言到PROLOG语言的转换方法

<正> 引言随着第五代计算机研究的深入,PROLOG 语言越来越引起人们的重视。日本把PROLOG 定为第五代机的核心语言,已经制造出了基于逻辑推理的 PROLOG 机,美、英等世界计算机大国也在积极进行这方面的研究。PROLOG 语言在专家系统、自然语言处理、数据等许多领域已经得到了应用。在第五代机上,主要是以 PROLOG 为核心的逻辑推理运算,其控制结构和数据结构与过程型高级语言完全不同。这就产生了如何把过程型高级语言程序移植到第五代机     

城市交通系统动力学特性研究——带信号灯控制的一维元胞自动机模型研究

元胞自动机的交通流模型以简单的规则反映交通过程中实际存在的各种复杂因素,并能在计算机上方便实现,从而可以演示这些因素对城市交通系统动态特性的影响。本文系统阐述了元胞自动机在交通流上的应用,以元胞自动机理论为基础,把车辆在路段上运动的变化规律表述为元胞自动机的演化规则,建立了基于元胞自动机理论的交通流模拟的NS模型,并利用Matlab语言实现了带信号灯控制的一维元胞自动机模型的仿真。     

细胞自动机：简单的规则，复杂的行为

细胞自动机是一种时间、空间与状态都离散的数学模型。回顾了初等细胞自动机模型的应用及其符号动力学刻画的相关文献,在大量统计性质和计算机模拟基础上,着重分析具有鲁棒Bernoulli移位特征的细胞自动机规则的一些符号动力学性质,揭示了细胞自动机的简单规则中蕴含着复杂、混沌的非线性动力学特性。这些结果丰富了细胞自动机的理论基础,也将促进符号动力系统的理论和应用的研究。     

基于时间自动机网的C3I系统建模和实时性验证

针对目前缺乏描述和分析C3I系统的理论基础,提出了基于时间自动机理论的C3I系统的数学模型.建立了C3I系统中各个子系统的时间自动机模型,子系统之间通过通道进行通讯,通过时间自动机网把C3I系统构建为多个并行的时间自动机的网络模型.提出基于计算树逻辑CTL的C3I系统的实时性表达方法,详细描述使用模型检测工具Uppaal对C3I系统建模和所建模型的实时性验证的方法.实验结果证明,基于时间自动机的C3I系统的建模与模型检测方法是有效的,为C3I系统行为的分析、验证提供理论基础.与经典算法相比,该方法提高了对C3I系统建模和分析的效率.     

元胞自动机与计算机模拟

元胞自动机是时间和空间都离散、物理参量只取有限数值集的物理系统的理想化模型,在该系统中每个元胞都具有其内在状态,并由有限数量的信息位组成。近年来,元胞自动机模型应用于各个领域,特别在计算机模拟中取得了较大进展。本文将从介绍元胞自动机理论入手,探讨元胞自动机技术应用于计算机模拟。     

用细胞自动机实现Logistic模型

对应用于模拟肿瘤生长的Logistic模型进行了分析和研究,设计了基于一维细胞自动机的肿瘤动态生长模型. 以连续Logistic模型为基础,导出模型的离散差分形式;在前人工作的基础上,设计出基于细胞自动机的离散动态计算机生长模型,并设计出人工细胞自动机状态随机演化规则;对基于一维人工细胞自动机的肿瘤动态生长模型进行了数值仿真实验. 理论分析和结果表明细胞自动机模型仿真曲线与连续Logistic模型两者相互吻合.     

元胞自动机与计算机模拟

元胞自动机是时间和空间都离散、物理参量只取有限数值集的物理系统的理想化模型，在该系统中每个元胞都具有其内在状态，并由有限数量的信息位组成：近年来，元胞自动机模型应用于各个领域，特别在计算机模拟中取得了较大进展。本文将从介绍元胞自动机理论入手，探讨元胞自动机技术应用于计算机模拟。     

基于稠密时间的实时系统模型检测的一个应用

模型检测是一种用于并发系统性质验证的算法技术。实际生活中广泛应用的是带有时间约束的并发系统即实时系统，现在模型检测技术越来越被广泛地应用到这类系统的性质验证当中。这类系统通常用时间自动机来表示，而它们的性质则用时序逻辑公式表示。本文简要介绍了时间自动机和时序逻辑TCTL，并着重说明了如何进行基于稠密时间的实时系统的模型检测，最后给出了一个应用实例。     

轨迹分析与元胞自动机在土地利用动态模拟中的应用

元胞自动机模型是一种时间、空间、状态都离散,空间上相互作用及时间上因果关系皆局部的网络动力学模型.在该类模型研究中,经常将其与其他类型模型相结合使用,以提高模拟有效性.轨迹分析是一种可用来分析时序动态变化的新方法.本文在总结、分析元胞自动机与轨迹分析模型各自特点的基础上,探讨了两者在土地利用动态变化研究中联合应用的可能性,为以后建立基于轨迹分析与元胞自动机的土地利用动态模型奠定理论基础.通过对天津滨海新区土地利用变化进行初步模拟,证实了该理论的可行性.     

枝晶生长的元胞自动机模拟

元胞自动机是复杂体系的一种理想化模型，特别适合于处理那些难以用数学定量描述的复杂动态体系问题如材料的组织结构演变问题，尤其适合于计算机模拟实施。本文使用元胞自动机模型根据最基本的物理学原理和温度场模拟计算耦合，得到了枝晶的生长结构。由于本模型没有引用微观研究中关于枝晶的特殊理论，因此可以将这种结果看做是通用模型的一种特殊情况。这说明：元胞自动机模型除了能够完成对于微观结构的模拟以外，还特别适合于基机理的研究。     

一种用于微观组织模拟的三维元胞自动机模型

元胞自动机是复杂体系的一种理想化模型,特别适合于处理那些难以用数学定量描述的复杂动态体系问题,如材料微观组织的演变模拟．它非常适合于计算机模拟实施．利用C 计算机语言,运用OpenGL网形函数库建立了一种三维元胞自动机模型．该模型具备了经典元胞自动机的基本特征,因此可以根据需要进行扩展．由于运用了0penGL的实时3D技术使得模拟结果更加逼真,并可以从多角度进行观察．文中运用该模型进行了简化的枝晶生长模拟,并与二维的模拟结果进行比较,验证了该模拟的正确性．     

PROLOG的说明性语义和过程性语义之间的循环论证

对关于PROLOG的说明性语义和过程性语义之间的关系的观点提出商榷。认为这两种语义之间存在循环论证,它反映了数理逻辑的模型论和证明论之间的循环论证。     

多元组分传质分离综合专家系统的探讨

介绍一种应用于化工传质分离流程开发的分离综合专家系统，对于多元组分进料分离成要求的多种产品，本方法提供合理的分离序列。系统包括分离综合问题的表达，物流旁路及分离的可行性分析，应用有序经验规则进行分离综合几个部分。程序采用ＰＲＯＬＯＧ语言编写并给出应用实例；用户操作使用方便、灵活。     

多效顺流精馏流程通用数学模型的建立及优化计算

针对多效顺流精馏流程建立了通用的数学模型 ,并以年消耗费用最小为目标函数进行了设计型模拟优化计算 ,经实例考核 ,证明了该数学模型通用、可靠并可方便的求出多效顺流流程设计所需的基础数据及系统所需的最小加热蒸汽量 .     

HJGY-Y5焊接工艺专家系统

采用TURBOPROLOG语言编制成功HJGY -Y5焊接工艺专家系统 ,该系统具有咨询 ,调入、建立、修改扩充知识库 ,调阅、修改工艺文件、建立说明 (帮助 )文本 ,进入DOS等功能 ,人机接口友好简单 ,操作容易。     

利用自动机理论对收费站收费系统进行设计并实现

利用有穷自动机理论研究了高速公路收费站的收费系统。首先分析了现行的自动收费站系统中的不足之处,画出了相应的自动机状态转移图,然后依据有穷自动机是一种具有离散输入输出系统的数学模型,提出了新的收费站自动机设计——记账式收费自动机的模型及相应的自动机状态转移图,进而给出了详细的分析和应用软件,并画出了相应的系统模块图。由于新的系统避免了大量弊端与不足,管理控制能力有效提高;同时该系统不要求OBU的普及以及全球卫星定位系统的使用,故易于推广,从而大大提高了高速公路收费的安全性、准确性、适用性及有效性。     

基于时态逻辑的形式化联邦校核方法

提出了一种基于时态逻辑的形式化联邦校核方法，采用时态逻辑公式描述联邦各成员的行为逻辑关系，推导出与该时态逻辑公式对应的有限自动机模型，即规范自动机。同时，建立联邦全局行为的状态转移图，即实现自动机，通过检验规范自动机所接受的语言是否包含实现自动机所接受的语言来判断联邦运行时各成员的状态变化是否满足规范要求，达到校核联邦的目的。该方法可用来校核联邦及其成员的交互设计和逻辑行为运行的正确性和逻辑性，具有理论意义和应用价值。     

基于PDC—PROLOG自学习机器博弈

通过“对角棋”问题的求解，研究基于ＰＤＣ－ＰＲＯＬＯＧ的机器博弈的问题，提出了模型表达及自学习的程序实例。     

基于一维元胞自动机的可变时距跟车模型

依据不间断车流的车头时距分布规律和一维元胞自动机建模理论，提出了一种可变时距跟车模型.该模型假定行驶车辆都趋向于保持一个期望的车头时距，通过对前车速度和车头间距的估计，并考虑随机减速的影响对车速进行同步更新.基于该模型建立的仿真系统，凭借两个简单的参数来调节不同车速的期望车头间距，使车头时距分布规律符合交通未饱和时车头时距的具体分布情况，从而能够描述多车道公路上比较复杂的交通状况，表示不同道路等级的通行能力     

基于LTL Tableau的自动机构造

基于线性时序逻辑(LTL)的模型检验是使用较为广泛的技术。该种模型检验最终归结为有穷自动机的判空问题,其复杂性来源于性质和模型乘积自动机的状态空间膨胀。作者提出了一种构造迟滞交换Co-Büchi自动机(Stuffer Alternating Co-Büchi)的具有线性复杂度的方法,该方法能够降低最终乘积自动机的空间复杂度。