工作流过程建模中的形式化验证技术

  总被引：20，自引：2，他引：20

工作流过程建模是一个复杂且易错的过程.若过程定义在投入运行之后被发现有错,则修复错误的代价相当高,这个问题引起了研究界和工业界的高度重视.因此,在建模阶段进行有效的过程验证是十分必要的.综述了工作流过程验证技术的发展现状,包括强调验证的重要性,叙述了需要验证的问题和复杂度;介绍了… …   相似文献

周建涛  史美林  叶新铭 《计算机研究与发展》2005,42(1):1-9

多进制正交码扩频系统的解扩和同步技术及其实现

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

本文实现了一个Ｍ进制正交码扩频系统,它能传输２．４Ｋｂｐｓ和１６Ｋｂｐｓ两种信息速率数据并能在低信噪比条件下扩译码,文中首先讨论了该编三扩频和解扩译码的方案,其次讨论了码片采用ＭＳＫ调制时,本地载频和抽样时钟的初始相位的估计方法,然后提出承解扩译码的同时进行相位跟踪的Ｑ支路相关同… …   相似文献

薛筱明  李建东 《电子学报》1998,26(1):105-110

0-1规划问题的DNA计算

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

DNA计算是解决一类难以计算问题的一种新方法,这种计算随着问题的增大可以呈指数增长。迄今为止,许多研究成果已经成功地提高了它的性能和增加了它的可行性,该文提出了在基于表面的DNA计算中采用了荧光标记策略,解决简单的0-1规划问题的一种理论方案,尝试了DNA计算在规划问题中的应用。… …   相似文献

殷志祥  张凤月  许进 《电子与信息学报》2003,25(1):62-66

细胞神经网络超混沌系统同步及其在保密通信中的应用

  总被引：20，自引：2，他引：20

本文研究四阶细胞神经网络超混沌系统同步方法,提出了一种基于细胞神经网络超混沌同步系统的扩展谱保密通信系统;这个保密通信系统不仅只需传递一个标量信号,而且由于采用了超混沌系统,所设计的保密通信系统具有更高的保密性。  相似文献

蒋国平  王锁萍 《通信学报》2000,21(9):79-85

自适应模糊Hough变换

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

提出一种直线检测的新方法——自适应模糊Hough变换.该方法在依据梯度方向信息对边缘像素进行模糊映射的基础上,以模糊累积矩阵作为全局约束条件,采用模糊推理求取每像素所属直线的具体参数,并通过二次累积检测直线段.实验表明所提算法计算消耗小,检测精度高,并能提供直线段的完整描述.… …   相似文献

唐亮  谢维信  黄建军  黄敬雄 《电子学报》2004,32(6):946-949

基于Ontology的领域知识构建技术综述

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

随着知识资源的不断丰富, 对知识进行有效的组织和管理, 实现知识共享和重利用, 从而充分有效地利用知识资源是一项迫切的研究课题。Ontology 的知识组织方式通过提供对领域知识的共同理解实现知识共享, 主要从定义、功能、构建、应用、研究现状等方面对Ontology 进行了介绍分… …   相似文献

何海芸  袁春风 《计算机应用研究》2005,22(3):14-18

一个Web服务事务处理模型:结构、算法和事务补偿

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

事务处理是Web服务能否用于电子商务的关键技术之一.Web服务事务处理必须提供协调短事务和长事务的能力.本文提出了一个能够同时处理原子事务和聚合事务的模型,研究了其协调算法、状态转换及恢复机制.聚合事务允许候选者独立提交,并使用补偿事务来撤销已提交的子事务所带来的影响,可以较好地… …   相似文献

唐飞龙  李明禄  曹健 《电子学报》2003,31(Z1):2074-2078

任意平面域上离散点集的三角化方法

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

本文提出了一种快速、有效的三角化算法,实现了任意平面域上散乱数据的三角化,生成的网络符合Delaunay准则,网格的优化是在网格生成过程中完成的,算法复杂度与点数呈近似线性关系.该算法运用于石油地质勘探领域,成功地解决了包含复杂断层的大规模数据点的三角化问题.  相似文献

杨钦  徐永安  陈其明  谭建荣 《软件学报》1998,9(4):241-245

无线传感器网络中的信任管理

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

作为对基于密码体系的安全手段的重要补充,信任管理在解决WSNSs(wireless sensor networks)中的内部攻击,识别恶意节点、自私节点及低竞争力节点,提高系统安全性、可靠性和公平性等方面有着显著优势.综述了WSNs环境下信任管理的特点、分类方法、框架设计、脆弱性… …   相似文献

荆琦  唐礼勇  陈钟 《软件学报》2008,19(7):1716-1730

基于FPGA和DSP实现的实时图像压缩

  总被引：20，自引：2，他引：20

利用FPGA的并行分布流水特点,选用exilinx公司的50万门级芯片XCV400E,设计并实现CIF格式(352×288象素)图像实时DCT变换.该设计采用乒乓模式,只需设计一个快速算法模块(F×C^T)就解决了C×F×C^T的实现算法.当视频信号通过数字化后逐行输入FPGA,在行、场同步信号和采样时钟的控制下,每输入一组数据(8个),就进行行向量与C^T的矩阵乘运算(F×C^T),并将结果按转置方式保存,每输入一个数进行一次(1×8)×(1×8)矩阵运算,每行进行352×(1×8)×(8×8)次矩阵运算,其中44次(1×8)×(8×8)矩阵运算的结果需要按转置形式(H^T=(F×C^T)^T)存储;当输入下一组8行数据时,对该组数据进行与前述8行数据相同的矩阵运算,而对刚做完(F×C^T)运算的8行相应结果,则按正常顺序取出进行(H^T×C^T)运算,将结果按转置形式(G^T=C×H)输出.从而以实时流水的方式完成C×F×C^T运算.功能仿真、时序仿真和与TMS320C62X系统的成功对接验证了本设计及算法的正确性.… …   相似文献

赵保军  史彩成  毕莉  安建波  毛二可 《电子学报》2003,31(9):1317-1319