同步合成Petri网系统活性与无死锁性的保持性

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

合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性等的保持性,是一个重要的研究问题.研究了Petri网系统同步合成操作活性与无死锁性的保持性.与以往研究工作不同,基于路径的并发合成用并发语言的方法,… …   相似文献

蒲飞  陆维明 《软件学报》2003,14(12):1977-1988

关于统计学习理论与支持向量机

下载全文  总被引：1030，自引：7，他引：1030

模式识别、函数拟合及概率密度估计等都属于基于数据学习的问题,现有方法的重要基础是传统的统计学,前提是有足够多样本,当样本数目有限时难以取得理想的效果.统计学习理论(SLT)是由Vapnik等人提出的一种小样本统计理论,着重研究在小样本情况下的统计规律及学习方法性质.SLT为机器学… …   相似文献

张学工 《自动化学报》2000,26(1):32-42

高斯颜色模型在瓷片图像分类中的应用

下载全文  

由于RGB颜色空间不能很好贴近人的视觉感知,同时也缺少对空间结构的描述,因此采用兼顾颜色信息和空间信息的高斯颜色模型以获取更全面的特征,提出了一种基于高斯颜色模型和多尺度滤波器组的彩色纹理图像分类法,用于瓷器碎片图像的分类。首先将原始图像的RGB颜色空间转换到高斯颜色模型;再用正… …   相似文献

郑霞  胡浩基  周明全  樊亚春 《中国图象图形学报》2012,17(9):1115-1121

利用代理签名构造基于身份的优化公平交换协议

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

为公平交换协议引入了一个自然的范例--基于身份的部分代理签名,给出其形式化的安全模型,同时提出了一个高效可证安全的部分代理签名方案.这是一个完全基于身份的优化公平交换协议.与以前协议不同的是,该方案没有使用任何零知识证明,有效地避免了大量计算.  相似文献

徐静  张振峰  冯登国 《软件学报》2007,18(3):746-754

基于地址转发表的交换式以太网拓扑发现方法

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

提出一种称为连接推理技术(connections reasoning technique)的谓词逻辑推理方法推导节点间的连接关系.该方法把交换机地址转发表翻译为一组谓词公式,把拓扑发现问题转变为一个谓词逻辑推理的数学问题,借助数学工具对拓扑发现问题进行研究.基于连接推理技术提出了… …   相似文献

孙延涛  吴志美  石志强 《软件学报》2006,17(12):2565-2576

数据流图的形式规范

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

本文提出了属性图,以描述数据流图的拓扑结构和性质,并提出了边（流）组成关系以给出父子数据流图平衡的形式定义,由此得到的数据流图的形式规范强于文献中现有的规范．本文提出的形式规范方法适用于不同类型的数据流图,包括ＤｅＭａｒｃｏ型数据流图、实时系统数据流图等．  相似文献

秦晓 《软件学报》1994,5(5):39-45

具有相切面的曲面立体线画图标记研究

  

为了更好地理解三维景物,介绍了前人对线画图标记的研究成果,同时建立了一种标记具有相切面的曲面立体线画图的方法,并给出了具有相切面的曲面立体线画图的标记规则。由于线画图中的节点是由三面角构成的顶点的投影,因此对于画出隐藏线的具有相切面的曲面立体线画图,其合法的节点标记形式有38种,… …   相似文献

鲁宇明  高满屯 《中国图象图形学报》2004,9(1):74-78

基于多层次优化技术的XACML 策略评估引擎

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

给出一种采用多层次优化技术的XACML(extensible access control markup language)策略评估引擎实现方案MLOBEE(multi-level optimization based evaluation engine).策略判定评估前,对原始… …   相似文献

王雅哲  冯登国  张立武  张敏 《软件学报》2011,22(2):323-338

边赋权森林ω-路划分的O(n)算法

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

ω-路划分问题是路划分问题的一般化,它源于并行计算机系统、计算机网络与分布式控制系统等一类广播通信问题.设置最少的信息源节点,使得在指定的时间内将信息源节点所拥有的信息发送到其余节点,并且保证不同通信线路之间不得相交.从Hamilton路的NP-完全性不难看出,ω-路划分问题属于NP-完全问题.通过构造性证明技术,获得了边赋非负权路径、树和森林的ω-路划分问题的一些性质.分别提出了求解边赋非负权路径和边赋非负权树的ω-路划分问题的线性时间算法,讨论了算法的局部实现技术,详细地分析了这些算法的复杂度.以这两个算法为基础,提出了一个线性时间算法求解边赋非负权森林的ω-路划分问题.所提出的算法直观简明、操作容易,只需要较少的运行时间和较小的存储空间.… …   相似文献

蔡延光  张新政  钱积新  孙优贤 《软件学报》2003,14(5):897-903

一种基于行程编码的P2P网络动态信任模型

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

基于数据压缩领域中的行程编码理论提出一种RunTrust动态信任模型,以系统收益衡量节点合作成果,以经过压缩的节点合作记录作为信任评估依据,既增加了评估依赖的信息量,也保留了时间维度,提高了信任度评估的准确性和动态恶意行为的判别能力;借助基于时间的反馈聚合算法,通过特殊的反馈过滤… …   相似文献

方群  吉逸  吴国新  赵生慧  吴鹏 《软件学报》2009,20(6):1602-1616

空间数据挖掘知识的地图可视化表达*

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

通过分析空间数据挖掘所能发掘的知识类型,对发掘出的知识表达方式进行了研究,提出地图是空间数据挖掘规则和知识的可视化表达的优秀和成熟的表示方法,并对如何表达进行了探讨。  相似文献

王佐成  薛丽霞  李永树  徐京华 《计算机应用研究》2006,23(2):253-255

基于三级存储阵列缓存高速数据包及性能分析

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

高速网络设备一般需要大容量高速数据包存储器来缓存收到的数据包.但以目前的存储器工艺水平很难实现这样的存储器,从而限制了整个网络的发展.提出一种新型的三级存储阵列结构可以成功解决数据包存储器的容量和带宽问题,理论上可以实现任意高速数据包的缓存.使用\"最关键队列优先\"算法完成对三… …   相似文献

王鹏  伊鹏  金德鹏  曾烈光 《软件学报》2005,16(12):2181-2189

三维超宽带无线传感网的能耗界限

  

研究了n个静态节点随机分布在单位球上的三维超宽带无线传感网,利用Vapnik-Chervonenkis定理和Voroni棋盘格子覆盖传感区域,推导出了某个节点发射包含R比特的数据分组以多跳方式到达汇聚节点时的能量消耗上下界.研究表明,能量消耗的上下界与网络节点密度n成反比.因此,… …   相似文献

徐娟  洪永发  蒋昌俊  陈林 《软件学报》2007,18(10):2645-2651

一个安全标记公共框架的设计与实现

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

标记是实现多级安全系统的基础,实施强制访问控制的前提.如何确定和实现标记功能并使其支持多种安全政策是研究的目的.提出了一个安全标记公共框架,该框架基于静态客体标记和动态主体标记,引入了访问历史的概念,并给出了一个完备的标记函数集合.基于此框架,既可以实施多等级保密性安全政策,又可… …   相似文献

梁洪亮  孙玉芳  赵庆松  张相锋  孙波 《软件学报》2003,14(3):547-552

利用关联矩阵的秩判断Petri网的公平性

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

本文对有界Ｐｅｔｒｉ网的公平性与分组公平性以及无界Ｐｅｔｒｉ网的公平性分别得到了利用关联矩阵的秩进行判断的一组充要条件,这些条件使用起来是非常方便的．  相似文献

王培良  蒋昌俊 《软件学报》1994,5(12):24-29

Web应用服务器自适应负载平衡服务

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

Web应用服务器是为事务性Web应用提供一系列运行时服务的分布式系统.基于中间件的自适应负载平衡服务是为Web应用服务器提供高可信赖性和高伸缩性的一种有效方法,但目前还存在许多不足,如缺乏服务端透明性、负载策略不可替换等,不能满足Web应用服务器特有的需求.分析了Web应用服务器… …   相似文献

范国闯  朱寰  黄涛  冯玉琳 《软件学报》2003,14(6):1134-1141

一种策略驱动的BPEL流程异常处理框架

  

如何提高BPEL流程异常处理的开发效率是策略驱动的BPEL流程异常处理方法亟待解决的关键问题之一.首先分析了基于策略的BPEL流程异常处理机制,设计了一种新的BPEL流程异常处理策略描述语言BPEH/PDL,然后结合BPEH/PDL异常处理策略,给出了一种新的BPEL流程异常处理… …   相似文献

王权于  吕国斌  应时  周峰 《计算机科学》2015,42(1):180-186,192

分块多线性主成分分析及其在人脸识别中的应用研究

  

主成分分析(Principal Component Analysis,PCA)是人脸识别中一个经典的算法,但PCA方法在特征提取时考虑的是图像的整体信息,并没有考虑图像的局部信息,而分块PCA(Modular Principal Component Analysis,Modula… …   相似文献

谢佩  吴小俊 《计算机科学》2015,42(3):274-279

双目视觉测量系统的标定及3维测量

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

针对结构光形位公差视觉测量系统,提出了一阶径向畸变的摄像机成像模型和标定方法,并对传统的直接线性变换(DLT变换)标定算法做了些改进。即先针对没有畸变的线性模型,利用传统的标定算法,解线性超定方程组求解摄像机的全部参数,再针对引入一阶径向畸变的成像模型,以线性模型的参数为初值,通… …   相似文献

夏艳  苏中  吴细宝 《中国图象图形学报》2008,13(7):1298-1302

完全质量保持的AVS视频可逆信息隐藏算法

下载全文  

可逆信息隐藏在医学资料管理、法律取证等领域有广泛的应用。提出一种以AVS视频为载体的可逆信息隐藏算法,通过同时修改宏块的量化参数和DCT量化系数实现信息的嵌入。算法不仅在提取出嵌入信息后能完全恢复出原始载体视频,而且信息的嵌入不会对载体视频的视觉质量造成任何损失。为了解决算法引起… …   相似文献

郭宝安  陈彪  张飚  于志强  张卫明 《中国图象图形学报》2012,17(1):13-19