切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
会议论文
指标互模拟的模态逻辑特征
指标互模拟的模态逻辑特征
来源 :2005中国计算机大会 | 被引量 : 0次 | 上传用户:luzhengnan801106
【摘 要】
:
互模拟的逻辑特征是进程代数研究中的重要内容之一。指标互模拟是最近提出的用于描述进程近似等价的概念。由于指标互模拟在度量ρ不要求为超度量时一般不是等价关系,因而传统
【作 者】
:
张晋津
朱朝晖
【机 构】
:
南京航空航天大学信息科学与技术学院,江苏南京210016
【出 处】
:
2005中国计算机大会
【发表日期】
:
2005年期
【关键词】
:
描述指标
互模拟
模态
逻辑特征
度量
进程代数
等价关系
概念
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
互模拟的逻辑特征是进程代数研究中的重要内容之一。指标互模拟是最近提出的用于描述进程近似等价的概念。由于指标互模拟在度量ρ不要求为超度量时一般不是等价关系,因而传统的逻辑特征形式不适用于此。本文提出了一种新的逻辑特征的形式用于描述指标互模拟在度量ρ不要求为超度量时的模态逻辑特征。
其他文献
基于I<'2>C总线的TCP/IP网络及其在Linux系统中的实现
本文提出构建以 I2C 总线为物理介质的 TCP/IP嵌入式计算机网络,并探讨了该方案在 Linux 系统的实现。采用这种方式,连接在 I2C 总线上的微处理器一方面可以访问总线上的外围设
会议
向刘胡兰姐姐学习
革命英雄刘胡兰的故事,我在很小的时候就听过。我读过《刘胡兰小传》,看过歌剧《刘胡兰》的演出。打那时候起,胡兰姐姐就成了我最敬佩的人。这次又看到山西人民话剧团演出的
期刊
刘胡兰
革命英雄
山西人民
怕麻烦
最后一次
斗争精神
将革命进行到底
活着
革命工作
做军鞋
基于Web Services和XML签名技术的认证字典在分布式数据中的应用
随着电子数据的普及,数据分布性及可认证性的需求越来越紧迫。本文使用 Web Services 和 XML签名技术,构造了一种由不可信任的目录向查询用户发送认证信息的体系结构,在此基础上
会议
签名技术
认证字典
分布式
数据系统
实验结果分析
整合服务
体系结构
可认证性
电子数据
可信任
分布性
用户
性能
信息
设计
普及
目录
基础
环境
构造
股市是圣诞老人还是魔鬼
1946年,我父亲还处在创业之初,他购买了一家当时名叫哈罗伊德的公司的500股股票。据父亲回忆,当时股票的价格是9美元一股。他把这些股票保存了两年,股价慢慢爬升到16美元。1
期刊
施乐公司
罗伊德
交易人
有效市场假设
数学方式
随机游走
西蒙斯
商业计划
特定值
制胜之道
自组装改性TiO<,2>粉体的亲疏水性研究
本文利用十八烷基三氯硅烷(OTS)的自组装对TiO2 粉体进行表面改性。IR 和TG 实验表明,不同浓度的OTS 溶剂改性TiO2 粉体可获得不同的接枝密度和覆盖率的改性粉体。静态接触角和
会议
自组装
溶剂改性
改性粉体
表面覆盖率
十八烷基三氯硅烷
静态接触角
动态接触角
疏水性质
接枝密度
测定结果
表面性质
表面改性
性转变
亲水性
实验
浓度
环糊精在生物转化中的应用及其作用机理研究的进展
环糊精具有独特的结构与功能性质特点,这使得环糊精的应用领域不断扩展。环糊精在生物转化中具有多方面的应用,现就国内外有关的应用及机理研究情况作一简要综述。
会议
环糊精
生物转化
应用及其作用
性质特点
机理研究
综述
扩展
结构
国内
功能
一种基于模型的从本体中自动导出用户界面的方法
为了解决在知识密集型的应用中,用户界面中(UI)的规则如何能够匹配知识库中的规则这个问题,本文提出了基于模型的从本体中导出 UI 的方法。该方法根据声明性的模型自动生成 UI,
会议
信息检索系统的用户个性化服务方法
随着国际互联网信息的日益增长,从网络上检索用户真正想要的信息已越来越困难。在这种形势下,从用户主动检索网络发展为网络主动向用户推荐资源逐渐成为一种趋势,随之个性化服务
会议
关于在分子生物化学与工程领域里若干理论问题的研究(Ⅰ) ——从电子计算机信息学观点看DNA中64个三联体密码子形成的必然性
本文从自然界黄金分割原理出发,界定了三联体结构密码子中的碱基的地位,这种地位决定了三个碱基的位置是不可以调换的情况,从而进一步确立了64 个三联体客观存在性。
会议
分子
生物化学
工程领域
理论问题
电子计算机
信息学
三联体
客观存在性
联体结构
黄金分割
地位
自然界
密码子
原理
位置
脂肪酶催化合成L-抗坏血酸乳酸酯
对以L-抗坏血酸与乳酸乙酯为底物,脂肪酶催化合成L-抗坏血酸乳酸酯进行研究。系统研究了酶、摇床转速、底物配比、温度、反应时间等多种因素在酶催化反应中的作用和影响,确定了
会议
与本文相关的学术论文