赵宗涛
所属机构: 第二炮兵工程学院计算机系 所在地区: 陕西省 西安市 研究方向: 自动化与计算机技术 发文基金: 国家高技术研究发展计划
相关作者
李竹林 作品数:98 被引量:342 H指数:8 供职机构:延安大学数学与计算机科学学院 研究主题:计算机专业 图像 安全性 宽基线 教学改革 虞蕾 作品数:16 被引量:51 H指数:4 供职机构:第二炮兵工程学院计算机系 研究主题:航迹规划 地形分析 PSL 巡航导弹 遗传算法 王小明 作品数:221 被引量:534 H指数:11 供职机构:陕西师范大学 研究主题:机会网络 访问控制 路由方法 角色 网络 赵红 作品数:14 被引量:58 H指数:6 供职机构:西北工业大学计算机学院 研究主题:地形分析 巡航导弹 遗传算法 航迹规划 图像处理 张根耀 作品数:59 被引量:348 H指数:9 供职机构:延安大学数学与计算机科学学院 研究主题:小波变换 图像序列 阈值函数 加密 遥感图像
一种分析作战指控并发信息流的Petri网模型 被引量:2 2006年 目的对军事指挥控制系统进行评估和仿真。方法建立了一种描述系统的Petri网模型,进而分析在并发信息流中产生死锁的关节所在。结果为从理论上研究指控系统的效能、发现和排解死锁以及系统的评估和仿真等提供了可靠的根据,有效地保证了对系统的应用与研究。结论经部队仿真演习试用,效果良好,对于提高部队应急反应能力与组建新的指控系统具有重要的价值。 张力 赵宗涛 慕晓冬 邵军勇关键词:PETRI网 基于不完备信息系统的粗模糊属性值的知识获取 被引量:2 2008年 研究了一类基于粗集属性取模糊值的不完备信息系统的知识获取方法.给出粗模糊属性值信息系统的一种表示方法,采用模糊集思想,构造这类系统的模糊不可分辨关系,并研究这类信息系统的知识获取算法,并以一个实例,说明这种算法的有效性. 赵辉 谭天晓 赵宗涛关键词:模糊粗糙集 信息系统 蓝牙技术及在指挥自动化系统中的应用前景 被引量:2 2002年 探讨了一种近距离无线通信技术标准———蓝牙技术在指挥自动化系统中的应用前景。研究表明 ,在指挥自动化系统设备中采用蓝牙技术 ,可以极大地提高指挥自动化系统设备的兼容性、抗毁性以及机动性。 贾小志 赵宗涛 侯卫军关键词:蓝牙技术 无线通信 指挥自动化系统 移动通信 体系结构 不变区域提取算法及其在两视图粗校正中的应用 2007年 在宽基线成像过程中,两视图的成像角度、光照条件都发生较大的变化,使得立体匹配的难度加大。提出了一种基于不变区域提取算法,通过灰度指数变换,定义的目标函数不仅提取了定位准确的极值点,形成稳定的不变区域,而且突显了每个方向上灰度的变化。将其应用于两视图RTS变化参数估算中,正确率分别达到:旋转91.65%,水平位移84.85%,垂直位移80%,比例84.29%。根据估算值对右图像进行校正,校正后的右图像明显地提高了与左图像的相似度。 李竹林 赵宗涛 綦海龙 翟晓颖关键词:极值点 PSL的有界模型检验 被引量:2 2009年 基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性时序逻辑FL和分支时序逻辑OBE两部分.通过模型检验可验证系统的PSL属性,本文提出了PSL的有界模型检验方法及其算法框架.首先,定义PSL逻辑的有界语义,而后,将有界语义进一步简化为SAT,分别将PSL性质规约公式和系统M的状态迁移关系转换为SAT命题公式,最后验证上述两个SAT命题公式合取式的可满足性,这样就将时序逻辑PSL的存在模型检验转化为一个命题公式的可满足性问题,并用一个队列控制电路实例具体解释算法执行过程. 虞蕾 赵宗涛遗传算法在航迹优化中的应用研究 2005年 提出一种基于遗传算法的航迹优化方法.主要是用遗传算法设计优化了一类巡航导弹航线.在此过程中根据所设计航迹要满足避开地空导弹、高炮、歼击机群、电磁脉冲等火力单元和地形地物障碍,并且满足航迹路径长度短、耗油量少等约束条件,对航迹优化提出了一种算法和一个航迹规划代价评判模型.建立了一个基于VC++和MATLAB软件平台开发的巡航弹航迹优化仿真软件.经仿真实验证明该方法典型性强,处理的信息量小,实时性也较好,具有一定的理论和使用价值. 虞蕾 赵红 赵宗涛关键词:遗传算法 航迹优化 巡航导弹 工作流系统带权角色与周期时间访问控制模型 被引量:56 2003年 带权角色激活任务和周期时间授权是工作流系统访问控制研究尚未解决的核心问题.以基于角色的访问控制模型为基础,提出了一种新的工作流系统带权角色与周期时间访问控制模型WRPTAC(weighted role and periodic time access control).讨论了周期时间表示方法,定义了工作流系统授权新概念和时态授权推导规则,给出了时间复杂度为O(n2)的时态授权推导规则一致性验证图论算法,并定义了任务激活约束规则.它能够表达复杂的工作流系统访问控制约束. 王小明 赵宗涛 郝克刚关键词:工作流 授权约束 基于分数维的地形分析在航迹规划中的应用 被引量:1 2005年 论述了分形、分数维的基本概念,以及分数布朗运动的数学模型.结合实际推导了地形分数维D和方差σ值的求解方法.而后提出了航迹规划选取流程,着重研究了用分数维地形分析方法进行巡航弹航迹规划的算法流程.最后,对两幅地形图进行了实验分析.并指出分数维数D表征了局部地形粗糙的程度,其值越大,地形匹配成功率越大;方差值σ表征了地形起伏的程度,它是选择高程规划航迹的重要条件之一;信息熵表征了在某一具体方向上的地形变化情况,其值越大匹配的成功率往往也越大. 虞蕾 赵宗涛关键词:分数维 信息熵 航迹规划 一种基于RDB的数据挖掘技术应用研究 2007年 基于数据库理论发展起来的数据挖掘技术,已经在工程实践中得到了广泛应用。为了充分利用教学管理数据库的资料,评估学员考核成绩,借以指导教学实践,提出一种基于统计分析的数据挖掘技术,并设计了相应的算法,有效地找出了混合班应届生、部队生、中专生三类学员在考核中成绩分布的规律。这些规律可有效地指导教学管理,为进一步教学改革提供理论基础。 罗眉 赵宗涛 田涛关键词:统计分析 数据挖掘 数学模型 一个武器远程故障诊断系统的设计与应用 集计算机科学、通信技术与相关专业知识于一体的远程协同诊断系统RCDS,是计算机支持的协同工作CSCW的重要应用领域之一。本文根据某部实际需要设计了一个小型RCDS系统并编制了相关软件,红星1号远程协同诊断系统HXRCDS... 杨斌 赵红漫 赵宗涛 张乐 王自刚关键词:CSCW 文献传递