S-组合Petri网的活性分析与实现

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

设Σ１＝（Ｎ１,Ｍ１）,Σ２＝（Ｎ２,Ｍ２）是两个Ｐｅｔｒｉ网,且不含有冻结标志,Ｎｉ＝（Ｓｉ,Ｔｉ;Ｆｉ）,ｉ＝１,２,Ｔ１∩Ｔ２＝Φ,Ｓ１∩Ｓ２≠Φ,本文定义了Σ１,Σ２的Ｓ－组合Ｐｅｔｒｉ网Σｓ,通过引入Ｐｅｔｒｉ网互逆位置序偶的概念,深入研究了Σｓ的活性,给出了Σｓ有界活… …   相似文献

杜玉越  李孝忠 《计算机学报》1998,21(8):747-752

一种双种群进化规划算法

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

在分析了导致进化规划算法早熟原因的基础上,提出了一种新的双群进化规划算法.在该算法中,进化在两个不同的子群间并行进行,通过使用不同的变异策略,实现种群在解空间具有尽可能分散的探索能力的同时在局部具有尽可能细致的搜索能力.通过子群重组实现子群间的信息交换.对该算法性能进行的理论分析… …   相似文献

王向军  向东  蒋涛  林春生  龚沈光  方兴 《计算机学报》2006,29(5):835-840

基于Speech SDK的语音控制应用程序的设计与实现

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

分析了微软Speech SDK5．1里语音应用程序接口(SAPI)的结构和工作原理,提出了语音控制应用程序的设计方法,并以“Z Z智能教学平台的语音识别接口”的设计为例,展示了这类系统的主框架和关键技术。  相似文献

李禹材  左友东  郑秀清  王玲 《计算机应用》2004,24(6):114-116

Android安全综述

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

Android是一款拥有庞大市场份额的智能移动操作系统,其安全性受到了研究者的广泛关注.介绍了Android的系统架构,分析了Android的安全机制,从系统安全和应用安全2个角度对其安全性能和相关研究进行了讨论.Android系统安全包括了内核层安全、架构层安全和用户认证机制安… …   相似文献

张玉清  王凯  杨欢  方喆君  王志强  曹琛 《计算机研究与发展》2014,51(7)

图的顶点着色问题的DNA算法

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

图的顶点着色问题是指无向图中任意两个相邻顶点都分配到不同的颜色,这个问题是著名的NP-完全问题,没有非常有效的算法.但在1994年Adleman^[1]首次提出用DNA计算解决NP-完全问题,设计出一种全新的计算模式—模拟生物分子DNA的结构并借助于分子生物技术进行计算,使得NP-完全问题的求解可能得到解决.本文首先提出了基于分子生物技术的图的顶点着色问题的DNA算法,算法的关键是对图中的顶点和顶点的颜色进行恰当的编码,以便于使用常规的生物操作及生物酶完成解的产生及最终解的分离,依据分子生物学的实验方法,本文提出的算法是有效和可行的;其次指出了该算法的优点、存在的问题及将来进一步的研究方向.… …   相似文献

高琳  许进 《电子学报》2003,31(4):494-497

基于角色访问控制管理模型的安全性分析

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

在基于角色的访问控制管理模型中,采用安全查询来描述系统安全策略,引入状态变换系统定义基于角色的访问控制管理模型及其安全分析,用图灵机理论和计算复杂性理论进行安全分析.将安全查询分类为必然性安全查询和可能性安全查询,证明了必然性安全查询和与状态无关的可能性安全查询能在多项式时间内被… …   相似文献

杨秋伟  洪帆  杨木祥  朱贤 《软件学报》2006,17(8):1804-1810

汉语基本名词短语结构分析模型

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

本文提出了用词语潜在依存关系分析汉语ｂａｓｅＮＰ结构的模型,它有以下的特点：①将依存语法知识融入概率模型中,使得ｂａｓｅＮＰ结构分析在依存语法知识的指导下进行,其性能优于纯粹的概率模型－相依模型;②词语潜在依存强度的获取算法是基于ＭＤＬ原则的,在模型建造时既考虑数据拟合性,又考虑… …   相似文献

赵军  黄昌宁 《计算机学报》1999,22(2):141-146

多尺度变换域图像的感知与识别:进展和展望

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

多尺度变换域隐马尔可夫模型能够有效地描述变换域系数在尺度间、尺度内和方向间的统计相关性,是一种新的统计图像感知与识别方法,文中以变换域系数的统计相关性描述为中心,以模型的设计和应用的开展为两翼,深入分析了子波变换的三级统计特性与机理,比较研究了多尺度变换域的十种统计模型,并系统评… …   相似文献

焦李成  孙强 《计算机学报》2006,29(2):177-193

基于本体的跨语言信息检索模型

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

随着网络信息的日益丰富和用户需求的提高,人们已经不能满足于仅仅在同一语种中进行检索,跨语言的信息检索(CLIR)因而受到人们越来越多的关注。为此,本文提出了一种新的基于语义的跨语言信息检索模型Onto-CLIR,该模型在传统信息检索技术的基础上,利用本体来刻画不同语言中对应的领域… …   相似文献

王进  陈恩红  张振亚  王煦法 《中文信息学报》2004,18(3):2-9,61

DTD的规范化

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

一个设计良好的DTD对于XML应用来说是必须的,从消除文档内数据冗余的角度出发研究了这一问题。函数依赖是数据语义的重要组成部分,将它引入到XML的领域中。给出的函数依赖可以是绝对的,也可以是相对的,键只是它的一种特例。讨论了逻辑蕴涵及其相应的推理规则,并证明了推理规则集的正确性和… …   相似文献

谈子敬  施伯乐 《计算机研究与发展》2004,41(4):594-600

一种嵌入可读水印的自适应盲水印算法

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

本文提出了一种基于DWT的嵌入可读水印的自适应盲水印算法,通过分析图像经离散小波变换后细节子带系数的特性,把细节子带系数的均值和方差作为水印信息的一部分来自适应地修改图像小波分解后某些细节子带的系数值,在满足水印不可感知性的条件下自适应地嵌入水印信息,实现了水印不可感知性和鲁棒性… …   相似文献

张冠男  王树勋  温泉 《电子学报》2005,33(2):308-312

可信网络中基于多维决策属性的信任量化模型

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

可信网络中的信任关系模型本质上是最复杂的社会关系之一,涉及假设、期望、行为和环境等多种因子,很难准确地定量表示和预测.综合考虑影响信任关系的多种可能要素,提出了一个新的基于多维决策属性的信任关系量化模型,引入直接信任、风险函数、反馈信任、激励函数和实体活跃度等多个决策属性,从多个… …   相似文献

李小勇  桂小林 《计算机学报》2009,32(3)

随机Petri网模型中变迁的串、并联性能等价化简技术

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

随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一.在随机Petri网模型中,变迁的串、并联是Petri网模型的主要基本形式,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题,而且也为其他随机Petri网的化简技术提供一个坚实的基础.另外在诸如… …   相似文献

田立勤  林闯  周文江 《电子学报》2002,30(8):1134-1137

基于支持向量机的计算机键盘用户身份验真

  总被引：19，自引：3，他引：19

口令认证因为简便易实现而被大多数计算机系统所采用,但容易被盗用,存在着严重的安全隐患,而利用对用户的键入特性的识别,可以大大加强口令认证的可靠性,在对国内外众多学者所做工作研究的基础上,鉴于支持向量机在进行模式识别对所具有的优良性能,提出利用支持向量机进行键入特性验真,并通过实验… …   相似文献

刘学军  陈松灿  彭宏京 《计算机研究与发展》2002,39(9):1082-1086

嵌入式操作系统综述

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

简单介绍了嵌入式操作系统的特征,详细分析了目前常见的嵌入式操作系统及其实现技术。  相似文献

涂刚  阳富民  胡贯荣 《计算机应用研究》2000,17(11):4-5,9

工作流管理技术：机遇和挑战

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

最近几年,工作流技术的研究和应用已引起了许多研究人员、开发人员和用户的普遍关注。象计算机支持的协同工作、无纸办公、表单传递、协作系统和办公自动化这些概念很早就已经提出,但由于实现技术和应用领域的限制一再被搁浅。随着高性能微机的普及,分布式网络通讯和业务流程重组技术的发展,使得这一… …   相似文献

吴朝晖  潘云鹤 《计算机科学》1999,26(10):20-23

多传感器目标识别的数据融合

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

本文针对军事上的目标识别问题，论述了多传感器的属性融合技术，包括属性融合的概念，原理，处理结构，算法及应用举例，指出属性融合中存在的主要问题，难点及可能解决的途径，并预测了未来发展趋势。  相似文献

孙红岩  毛士艺 《电子学报》1995,23(10):188-193

数据广播中的UCL标引与传输机制

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

UCL(Uniform Content Locator)是作者、编者和读者进行语义沟通的工具,是数据广播中解决接收端数据信息的快速选择、信息过滤、智能代理和信息的主动服务的基础.本文系统地介绍了数据广播中UCL的概念,提出了在数据广播中进行UCL标引的方法和两级复用方法,研究了数… …   相似文献

马建国  邢玲  李幼平  李在铭 《电子学报》2004,32(10):1621-1624

基于GSM短消息的信息查询系统

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

介绍使用GSM的短信息实现远程的信息查询,查询系统的数据库的设计及其查询系统应用服务器的建立。研究结果可以用来做各部门的人员调查,基于短消息的信息点播,该系统的特点是系统扩展性好,廉价方便,客户端利用已经非常普及的手机,服务器端由PC机或是专用的服务器,加上GSM控制模块构成。… …   相似文献

易庆  石志国  王志良  李擎 《计算机应用研究》2003,20(2):63-65

车用自组织网络传输控制研究

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

车用自组织网络--VANET(vehicle ad-hoc network)作为移动自组织网络和传感器网络在道路交通领域的应用,不具备完整协议体系结构,没有专门的传输控制协议.为提供VANET传输协议设计参考,研究了VANET传输协议设计应具备的目标和要素.首先介绍了VANET的… …   相似文献

陈立家  江昊  吴静  郭成城  徐武平  晏蒲柳 《软件学报》2007,18(6):1477-1490