【摘 要】
：
随着计算机网络的迅速发展,并发理论成为计算机科学前沿的研究热点.近年来人们提出概率进程演算模型,来解决并发通讯系统中产生的不确定性.该文引入区间值进程演算模型(简称I
论文部分内容阅读
随着计算机网络的迅速发展,并发理论成为计算机科学前沿的研究热点.近年来人们提出概率进程演算模型,来解决并发通讯系统中产生的不确定性.该文引入区间值进程演算模型(简称ICCS),以区间值取代概率进程演算模型中的概率分布,来解决并发通讯系统中产生的不确定选择.文章首先介绍了模糊区间值逻辑.在区间值逻辑中,一个命题的真度和假度是彼此独立给出的.与模糊度和真度相对应,区间值集合上定义有两个不同的偏序关系及相应的逻辑算子.ICCS建立在模糊区间值逻辑基础之上.区间值进程的前缀、并行进程以及和进程都被赋以区间值.由于在区间值上定义有关于模糊度和关于真度的两个不同的偏序关系及相应的逻辑算子,区间值进程可以根据实际需要在模糊度与真度两个不同度量之间作出选择.文章给出了ICCS关于模糊度和关于真度的两类操作语义AOS和TOS,分别引入相应的强互模拟和ω-强互模拟的概念,并讨论了有关性质.
其他文献
该文以军队装备维修费分析为应用背景,按照需求分析、概念设计、逻辑建模、系统实现的软件工程过程,对基于多维数据库的OLAP技术及其实现方法进行了研究:⑴提出了面向用户的
该文在计算机图形学、心理学、生理学等领域的理论研究基础上,对人脸合成与表情模拟这两方面的技术进行了深入的研究.人脸合成方面,修正了特定人脸的照片,通过整体变形和局部
随着智能控制的快速发展，人们在模糊控制理论探索和实际应用两个方面，都进行了大量研究，并取得了比较好的成果。本文以涟钢四轧厂加热炉燃烧过程为背景，介绍了加热炉燃烧优化控制
论文主要研究组件技术及其在网络信息系统中的应用，还对WEB服务在网络信息系统中的重要作用及实现方法进行了分析和研究。由此，进一步深入地探讨运用组件技术和WEB服务构建网络
随着嵌入式技术的不断发展成熟，其已经广泛应用于很多领域，比如智能家电、工业控制、航空航天、国防建设等等。其中，在航空航天、工业控制的某些领域中，对嵌入式系统的实时性有着
随着移动定位设备（如GPS）的出现和传感器网络的快速发展，产生了大量的时空数据或移动物体位置数据，因此，“基于位置的服务”（LBS）吸引了众多的研究，LBS的核心技术就是提供大规模的持
分布式智能虚拟环境作为一个新兴的研究方向和复杂系统,目前仍然缺乏完善的建模和描述方法.该文认为,代理技术充分体现了人工智能和分布式计算的思想,非常适合于构造分布式智
Web从1991年出现以来，经过短短的几年时间已发展成为一个巨大的、全球化的信息空间。Web信息的海量性、分布性、动态性及现有查询工具的低效性，使得在Web上查找感兴趣的资料成
追踪体制是一种新的密码体制.当有多个用户分享某个秘密,而该秘密被泄露时,秘密的发布者可通过追踪体制确定泄露秘密的用户(叛徒)的身份.追踪体制是数字版权保护技术(DCPT)中