图象理解SIMD计算机的设计技术 被引量：1

1

作者 李俊山 李莉 +1 位作者 沈绪榜 焦康 《小型微型计算机系统》 CSCD 北大核心 2002年第9期1129-1132,共4页

本文结合 L S MPP嵌入式计算机图象匹配算法的设计与编程实践 ,对面向图象理解应用的 SIMD计算机减少存储类指令及其执行周期、控制寄存器的数量需求、基地址控制寄存器内容的保护、缓冲器的有关设计及图象阵列数据类型的设立等设计问... 本文结合 L S MPP嵌入式计算机图象匹配算法的设计与编程实践 ,对面向图象理解应用的 SIMD计算机减少存储类指令及其执行周期、控制寄存器的数量需求、基地址控制寄存器内容的保护、缓冲器的有关设计及图象阵列数据类型的设立等设计问题进行了分析和讨论 ,提出的一些设计思想对于面向图象理解的类似 展开更多

关键词 图象理解 SIMD计算机 设计 并行计算 陈列数据加载 基地址寄存器 阵列数据类型 图象匹配

在线阅读 下载PDF 职称材料

工作流系统带权角色与周期时间访问控制模型 被引量：23

2

作者 王小明 赵宗涛 郝克刚 《软件学报》 EI CSCD 北大核心 2003年第11期1841-1848,共8页

带权角色激活任务和周期时间授权是工作流系统访问控制研究尚未解决的核心问题.以基于角色的访问控制模型为基础,提出了一种新的工作流系统带权角色与周期时间访问控制模型WRPTAC(weighted role and periodic time access control).讨... 带权角色激活任务和周期时间授权是工作流系统访问控制研究尚未解决的核心问题.以基于角色的访问控制模型为基础,提出了一种新的工作流系统带权角色与周期时间访问控制模型WRPTAC(weighted role and periodic time access control).讨论了周期时间表示方法,定义了工作流系统授权新概念和时态授权推导规则,给出了时间复杂度为O(n2)的时态授权推导规则一致性验证图论算法,并定义了任务激活约束规则.它能够表达复杂的工作流系统访问控制约束. 展开更多

关键词 工作流 任务 周期时间 带权角色 授权约束

在线阅读 下载PDF 职称材料

军用网格体系结构及Petri Net模型 被引量：4

3

作者 曹耀钦 李光明 宋建社 《电光与控制》 北大核心 2007年第2期77-80,共4页

网格体系结构是网格计算的关键技术之一。针对军事应用需求,提出了一种面向军事应用的网格体系结构,讨论了各层次组成及功能,并研究了网格体系结构的Petri Net描述方法。与经典网格体系结构相比,提出的体系结构有助于提高网格系统的好... 网格体系结构是网格计算的关键技术之一。针对军事应用需求,提出了一种面向军事应用的网格体系结构,讨论了各层次组成及功能,并研究了网格体系结构的Petri Net描述方法。与经典网格体系结构相比,提出的体系结构有助于提高网格系统的好用性、透明性、自治性、模块性、一致性等。 展开更多

关键词 军用网格 网格体系结构 Petfi网模型

在线阅读 下载PDF 职称材料

网格计算的多带主动存储计算模型及应用 被引量：1

4

作者 曹耀钦 李光明 宋建社 《计算机应用研究》 CSCD 北大核心 2006年第12期258-259,共2页

针对网格计算的需要,对主动存储计算机模型的功能进行了扩充,提出了一种应用于网格计算的多带主动存储计算模型,使之更直观有效地描述网格计算。该模型不仅可用来描述网格计算,还可描述并行计算,具有通用性和扩充性,已应用于导弹装备综... 针对网格计算的需要,对主动存储计算机模型的功能进行了扩充,提出了一种应用于网格计算的多带主动存储计算模型,使之更直观有效地描述网格计算。该模型不仅可用来描述网格计算,还可描述并行计算,具有通用性和扩充性,已应用于导弹装备综合保障应用网格系统的设计中。 展开更多

关键词 网格计算 理论模型 网格体系结构 多带主动存储 计算模型

在线阅读 下载PDF 职称材料

基于HLA的指挥自动化训练仿真系统 被引量：1

5

作者 夏薇 慕晓冬 魏鸿毅 《计算机工程》 CAS CSCD 北大核心 2008年第18期269-271,共3页

在分析某军事指挥自动化系统需求的基础上,设计基于HLA的总体方案,采用软硬件相结合的思想实现通信联邦成员。介绍联邦对象模型模板(OMT)的设计与实现方法,给出所有联邦成员加入该联邦的实例。结果表明,该仿真系统能够较好地满足部队基... 在分析某军事指挥自动化系统需求的基础上,设计基于HLA的总体方案,采用软硬件相结合的思想实现通信联邦成员。介绍联邦对象模型模板(OMT)的设计与实现方法,给出所有联邦成员加入该联邦的实例。结果表明,该仿真系统能够较好地满足部队基层训练的要求。 展开更多

关键词 高层体系结构 指挥自动化系统 对象模型模板

在线阅读 下载PDF 职称材料

新型网络环境下的访问控制技术 被引量：69

6

作者 林闯 封富君 李俊山 《软件学报》 EI CSCD 北大核心 2007年第4期955-966,共12页

访问控制是系统安全的关键技术,不同网络环境下的访问控制机制也是不同的.首先对3种传统的访问控制策略加以介绍,给出DAC(discretionary access control),MAC(mandatory access control)和RBAC(role-based access control)各自的特点及... 访问控制是系统安全的关键技术,不同网络环境下的访问控制机制也是不同的.首先对3种传统的访问控制策略加以介绍,给出DAC(discretionary access control),MAC(mandatory access control)和RBAC(role-based access control)各自的特点及应用,并简要介绍下一代访问控制UCON(usage control)模型,然后分别针对网格、P2P、无线网络环境下的访问控制技术及目前的研究现状进行总结,详细阐述可信网络作为下一代互联网发展的必然目标,要求基于可信的访问控制模型保证其安全性,对可信和信誉模型进行了研究,最后给出访问控制技术的发展趋势. 展开更多

关键词 自主访问控制 强制访问控制 基于角色的访问控制 可信模型

在线阅读 下载PDF 职称材料

基于遗传算法的点云数据配准 被引量：4

7

作者 张晓娟 李忠科 +2 位作者 王先泽 吕培军 王勇 《计算机工程》 CAS CSCD 2012年第21期214-217,共4页

在光学非接触三维测量中,复杂对象的重构需要多组测量数据的配准。为此,提出一种基于遗传算法的线扫描点云数据配准方法。曲面线扫描点云数据同一表面的拓扑结构在不同视图下曲率变化趋势相同,根据该性质,利用遗传算法识别两点云数据集... 在光学非接触三维测量中,复杂对象的重构需要多组测量数据的配准。为此,提出一种基于遗传算法的线扫描点云数据配准方法。曲面线扫描点云数据同一表面的拓扑结构在不同视图下曲率变化趋势相同,根据该性质,利用遗传算法识别两点云数据集的重叠区域,并求解子集的坐标变换矩阵,完成配准。实验结果表明,与ICP算法相比,该方法的运行速度较快,且配准精度较高。 展开更多

关键词 遗传算法 点云数据 数据配准 曲率计算 法矢估计 法矢调整

在线阅读 下载PDF 职称材料

基于O-D的XML编码及对信息查询与更新的支持 被引量：4

8

作者 曹耀钦 宋建社 +1 位作者 赵霜 余宁 《计算机工程》 CAS CSCD 北大核心 2007年第5期53-55,58,共4页

提出了一种基于区间表示的XML编码方式,设计了相应的关系存储模式,研究了该编码方式对信息查询和信息更新的支持。鉴于XML关系存储下信息更新的困难性,采用基于order-descendan(O-D)的XML编码方式,不仅可以完全支持XPath查询语言的13个... 提出了一种基于区间表示的XML编码方式,设计了相应的关系存储模式,研究了该编码方式对信息查询和信息更新的支持。鉴于XML关系存储下信息更新的困难性,采用基于order-descendan(O-D)的XML编码方式,不仅可以完全支持XPath查询语言的13个查询轴的查询功能,而且通过简单的计算即可有效地支持XML数据的增加和删除,这种简单计算可以在关系存储模式下通过SQL语句方便地实现。 展开更多

关键词 XML 编码 关系存储 信息查询 信息更新

在线阅读 下载PDF 职称材料

基于角色的时态对象存取控制模型 被引量：18

9

作者 王小明 赵宗涛 《电子学报》 EI CAS CSCD 北大核心 2005年第9期1634-1638,共5页

以基于角色的存取控制模型RBAC3为基础,提出一种新的时态对象存取控制模型TRBAC,讨论了模型的构成要素,体系结构,时态多重继承机制和存取控制方法.它支持时态用户、时态角色和时态客体及其层次结构,具有动态存取控制功能,在时态数据库... 以基于角色的存取控制模型RBAC3为基础,提出一种新的时态对象存取控制模型TRBAC,讨论了模型的构成要素,体系结构,时态多重继承机制和存取控制方法.它支持时态用户、时态角色和时态客体及其层次结构,具有动态存取控制功能,在时态数据库和工作流系统等领域会得到广泛应用. 展开更多

关键词 时态对象 存取控制 角色 时间约束 时态继承机制

在线阅读 下载PDF 职称材料

一种基于Curvelet变换的红外图像去噪方法 被引量：7

10

作者 何玉杰 李敏 +1 位作者 吕东 黄克宇 《计算机工程与应用》 CSCD 北大核心 2011年第32期191-193,共3页

小波变换在分析二维图像中曲线或者直线边缘特征方面存在明显不足,用于红外图像去噪中没有较好的逼近精度和稀疏表达能力。为解决上述问题,提出一种基于Curvelet变换的阈值改进算法,即采用软硬阈值结合的方式,形成新的阈值函数。通过对... 小波变换在分析二维图像中曲线或者直线边缘特征方面存在明显不足,用于红外图像去噪中没有较好的逼近精度和稀疏表达能力。为解决上述问题,提出一种基于Curvelet变换的阈值改进算法,即采用软硬阈值结合的方式,形成新的阈值函数。通过对可见光和红外图像进行仿真实验。结果表明,该方法与正交小波去噪以及软硬阈值去噪算法相比,在去噪和保持边缘的同时,取得了较好的红外视觉效果,并且峰值信噪比PSNR也得到一定的提高。 展开更多

关键词 红外图像去噪 CURVELET变换 阈值去噪

在线阅读 下载PDF 职称材料

医学图像处理中三维模型的快速重构与简化 被引量：4

11

作者 耿国华 赵杰 赵宗涛 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2002年第3期221-224,共4页

通过分析 Mcrching cube与 Triangle decimation算法的特点 ,并结合医学图像中常见的断层数据 (例如 CT,MRI)的实际情况 ,提出了加快三维重建与组织和模型简化的相应方法 ,并在约减的同时生成了一个多分辨率模型。该方法对于基于断层数... 通过分析 Mcrching cube与 Triangle decimation算法的特点 ,并结合医学图像中常见的断层数据 (例如 CT,MRI)的实际情况 ,提出了加快三维重建与组织和模型简化的相应方法 ,并在约减的同时生成了一个多分辨率模型。该方法对于基于断层数据的三维快速重建与约减工作具有通用性 ,在微机平台上实现该算法的效果良好。 展开更多

关键词 移动立方体算法 三角面片约减 医学图像 三维重构 多分辨率模型 图像处理 三维模型

在线阅读 下载PDF 职称材料

基于TLA的事件图模型形式化验证方法 被引量：4

12

作者 夏薇 姚益平 慕晓冬 《计算机应用研究》 CSCD 北大核心 2011年第11期4171-4173,4187,共4页

针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logicof action,TLA)的事件图模型形式化验证方法。该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模... 针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logicof action,TLA)的事件图模型形式化验证方法。该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模型及性质规约用TLA语言进行形式化描述,从而使该模型能够被TLA模型检验工具进行验证。这种方法不仅能够有效提高仿真模型的正确性,而且能够提高模型的可重用性,简化仿真模型建模与验证过程。最后利用TLA模型检验工具对实例进行了验证,实验结果表明了该方法的有效性。 展开更多

关键词 仿真模型 验证、确认和认定 模型检验 行为时态逻辑 事件图

在线阅读 下载PDF 职称材料

基于模糊聚类分析的航天发射故障诊断技术 被引量：2

13

作者 罗眉 张甜 +1 位作者 孟晓红 赵宗涛 《计算机工程与设计》 CSCD 北大核心 2010年第8期1789-1791,共3页

为缩短航天发射时间,提高作战应急反应能力,采用模糊聚类分析的方法,建立了模糊聚类分析模型:G及g(ui),ui∈U。提出了用最大差值来定义两个隶属函数之间的距离,设计了一种基于模糊聚类分析的算法FJLA,有效地对实时发生的故障与历史故障... 为缩短航天发射时间,提高作战应急反应能力,采用模糊聚类分析的方法,建立了模糊聚类分析模型:G及g(ui),ui∈U。提出了用最大差值来定义两个隶属函数之间的距离,设计了一种基于模糊聚类分析的算法FJLA,有效地对实时发生的故障与历史故障进行聚类,并找出发生故障的仪器等部器件。实验结果表明,应用上述理论可将故障定位在较小的范围。对某型火箭的测试表明,有效率达64.7%。 展开更多

关键词 航天发射 故障诊断 模糊分析 聚类 算法

在线阅读 下载PDF 职称材料

基于GO法的航空电子设备可靠性评估 被引量：5

14

作者 尹宗润 慕晓冬 《计算机工程》 CAS CSCD 北大核心 2009年第15期272-274,共3页

针对传统电子设备在可靠性评估中存在精度和效率较低问题,提出一种基于GO法的可靠性评估方法。该方法引入状态累积概率,建立考虑共有信号处理的GO模型,给出某航空电子设备监测模块基于GO法的可靠性评估实例。与传统Monte-carlo方法进行... 针对传统电子设备在可靠性评估中存在精度和效率较低问题,提出一种基于GO法的可靠性评估方法。该方法引入状态累积概率,建立考虑共有信号处理的GO模型,给出某航空电子设备监测模块基于GO法的可靠性评估实例。与传统Monte-carlo方法进行比较,结果证明该方法更简单、直观,具有更高的计算精度、仿真效率,且更容易解决复杂多态、时序问题。 展开更多

关键词 GO法 电子设备 可靠性 Monte—carlo法

在线阅读 下载PDF 职称材料

图象分块平均绝对差匹配并行算法 被引量：4

15

作者 李俊山 沈绪榜 《小型微型计算机系统》 EI CSCD 北大核心 2002年第6期695-698,共4页

本文针对图象匹配算法中的乘法运算与差运算的一类并行计算问题 ,设计了一种图象分块平均绝对差匹配并行算法。该算法对于 N× N的参考图像、与处理元阵列大小相同的 M× M的实时图象 (N=BK,K=M,B>1) ,可通过将参考图像分成 ... 本文针对图象匹配算法中的乘法运算与差运算的一类并行计算问题 ,设计了一种图象分块平均绝对差匹配并行算法。该算法对于 N× N的参考图像、与处理元阵列大小相同的 M× M的实时图象 (N=BK,K=M,B>1) ,可通过将参考图像分成 B× B个图像块的分块匹配来实现 。 展开更多

关键词 平均绝对差 图象分块 并行算法 图象匹配 计算机

在线阅读 下载PDF 职称材料

基于着色Petri网的GEO-RBAC策略验证 被引量：2

16

作者 封富君 林闯 李俊山 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期118-123,共6页

GEO-RBAC是一种能够处理空间信息的访问控制策略,其角色按照粒度分为角色模式和角色实例,按照维数分为空间角色和非空间角色。基于实例的角色分配与传统RBAC策略类似。使用着色Petri网对GEO-RBAC中基于模式的角色分配进行建模,并给出了... GEO-RBAC是一种能够处理空间信息的访问控制策略,其角色按照粒度分为角色模式和角色实例,按照维数分为空间角色和非空间角色。基于实例的角色分配与传统RBAC策略类似。使用着色Petri网对GEO-RBAC中基于模式的角色分配进行建模,并给出了可达性分析方法,通过对角色分配事件图可达状态的分析实现了GEO-RBAC策略的一致性验证。 展开更多

关键词 着色PETRI网 GEO-RBAC 策略 验证

在线阅读 下载PDF 职称材料

基于LS MPP的图像并行傅立叶分析技术(1)——算法的原理、分析与设计 被引量：1

17

作者 李俊山 叶霞 +2 位作者 李建军 李新社 沈绪榜 《小型微型计算机系统》 CSCD 北大核心 2004年第7期1303-1306,共4页

基于 L S MPP的 K元 2 -立方体网络结构 ,设计了一种新颖快速的计算 FFT的 SIMD算法 .系统地分析了时间提取的基 - 2一维 FFT算法及其原理 ,较详细地讨论了用二维 FFT算法并行计算二维 DFT的问题 :主要从算法原理出发 ,分析并给出了在 L... 基于 L S MPP的 K元 2 -立方体网络结构 ,设计了一种新颖快速的计算 FFT的 SIMD算法 .系统地分析了时间提取的基 - 2一维 FFT算法及其原理 ,较详细地讨论了用二维 FFT算法并行计算二维 DFT的问题 :主要从算法原理出发 ,分析并给出了在 L S MPP SIMD计算机上用二维 FFT并行计算二维 DFT时各变换步的变换矩阵及其格式 ,设计了自动建立各变换步的变换矩阵的算法 . 展开更多

关键词 SIMD计算机 K元2-立方体网络 二维FFT 变换矩阵 并行算法

在线阅读 下载PDF 职称材料

基于LS MPP的图像分块模板匹配并行算法 被引量：3

18

作者 李俊山 沈绪榜 《电子与信息学报》 EI CSCD 北大核心 2001年第9期868-874,共7页

该文提出了一种新颖的在基于K元2-立方体网络的SIMD计算机上运行的图像分块模板匹配并行算法。该算法对于N×N的图像、M×M的模板和K×K的处理元阵列(M<K,N=BK,B>1),可通过将图像分成B×B个图像块的分块模板匹配... 该文提出了一种新颖的在基于K元2-立方体网络的SIMD计算机上运行的图像分块模板匹配并行算法。该算法对于N×N的图像、M×M的模板和K×K的处理元阵列(M<K,N=BK,B>1),可通过将图像分成B×B个图像块的分块模板匹配来实现。与已知的各算法相比,该算法具有可处理比处理元阵列尺寸大的图像的优越性。 展开更多

关键词 图像分块 模板匹配 SIMD计算机 并行算法

在线阅读 下载PDF 职称材料

PSL的有界模型检验 被引量：2

19

作者 虞蕾 赵宗涛 《电子学报》 EI CAS CSCD 北大核心 2009年第3期614-621,共8页

基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性... 基于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)

在线阅读 下载PDF 职称材料

PSL逻辑及验证技术研究进展与展望 被引量：3

20

作者 虞蕾 赵宗涛 《计算机应用研究》 CSCD 北大核心 2010年第7期2414-2420,共7页

在简要介绍PSL的分层结构和语法与语义基础上,综述了PSL验证技术的应用研究现状,分析了各种方法、技术的优缺点,最后指出了PSL验证技术的未来研究展望。

关键词 属性规约语言 基于断言的验证 形式化验证 运行时验证

在线阅读 下载PDF 职称材料