网简化技术在Petri网反馈控制器设计中的应用

下载全文  总被引：3，自引：1，他引：3

针对基于Petri网离散事件系统库所标识不等式约束反馈控制器的设计问题,提出一项新型网简化技术--标识总量保持网简化技术,并利用此项技术把所有约束库所融合为一个与它们标识总量相等的库所,使控制器的设计更为简单,尤其是对规模较大的系统,其优势更加明显.借助一个应用实例,将该控制器设… …   相似文献

王寿光  颜钢锋  蒋静坪 《软件学报》2003,14(6):1037-1042

公式分层的谓词模态逻辑

下载全文  

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.… …   相似文献

孙梅莹  邓少波  陈博  曹存根  眭跃飞 《软件学报》2014,25(5):1014-1024

一种WSN中的三层多维事件协作检测算法

  总被引：1，自引：0，他引：1

提出了一种适用于无线传感器网络的三层多维事件协作检测算法。传感器节点通过计算均值向量序列的相似度发现异常,并通过投票机制确认事件发生。簇头节点根据边界向量序列的相似度,利用改进的K均值聚类算法对多维事件数据进行分类和合并。汇聚节点利用事件属性数据的概率分布,匹配检测出事件的类型。… …   相似文献

王浩云  刘佼佼  方贺贺  任守纲  徐焕良 《计算机科学》2014,41(5):91-96

基于融合的无线传感器网络k-集覆盖的分布式算法

  

当节点采用概率感知模型且融合多个节点的数据进行联合感知的情况下,提出了一个新的无线传感器网络的覆盖优化问题:基于融合的k-集覆盖优化问题.首先,将优化问题建模为融合覆盖博弈,证明该博弈是势博弈,且势函数与优化目标函数一致,因此,最优解是一个纯策略Nash均衡解.其次,给出了节点间… …   相似文献

李劲  岳昆  刘惟一 《电子学报》2013,41(4):659-665

复杂对象及其并发控制

下载全文  

复杂对象是现实世界复杂实体的抽象与描述,CIMS、CAD和OA等许多应用领域需要定义和操纵复杂对象,本文给出了复杂对象模型的定义,并论述了面向对象数据库系统WHYMX的复杂对象并发控制机制。  相似文献

徐庆云  王能斌  陈钢 《软件学报》1993,4(5):46-50

基于TETRA的端到端安全的研究*

下载全文  

由ETSI制定的无线集群移动通信标准——TETRA标准中的很多功能是为满足警察和其他公共安全部门的特殊要求而设计的,这些特殊要求中包含了安全方面的要求。TETRA标准描述了鉴权、空中接口加密等基本安全功能,而把端到端安全留给用户自己来设计和实施。参考TETRA MoU组织给出的对… …   相似文献

李晖  钮心忻  杨义先  周锡增 《计算机应用研究》2006,23(3):108-110

空间网格面片可见边界提取方法研究与应用

下载全文  

在计算机视觉和图形学中广泛应用三角网格来表示空间曲面,在许多应用领域基于边缘检测的2维图像处理技术已非常成熟,但空间三角网格面片边界提取,特别是沿某一方向可见边界提取方法还没有得到很好发展。本文提出一种求解三角网格面片可见边界算法,该算法根据光线方向和三角网格对应的法向量判断三角… …   相似文献

郭爱斌  邓家禔 《中国图象图形学报》2007,12(11):2119-2123

一种基于广义梯度矢量流Snake模型的心脏MR图像分割方法

下载全文  总被引：2，自引：0，他引：2

提出了一种基于广义梯度矢量流Snake模型的心脏核磁共振图像左心室内、外膜分割方法。首先构造了一种基于目标边缘的方向广义梯度矢量流(edge-based directional generalized gradient vector flow, EDGGVF) Snake模型,该… …   相似文献

武玉伟  梁佳  王元全 《中国图象图形学报》2010,15(4):598-606

一种约束粒子群优化的无线传感器网络节点定位算法

  

节点定位是无线传感网络的关键技术。无线电测距虽然精度高,但用最小二乘算法进行节点定位的误差较大。为了提高基于测距的无线传感器网络节点定位的精度,把节点定位问题转换成约束优化问题,再运用粒子群优化算法进行求解。求解过程中,通过设定约束适应度函数和距离适应度函数,降低了搜索的计算量,… …   相似文献

欧阳丹彤  何金胜  白洪涛 《计算机科学》2011,38(7):46-50

OFDM系统中的联合同步和信道估计

  总被引：1，自引：0，他引：1

在OFDM系统中,由于定时恢复、频率同步和信道估计之间存在密切联系,时延和频偏的估计误差会影响信道响应估计的准确性.本文采用IEEE802.11a无线局域网系统标准定义的训练序列进行联合估计.考虑系统性能优化和算法简化,将处理过程分成两步,首先得到粗的同步和信道响应估计,再利用得… …   相似文献

曹雪虹 《电子学报》2006,34(3):508-512