指标互模拟的模态逻辑特征

来源 :2005中国计算机大会 | 被引量 : 0次 | 上传用户:luzhengnan801106
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
互模拟的逻辑特征是进程代数研究中的重要内容之一。指标互模拟是最近提出的用于描述进程近似等价的概念。由于指标互模拟在度量ρ不要求为超度量时一般不是等价关系,因而传统的逻辑特征形式不适用于此。本文提出了一种新的逻辑特征的形式用于描述指标互模拟在度量ρ不要求为超度量时的模态逻辑特征。
其他文献
本文提出构建以 I2C 总线为物理介质的 TCP/IP嵌入式计算机网络,并探讨了该方案在 Linux 系统的实现。采用这种方式,连接在 I2C 总线上的微处理器一方面可以访问总线上的外围设
会议
革命英雄刘胡兰的故事,我在很小的时候就听过。我读过《刘胡兰小传》,看过歌剧《刘胡兰》的演出。打那时候起,胡兰姐姐就成了我最敬佩的人。这次又看到山西人民话剧团演出的
随着电子数据的普及,数据分布性及可认证性的需求越来越紧迫。本文使用 Web Services 和 XML签名技术,构造了一种由不可信任的目录向查询用户发送认证信息的体系结构,在此基础上
1946年,我父亲还处在创业之初,他购买了一家当时名叫哈罗伊德的公司的500股股票。据父亲回忆,当时股票的价格是9美元一股。他把这些股票保存了两年,股价慢慢爬升到16美元。1
本文利用十八烷基三氯硅烷(OTS)的自组装对TiO2 粉体进行表面改性。IR 和TG 实验表明,不同浓度的OTS 溶剂改性TiO2 粉体可获得不同的接枝密度和覆盖率的改性粉体。静态接触角和
环糊精具有独特的结构与功能性质特点,这使得环糊精的应用领域不断扩展。环糊精在生物转化中具有多方面的应用,现就国内外有关的应用及机理研究情况作一简要综述。
为了解决在知识密集型的应用中,用户界面中(UI)的规则如何能够匹配知识库中的规则这个问题,本文提出了基于模型的从本体中导出 UI 的方法。该方法根据声明性的模型自动生成 UI,
会议
随着国际互联网信息的日益增长,从网络上检索用户真正想要的信息已越来越困难。在这种形势下,从用户主动检索网络发展为网络主动向用户推荐资源逐渐成为一种趋势,随之个性化服务
会议
本文从自然界黄金分割原理出发,界定了三联体结构密码子中的碱基的地位,这种地位决定了三个碱基的位置是不可以调换的情况,从而进一步确立了64 个三联体客观存在性。
对以L-抗坏血酸与乳酸乙酯为底物,脂肪酶催化合成L-抗坏血酸乳酸酯进行研究。系统研究了酶、摇床转速、底物配比、温度、反应时间等多种因素在酶催化反应中的作用和影响,确定了
会议