基于概率模型的ATC系统冲突目标生成算法
计算机科学2012年第39卷总目次
计算机科学２０１２年第３９卷总目次第１期分布式数据流挖掘的研究进展（１）……………………………多模态张量数据挖掘算法及应用（９）…………………………ＣＯＤＡＳ：一个易扩展的静态代码缺陷分析服务（１４）………基于伪双目立体成像自动识别新技术（１９）…………………用户间多相似度协同过滤推荐算法（２３）……………………基于内容的视频取证研究（２７）………………………………云计算环境下基于Ｍａｓｈｕｐ的一种电信网络能力服务提供模式（３２）………………………………………………具有最小平方误差积分的主动队列管理算法ＩＳＥ－ＧＰＭ－ＰＩＤ（３７）…………………………………………………………一种有效可证安全的基于身份代理聚合签名方案（４４）……基于非负矩阵分解的ＩＰ流量预测（４８）………………………基于ＣＳＭ优先级的ＣｏｇＷＭＮ联合路由与信道分配策略（５３）………………………………………………………面向分布式控制系统的实时ＳＯＡ研究与应用（５７）…………一种基于ＡＨＰ的信息安全威胁评估模型研究（６１）………Ｓｋｅｉｎ算法的流水线结构设计与实现（６５）……………………一种混合轻量型无线传感器网络公钥密码方案（６９）………ＷＳＮ中基于能量代价的能量优化路由算法（７３）……………网络与终端协同选择及切换机制的研究（７７）………………ＩＥＥＥ ８０２．１１无线局域网中基于最优窗口的退避算法（８２）………………………………………………………协同基站群的利益树分簇算法（８５）…………………………基于加权特征筛选的入侵检测系统（８９）……………………基于语义相似性的Ｗｅｂ服务匹配算法（９２）…………………一种网络化软件的按需服务发现方法（９６）…………………一种基于无干扰的软件动态行为可信性分析方法（１０１）……Ａｐｌａ语言中并发分布式机制的研究（１０４）…………………普适环境中上下文感知的带演算的Ｂｉｇｒａｐｈｓ描述（１０９）…蜕变关系构造基本准则与策略研究（１１５）……………………基于概率模型检测的Ｗｅｂ服务组合验证（１２０）……………软件体系结构层切点指示器的形式化描述方法（１２４）………基于特征组合的软件需求建模（１３０）…………………………面向大规模数据的快速并行聚类划分算法研究（１３４）………一种中文微博新闻话题检测的方法（１３８）……………………对象级别的关系数据库信息检索技术研究（１４２）……………改进ＸＩＳＳ索引技术的仿真研究（１４８）………………………一种基于混合集成方法的数据流概念漂移检测方法（１５２）………………………………………………………基于不完备信息系统的决策树生成算法（１５６）………………一种基于过程神经网络的动态系统控制信号求解模型和算法（１５９）…………………………………………………多层云建模方法的研究及应用（１６２）…………………………一种海量规则模式匹配方法（１６７）……………………………局部支持向量机的研究进展（１７０）……………………………一种基于邻域距离的聚类特征选择方法（１７５）………………一种求解多处理机调度问题的α－平坦化调度算法（１７８）…密度加权近似支持向量机（１８２）………………………………基于Ｌ１正则化的贝叶斯网络分类器（１８５）…………………基于人类信任机制的移动电子商务信任评估方法（１９０）……区间值决策形式背景的属性值向量约简（１９３）………………不一致决策系统中基于粒度计算的广义决策规则获取方法研究（１９８）…………………………………………………综合句法结构及语义相似度的问题推荐技术（２０３）…………类传递关系下的广义粗糙集及其公理化（２０７）………………基于集对分析的信任评估模型及其在服务选择中的应用（２１０）………………………………………………………基于ＧＡ－ＮＮ的复杂工艺生产过程多目标优化研究（２１５）………………………………………………………基于Ｍｕｌｔｉ－Ａｇｅｎｔ系统的多飞行器协同路径规划方法的研究（２１９）…………………………………………………基于粗集边界域的快速约简算法（２２３）………………………一种基于拆分的基因选择算法（２２８）…………………………基于多目标模糊线性规划求解方法的飞机排班问题研究（２３４）………………………………………………………基于概率的有序信息系统（２３９）………………………………一种基于约束的关联规则挖掘算法（２４４）……………………变精度上近似与程度下近似粗糙集模型的正域及其算法（２４８）………………………………………………………带差商信息的云搜索优化算法及其收敛性分析（２５２）………覆盖Ｖａｇｕｅ集（２５６）…………………………………………基于非线性流形学习和支持向量机的文本分类算法（２６１）………………………………………………………基于用户查询意图识别的Ｗｅｂ搜索优化模型（２６４）………一种支持多种运动方式的三维虚拟角色路径规划和姿态调整方法（２６８）……………………………………………基于颜色体积直方图的图像检索（２７３）………………………矩不变调整的二维Ｓｈａｎｎｏｎ熵图像分割及其快速实现（２７６）…………………………………………………一种基于近邻保留的相关反馈图像检索算法（２８１）…………基于图形处理器的模糊Ｃ均值聚类分割算法（２８５）………基于软件共享存储的Ｃｏ－Ａｒｒａｙ Ｆｏｒｔｒａｎ编译器实现（２８７）………………………………………………………高效软硬件划分算法及其提升技术（２９０）……………………多核环境下边缘提取并行算法研究（２９５）……………………众核处理器中硬件支持的Ｉ／Ｏ虚拟化优化技术研究（２９９）………………………………………………………·００３·大规模结构有限元分析程序在多核集群计算环境中的性能分析和优化（３０５）………………………………………基于ＮｏＣ结构的图像中值滤波并行处理模式分析（３１１）…第２期内容分发网络请求路由研究（１）………………………………基于本体的语义相似度和相关度计算研究综述（８）…………变路网情况下车辆路径问题建模及应用（１４）………………基于混合粒子群算法的网格任务调度（１８）…………………基于本体的战场航迹信息共享研究（２２）……………………一种基于好友簇的社交网络中的时延容忍路由协议（２６）…一种基于ＲＦＩＤ的室内车载监控系统定位方法的设计与实现（２９）…………………………………………………一种基于情感倾向分析的网络团体意见领袖识别算法（３４）………………………………………………………基于社交网络的群体信任算法（３８）…………………………基于多尺度特征融合的异常流量检测方法（４２）……………基于块参照像素的无损信息隐藏算法（４７）…………………认知Ａｄ－ｈｏｃ网络中的快速邻居发现（５２）……………………基于安全进程代数的非演绎安全模型的分析与验证（５６）…针对ＤＥＳ加密算法的ＤＰＡ攻击仿真平台（５９）……………大幅面多光谱遥感图像快速自动配准（６１）…………………基于信号分解的ＭＦＳＫ信号码元速率估计算法（６６）………一种抗欺诈的Ｃ２Ｃ卖方信誉计算模型研究（６８）……………一种改进的多模式匹配算法在Ｓｎｏｒｔ中的应用（７２）………一种改进的认知无线网络功率控制博弈算法（７５）…………分布式多维标度定位算法的研究（８０）………………………无线传感器网络节点能耗测量及分析（８４）…………………自适应卡尔曼滤波的主动队列管理算法（８８）………………ＡＲＩＡ分组密码相关性功耗分析（９２）………………………基于移动障碍的ＭＷＳＮ节点协同转向避障方法（９５）……基于分段修复的区域路由协议（１０１）…………………………一种基于节点位置信息的无线传感器网络并行传输ＭＡＣ协议（１０５）…………………………………………一种文件级连续数据保护系统的实现与生存性量化（１０９）………………………………………………………………Ｔｏｒｕｓ网络自适应容错路由算法（１１５）………………………ＭＡＮＥＴ虚假路由形式化验证（１１８）…………………………大规模无线传感器网络中基于Ｐ２Ｐ的路由模型研究（１２２）………………………………………………………复杂自适应多Ａｇｅｎｔ系统的模型驱动开发方法（１２６）………一种基于情景感知的学习服务发现算法（１３２）………………面向对象语言的化学语义（１３６）………………………………基于程序分析的代码查询技术（１４３）…………………………一种面向服务流程异常处理的策略描述语言（１４８）…………可定位单个错误的错误定位表的生成方法（１５４）………………………………………………………基于ＵＰＰＡＡＬ的ＡＡＤＬ行为模型验证方法研究（１５９）……Ｗｅｂ服务自动化测试技术（１６２）……………………………一种基于赋时Ｐｅｔｒｉ网和ＺＢＤＤ的装配序列规划方法（１７０）………………………………………………………基于模态的嵌入式软件动态重构技术研究（１７５）……………对象行为等价的终结共代数语义（１７９）………………………数据库安全功能测试自动化框架设计与实现（１８３）…………不确定数据上的Ｒｅｖｅｒｓｅ Ｔｏｐ－ｋ查询（１８７）…………………一种基于信息熵的多维流数据噪声检测算法（１９１）…………基于人工免疫原理的数据流聚类算法研究（１９５）……………外包数据库中的哈希连接一致性算法（１９８）…………………因特网上舆情传播的预测建模和仿真研究（２０３）……………基于改进的Ｗａｐ算法的Ｗｅｂ序列模式的研究（２０６）………基于知识粒度的不完备决策表的属性约简的矩阵算法（２０９）………………………………………………………云计算环境下的一种高效的资源管理策略（２１２）……………一种基于物联网技术的场所感知系统初探（２１６）……………社会群体角色本体的构建方法研究（２２２）……………………信息物理系统资源能力建模（２２７）……………………………基于统计学习框架的中文新词检测方法（２３２）………………基于粗糙集技术的压缩近邻规则（２３６）………………………动态直觉模糊多属性决策的ＶＩＫＯＲ扩展方法（２４０）………一种基于结构分解和因子分析的贝叶斯网络隐变量发现算法（２４４）…………………………………………………粗糙集属性约简的图论方法（２５０）……………………………基于分子格的粗糙集模型推广（２５５）…………………………分子算法在公交网络问题中的应用（２５８）……………………基于物联网的城市交通突发事件的检测研究（２６２）…………基于动态ＱｏＳ的Ｗｅｂ服务组合（２６８）………………………ＬＭＤ方法在脑电信号处理中的应用研究（２７３）……………正交设计的Ｅ占优策略求解高维多目标优化问题研究（２７６）………………………………………………………协同语义特征建模技术研究（２８０）……………………………分区交叉差分进化算法及其约束优化（２８３）…………………基于图割与概率图谱的肝脏自动分割研究（２８８）……………基于边界提升变换的图像压缩（２９１）…………………………基于区域的图切割算法求解Ｍｕｍｆｏｒｄ－Ｓｈａｈ图像分割模型（２９７）………………………………………………………基于局部阈值和聚类中心迭代的肺结节检测算法（３０２）……面向ＳＩＭＤ的数组重组和对齐优化（３０５）……………………并行系统中时间偏移机制的典型应用算法分析（３１１）………第３期应用网络编码的Ｐ２Ｐ流媒体技术研究进展（１）……………ＸＱｕｅｒｙ实现技术研究综述（９）………………………………图的树分解及其算法应用研究进展（１４）……………………面向ＬＢＳ的服务匹配方法研究（１９）…………………………基于负载灰度图映射模型的云集群负载评估方法（２３）……车载物联网中蠕虫传播模型的构建与仿真（２８）……………针对不确定流量的多收发机无线网络资源优化研究（３３）…ＷＳＮ中基于区域划分的半自动ＤＶ－Ｈｏｐ定位算法（３９）…·１０３·面向系统吞吐率最大化的Ｐ２Ｐ自适应覆盖网络（４３）………基于ＡＲＩＭＡ模型的Ａｄ－ｈｏｃ网络节点位置预测加权分簇算法（４７）………………………………………………多态性密钥交换协议的位独立性安全分析（５１）……………一种基于行为证明的主观动态可信模型建立方法（５４）……一种无线Ｍｅｓｈ网络中可证明安全的ＨＭＩＰｖ６路由优化方案（６２）…………………………………………………认知无线电中基于差分能量的联合检测（６７）………………基于通用多核平台的入侵检测系统研究（７１）………………基于四方的安全电子商务支付协议分析与验证（７５）………有缓冲的认知无线电系统的接入控制算法（７９）……………基于相邻矩阵快速构建虚拟主干网的近似算法（８３）………信任模型中搭便车节点的抑制（８８）…………………………ＯＴＩＳ网络的支配集问题算法研究（９３）……………………混合保护准则下基于ＮＣ－ＯＦＤＭ的认知无线电系统功率分配（９８）…………………………………………………虚拟蜜网核心功能剖析与实例部署（１０１）……………………一种基于ＧＳＮＰＰ算法的社交网络隐私保护方法研究（１０４）………………………………………………………一种物联网框架下传感节点间跳数与距离关系的研究（１０７）………………………………………………………一种以服务器为通信节点的数据中心网络设计（１１０）………基于２Ｄ－Ｍｅｓｈ的容错路由算法（１１３）………………………基于攻击特征签名的自动生成（１１８）…………………………ＦＩＬｉＣ：一种ＣＵＤＡ上的交互型库函数框架（１２４）…………一种以安全性为中心的ＩＭＡ软件体系结构设计方法（１２８）…基于变量作用域的数据流分析（１３１）…………………………基于线性链表的模糊关联规则挖掘（１３５）……………………分级存储中自适应选择迁移策略的研究（１３９）………………Ｘ－Ｈｏｐ：传递闭包的多跳数压缩存储和快速可达性查询（１４４）………………………………………………………基于大规模语料划分的频繁模式查找算法（１４９）……………基于信息量与信息熵的元搜索引擎排序算法研究（１５３）……一种基于关键点的时间序列聚类算法（１５７）…………………分布式聚类算法的隐私保护研究（１６０）………………………基于层次空间聚类的表语义汇总算法（１６３）…………………基于分布式协调系统的并行频繁模式增长算法的优化（１７０）………………………………………………………从中文Ｗｅｂ网页中获取实体简称的研究（１７４）……………时变三维标量场并行计算与绘制框架研究（１８３）……………不确定性研讨信息的结构化与融合方法（１８７）………………基于流形正则化的文档分类算法研究（１９２）…………………基于遗传算法和隐马尔可夫模型的Ｗｅｂ信息抽取的改进（１９６）………………………………………………………广义的直觉模糊蕴涵及剩余格（２００）…………………………并行交通信号数值化优化算法研究（２０６）……………………量子粒子群和相关性分析在心电特征选择中的应用（２０９）………………………………………………………内Ｐ－推理与内收敛信息的辨识（２１２）………………………一种场景驱动的情境感知计算框架（２１６）……………………ＡＳ－Ｒ移动机器人的动态避障与路径规划研究（２２２）………ＬＳ－Ｐｒｅ：在开放式学习环境中自适应地预测学习者学习风格（２２７）…………………………………………………带交尾行为的混沌人工萤火虫优化算法（２３１）………………评价目标前提的逻辑框架（２３５）………………………………基于ｃｏｎｔｅｘｔ模型的ｃｏｎｔｏｕｒｌｅｔ域图像去噪（２４３）…………基于谱聚类的多阈值图像分割方法（２４６）……………………基于Ｄｉｒｅｃｔｉｏｎｌｅｔｓ和ＰＣＡ的多光谱与全色图像融合（２４９）………………………………………………………基于主题隐马尔科夫模型的人体异常行为识别（２５１）………一种传统中国书画图像的二分类方法（２５６）…………………基于ＯｐｅｎＣＬ的图像模糊化算法优化研究（２６０）……………“天河一号”大规模并行应用程序测试（２６５）…………………异步ＦＩＦＯ的模型检验方法（２６８）……………………………组网雷达估测降水系统并行化方案的设计与实现（２７１）……可重构系统中软硬任务划分方法研究（２７６）…………………异构机群上高效可扩展的Ｍｏｔｉｆ发现并行算法（２７９）………基于ＧＭＡ的轻量级高性能计算环境监控（２８３）……………基于ＣＵＤＡ实现ＭＲＲＲ算法并行（２８６）……………………基于主导值的计算和数据自动划分算法（２９０）………………可重构阵列的同步性能优化算法（２９５）………………………基于ＧＰＵ的全源最短路径算法（２９９）………………………一种高效直方图生成算法在ＧＰＵ上的实现（３０４）…………非结构网格并行计算预处理方法研究（３０８）…………………ＷｉＭＡＸ下ＬＤＰＣ编译码器仿真实现的研究（３１２）…………第４期Ｐ－集合，逆Ｐ－集合与信息智能融合－过滤辨识（１）……………三维ＣＡＤ模型检索综述（１４）………………………………空间遥感数据的多粒度标记分类（２３）………………………大型模型克隆检测技术研究（２８）……………………………基于支持向量机多分类的室内定位系统（３２）………………基于网络编码的Ｐ２ＰＴＶ拓扑优化（３６）……………………一种新型的撤销成员的无加密短群签名方案（４１）…………基于Ｋ均值集成和ＳＶＭ的Ｐ２Ｐ流量识别研究（４６）………支持多应用任务的ＷＳＮｓ中间件的设计与实现（４９）………网络抗拒绝服务攻击性能的集对评估方法（５３）……………一种时效性约束的二进制指数退避算法（５６）………………基于Ｋ－ＭＥＡＮＳ聚类的分支定界算法在网络异常检测中的应用（６０）……………………………………………基于格构造非交互不可展承诺方案（６３）……………………基于虚拟信号强度的ＲＦＩＤ定位方法研究（６７）……………基于移动设备的匿名可追踪版权保护协议（７１）……………物联网环境下一种基于人工能量势的服务获取方法（７５）…双网卡多信道无线ＭＡＣ协议（７９）…………………………基于之型分量码的系统非规则ＧＬＤＰＣ码（８４）……………一种支持组播的ＳＮＭＰｖ３改进模型（８９）……………………·２０３·多媒体社交网络中的数字内容安全分发研究（９４）…………基于Ｐ２Ｐ的匿名通信技术研究（９８）…………………………一种可证安全的基于身份门限代理签密方案（１０１）…………一种基于ＦＲＳ－ＦＣＭ算法的集成入侵检测方法的研究（１０６）………………………………………………………基于拟生灭过程的多跳Ａｄ ｈｏｃ网络洪泛方式下拥塞控制及饱和条件研究（１１０）…………………………………多链路权值增大的动态最短路径算法（１１４）…………………基于无线传感器的物联网网络拓扑发现算法研究（１１８）……基于组合模型的自相似业务流量预测（１２３）…………………ＩＢ ＱｏＳ的带宽分配机制研究（１２７）…………………………一种基于Ｐ２Ｐ的并行传输模型（１３１）………………………时间行为协议状态空间约减算法（１３５）………………………基于复杂系统遗传算法的多路径覆盖测试用例生成方法（１３９）………………………………………………………基于广义随机着色Ｐｅｔｒｉ网的Ｗｅｂ服务组合模型（１４２）……软件可靠性预测的核函数方法（１４５）…………………………一种动态混合ＱｏＳ语义的Ｗｅｂ服务个性化推荐模型（１４９）………………………………………………………基于语义相似度的Ｗｅｂ数据库不精确查询方法（１５４）……依赖ＥＲ模型的多关系频繁模式发现方法（１５９）……………社会网络数据的三级隐私保护发布算法研究（１６４）…………数据发布中的个性化隐私匿名技术研究（１６８）………………一种时态数据形式语言模型（１７２）……………………………基于领域特征文本的Ｄｅｅｐ Ｗｅｂ分类研究（１７７）……………基于相关性和冗余度的联合特征选择方法（１８１）……………基于增量ＳＶＲ模型的改进全局优化算法（１８５）……………基于改进ＢＮＦ的作战管理语言语法形式化方法（１８９）……一种基于进化过程学习的粒子群优化算法（１９３）……………结合Ｈｏｕｇｈ变换与改进最小二乘法的直线检测（１９６）……不完备决策表中基于对象矩阵属性约简算法（２０１）…………最值间距支持向量机（２０５）……………………………………特征融合和聚类核函数平滑采样优化的粒子滤波目标跟踪方法（２１０）………………………………………………一类求解带时间窗的团队定向问题的改进蚁群算法（２１４）………………………………………………………保持局部邻域关系的增量Ｈｅｓｓｉａｎ ＬＬＥ算法（２１７）………异维异构混沌系统同步及其在保密通信中的应用（２２０）………………………………………………………基于相对决策熵的决策树算法及其在入侵检测中的应用（２２３）………………………………………………………调查传播算法和蚁群算法相结合求解可满足性问题（２２７）………………………………………………………一种加群Ｚ＋ｐ上离散对数问题的ＤＮＡ计算算法（２３２）……基于图收缩的半监督聚类算法（２３６）…………………………面向智能空间的异构网络同构化通信框架（２４０）……………Ｐ－集合与它的动态等价类特征（２４６）…………………………相关性分析和最大最小蚁群算法用于脉搏信号的情感识别（２５０）………………………………………………………基于Ｒａｄｏｎ变换与功率谱结合的心脏ＭＲ图像配准算法（２５４）………………………………………………………一种基于正切图像处理（ＴＩＰ）模型的图像滤波算法（２５８）………………………………………………………一种基于静态和动态特征的步态识别新方法（２６１）…………多线程下的视频微动目标检测与提取算法研究（２６５）………对象族特征模型几何约束求解研究（２６９）……………………一种基于光流的多区域分割在步态识别中的应用（２７５）……基于粒子系统的爆炸效果仿真研究（２７８）……………………ＰＬＡＳＭＡ自适应调优与性能优化的设计与实现（２８２）……Ｍｕｌｔｉ－ｂａｎｋ闪存文件系统的一种Ｉ／Ｏ调度机制（２８７）………ＤＤＲ３时序分析与设计（２９３）…………………………………异构平台下格子Ｂｏｌｔｚｍａｎｎ方法实现及性能分析（２９６）……ＨＨＳＲ：一种命令与数据分传片上网络原型（２９９）…………基于ＧＰＵ的现代并行优化算法（３０４）………………………第５期智能车技术探讨（１）……………………………………………网络可靠性评估方法综述（９）…………………………………自组装ＤＮＡ计算的研究进展及展望（１４）…………………学科交叉视角下的情感识别研究进展（１９）…………………星座卫星通信系统资源动态平衡模型的研究（２５）…………基于随机因子和年龄的副本维护策略（３１）…………………基于遗传算法的网络资源配置优化（３６）……………………无线传感器网络距离自调整的ＭＤＳ定位算法（４０）………基于神经网络的无线传感器网络数据预测应用研究（４４）…基于ＳＤ－Ｔｏｒｕｓ网络的分布式ＩＰ地址查找（４８）……………时序ＰＬＤ安全缺陷检测方法研究（５３）………………………基于Ｂｌｏｏｍ Ｆｉｌｔｅｒ和概率分发队列的Ｐ２Ｐ网络快速查找算法（５７）…………………………………………………物联网环境下云数据存储安全及隐私保护策略研究（６２）………………………………………………………基于耦合系数的无标度网络建模（６６）………………………一种分层Ｐ２Ｐ流媒体系统重叠网的构建策略（６９）…………基于ＩＴＩＬ模型的动态信任管理研究（７５）……………………一种新的基于训练序列的时域ＭＩＭＯ－ＯＦＤＭ信道估计方法（８０）…………………………………………………基于云的计算机取证系统研究（８３）…………………………ＯＦＤＭＡ协同通信系统资源分配算法（８６）…………………级联加密技术及其在安全电子邮件中的应用（９１）…………基于动态影响网的Ｃ２组织ＣＯＡ问题建模（９５）……………基于免疫主机的蠕虫非线性传播新模型优化（９９）…………基于多面体质心算法的水下传感器网络定位（１０２）…………需求演化排队模型研究（１０６）…………………………………基于时效量化的Ｗｅｂ服务评价模型（１１０）…………………Ｇ ｄｅｌ语言延迟声明语句的语义及其实现方法（１１４）………基于受控马尔科夫链的软件缺陷优化测试策略（１１７）………·３０３·基于逻辑推理的构件行为片段提取与重组研究（１２０）………基于遗传算法的动态可变参数的测试数据自动生成工具（１２４）………………………………………………………基于Ａｇｅｎｔ的平行迭代再工程方法研究与应用（１２８）………反编译中数据类型自动重构技术研究（１３３）…………………基于ＯＭＣＭ的仿真系统概念建模方法（１３７）………………云计算环境中基于访问量和依赖性评价的数据分配算法（１４１）………………………………………………………移动实时环境下一种改进的广播调度算法（１４７）……………一种基于并行存储的多分辨率建模方法（１５１）………………基于原语－模式的体系结构作战活动模型建模方法（１５６）…基于动词论元结构的中文事件抽取方法（１６１）………………ＤＴＷ提前终止率的估算方法研究（１６５）……………………一种基于重构相容决策表的属性约简算法（１６８）……………一种基于加速迭代的大数据集谱聚类方法（１７２）……………基于组合特征的动态垃圾博客过滤算法（１７７）………………一种基于密度的加权模糊均值聚类算法（１８０）………………时间序列重要点分割的异常子序列检测（１８３）………………求解方程组的正交差分进化算法（１８７）………………………基于过采样技术和随机森林的不平衡微阵列数据分类方法研究（１９０）………………………………………………拟人Ａｇｅｎｔ面部复杂运动合成的研究与实现（１９５）…………具有混合群智能行为的萤火虫群优化算法研究（１９８）………基于Ｌ１范数的二维局部保留映射（２０１）……………………部分Ｋ值逻辑中完满对称函数集最小覆盖判定的一些结果（２０５）………………………………………………………一种有效的标签抽取和匹配方法（２０８）………………………学习过程中共享经验的Ｑ学习算法的研究（２１３）…………基于反向学习的自组织迁移算法（２１７）………………………多目标优化免疫算法中核心算子抽象（２１９）…………………改进的Ｄｉｊｋｓｔｒａ最短路径算法及其应用研究（２２３）…………基于机器学习方法的事件指代消歧研究（２２９）………………割序集模型中顺序失效符的推演规则（２３４）…………………基于水平集方法的弱边界运动人体目标跟踪与轮廓提取（２３９）………………………………………………………一种改进的基于ＮＭＦ的人脸识别方法（２４３）………………一种纵横窗口关联的多级中值滤波算法（２４６）………………基于模糊循环随机映射的人脸生物特征加密算法（２４９）……基于梯度相位编组的树枝识别新算法（２５４）…………………基于Ｓｈｅｐｐ－Ｌｏｇａｎ头模型的锥束ＣＴ仿真投影快速计算（２５７）………………………………………………………基于图像边界特征的人体寄生虫虫卵形状分类算法研究（２６１）………………………………………………………基于黎曼流型度量的人工鱼群算法视觉跟踪（２６６）…………基于ＯｐｅｎＣＬ的拉普拉斯图像增强算法优化研究（２７１）……三维结构分析并行自适应有限元软件ＰＨＧ－Ｓｏｌｉｄ（２７８）…基于神经网络的独立程序在单机上运行功耗的预测（２８２）…一种基于仿生原理的Ｓｏｂｅｌ算子容错方法（２８７）……………作战事件跟踪描述建模及验证方法研究（２９１）………………一种相对游程长度编码方案（２９５）……………………………ＭＰＩ并行调试与优化策略在三维绕流气体运动论数值模拟中的应用（３００）………………………………………基于硅光子的片上光互连技术研究（３０４）……………………基于ＧＰＵ平台的联合迭代重构算法加速（３１０）……………第６期磁盘存储测试技术研究（１）……………………………………群智能在多智能体系统中的应用研究进展（６）………………步态识别研究进展（１０）………………………………………自助服务终端界面交互设计研究（１６）………………………基于区间标度的群体ＡＮＰ决策方法（２１）…………………一种基于双层栅格划分的无线传感器网络目标定位方法（２５）………………………………………………………云环境下面向数据密集型应用的数据选择策略研究（３０）…基于情景演算的动态访问控制模型（３５）……………………一种对片上网络中Ｍｅｓｈ结构的改进策略及路由算法（４０）……基于混沌映射的压缩图像加密算法（４４）……………………一种新的基于能量消耗速率模型的分簇路由协议（４７）……基于合作博弈的虚拟化资源效用分配策略（５１）……………网格环境中基于语义注释的服务发现算法（５４）……………大规模分布式系统脆弱性分析框架研究（５８）………………基于Ｅｌｍａｎ神经网络的网络安全态势预测方法（６１）………一种基于组合阶双线性对群的ＨＩＢＥ方案（６４）……………基于同心圆定位算法的改进算法研究（６８）…………………一个强口令认证方案的攻击与改进（７２）……………………一种基于ＳＯＡ的ＳＯＡＰ消息安全传输机制（７７）…………蜂窝网中基于分布式约束满足算法的改进信道分配（８１）…ＤＬＤ－ＭＡＣ：一种区分服务的低时延传感器网络ＭＡＣ协议（８４）…………………………………………………………基于可预测移动汇聚节点的无线传感网分簇算法研究（８９）………………………………………………………基于控制流信息的克里普克结构生成方法（９３）……………一种基于ＤＬＳ和ＡＣＯ的平台资源规划方法（９８）…………物联网感知层移动自组织网可靠性评估方法（１０４）…………基于浅层语义分析技术的语义检索（１０７）……………………基于动态网络影响扩散问题研究（１１１）………………………模型驱动环境下模型演化的形式化研究（１１６）………………基于ＢＰＥＬ和ＷＳ－ＴＸ的Ｗｅｂ服务组合事务协调框架研究（１２０）………………………………………………………基于协议的实时构件行为一致性验证（１２５）…………………基于限界模型检查的Ｗｅｂ服务行为失配检测（１２９）………国产基础软件应用平台的兼容性测试研究（１３３）……………基于本体和多Ａｇｅｎｔ的个性化主动服务模型（１３８）…………基于Ｖｏｒｏｎｏｉ图的线段最近对查询（１４３）……………………ＥＳＳＫ：一种计算点击流相似度的新方法（１４７）………………一个面向需求扩展的不确定数据Ｔｏｐ－ｋ查询改进算法（１５１）………………………………………………………·４０３·ＧＣ－ＢＥＳ：一种新的基于嵌入集的图分类方法（１５５）…………评价主题挖掘及其倾向性识别（１５９）…………………………基于框架和案例推理的应急预案表示和优选方法的研究设计（１６３）…………………………………………………一种基于极大团的关键时间段挖掘方法（１６６）………………ＲＦＩＤ数据仓库上的多时空粒度近似聚集查询（１７０）………基于ＯＬＡＰ与数据挖掘的高考招生数据分析（１７５）………标签时态特征分析及其在标签预测中的应用（１７９）…………用于ＴＳＰ的自适应贪婪ＧＡ算法（１８４）……………………基于不平衡数据分类的一种平衡模糊支持向量机（１８８）……特性关系粗糙集中对象变化时近似集增量更新方法研究（１９１）………………………………………………………基于语义密度的名词消歧算法（１９４）…………………………基于文化框架的随机粒子群优化算法（１９８）…………………基于Ｐｅｔｒｉ网的关键路径求解算法（２０１）……………………不确定环境下基于ＶａＲ和ＣＶａＲ的投资组合优化模型（２０４）………………………………………………………自适应中心引力优化算法（２０７）………………………………改进的最大熵权值算法在文本分类中的应用（２１０）…………面向Ｗｅｂ信息资源的领域本体模型自动构建机制的研究（２１３）………………………………………………………迁移工作流中ＭＩ的迁移策略研究（２１７）……………………基于ＺｉｇＢｅｅ和ＧＰＲＳ的嵌入式远程监测系统的设计（２２２）………………………………………………………基于动态约束满足框架的强表达时态规划算法（２２６）………基于多样性向导的自适应重采样粒子滤波研究（２３１）………基于判断聚合逻辑的偏好聚合分析（２３５）……………………语义虚拟环境本体可视化模型的研究（２４０）…………………小波分析和支持向量机相融合的语音端点检测算法（２４４）…基于扩展的Ｇｒａｎｏｔｔ相互作用模式的移动协同学习模型研究（２４７）…………………………………………………一种快速鲁棒的ＬＯＧ－ＦＡＳＴ角点算法（２５１）………………基于均匀区域分割的图像检索研究（２５５）……………………基于累积帧的自适应双阈值镜头边界检测算法（２５８）………基于ＭＦＡ与ｋＮＮＳ算法的高光谱遥感影像分类（２６１）……基于ＭＢ－ＬＢＰ和改进的ＬＦＤＡ的人脸识别（２６６）…………基于稀疏表征的可见光和近红外光人脸图像融合快速识别算法（２７０）………………………………………………核Ｄｉｒｅｃｔ ＬＤＡ子空间高光谱影像地物分类（２７４）…………基于脑磁共振图像配准的动态联合角点检测算法（２７８）……基于像素同龄组和相邻组的绝缘子去噪方法（２８３）…………基于ＧＰＵ的非标记定量软件ＱｕａｎｔＷｉｚ并行化实现（２８５）………………………………………………………一种基于Ａｎｄｒｏｉｄ系统网络模块功耗的评估和分析（２８９）………………………………………………………面向异构架构的混合精度有限元算法及其ＣＵＤＡ实现（２９３）………………………………………………………循环携带反依赖的ＭＰＩ自动并行化研究（２９７）……………ＭＰＩ自动并行化编译系统中消息传递代码生成算法（３０１）………………………………………………………三维ＦＤＴＤ众核算法的设计与实现（３０５）…………………第７期基于横向局部性的多核计算模型（１）…………………………开放云端计算环境中的任务执行代码安全机制（７）…………基于知识发现的网络安全态势感知系统（１１）………………统计聚类模型研究综述（１８）…………………………………电子战本体论及其在仿真中的应用（２５）……………………基于标号随机Ｐｅｔｒｉ网的ＧＳＭ性能分析（２９）………………面向ＣＰＳ系统仿真的建模方法研究与设计（３２）……………动态自适应ＤＤＳ实时中间件的研究与实现（３６）……………一种基于门限的电子投票方案（３９）…………………………作战超网络多Ａｇｅｎｔ模型（４４）………………………………移动Ａｄ ｈｏｃ网络基于链路质量的地理位置路由协议（４８）………………………………………………………基于局部路由的中高速传感器网络同步算法研究（５２）……一种新型的无线传感器网络三维定位算法（５５）……………一种基于层次分析法的信息系统漏洞量化评估方法（５８）……面向ＬＥＯ卫星网的轻量级按需ＱｏＳ源路由算法（６４）……动态计算网络：一种面向物联网的普适计算框架（６９）………基于ＰＫＩ的通用无线认证协议研究（７４）……………………ＮＴＲＵ公钥密码体制的等价密钥（７８）………………………基于免疫优势克隆网络聚类的入侵检测（８２）………………基于节点稳定度预测机制的Ａｄ ｈｏｃ网络中关键节点探测算法研究（８７）…………………………………………基于ＰＳＲ－ＬＳＳＶＭ的网络流量预测（９２）……………………面向入侵检测的基于ＩＭＧＡ和ＭＫＳＶＭ的特征选择算法（９６）…………………………………………………………Ｐ２Ｐ网络文件分发过程及影响传播因素研究（１００）…………具有自适应能力的Ｅｐｉｄｅｍｉｃ路由算法（１０４）………………基于ＱｏＳ与可信度融合的Ｗｅｂ服务选择机制研究（１０８）………………………………………………………无人机飞控软件系统建模与测试用例生成研究（１１２）………一种基于ＭＶＣ模式的Ｐｏｒｔｌｅｔ开发框架的设计与实现（１１９）………………………………………………………模型驱动开发中模型演化语法和语义特性研究（１２３）………ＳＭＣ／ＡＤＬ：一种层级式构件系统的体系结构描述语言（１２７）………………………………………………………面向通信协议故障的分布式软件可靠性测试技术研究（１３２）………………………………………………………多层次的软件演化追踪关系逆向恢复（１３５）…………………一种基于相关反馈的信息检索模型（１４０）……………………通过评估示例中概念的重要性来解决多示例学习问题（１４４）………………………………………………………追踪复杂事件的形成世系（１４８）………………………………面向个人简历的事件抽取和检索框架（１５４）…………………不确定性数据上频繁项集挖掘的预处理方法（１６１）…………·５０３·。
一种适用于中期冲突探测的概率型算法
Ｐｒ ｏ ｂ ａ ｂｉ ｃ ｈ ｔ ｏ ｍｅ ｄｉ ｕ ｍ ｔ ｅ ｒ ｍ ｃ ｏ ｎｆ ｌｉ ｃ ｔ ｄｅ ｔ ｅ ｃ ｔ ｉ ｏ ｎ
ＸＵ Ｘｉ ａ ｏ － ｈ ａ ｏ，ＷＡ ＮＧ ． １ ｉ ｅ — ｎ ｉ ｎ ｇ，Ｃ Ａ ０ Ｗｅ ｎ — ｔ ｉ ｎ ｇ
（ Ｃ ｏ ｌ ｌ ｅ ｇ ｅ ｏ ｆ Ａｉ ｒ ｎ ｃ Ｍａ ｎ ａ ｇ ｅ ｍｅ ｎ ｔ ， Ｃ ＡＵ Ｃ， Ｔ ｉ ａ ｎ ｊ ｉ ｎ ３ ０ ０ ３ ０ ０ ， Ｃ ｈ ｉ ｎ ａ ）
Ａｂ ｓ ｔ ｒ ａ ｃ ｔ ：Ｍｏ ｄ ｅ ｌ ａ ｌ ｏ ｎ ｇ ｔ ｒ ａ ｃ ｋ ｋ ｉ ｎ ｅ ｍａ ｔ ｉ ｃ ｓ ｅ ｑ ｕ ａ ｔ ｉ ｏ ｎ ｏ ｆ ｔ ｈ ｅ ａ ｉ ｒ ｃ ｒ ａ ｆ ｔ ｂ ｙ ｒ ｅ ｆ ｅ ｒ ｅ ｎ ｃ ｉ ｎ ｇ ｔ ｏ ａ ｃ ｌ ａ ｓ ｓ ｉ ｃ ａ ｌ ｃ ｏ ｎ ｃ ｌ ｕ ｓ ｉ ｏ ｎ ｔ ｈ ａ ｔ ｔ ｈ ｅ ａ ｌ ｏ ｎ ｇ ｔ ｒ ａ ｃ ｋ ｅ ｒ ｒ ｏ ｒ ｏ ｆ ｔ ｈ ｅ ａ ｉ ｒ ｃ ｒ ａ ｆ ｔ ｉ ｓ ｎ ｏ ｒ ｍａ ｌ ｄ ｉ ｓ ｔ ｉ ｒ ｂ ｕ ｔ ｅ ｄ，ｃ ｏ ｎ ｓ ｉ ｄ ｅ ｒ ａ ｎ ｅ ｎ ｃ ｏ ｕ ｎ ｔ ｅ ｒ ｂ ｅ ｔ ｗ ｅ ｅ ｎ ｔ ｗ ｏ ａ ｉ ｒ ｃ ｒ ａ ｆ ｔ ｓ ａ ｔ ｔ ｈ ｅ ｓ ａ ｍｅ ｌ ｆ ｉ ｇ ｈ ｔ
冲 突探 测 ． 从 而使 该 算 法 具有 更 广 泛 的 应 用性 。
关键 词 ：空 中 交通 管 制 ； 中期 冲突探 测 ； 航 迹误 差 ； 正态分布； 冲 突概 率 中 图分 类 号 ： Ｖ ３ ５ ５ ． １ 文 献 标 志码 ： Ａ 文章编号 ： １ ６ ７ ４ — ５ ５ ９ ０ （ ２ ０ １ ３ ） ０ ２ — ０ ０ １ ２ — ０ ５
人工智能领域概率图模型和因果推理方面50个课题名称
人工智能领域概率图模型和因果推理方面50个课题名称1. 概率图模型在语言模型中的应用研究2. 基于贝叶斯网络的医学诊断模型研究3. 因果推理在自动驾驶系统中的应用研究4. 基于概率图模型的风险预测模型研究5. 概率图模型在金融领域的应用研究6. 因果推理在社交网络分析中的应用研究7. 基于概率图模型的机器翻译算法研究8. 概率图模型在推荐系统中的应用研究9. 因果推理在医学影像分析中的应用研究10. 基于概率图模型的时间序列预测算法研究11. 概率图模型在物联网数据分析中的应用研究12. 因果推理在智能家居系统中的应用研究13. 基于概率图模型的异常检测算法研究14. 概率图模型在自然语言处理中的应用研究15. 因果推理在精准医疗中的应用研究16. 基于概率图模型的图像分割算法研究17. 概率图模型在无人机航迹预测中的应用研究18. 因果推理在信用评估中的应用研究19. 基于概率图模型的情感分析算法研究20. 概率图模型在物流路径规划中的应用研究21. 因果推理在网络安全中的应用研究22. 基于概率图模型的视频推荐算法研究23. 概率图模型在交通流量预测中的应用研究24. 因果推理在电力系统优化中的应用研究25. 基于概率图模型的音乐推荐算法研究26. 概率图模型在气候模拟中的应用研究27. 因果推理在智能物流中的应用研究28. 基于概率图模型的用户画像分析算法研究29. 概率图模型在航班延误预测中的应用研究30. 因果推理在企业风险管理中的应用研究31. 基于概率图模型的推文分类算法研究32. 概率图模型在供应链优化中的应用研究33. 因果推理在智能助手系统中的应用研究34. 基于概率图模型的商品推荐算法研究35. 概率图模型在股票价格预测中的应用研究36. 因果推理在飞行器故障诊断中的应用研究37. 基于概率图模型的社交媒体分析算法研究38. 概率图模型在智慧城市规划中的应用研究39. 因果推理在人脸识别中的应用研究40. 基于概率图模型的推荐信用分授信算法研究41. 概率图模型在网络广告点击率预测中的应用研究42. 因果推理在自然灾害预警中的应用研究43. 基于概率图模型的社交推荐算法研究44. 概率图模型在电商销量预测中的应用研究45. 因果推理在农作物生长模拟中的应用研究46. 基于概率图模型的个性化广告推荐算法研究47. 概率图模型在网络欺诈检测中的应用研究48. 因果推理在金融风险预测中的应用研究49. 基于概率图模型的图像生成算法研究50. 概率图模型在人群流动模拟中的应用研究。
电力系统区域间可用输电能力计算方法综述
电力系统区域间可用输电能力计算方法综述摘要：介绍了可用输电能力（available transfer capability，atc）的定义，分析了atc的几个主要影响因素，对基于确定性模型和概率性模型的各种atc计算方法及其优缺点、适用领域进行了分析、比较和总结。
此外，对atc研究的特点和发展方向进行了论述，并给出了一些合理的建议。
关键词：电力市场；atc；综述中图分类号：tm2471 引言在电力系统中，最大输电能力是反映系统中两个区域间功率交换能力的重要指标。
在电力市场环境下，可用输电能力是ttc的一部分，为ttc减去输电协议和预留容量的值。
atc能直观地显示系统安全稳定裕度，此外，作为市场尚存交易能力的指标，它还具有市场导向功能，能为电力市场维护和参与人员提供电网使用的状况，以指导其市场行为。
2 atc的定义1995年，北美电力系统可靠性委员会根据美国联邦能源委员会的要求，给出了atc的定义：atc即在现有的输电合同基础之上，输电网络中剩余的、可靠的、可用于商业用途的传输容量[1]。
在数学的角度上，atc可描述为：atc=ttc-etc-trm-cbm （1）式中，ttc为系统最大输电能力，etc为现存输电协议，trm为输电可靠性裕度，cbm为容量效益裕度。
3 atc计算的影响因素从式（1）可以看出，atc由ttc、etc、trm和cbm这四个因素决定，此外它还受到系统运行方式的影响，下面详细介绍。
3.1 系统最大输电能力（ttc）系统最大输电能力（ttc）定义为：在满足一定条件下，互联输电网络中能够可靠传输的最大容量。
对于ttc而言，其数值与计算时考虑的约束条件有很大相关性，当约束条件较为苛刻时，ttc计算数值较小；当约束条件较为宽松时，ttc数值较大。
3.2 现存输电协议（etc）现存输电协议（etc）即为已存在的所有正常的输电潮流，根据etc合同的稳定程度，可使用诸如“可撤销”和“不可撤销”、“计划”和“预约”传输进一步描述输电合同。
航空器轨迹预测技术研究综述
20215712据预测，未来20年，全球航空运输年增长率约为4.4%，中国空中交通量将增长3.5倍[1]，这对民航界的发展提出了重大的挑战。
而目前的空中交通管理（Air Traffic Management，ATM）系统在操作、功能和技术层面上是分散的，导致了航班延误、空域拥堵、管制员工作负荷较大以及需求和容量失衡等一系列问题[2-3]。
因此，ATM系统中出现了许多决策支持工具（Decision Support Tools，DST），旨在帮助管制员进行冲突检测和解脱、进场排序以及航空器异常行为监测等，确保飞行安全，提高运行效率，减轻管制员工作负荷，扩大空域容量[4-6]。
而航迹预测是所有DST的基础，能够极大地降低航空器未来飞行的不确定性，提高空中交通的可预测性。
同时，航迹预测也成为了现代空管自动化系统的核心技术。
另外，为了克服ATM系统的缺陷，应对日益增长的航空运输需求，许多国家和组织提出了改造项目，如国际民用航空组织的航空系统组块升级框架、欧洲的单一航空器轨迹预测技术研究综述徐正凤，曾维理，羊钊南京航空航天大学民航学院，南京211106摘要：航空器轨迹预测是流量管理、冲突检测和解脱、航空器进场排序以及异常行为监测等空中交通管理技术的基础。
关于航空器轨迹预测的研究产生了许多经典的方法和应用领域。
对研究航迹预测问题的背景和意义进行概述，并从数据库、基础流程和预测关键技术三个方面介绍了有关航迹预测的基础知识。
其中数据库包括航空器性能数据库、航空器监视数据库和气象数据库，基础流程包括准备、预测、更新和输出四个模块，预测关键技术总结并列举了状态估计模型、动力学模型和机器学习模型三类方法的典型模型。
对航迹预测系统模型进行具体分析时，进一步列举三类方法的主要研究成果并归纳各类方法的特点。
对航迹预测在空中交通管理中的具体应用进行分析，包括冲突检测、到达管理和流量管理等。
总结并指出了目前航迹预测问题所面临的挑战和未来的发展方向。
飞行冲突的判定模型及其在冲突避免中的应用
收稿日期：2005-02-25第23卷 第4期计 算 机 仿 真2006年4月文章编号：1006-9348（2006）04-0023-03飞行冲突的判定模型及其在冲突避免中的应用赵源，高正红（西北工业大学航空学院，陕西西安710072）摘要：在军、民用飞机的飞行中，保证飞机间的安全间隔始终是确保飞行安全需要首先考虑的问题。
该文以现行的飞行间隔规定为基础，以星基导航设备的使用为前提，构建了飞行冲突的判定模型———一个由保护区，警戒区组成的双层保护区域；并在对飞机之间的水平间隔和垂直间隔分别计算的基础上，实现了飞行冲突的检测算法。
飞行冲突的检测算法可以提供详细的信息：何时不存在冲突；何时存在冲突；何时冲突已经发生；何时不存在冲突但存在警告，而不仅仅是给出一个判断结果。
最后以该模型和算法为基础，应用遗传算法解决飞行冲突，取得了良好的效果。
关键词：保护区；警戒区；判定模型；冲突检测算法；遗传算法中图分类号：V411.8文献标识码：BJudge Model of Flight Conflictand Its Application in Conflict avoidanceZHAO Yuan ，GAO Zheng -hong（Institute of Aeronautics ，Northwestern Poiytechnicai University ，Xi an Shanxi 710072，China ）ABSTRACT ：Maintaining safe distance is most important to insure safety in both civii fiight and miiitary fiight.This paper uses current ruies as the foundation and supposes navigating eguipment based on sateiiite as prereguisite to estabiish a judge modei of fiight confiict and a confiict measure aigorithm to heip controiiers in making decisions.Confiict measure aigorithm provides detaiied information about fiight but doesn t just provide simpie resuit of if there is a confiict.Based on the judge modei of fiight confiict and confiict measure aigorithm ，GA is used for soiving fiight confiict with good resuit.KEYWORDS ：Protect zone ；Aiert zone ；Judge modei ；Confiict measure aigorithm ；Genetic aigorithm1 引言随着星基导航设备的逐步使用，未来航空器飞行中飞行自由度将得到极大的提高，从而使“自由飞行”［1］［2］［3］成为可能；在军事方面，未来可能出现的大规模有人或无人飞机的机群作战飞行等，都会使得未来的飞行中可能出现更多的潜在飞行冲突。
概率型中期冲突探测算法研究
概率型中期冲突探测算法研究在无线传感器网络中，冲突是一个常见且具有挑战性的问题。
随着网络规模的增加和节点密度的提高，冲突问题变得更加复杂。
因此，研究如何有效地探测和解决中期冲突成为了一项重要任务。
传统的冲突探测方法通常采用时域或频域的方式来进行，这些方法在某些情况下效果良好，但在高密度网络或高速传输的环境下存在一定局限性。
因此，概率型中期冲突探测算法成为了一个备受关注的研究领域。
该算法利用概率模型和统计学原理来检测节点之间的冲突，并据此进行调度和冲突解决。
概率型中期冲突探测算法的核心思想是通过统计分析和概率推断来确定是否存在冲突，并尽可能减少误判的概率。
在实际应用中，该算法往往能够有效地处理不同节点之间的碰撞，并实现网络资源的最优利用。
在研究中，我们对概率型中期冲突探测算法进行了深入的分析和实验研究。
首先，我们了解了该算法的基本原理和流程，然后通过对不同参数的调整和优化，提升了算法的性能和稳定性。
在实验过程中，我们设计了一系列的场景和测试用例，模拟了不同密度和速率下的冲突情况，并对比了概率型中期冲突探测算法与传统方法的性能差异。
实验结果表明，该算法在提高冲突检测准确性的同时，也能够有效降低网络能耗和延迟，提升整体性能。
此外，我们还对概率型中期冲突探测算法的应用前景进行了展望。
随着物联网和5G技术的发展，无线传感器网络将面临更加复杂和多样化的挑战，而该算法的概率模型和统计推断思想将为解决这些问题提供新的思路和方法。
梳理一下本文的重点，我们可以发现，概率型中期冲突探测算法是一种有效的解决冲突问题的方法，具有较高的实用性和可靠性。
我们相信，随着研究的不断深入和完善，该算法将在无线传感器网络中发挥更加重要的作用，为网络通信和数据传输提供更好的保障。
中国铁路的列车控制系统课件
• 紧急制动：考虑各种相关因素必需的最大 停车距离的故障－安全制动。一旦实施紧 急制动，中途不可缓解。
• 最大常用制动：可达到最大制动率的常用 制动，在达到规定的速度时可以缓解。
• 线路速度限制：由线路纵剖面、轨道以及 线路结构决定的线路每一个区间最大允许 速度。
• 基于通信的列车控制（ＣＢＴＣ）：不依 赖于轨道电路对列车进行高精度定位；大 容量、双向车地数据传输；能够执行至关 重要（安全）功能的车载和轨旁处理器。
信号接收机 制动控制单元
司机显示器
列车运行控制系统车载设备框图
天线 速度传感器
列车控制系统-国外
国外高速铁路列控系统及发展： • 日本新干线的ATC， • 法国TVM系统， • 德国铁路使用的LZB系统， • 欧洲列车控制ETCS系统。
ETCS系统及分级
ETCS-1：地面信号＋查询应答器＋轨
• 固定闭塞（Fixed Block）：线路被划分为固定位 置、某一长度的闭塞分区，一个分区只能被一列 车占用，闭塞分区的长度按最长列车、满负载、 最高速、最不利制动率等最不利条件设计，列车 间隔为若干闭塞分区，而与列车在分区内的实际 位置无关，列车位置的分辨率为一个闭塞分区 （一般为几百米），制动的起点和终点总是某一 分区的边界，对列车的控制一般采用速度码台阶 式制动曲线方式，该系统要求运行间隔越短，闭 塞分区（设备）数越多。
• 安全完善度等级（Ｓａｆｅｔｙ Ｉｎｔ ｅｇｒｉｔｙ Ｌｅｖｅｌ）：对系统所 要求的安全性完善水平的一种定量指标。 是将安全完善度根据安全功能失效的频率 和产生的危险严重程度划分的等级。对不 同等级的系统提出不同的技术要求，以便 适当地选用可靠性及安全性技术措施来达 到相应的技术条件。
缩写语
✓ ATP（Automatic Train Protection），列车超速防护。 ✓ CTC（Centralized Traffic Control），调度集中。 ✓ CTCS（Chinese Train Control System），中国列车运行控制系统。 ✓ DMIS（Dispatch Management Information System），列车运行调度管理
自回归和生成式-概述说明以及解释
自回归和生成式-概述说明以及解释1.引言1.1 概述自回归和生成式是现代计算机科学领域中的两个重要概念。
自回归指的是一种建模方法，它通过利用过去时间步的数据来预测未来的数值。
生成式是一种基于模型的方法，它可以从已有数据中生成新的样本。
虽然自回归和生成式本质上是不同的，但它们在许多实际应用中都扮演着重要角色。
在自回归中，我们使用历史时间步的数据来预测未来的值。
这种方法可以应用于时间序列数据、语言建模等领域。
自回归模型通过分析历史数据的模式和趋势，来进行有意义的预测。
这种方法的优点在于它能够捕捉到时间的序列性质，对于样本间的时序关系有更好的建模能力。
生成式方法则是通过学习已有数据的概率分布来生成新的样本。
这种方法可以应用于图像生成、文本生成等领域。
生成式模型能够学习到数据的潜在结构和统计规律，并使用学到的模型来生成与输入数据具有相似特征的新样本。
生成式方法的优点在于它可以产生具有多样性和创造力的样本，有助于开发新颖的应用和提升创造力。
本文将对自回归和生成式进行详细介绍，并探讨它们在不同领域中的应用和方法。
我们将分析它们的优势和劣势，并对未来的发展进行展望。
通过深入了解自回归和生成式的概念和原理，读者将能够更好地理解并应用这两个重要的计算机科学概念。
1.2 文章结构文章结构部分的内容应该包含以下内容：文章结构部分主要介绍了整篇文章的框架和组织方式，让读者能够清晰地了解文章的结构和内容安排。
本文按照以下方式组织：第一部分是引言，主要包括概述、文章结构和目的。
在概述中，简要说明了自回归和生成式的概念和重要性。
文章结构部分对整篇文章进行了分章分节的介绍，让读者了解到各个部分的主题和内容。
目的部分指出了本文的目标和意义，即介绍自回归和生成式的定义、原理、应用领域和方法，并对其特点进行总结，同时对未来发展进行展望。
第二部分是正文部分，主要包括自回归和生成式两个主题。
在自回归部分，首先介绍了其定义和原理，包括自回归模型的基本概念和实现原理。
空域运行仿真中冲突的自动检测和调解系统及方法
空域运行仿真中冲突的自动检测和调解系统及方法
空域运行仿真中冲突的自动检测和调解系统及方法可以使用以下步骤和策略：
1. 空域分配：通过一个中央控制器或者分布式算法实时进行空域资源的分配和规划，确保每个飞行器、无人机或者其他空中设备被分配到不会造成冲突的空域。
2. 冲突检测：系统中需要有一个实时的监控和检测模块，用于识别和检测空中设备之间的冲突情况。
这可以通过使用雷达、GPS、相机或者其他传感器来实现。
检测算法可以使用几何分析、路径预测等方法来判断是否存在冲突。
3. 冲突解决：在检测到冲突的情况下，系统需要使用一种调解的方法来解决冲突。
一种常见的方法是通过调整飞行器的航路或者高度来避免冲突。
如果冲突无法避免，系统可以使用一种协商机制，让相关设备共同决定如何优先进行操作，例如通过通信协议进行交流和协调。
4. 策略优化：系统可以使用优化算法来优化冲突检测和解决的策略。
这可以包括考虑设备的动态性、速度、负载或者其他因素来决定最优的操作。
5. 异常处理：系统需要能够处理可能的意外情况或者故障。
这可以包括自动的备份系统、冲突检测和解决算法的纠错能力，以及相应的安全机制，如强制设备降落或离开冲突区域等。
总的来说，空域运行仿真中冲突的自动检测和调解系统及方法依赖于实时的空域分配、冲突检测、冲突解决和策略优化等技术来确保空中设备之间的安全运行和协调。
基于冲突概率的低空自由飞行冲突检测算法
基于冲突概率的低空自由飞行冲突检测算法
沈笑云;周波;曹博;唐鹏
【期刊名称】《电光与控制》
【年(卷),期】2014(000)006
【摘要】针对低空自由飞行的临时机动性，基于Paielli算法中冲突概率的思想，提出一种适用于低空飞行的飞机冲突探测算法。
算法考虑空间精度要求，加入时间维度，使Paielli算法中的扩展冲突域在相对运动方向上的不定积分变成与冲突时间相对应的有确定上下限的定积分，冲突的概率转化为对应于某一时刻的冲突域与联合航迹误差的交叉体积的积分。
通过Cholesky分解和矩阵旋转等方式，实现了冲突概率模型的量化求解，能更准确地预测冲突发生的概率。
【总页数】6页(P43-47,63)
【作者】沈笑云;周波;曹博;唐鹏
【作者单位】中国民航大学智能信号和图像处理天津市重点实验室，天津300300;中国民航大学智能信号和图像处理天津市重点实验室，天津 300300; 中国民用航空中南地区空中交通管理局湖北分局，武汉 430000;中国民航大学智能信号和图像处理天津市重点实验室，天津 300300;中国民航大学智能信号和图像处理天津市重点实验室，天津 300300
【正文语种】中文
【中图分类】V328.5
【相关文献】
1.基于扩展摩尔邻域的自由飞行冲突风险研究 [J], 王涛波;王超;田猛
2.基于K-近邻的自由飞行冲突探测研究 [J], 赵元棣;孙禾;王洁宁
3.基于一种免疫遗传算法的自由飞行冲突解脱 [J], 杨尚文;戴福青
4.基于球形边界的ATC飞行冲突概率预测 [J], 宫峰勋
5.基于Prony模型的低空风切变快速检测算法 [J], 白健;李勇;高霞;李滔;程宇峰因版权原因，仅展示原文概要，查看原文内容请购买。
基于总体冲突概率和三维布朗运动的冲突探测算法
基于总体冲突概率和三维布朗运动的冲突探测算法石磊;吴仁彪;黄晓晓【摘要】随着空中交通流量的增加，冲突探测在空中交通管理系统中的作用越来越重要。
该文提出了一种概率型冲突探测算法，计算向前看时间内的总体冲突概率。
基于飞机3维布朗运动模型，飞机的预测航迹可以表示为确定航迹外加布朗运动扰动。
对于两飞机速度为常值的运动情况，冲突概率可以表示为做布朗运动的飞机进入运动的飞机保护区的概率，使用坐标变换和Bachelier-Levy定理进行估计；对于两飞机运动为非匀速运动情况，预测航迹则可以使用足够多速度为分段常值的片段来近似，计算出每一片段内的冲突概率，并给出了向前看时间内总体冲突概率的上下界。
与蒙特卡罗仿真结果比较，算法满足冲突探测精度要求，对及时发现冲突和冲突解决具有重要意义。
%With the increasing of the air traffic flow, conflict detection plays an increasingly important role in air traffic management system. A probabilistic conflict detection algorithm is proposed. Overall conflict probability in look-ahead time is calculated. The aircraft predicted trajectory is expressed as deterministic trajectory plus a Brownian motion perturbation. For the case of constant aircraft speed, conflict probability is expressed as the probability of an aircraft with Brownian motion perturbation entering a time-varying moving protection zone, the probability is approximated using coordinate transformation and Bachelier-Levy theorem. For the case of aircraft with non-constant speed, predicted trajectory can be approximated by a large enough number of constant speed segments. Conflict probability of each segment is calculated and the overall conflict probability bounds in look-ahead timeare given. Compared with Monte Carlo simulations, the proposed algorithm is accurate for conflict detection and it is useful to detect and avoid conflicts in air traffic management system.【期刊名称】《电子与信息学报》【年(卷),期】2015(000)002【总页数】7页(P360-366)【关键词】空中交通管理系统;总体冲突概率;3维布朗运动;坐标变换;Bachelier-Levy定理【作者】石磊;吴仁彪;黄晓晓【作者单位】中国民航大学智能信号与图像处理天津市重点实验室天津 300300; 天津大学电子信息工程学院天津 300072;中国民航大学智能信号与图像处理天津市重点实验室天津 300300;中国民航大学智能信号与图像处理天津市重点实验室天津 300300【正文语种】中文【中图分类】TP391空中交通管理的基本要求是保证飞行的安全。
自由飞行下基于集成学习的概率型冲突探测算法
自由飞行下基于集成学习的概率型冲突探测算法蒋旭瑞;吴明功;温祥西;霍丹;张怀中【摘要】空中交通流量的持续增加对中、短期飞行冲突探测的精度与处理大量目标的能力的要求更高,提出基于集成学习(ensemble learning)的冲突探测算法.首先,对飞机冲突过程建模,收集飞行样本;其次,提取飞机当前位置、速度矢量、向前看时间、待转弯时刻和转角为特征量,训练基本分类器,获得元数据集;然后,以支持向量机为二级分类器,元数据集为新的特征量,训练Stacking元分类器(meta classifier),分类阶段通过Sigmoid函数概率映射法输出冲突概率;最后进行仿真分析.结果表明:基于集成学习的冲突探测算法对冲突探测具有较高的准确率,使得虚警概率大幅下降,且适用于转弯飞行.【期刊名称】《航空工程进展》【年(卷),期】2018(009)004【总页数】7页(P530-536)【关键词】冲突探测;集成学习;Stacking元学习;空中交通管理【作者】蒋旭瑞;吴明功;温祥西;霍丹;张怀中【作者单位】空军工程大学空管领航学院,西安710051;国家空管防相撞技术重点实验室,西安 710051;空军工程大学空管领航学院,西安710051;国家空管防相撞技术重点实验室,西安 710051;空军工程大学空管领航学院,西安710051;国家空管防相撞技术重点实验室,西安 710051;空军工程大学空管领航学院,西安710051;中国人民解放军95133部队,武汉 430000【正文语种】中文【中图分类】V328.30 引言近年来，传统的航路航线飞行越来越难以满足日益增长的飞行需求，空域资源利用率较低。
自由飞行[1]概念的提出可以解决此问题：飞行员在保持安全间隔的前提下，自由选择航线和速度使飞行代价最少。
该运行模式大幅提高了空域利用率，节省了飞行时间，节约了燃油消耗，但同时也给空中交通安全带来了巨大压力。
航空器不按照航路航线飞行，无法事先从飞行计划中发现冲突后预先调配，只能通过判断航空器间位置关系实时探测冲突。
基于球形边界的ATC飞行冲突概率预测
基于球形边界的ATC飞行冲突概率预测
宫峰勋
【期刊名称】《计算机工程与应用》
【年(卷),期】2005(041)028
【摘要】文章根据ICAO的飞行规则对飞行器的飞行冲突进行了较详细的理论分析,将该飞行冲突过程分成两个阶段即航路巡航阶段和离场起飞、进近着陆阶段,通过简化飞行边界条件和飞行冲突状态,分别推导给出了该两个阶段需要的三维飞行冲突预测解析运算模型.该飞行冲突预测解析运算模型运算量明显得到减少,并利用Monte-Carlo仿真算法验证了该算法的精确度和可行性.
【总页数】2页(P177-178)
【作者】宫峰勋
【作者单位】中国民航学院通信工程系,天津市信号处理重点实验室,天津,300300【正文语种】中文
【中图分类】TP39
【相关文献】
1.基于冲突概率的低空自由飞行冲突检测算法 [J], 沈笑云;周波;曹博;唐鹏
2.飞行计划的航迹预测与航迹配对在ATC中的应用 [J], 王小维;朱敏
3.基于问题导向学习的小学Scratch教学——以《飞行特训》一课为例 [J], 王苏明
4.基于飞行计划集中处理的预战术航路飞行流量预测 [J], 向征;丁钰童
5.气动弹性稳定边界的飞行试验预测方法综述 [J], 瞿福存;吴志刚;杨超
因版权原因，仅展示原文概要，查看原文内容请购买。
基于遗传算法的机场场面目标冲突解脱方法
基于遗传算法的机场场面目标冲突解脱方法王小磊;罗喜伶【期刊名称】《太赫兹科学与电子信息学报》【年(卷),期】2013(000)002【摘要】Scene target conflicts uncouple problem is the difficult problem of airport surface operation. A mixed integer programming model is proposed based on genetic algorithm. The impact of waiting time weight coefficients on the conflict uncouple is studied. For the satisfied waiting time constraints,the sliding time will be optimized;otherwise,it will consider the typical conflict avoiding,the slide rules and safety intervals as the constraints. The scene sliding schedule optimization model is established,and the liberation optimization algorithm of the aircraft conflict path is proposed based on genetic algorithm. The experimental results reveal that the proposed method not only can improve the uncouple efficiency of scene target conflicts,but also can achieve the sliding optimal path,which has verified the feasibility of the model.% 为了解决机场场面运行研究中场面目标冲突解脱的问题，提出一种基于遗传算法的混合整数规划模型，详细研究了等待时间权重系数对冲突解脱的影响，对满足等待时间约束的情况，进行滑行时刻优化；不满足等待时间约束时，将典型冲突避免、滑行规则及安全间隔作为约束条件，建立场面滑行调度优化模型，基于遗传算法给出了飞机冲突路径的解脱优化算法。
空中交通管制自动化系统中飞行冲突概率解析算法的应用
空中交通管制自动化系统中飞行冲突概率解析算法的应用崔德光;王哲鹏
【期刊名称】《计算机工程与设计》
【年(卷),期】2001(022)005
【摘要】由于空中交通管制指挥监测系统(ATCCMS)中航迹预估的不确定性,以它为基础的冲突探测就必须采用基于概率的算法.文中介绍了一个实用的求解冲突概率的解析算法,并用蒙特卡洛方法对它进行了验证,然后对飞行冲突概率的特性做了分析研究,描述了冲突概率应用于冲突报警和冲突求解的基本思想.
【总页数】5页(P46-49,53)
【作者】崔德光;王哲鹏
【作者单位】清华大学自动化系;清华大学自动化系
【正文语种】中文
【中图分类】N945;V355
【相关文献】
1.论空中交通管制中的非常态运行对飞行安全的影响 [J], 胡斌
2.雷达信号屏蔽区在空中交通管制自动化系统中的应用 [J], 朱博
3.TCP／IP技术在空中交通管制自动化系统中的应用价值分析 [J], 谢晓鹏
4.雷达信号屏蔽区在空中交通管制自动化系统中的应用 [J], 朱博
5.民航空管自动化系统中飞行电报自动化处理研究 [J], 丁丽婧
因版权原因，仅展示原文概要，查看原文内容请购买。
基于空管运行数据的风险分析
基于空管运行数据的风险分析摘要：中国的民用航空业正在迅速发展，其出口保障的数量每年都在增长，其安全水平在国际上居于前列。
航空公司的运营风险分析是民航行业的一个重要组成部分。
当前空管运营风险的分析方法主要是对其进行风险识别、建立评价指标、对其进行风险评价。
这是主观的和短视的。
每次成功的飞行都会生成许多ATC的操作资料，这些数据不但能记录飞机的全过程，还能提供各个部门的重要数据和决策，以支撑飞行。
根据以往的运行情况，针对存在的问题，排除隐患，可以使安全工作更具先进性。
因此，从航空公司的历史运行资料中，对航空公司的风险因素进行分析，从中发现其潜在的价值和有用的信息是十分必要的。
关键词：飞行轨迹数据、潜在冲突、风险场景、文本挖掘引言近几年，我国民航业发展迅速，运输量日益增长，中国空管体系的特殊性以及现有保障能力的局限性，必然会给空管人员带来更大的挑战。
因而，航空公司的运营安全问题越来越受到业界学者的重视。
航空公司的运营管理工作是以人机交互方式进行的，基于以往的数据交互，以及其它工业领域广泛采用的数据挖掘技术，使得航空公司的运营安全问题日益受到学术界的重视。
数据挖掘技术已经在其它领域得到了广泛的应用，如：研究航空公司的运营安全、识别历史操作数据的基本规律以及为航空公司的运营管理决策提供更多的信息。
一、我国空管运行的数据现状近十年来，中国民航事业发展迅速，航空运输业的客流量持续稳定地增加，在过去的十年里，空管保障的出勤次数如下。
中国机场的交通流量和特殊的空域资源，必然会增加飞行事故的风险，同时也会使航空公司员工的工作负担过重，从而对民航的安全产生一定的影响。
2016空管安全分析报告显示，管理职责导致的22起事件，较上年增加12起，显著高于前五年平均15起，见图2。
其中3个是空难的预兆，是近十年来最严重的一次，而且安全问题也比较严重。
图1 2007-2016年空管行业飞行保障架次图2 2016年与近五年不安全事件数据对比随着航空管理信息化水平的不断提升，空中作业会产生多种不同的运行数据。
飞行冲突速度建模法
飞行冲突速度建模法
飞行冲突速度建模是航空交通管理中的一个重要工作,其目的是为了保障航空安全。
一般而言,飞行冲突速度建模可以采用多种方法,其中比较常见的有基于模型的方法和基于数据的方法。
在基于模型的方法中,常采用数学模型来描述两架飞机之间的距离、速度、方向等参数,并通过计算得到这两架飞机之间的冲突速度。
常见的数学模型包括航线距离模型、谐波振荡模型等。
而在基于数据的方法中,则通过对历史飞行数据的统计分析,建立统计模型来推断两架飞机之间的冲突速度。
这种方法可以更准确地反映飞机的行为特征和环境因素。
常见的基于数据的方法包括概率模型、深度学习模型等。
总的来说,飞行冲突速度建模是一个复杂的工作,需要综合考虑多个因素,例如交通情况、天气情况、机场地形等等,同时也需要不断改进和优化建模方法,以提高航空交通管理的精度和效率。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
ｃａｔ ｉ ｉｅ ｒｂ ｂｌ ｆｃｎ ｉｔ ｇ Ｆｒｔ ，ｗ ｅ ｖ ｄ ｔｅｃｎ ｉｔ ｒｂ ｂｌ ｙｏ ｕｉｇｆｇ ｔ ｆ ｍ ｒｎ ａｎ ’ ｔｏ ｆｃｎ ｒｆｓｗ ｔ ｇｖ ｎ ｐｏ ａ ｉ ｔ ｏ ｏ ｃｉ ． ｉ ｌ ｈ ｉ ｙ ｌ ｆ ｎ ｓ ｙ ｅｄ ｒ ｅ ｈ ｏ ｆ ｃ ｏ ａ ｉｔ ｆｔｒ ｉｈｓ ｒ Ｐ ａ ｄ ｉｉ Ｓｍｅｈ ｏ ｏ － ｉ ｌ ｐ ｉ ｎ ｌ ｏ ｄ
第２ ７卷
第 ｌ ０期
信 号 处 理
ＳＧ Ｉ ＮＡＬ Ｐ ＲＯＣ Ｓ Ｉ Ｅ Ｓ ＮＧ
Ｖｏ． ７． Ｎｏ １ １２ ．０ ０ｅ ．２ １ ｔ ０１
２１年 １ ０１ ０月
基 于概 率模 型 的 Ａ Ｃ 系统 冲 突 目标 生成 算 法 Ｔ
苏志 刚 眭聪聪 吴仁彪
Ｐｏ ａ ｉｙＢ ｓ ｄＭｅｈｄｏ Ｇ ｎ ｒｔ ｇｔｅＣ ｎｌｔ ｒｊ ｔｒｓｆｒ Ｔ ｙｔｍ ｒｂ ｂｉ－ａ ｅ ｔｏ ｆ ｅ ｅａｉ ｏ ｆ ａ ｃ ｉ Ｃ Ｓ ｓ ｌ ｔ ｎ ｈ ｉ Ｔ ｅ ｏｅ ｏ Ａ ｃ ｅ
Ｓ Ｚ ｉｇ ｎ Ｓ ｎ —ｏ ｇ Ｗ Ｕ Ｒｅ — ｉｏ Ｕ ｈ － ａ ｇ ＵＩＣｏ ｇ ｔ ｎ ｎｂａ
（ ｉ ｊ ｅ ａ ห้องสมุดไป่ตู้ｒ ｄａｃｄＳｇａ Ｐｏｅｓ ｇ Ｃｖ ｖ ｔ ｎＵ ｉｅ ｉ ｆ ｈｎ ， ｉｎ ｎ３ ３ ， ． Ｔａ ｉ Ｋ ｙＬ ｂｆ ｖｎｅ ｉ ｌ ｒｃｓｉ ， ｉｌ ｉｉ ｎｖｒｔ ｏ ｉａ Ｔａｊ ￣ ０ Ｐ Ｒ．Ｃ ｉ ） ｎｎ ｏＡ ｎ ｎ ｉＡ ａ ｏ ｓｙ Ｃ ｉ ｈｎ ａ
ｔ ｊ ｔ ｙｆ ｍ ｃ ｃｌｔ ｇ ａｄｔ ｎｓｎ ｅｅｄｔ Ｔ ｙｔ ｔ ｅ ｔｒａｔ ｎ Ｔ ｉｍ ｔｏ ｓａｙｔ ｉｐｅｔ ｔ ｔ ｈｔｅ ｒ ｅ ｏ ｏ ａ ｕａ ｎ ， ｅ ｅｄｔ ｓ ａ ｔ Ａ Ｃｓｓ ｍ ｓ ｓ ｅｃ ｏ ． ｓ ｅ ｄｉ ｕｕ ｌ ｏ ｓ ｌ ｏ ｅ ｅ ｒ ａｃｒ ｒ ｌ ｉ ｎ ｈ ｈ ａｏ ｅ ｏ ｅ ｉ ｉ ｈ ｈ ｓ ｌ ｏ ｍ ｓｗ ｈ
（ 中国民航 大学智能信 号与图像处 理天津市重点实验室 ， 天津 ， ￣３ ） ３ ０ 摘 要 ：通常用于测试空 中交通 管制 （ ｉＴａ ｃＣ ｎｒｌ Ａ Ｃ 自动化系统 的飞行 冲突 告警功 能的方法 主要有放 宽系 统 Ａｒ ｒ ｆ ｏ ｔ ， Ｔ ） ｆ ｉ ｏ
告警值和 向系统输入模拟 的飞行 冲突 目 的雷 达数 据。前一 种方法存 在不可靠性 ， 二种 方法 由于只产生 简单 的确 定 目 标 第 标 轨迹数据 ，因此 只能简单地测试 系统 能否告警 ，无 法对 系统的飞行 冲突预测能力 作 出评 价 。为 了使 用于测 试系统 的模拟 雷 达数据更符合实 际飞行情况 ，并检测 系统 预测 飞行 冲突的技 术水平 ，本文 提出 了一 种基于 飞行 冲突概率模 型的航迹 模拟 方 法 ，通过对不 同 目标对 的冲突概率建立数学模 型 ，反推 出存 在不 同冲突概率时 目标的运 动参数 。并 通过仿 真实验产 生 了一 系列具有 不同冲突概率值的 目标对的航迹 ，利用这些数据能对 Ａ Ｃ自动 化系统进 行更有效的冲突探测和告警 能力测试 。 Ｔ 关键词 ：空管 自动化系统测试 ； 飞行 冲突预测 ； 概率法 ； 模拟航迹 中图分类号 ：Ｔ Ｂ ｌ Ｐ ｇ 文献标识码 ：Ａ 文章编号 ：１０ － ５０ ２ １ ）０ １２ － ５ ０ ３ ０ ３ （０ １ １— ５０ ０ ．
ｌ ｔ ｒｂｂｌｙ ｓｍａ ｏ ｒｌ ｅｒｆｇ ．Ｔ ｅ ｓ ｅｅ ｅ ｖｔ ｎｗ ｏ ｔｅｍ ｔ ｎｐ ｍ ｔｒ ｏ ｏｔ ｅ ｈｓ ｏ ｃ ｆｃ ｐｏａ ｉｔ ｅｔ ｔｎｆ ｉ ａ ｉ ｔ ｈｎ ｕｉｇｒｖｒｅｄｒ ａ ｏ ｅｇｔ ｈ ｏｉ ａａ ｅｅ ｆｗ ｇｔ ｗ ｏｅｃｎ ｉ ｉ ｉ ｉ ｉ ｏ ｎ ｌｈ ｎ ｓ ｉ ｉ ｏ ｒ ｓ ｔ ａ ｓ ｒ ｌ ｆ ｔ
ｔａ ｅｔ ｅｈｌ．Ｈ ｗ ｖｒ ｔｉ ｍ ｔｏ ｏ ｒ ｉ ｌ ｈ ｅｓｃｎ ｅ ｏ ｉ ｕａ ｎ ｉ ｔ ｗ ｉｈｗｌｃｎ ｉｔ ｎ ｂ ｉ ｅ ｈｎｔ ｒｓｏｄ ｏ ｅｅ， ｈｓ ｅｈｄｉ ｎｔ ｅａ ｅ ｈ ｈ ｓ ｌ ｂ ．Ｔ ｅｏｄｍ ｔ ｄｉ ｓ ｌｔ ｇｆｇ ｓ ｈ ｉ ｏｆｃ ａｄｏｔ ｎｔ ｉ ｈ ｓ ｍ ｉ ｌｈ ｃ ｌ ｌ ａ ｈｒ
Ａｂ ｔ ｃ ： Ｆ ｒ ｅ ｔ ｇ ｔ ｅｃ ｐ ｂ ｌ ｙ ｏ ｏ ｔ ｅ ｍ ｏ ｆ ｃ ｌｒｉ ｇｏ ｉ ｔａ％ ｃ ｎ ｒｌｓ ｓｅ ｓ ｒ ｔ ａ ｏ ｓｉ ａ ａ ｉ ｔ ｆ ｈ ｒ ｔｒ ｃ ｎｌ ｔ ｅ ｎ ｆ ｒ ｒ ｉ ｔ ｎ ｈ ｉ ｓ ｉ ａ ｔ ａ ｌ ｏ ｔｏ ｙ ｔ ｍ，ｔ ｔ ｏ ｓａ ｅｕ ｕ ｌ ｓ ｄ ｈ ｗｏ ｍｅｈ ｄ ｒ ｓ ａｌ ｕ ｅ ．Ｔ ｅ ｙ ｆｒ ｅ ｓｔ ｅ ｉｈ ｒｔ ｒ ｓ ｏｄ，ｕ ｅ ｔ ｅ ｒ ａ ａａ ｔ ｓ ｎ ｅｈ ｒ ｔ ｅ ｓ ｓｅ Ｃ ｅ ｅ ｉｔ ｃ ｅｗｅ ｎ ｔ ｉ ｈｓ ｇ ｔ ｏ ｒ ｏ ｍ ｒｉ ｏ ｓ ｔａ ｈ ｇ ｅ ｅ ｈ ｌ ｈ ｓ ｈ ｅ ｄ ｔ ｅ ｔ ｇ ｗｈ ｔ ｅ ｙ ｔｍ ａ ａ ｒ ｗｈ ｎ ｄ ｓ ｌ ｉ ｈ ｎ ｌ ｔ ｎ ａ ｅｂｔ ｅ ｗｏ ｆ ｇ ｔ ｅｓ ｌｗｅ ｌ
ｔ ｅ ｓ ｓｅ ｃ ｎ ｐ ｅ ｄ ｔ ｃ ｏ ｉ ｔ ｆ ｃｉｅ ｙ ｏ ｓ ｌ ｅ ｔ ｅ ｅ ｐ ｏ ｌ ｍｓ ｒ ｂ ｂｌ ｔ ｐ ｒ ａ ｈ ｉ ｓ ｄ ｉ ｉ ｐ ｐ ｒｔ ｉ ｌ ｔ ｉ－ ｈ ｙ ｔｍ ａ ｒ － ｅｅ ｔ ｃ ｎ ｃ ｅ ｔ ｌ ．Ｔ ｏ ｖ ｓ ｒ ｂ ｅ ，ａ ｐ ａ ｉ ｓｉ ａ ｐ ｏ ｃ ｕ ｅ ｎ ｔ ｓ ａ ｅ ｏｓｍｕ ａ ｅ ａｒ ａ ｆ ｌ ｅ ｖ ｈ ｏ ｉ ｃ ｓ ｈ