【摘 要】
：
分层刻画是传统的互模拟概念研究中的一个重要内容,它为一些互模拟判定算法提供了理论基石。（η,α）-互模拟是一种带折扣的近似互模拟概念,其定义蕴涵着一种折扣思想：在比较系统
【机 构】
：
南京审计学院工学院,南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金资助项目（60973045,11426136）, 江苏省高校自然科学基金资助项目（13KJB520012）
论文部分内容阅读
分层刻画是传统的互模拟概念研究中的一个重要内容,它为一些互模拟判定算法提供了理论基石。（η,α）-互模拟是一种带折扣的近似互模拟概念,其定义蕴涵着一种折扣思想：在比较系统差异时,越晚出现的差异越不重要。为（η,α）-互模拟建立分层刻画,将清晰地揭示这种折扣思想。此外,由于（η,α）-互模拟一般不是等价关系,所以传统的互模拟判定算法中常用的最粗划分方法不适用于（η,α）-互模拟的判定,基于（η,α）-互模拟的分层刻画给出一种该互模拟的判定算法。还提供一个简单的例子用于说明（η,α）-互模拟及其判定算法在描述
其他文献
为适应低温介质发动机高工况的需求，通过对CT20、ZTA7不同牌号钛合金材料特性分析，对新材料导管的弯曲成形工艺、焊接工艺进行了较为全面的试验，摸索出较为合理的工艺方案和成型
在VANET网络中，在V21与V2V的网络通讯模式下，一辆汽车在高速公路上行驶，当此车行驶到两个基站之间的网络信号盲区时，恰好被迫停驶或抛锚。为了协助此车最大程度地维持网络通讯，我
以较为常见的8011铝合金为研究对象,分析了Al-Ti-B中间合金对其组织及性能的作用机理,结果表明:Al-Ti-B对合金组织具有细化作用,同时对其性能也有一定的影响,最后对试验结果
<正>开采多年冻土砂矿时,通常使用ККП-43-25型十字形钎头钻凿炮眼。该类矿床岩石主要由砂岩—卵石—砾石组成,其普氏硬度系数f=4～10。有时还夹杂有直径2米左右和硬度系数f=
无证书密码体制既能避免基于身份的密码体制中存在的密钥托管问题，又能简化公钥证书的管理，具有巨大的优越性。对四个无证书签密方案进行了密码分析，指出有两个方案存在保密性攻
本文用氰化物和氨水混合液对硫化矿中金的浸取进行了研究。考察了氰化物浓度、石灰加入量、氨水浓度、温度、浸取时间、固液比和矿石粒度等因素对浸金率的影响,得到适合该硫
本文考查了二丁基卡必醇及与稀释剂组成体系对金的萃取、反萃取及再生萃取等性能。讨论了二丁基卡必醇萃取金的机理。
含金矿石的选别工艺,不仅要考虑金的产状、性质,而且要考虑伴生矿物的特点。对于贫硫化物石英脉含金矿石及褐铁矿含金氧化矿石的选别工艺,要根据矿石特性,确定技术先进、生产
在无线传感器网络中对于无固定位置的事件及查询是个重要的研究课题.结合高效及最大化网络生命周期,提出了一种基于哈希函数及能量均衡的事件查询算法.在该算法中,一个传感器
利用智能手机控制主机安全登录是一项智能终端与密码机制相结合的新一代登录技术.首先简要介绍了Winlogon和GINA相互关系及Windows系统交互式登录的基本原理,然后提出了Windo