检索结果-维普期刊中文期刊服务平台

军用网格体系结构及Petri Net模型被引量：4: 1; 作者曹耀钦李光明宋建社《电光与控制》北大核心 2007年第2期77-80,共4页; 网格体系结构是网格计算的关键技术之一。针对军事应用需求,提出了一种面向军事应用的网格体系结构,讨论了各层次组成及功能,并研究了网格体系结构的Petri Net描述方法。与经典网格体系结构相比,提出的体系结构有助于提高网格系统的好... 展开更多; 关键词军用网格网格体系结构 Petfi网模型; 在线阅读下载PDF 职称材料

基于角色的时态对象存取控制模型被引量：18: 2; 作者王小明赵宗涛《电子学报》 EI CAS CSCD 北大核心 2005年第9期1634-1638,共5页; 以基于角色的存取控制模型RBAC3为基础,提出一种新的时态对象存取控制模型TRBAC,讨论了模型的构成要素,体系结构,时态多重继承机制和存取控制方法.它支持时态用户、时态角色和时态客体及其层次结构,具有动态存取控制功能,在时态数据库... 展开更多; 关键词时态对象存取控制角色时间约束时态继承机制; 在线阅读下载PDF 职称材料

基于LS MPP的图像分块模板匹配并行算法被引量：3: 3; 作者李俊山沈绪榜《电子与信息学报》 EI CSCD 北大核心 2001年第9期868-874,共7页; 该文提出了一种新颖的在基于K元2-立方体网络的SIMD计算机上运行的图像分块模板匹配并行算法。该算法对于N×N的图像、M×M的模板和K×K的处理元阵列(M<K,N=BK,B>1),可通过将图像分成B×B个图像块的分块模板匹配... 展开更多; 关键词图像分块模板匹配 SIMD计算机并行算法; 在线阅读下载PDF 职称材料

PSL的有界模型检验被引量：2: 4; 作者虞蕾赵宗涛《电子学报》 EI CAS CSCD 北大核心 2009年第3期614-621,共8页; 基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性... 展开更多; 关键词 PSL(property specification language) 有界模型检验(bounded model checking BMC) SAT(propositional satisfiability) OBDD(ordered binary decision diagram); 在线阅读下载PDF 职称材料

基于承诺-担保的访问控制模型被引量：1: 5; 作者王小明赵宗涛马建峰《电子学报》 EI CAS CSCD 北大核心 2003年第8期1150-1154,共5页; 访问控制模型是信息安全领域研究的重点之一 .现有文献中可以见到许多访问控制模型 ,但其只能依据已有的事实由授权系统单方面对授权请求进行判定处理 ,不适合电子商务环境下根据用户对未来可满足条件的承诺进行交互式访问授权的需要 .... 展开更多; 关键词访问控制交互式授权承诺担保职责分离; 在线阅读下载PDF 职称材料

一种基于区域分割的多传感器图像融合方法被引量：1: 6; 作者李敏蔡伟谈正《西安交通大学学报》 EI CAS CSCD 北大核心 2005年第10期1131-1134,共4页; 针对传统像素级图像融合方法割裂像素间联系的问题,提出一种基于区域分割的图像融合方法.在图像配准的基础上进行区域分割,提取显著性因子和可见性因子作为区域特征,自适应地确定融合权值以得到融合图像.该方法克服了传统像素级融合方... 展开更多; 关键词图像融合区域分割区域特征客观评价准则; 在线阅读下载PDF 职称材料

新的近距离红外目标跟踪算法: 7; 作者谭园园李俊山杨威《电光与控制》北大核心 2007年第3期8-11,共4页; 提出了一种特征点匹配的近距离红外目标跟踪算法,该算法利用Harris算子提取目标的特征点,然后利用Hausdorff距离匹配帧间的特征点集,为了减少噪声和杂点的干扰,还引入了特征点邻域相似性度量。该算法在目标出现尺度伸缩、位置平移、角... 展开更多; 关键词目标跟踪匹配 Harris特征点 HAUSDORFF距离; 在线阅读下载PDF 职称材料

二维DCT的基图像及其绘制: 8; 作者谭园园耿志 +1 位作者李俊山薛菊《现代电子技术》 2005年第7期117-118,121,共3页; 基图像是图像正交变换中比较重要的概念,但目前的文献对基图像的解释不够清楚,对基图像的绘制也没有提及。以二维DCT为例对基图像的概念和意义进行了详细地阐述;分析、解释了基图像的绘制原理;提出了一种用Matlab 绘制二维DCT基图... 展开更多; 关键词离散余弦变换基函数基图像 MATLAB; 在线阅读下载PDF 职称材料

基于访问角色的预警协议设计及验证: 9; 作者李海龙曹耀钦陈红缦《电光与控制》北大核心 2007年第2期159-161,共3页; 为实现网络对抗中预警系统的高敏感性和协同特性,文章将基于角色的访问控制(RBAC)的思想引入到预警系统中,设计了一种新的预警协议。构建了该预警协议的Petri网模型,并利用Petri网的可达性分析方法验证了协议的正确性。; 关键词 RBAC 预警协议 PETRI网可达性; 在线阅读下载PDF 职称材料

题名军用网格体系结构及Petri Net模型被引量：4: 1; 作者曹耀钦李光明宋建社; 机构第二炮兵工程学院计算机系陕西科技大学计算机学院; 出处《电光与控制》北大核心 2007年第2期77-80,共4页; 基金国家自然科学基金资助(60272022); 文摘网格体系结构是网格计算的关键技术之一。针对军事应用需求,提出了一种面向军事应用的网格体系结构,讨论了各层次组成及功能,并研究了网格体系结构的Petri Net描述方法。与经典网格体系结构相比,提出的体系结构有助于提高网格系统的好用性、透明性、自治性、模块性、一致性等。; 关键词军用网格网格体系结构 Petfi网模型; Keywords military grid grid architecture Petri Net model; 分类号 V271.4 [航空宇航科学与技术—飞行器设计] TP393.102 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于角色的时态对象存取控制模型被引量：18: 2; 作者王小明赵宗涛; 机构陕西师范大学计算机科学学院第二炮兵工程学院计算机科学系; 出处《电子学报》 EI CAS CSCD 北大核心 2005年第9期1634-1638,共5页; 文摘以基于角色的存取控制模型RBAC3为基础,提出一种新的时态对象存取控制模型TRBAC,讨论了模型的构成要素,体系结构,时态多重继承机制和存取控制方法.它支持时态用户、时态角色和时态客体及其层次结构,具有动态存取控制功能,在时态数据库和工作流系统等领域会得到广泛应用.; 关键词时态对象存取控制角色时间约束时态继承机制; Keywords temporal object access control role time constraint temporal inherence mechanism; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于LS MPP的图像分块模板匹配并行算法被引量：3: 3; 作者李俊山沈绪榜; 机构西安微电子技术研究所第二炮兵工程学院计算机系; 出处《电子与信息学报》 EI CSCD 北大核心 2001年第9期868-874,共7页; 基金国家部级项目资助; 文摘该文提出了一种新颖的在基于K元2-立方体网络的SIMD计算机上运行的图像分块模板匹配并行算法。该算法对于N×N的图像、M×M的模板和K×K的处理元阵列(M<K,N=BK,B>1),可通过将图像分成B×B个图像块的分块模板匹配来实现。与已知的各算法相比,该算法具有可处理比处理元阵列尺寸大的图像的优越性。; 关键词图像分块模板匹配 SIMD计算机并行算法; Keywords Image division block, Template matching, SIMD computer, Parallel algorithms; 分类号 TN911.73 [电子电信—通信与信息系统] TP391.41 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名PSL的有界模型检验被引量：2: 4; 作者虞蕾赵宗涛; 机构国防科学技术大学计算机学院博士后流动站第二炮兵工程学院计算机系; 出处《电子学报》 EI CAS CSCD 北大核心 2009年第3期614-621,共8页; 基金国家高技术研究发展计划(863计划)课题(No.2007AA010301) 国家自然科学基金(No.60503032) 中国博士后科学基金(No.20080431401); 文摘基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性时序逻辑FL和分支时序逻辑OBE两部分.通过模型检验可验证系统的PSL属性,本文提出了PSL的有界模型检验方法及其算法框架.首先,定义PSL逻辑的有界语义,而后,将有界语义进一步简化为SAT,分别将PSL性质规约公式和系统M的状态迁移关系转换为SAT命题公式,最后验证上述两个SAT命题公式合取式的可满足性,这样就将时序逻辑PSL的存在模型检验转化为一个命题公式的可满足性问题,并用一个队列控制电路实例具体解释算法执行过程.; 关键词 PSL(property specification language) 有界模型检验(bounded model checking BMC) SAT(propositional satisfiability) OBDD(ordered binary decision diagram); Keywords PSL（property specification language） BMC（bounded model checking） SAT（propositional satisfiability） OB- DD（ordered binary decision diagram）; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于承诺-担保的访问控制模型被引量：1: 5; 作者王小明赵宗涛马建峰; 机构陕西师范大学计算机科学学院第二炮兵工程学院计算机系西安电子科技大学计算机学院; 出处《电子学报》 EI CAS CSCD 北大核心 2003年第8期1150-1154,共5页; 基金国家自然科学基金 (No .90 2 0 4 0 1 2 ) 国家"863"计划 (No.2 0 0 2AA1 4 30 2 1 ); 文摘访问控制模型是信息安全领域研究的重点之一 .现有文献中可以见到许多访问控制模型 ,但其只能依据已有的事实由授权系统单方面对授权请求进行判定处理 ,不适合电子商务环境下根据用户对未来可满足条件的承诺进行交互式访问授权的需要 .提出了新的基于承诺担保的访问控制模型 (PABAC)以满足上述访问控制需要 .讨论了模型体系结构 ,承诺担保机制 ,授权职责分离以及访问控制 .; 关键词访问控制交互式授权承诺担保职责分离; Keywords access control interacting authorization promise assurance separation of duty; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种基于区域分割的多传感器图像融合方法被引量：1: 6; 作者李敏蔡伟谈正; 机构西安交通大学电子与信息工程学院第二炮兵工程学院计算机系; 出处《西安交通大学学报》 EI CAS CSCD 北大核心 2005年第10期1131-1134,共4页; 基金 "十五""211工程"西安交通大学学科建设重点项目; 文摘针对传统像素级图像融合方法割裂像素间联系的问题,提出一种基于区域分割的图像融合方法.在图像配准的基础上进行区域分割,提取显著性因子和可见性因子作为区域特征,自适应地确定融合权值以得到融合图像.该方法克服了传统像素级融合方法中融合图像模糊、对噪声敏感等不足,尤其适用于图像没有严格配准的应用场合.实验结果表明,与小波变换融合方法相比,均方根误差减小了33%～36%,灰度标准差提高了0.9%～53%,互信息提高了39%～42%,空间频率提高了0.3%～38%,客观评价准则与目视效果吻合良好.; 关键词图像融合区域分割区域特征客观评价准则; Keywords image fusion region segmentation region feature objective evaluation criteria; 分类号 TN941.1 [电子电信—信号与信息处理]; 在线阅读下载PDF 职称材料

题名新的近距离红外目标跟踪算法: 7; 作者谭园园李俊山杨威; 机构第二炮兵工程学院计算机系; 出处《电光与控制》北大核心 2007年第3期8-11,共4页; 基金国家自然科学基金资助项目(60572080); 文摘提出了一种特征点匹配的近距离红外目标跟踪算法,该算法利用Harris算子提取目标的特征点,然后利用Hausdorff距离匹配帧间的特征点集,为了减少噪声和杂点的干扰,还引入了特征点邻域相似性度量。该算法在目标出现尺度伸缩、位置平移、角度偏转的情况下仍有较好的匹配性能。实验证明了该算法的有效性和可行性。; 关键词目标跟踪匹配 Harris特征点 HAUSDORFF距离; Keywords target tracking matching Harris feature point Hausdorff distance; 分类号 V249.3 [航空宇航科学与技术—飞行器设计] TP391.4 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名二维DCT的基图像及其绘制: 8; 作者谭园园耿志李俊山薛菊; 机构第二炮兵工程学院计算机系成都军区联勤部司令部; 出处《现代电子技术》 2005年第7期117-118,121,共3页; 文摘基图像是图像正交变换中比较重要的概念,但目前的文献对基图像的解释不够清楚,对基图像的绘制也没有提及。以二维DCT为例对基图像的概念和意义进行了详细地阐述;分析、解释了基图像的绘制原理;提出了一种用Matlab 绘制二维DCT基图像的简便方法,该方法也适用于绘制其他正交变换的基图像。; 关键词离散余弦变换基函数基图像 MATLAB; Keywords discrete cosine transform basal function basal image Matlab; 分类号 TN911.73 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名基于访问角色的预警协议设计及验证: 9; 作者李海龙曹耀钦陈红缦; 机构第二炮兵工程学院计算机系; 出处《电光与控制》北大核心 2007年第2期159-161,共3页; 文摘为实现网络对抗中预警系统的高敏感性和协同特性,文章将基于角色的访问控制(RBAC)的思想引入到预警系统中,设计了一种新的预警协议。构建了该预警协议的Petri网模型,并利用Petri网的可达性分析方法验证了协议的正确性。; 关键词 RBAC 预警协议 PETRI网可达性; Keywords Role - Based Access Control （RBAC） early warning protocol Petri net reachability; 分类号 V271.4 [航空宇航科学与技术—飞行器设计] TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	军用网格体系结构及Petri Net模型	曹耀钦李光明宋建社	《电光与控制》北大核心	2007	4	在线阅读下载PDF 职称材料
2	基于角色的时态对象存取控制模型	王小明赵宗涛	《电子学报》 EI CAS CSCD 北大核心	2005	18	在线阅读下载PDF 职称材料
3	基于LS MPP的图像分块模板匹配并行算法	李俊山沈绪榜	《电子与信息学报》 EI CSCD 北大核心	2001	3	在线阅读下载PDF 职称材料
4	PSL的有界模型检验	虞蕾赵宗涛	《电子学报》 EI CAS CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料
5	基于承诺-担保的访问控制模型	王小明赵宗涛马建峰	《电子学报》 EI CAS CSCD 北大核心	2003	1	在线阅读下载PDF 职称材料
6	一种基于区域分割的多传感器图像融合方法	李敏蔡伟谈正	《西安交通大学学报》 EI CAS CSCD 北大核心	2005	1	在线阅读下载PDF 职称材料
7	新的近距离红外目标跟踪算法	谭园园李俊山杨威	《电光与控制》北大核心	2007	0	在线阅读下载PDF 职称材料
8	二维DCT的基图像及其绘制	谭园园耿志李俊山薛菊	《现代电子技术》	2005	0	在线阅读下载PDF 职称材料
9	基于访问角色的预警协议设计及验证	李海龙曹耀钦陈红缦	《电光与控制》北大核心	2007	0	在线阅读下载PDF 职称材料