登录    注册    忘记密码

西安高技术研究所 收藏

导出分析报告

研究主题:调度    PETRI网    任务调度    保障资源    SAR图像    

研究学科:自动化类    电子信息类    航空航天类    机械类    兵器类    

被引量:1,085H指数:17WOS: 7 EI: 41 北大核心: 88 CSCD: 91

-

检索结果分析

署名顺序

  • 全部
  • 第一机构
结果分析中...
排序方式:

189 条 记 录,以下是 1-10

二值命题逻辑中命题的真度理论
1
《中国科学(A辑)》陕西师范大学数学系;青海民族学院数学系;西安高技术研究所 王国俊 傅丽 宋建社  出版年:2001
国家自然科学基金重点资助项目(批准号:19831040)
利用势为2的均匀概率空间的无穷乘积在经典二值命题逻辑中引入了公式的真度概念以及公式间的相似度概念,进而导出了全体公式集上的一种伪距离,为二值命题逻辑的近似推理理论提供了一种可能的框架.
关键词:测度化映射  真度 相似度 误差  发散度 偏差  
命题逻辑中的程度化方法 ( EI收录)
2
《电子学报》陕西师范大学数学研究所;西安高技术研究所 王国俊 宋建社  出版年:2006
国家自然科学基金(No.1033101060272022)
在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论....
关键词:命题逻辑 诱导函数  真度 近似推理  相容度
数据挖掘中决策树的探讨
3
《计算机工程与应用》西安高技术研究所 马秀红 宋建社 董晟飞  出版年:2004
国家自然科学基金重点资助项目(编号:69931040)
决策树方法是数据挖掘中的一个重要内容。该文叙述了决策树的构建过程,并指出了其技术难点及构建算法,最后,通过一个实例给出了该算法选取决策属性的详细过程。
关键词:决策树 熵  数据挖掘 知识发现
基于小波变换的多时相SAR图像变化检测技术 ( EI收录)
4
《测绘学报》西安高技术研究所 黄世奇 刘代志 胡明星 王仕成  出版年:2010
西安高技术研究所科技创新基金(XY2008JJ-16)
提出基于小波变换的双阈值(TWT)SAR图像变化检测算法。采用期望最大化(EM)算法产生双阈值,可以区分像素发生变化的类型(如变化区域增强类和变化区域减弱类)或变化等级。用SAR图像数据进行实验,结果表明该方法有效。
关键词:小波变换 双阈值 SAR图像 变化检测
一种改进型经验模态分解及其在信号消噪中的应用 ( EI收录)
5
《自动化学报》中国人民解放军96630部队;西安高技术研究所 曲从善 路廷镇 谭营  出版年:2010
针对非线性非平稳信号的消噪问题,基于经验模态分解提出一种模态单元滤波新方法.该方法将经验模态分解的内模函数中两个相邻过零点之间的信号定义为模态单元,并以之作为基本分析对象,通过对模态单元振幅的阈值处理来判断模态单元的类型...
关键词:经验模态分解 有色高斯噪声  信号消噪 模态单元滤波  自适应滤波 激光陀螺
一种战时装备维修保障资源优化调度算法 ( EI收录)
6
《系统仿真学报》西安高技术研究所 曹继平 宋建社 郭军 刘建平  出版年:2007
国家自然科学基金重点资助项目(69931040)
对引起战时维修保障资源冲突的原因进行了深入分析,建立了多维修点资源优化调度模型,给出了基于维修点保障优先度的资源优化调度算法。实例分析结果表明:装备维修保障资源的优化调度能够在满足任务需求和给定的维修保障资源条件下优化资...
关键词:装备维修  保障资源 资源冲突 调度 优化  算法  
动态维修任务调度的优化方法 ( EI收录)
7
《机械工程学报》西安高技术研究所 王正元 朱昱 宋建社 刘伟  出版年:2008
战时维修机构承担的维修任务比较繁重,合理安排维修任务可以有效地提高武器装备作战使用的时间。为此,分析了战时维修任务的特点,以尽快恢复参战作战单元的战斗力为目标,提出一种动态维修任务调度的优化方法。考虑到问题的复杂性,首先...
关键词:维修  调度 优化方法  模型  
一种备件多级库存系统的仿真优化模型 ( EI收录)
8
《系统仿真学报》西安高技术研究所 王正元 宋建社 何志德 曹继平  出版年:2007
针对备件多级库存问题,分析了备件需求的特点,建立了多级库存问题模型。在模型的基础上对备件订购量、安全库存量、订购策略、库存模式等进行了研究。研究发现:库存模式、订购策略和相关参数都会影响库存策略和最小总费用;一般情况下,...
关键词:仿真 多级库存  备件 维修  
新型背景混合高斯模型
9
《中国图象图形学报》西安高技术研究所502教研室 白向峰 李艾华 李喜来 李仁兵  出版年:2011
针对背景减除法中经典混合高斯模型计算量过大的问题,提出一种新的背景混合高斯模型。该方法利用偏差均值作为判断模型是否与当前像素值匹配的阈值参数,有效减少了经典模型中由于开平方及指数运算带来的庞大计算量;同时引入持续平稳时间...
关键词:目标检测 背景模型  混合高斯模型 权值更新
跨声轴流压气机激波/泄漏涡/边界层分离相互作用的影响 ( EI收录)
10
《航空动力学报》西北工业大学动力与能源学院;西安高技术研究所204室 谢芳 楚武利 张皓光  出版年:2012
国家自然科学基金(51006084)
对跨声速转子Rotor37进行三维定常数值模拟,将设计间隙与零间隙进行对比研究,分析激波、边界层分离、间隙泄漏涡相互作用影响.数值计算显示:激波、泄漏涡、边界层分离相互影响,加速了失速的发生;减小间隙可以起到扩稳的作用....
关键词:跨声速 轴流压气机 激波 间隙泄漏涡  边界层分离
已选条目 检索报告 聚类工具

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
 渝公网安备 50019002500408号 违法和不良信息举报中心