χ-演算的模态逻辑刻划

来源 :上海交通大学 | 被引量 : 0次 | 上传用户：happer34

【摘要】

：

该文探讨了并发计算模型__χ-演算的逻辑模型.给出了χ-演算的一个初步逻辑模型.分别定义了四组完整的逻辑连接词,并且对应地给出了χ-演算的L-互模拟格中四个L- 互模拟的逻

【作者】

：

徐林

【机构】

：

上海交通大学

【出处】

：

上海交通大学

【发表日期】

：

2000年期

【关键词】

：

计算模型 λ-演算并发计算模型互模拟 χ-演算模态逻辑完全性定理

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

该文探讨了并发计算模型__χ-演算的逻辑模型.给出了χ-演算的一个初步逻辑模型.分别定义了四组完整的逻辑连接词,并且对应地给出了χ-演算的L-互模拟格中四个L- 互模拟的逻辑刻画(ВМ,ΙUМ,ОМ,СОМ) .这一工作作为完整地刻画χ-演算的逻辑模型并研究其模型验证等问题打下了良好的基础,余下的工作可完全参照现有的方法进行.

其他文献

基于Internet的远程教育支持系统的研究与实现

该文回顾了远程教育的发展,分析了远程教育的现状和前景.对远程教育的各种模式进行了分析,并着重讨论了基于Internet的远程教育模式.接着对远程教育支持系统的基本思想和基本

学位

基于Web的教学远程教学

基于分布交互作战指挥训练模拟--《政治机关指挥作业系统》的研究和开发

该文介绍了目前指挥自动化发展的趋势和现状;详细讨论了分布交互式指挥训练模拟系统的开发策略、总体设计、系统的实现技术及应用程序的开发方法;着重分析了开发军事软件系统

学位

计算机网络数据库客户机/服务器指挥自动化军事软件指挥训练模拟

业务网站通用统计功能的设计与实现

随着移动互联网的发展,电信增值业务的个人用户不断流失,集团客户已经成为电信增值业务的主要客户群。相比于个人用户,集团用户需要一个界面简洁,操作简单的门户网站来管理订

学位

业务网站通用统计功能Raphael.js Hibernate

基于容错机制的多机并行处理系统的设计与实现

该文设计一套基于容错机制的多机并行处理系统采用整机级三模冗余结构,针对任务调度采用任务级松散同步调度算法.引进令牌环技术解决总线仲裁问题.该系统软件是研究人员自行

学位

容错机制多机并行处理系统令牌环技术冗余管理

通用管理系统分布式容错系统软件的设计与实现

该文将要介绍的是一个实际的实时分布式容错计算机系统--通用设备管理系统(UMS) .该文通过对分布式容错系统软件设计技术和UMS系统软硬件体系结构的研究,在规划好UMS系统软件

学位

系统软件通用设备管理系统(UMS)1553B总线故障定位故障处理系统重构

可扩展的独立分布式应用互操作与集成模型XIOM的实现研究

该研究对一种全新的分布式网络计算机理论模型--可扩展的独立分布式应用互操作与集成模型XIOM(eXtenxible Inter Operation and integration Model)给出了完整的实现解决方案

学位

分布式计算可扩展标记语言客户/服务器/客户模型

轻型网络操作系统的设计与实现

随着Internet的飞速发展,对操作系统提出了新的要求.该文从各方面论述了Linux作为轻型网络操作系统的原型的优点和不足.阐述了轻型网络操作系统的功能、特点和Linux内核的主

学位

轻型网络操作系统Linux内核WEB服务器

网络并行计算及其应用研究

并行处理技术领域博在精深,包括硬件技术、并行体系结构、并行操作系统、并行语言、并行编译系统、并行软件和并行算法等.然而目前国内外现状是并行算法的应用研究明显地滞后

学位

并行处理并行算法网络并行计算负载平衡数字信号处理

硬件式容错计算机系统可靠性仿真

该文的系统可靠性仿真具有较强的开放性,文中提出结构可靠性建模法实现对任意结构系统的可靠性仿真,系统中单元的寿命和维修时间可服从多种分布,系统可采用多种维修方式;该文

学位

可靠性容错仿真蒙特卡罗法计算机化仿真

基于INTERNET的《安全网络访问服务器》安全设计与实现

该论文首先简要介绍了《安全网络访问服务器》的总体设计方案;之后,深入分析了分布式安全认证系统RADIUS和TACACS的原理与结构模型,并进一步详细阐述了安全认证模块的设计思

学位

Internet访问服务器安全认证RADIUSTACACSMD5加密算法防火墙VPN

χ-演算的模态逻辑刻划

与本文相关的学术论文