南京航空航天大学计算机科学与技术学院
- 作品数：5,065 被引量：17,557H指数：41
- 相关作者：丁秋林李静高正毛宇光朱梧槚更多>>
- 相关机构：南京大学计算机科学与技术系南京大学计算机科学与技术系计算机软件新技术国家重点实验室扬州大学信息工程学院更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金中国航空科学基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学理学更多>>
- 一种利用云环境实现Web服务组合容错的方法
- 随着Web服务迅猛发展，基于SOA的服务组合容错性研究成为了业界关注的焦点.服务组合中组件的失效，会导致整个组合执行失败，而资源不足、服务器负载过重是引发组件失效的主要原因之一.云计算作为一种新的计算泛型，其资源整合、动...
- 牛天飞王志坚叶枫张雪洁沈一尘
- 关键词：WEB服务容错云计算
- 基于工作流的DO -178B验证系统
- 以民航领域软件开发标准DO - 178B为指导,根据软件开发的生命周期内的不同活动,建立工作流模型,实现了进行软件验证活动的系统.系统提高了对软件开发周期内各活动的监控,大大减少了收集数据和文档的时间,提高了管理效率.
- 蒋金松谷青范
- 关键词：DOSOFTWAREVERIFICATIONWORKFLOWB/S
- 文献传递
- NGC-CIMS信息分类编码系统的设计和实现被引量：4
- 2002年
- 信息分类编码系统是 CIMS各有关环节集成的纽带 .本文针对 NGC- CIMS对信息分类编码系统的需求 ,提出了一种面向 CIMS各环节、分级、分段和柔性的信息分类编码系统的结构模型 .在开发初期提出了基于 OO的编码模型 ;在系统实现时 ,采用了码位依赖关系和基于元数据及码位模式分解的解决方法 ;在译码系统实现时 ,提出了基于总控元关系的译码方法 ;在基于编码的检索上 ,提出了不完全码的思想 .
- 皮德常张凤林丁宗红王宁生
- 关键词：计算机集成制造系统
- 基于粗糙模糊集的不确定数据流聚类算法被引量：2
- 2014年
- 为解决高维和高不确定级别的数据流聚类问题,提出了一种针对不确定数据流的聚类算法HFMicro。引入粗糙模糊集理论,定义了一种新的不确定数据流模型,并利用隶属程度的上、下近似来描述微簇。根据粗糙模糊集间的相似程度来选择最合适的微簇。使用动态衰减窗口模型提高算法的效率和聚类效果。由于采用了离线聚类模式,使得算法具有较好的实时性。实验结果表明,该算法能够很好地处理高维和高不确定级别的数据流,同时兼容存在级不确定性和属性级不确定性,与现有算法相比效果更好。
- 姜元凯郑洪源
- 关键词：不确定数据流粗糙模糊集聚类
- 一种状态事件故障树的时间特性分析方法被引量：10
- 2015年
- 状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术,其顶层事件描述失效发生的结果.对顶层事件发生的平均时间进行分析,是获得系统平均失效时间参数的一种有效方法,可为系统的安全性评估提供支持.由于状态事件故障树缺乏严格语义,使得必须先对其进行形式化描述才能进行定量分析.为此,提出了一种基于交互马尔可夫链的状态事件故障树时间特性分析方法.首先,精化交互马尔可夫链的交互动作,建立接口交互马尔可夫链模型,并基于该模型对状态事件故障树的构件和逻辑门进行形式语义描述;其次,通过并行组合构件与逻辑门的形式语义模型,得到整个状态事件故障树的形式语义模型,并在该过程中使用弱互模拟对状态空间进行约简;然后,基于状态事件故障树的形式语义给出顶层事件发生的平均时间计算方法;最后,给出飞机着陆雷达控制系统和喷淋防火系统的状态事件故障树时间特性分析的实例研究.为构件化系统失效时间特性的分析提供了一种新方法.
- 徐丙凤黄志球胡军魏欧李伟湋
- 关键词：形式化方法
- 一种WSN中多幻影节点源位置隐私保护协议被引量：2
- 2017年
- 在应用于目标监测的无线传感器网络中,攻击者可通过回溯追踪源节点发送数据包而获取源节点位置,从而对监测目标安全造成威胁。因此,需要采取相应策略进行源位置隐私保护。已有基于幻影节点的路由策略选取幻影节点的策略集中在源数据包随机或定向游走,存在幻影节点地理位置不够多样化,随机游走路径易重复等问题。在网络初始化阶段,本文通过选取基站节点的节点三元组过程中,为整个网络节点同时确定2个备选幻影节点,而节点三元组选取策略在地理位置的计算时要确保2个幻影节点的位置均位于可视区之外,以避免失效路径的产生;在路由工作阶段,根据随机数产生机制随机选取一个幻影节点发送数据包,利用中继节点与目标幻影节点间扇形区域划分的方法,有效减少路径重复几率和数据包传输时延。理论分析和仿真实验表明,本文提出的多幻影节点源位置保护策略相比已有多幻影节点策略能提高源节点的安全周期的同时,在通信时延方面也能取得较好平衡。
- 朱世照薛善良
- 关键词：无线传感器网络隐私保护
- 基于先验知识的多类CVM航班延误预警模型被引量：4
- 2010年
- 基于使用现有的支持向量机解决机场航班延误预警问题存在未充分利用先验知识和训练需花费大量时间和空间的问题,提出了基于中心约束最小闭包球的加权多类算法。该算法首先利用先验知识确定一种新的基于相对紧密度的方法计算样本权值并将其融合到支持向量机中,然后转化为中心约束的最小闭包球进行训练。实验结果表明,该方法比现有的支持向量机具有更合理的分类面并且训练速度得到大大提高。
- 袁瑗陈兵徐涛王建东
- 关键词：航班延误支持向量机先验知识
- 基于最小模的目标散射中心参量快速提取
- 2010年
- 针对光学区雷达目标散射中心参量的快速提取,提出用特征值分解的最小模方法、传播因子和最小模相结合的方法,提高散射中心参量的估计效率。特征值分解的最小模方法在减少计算量的同时能获得类似多重信号分类算法的性能,在信噪比较低时仍然有效;传播因子方法比特征值分解快,在信噪比较高时,它和最小模方法结合能取得更快的搜索效率。仿真实验结果表明该文算法几乎不影响参量的估计精度,且能有效地提高参量估计效率。
- 蔡倩汪飞张焕春
- 关键词：散射中心
- 宽带线性功率放大器的设计被引量：1
- 2011年
- 根据宽带功率放大器设计的基本原理,通过采用LDMOS场效应晶体管、实频技术法以及前馈线性化技术,同时利用ADS软件平台,成功设计出一款工作带宽为50~550MHz的宽带线性功率放大器,实现了多倍频程带宽、高增益、良好平坦度及小输入/输出驻波比。通过ADS仿真和优化,得到了比较满意的结果。
- 方国军
- 关键词：宽带功率放大器前馈ADS
- 一种基于贝叶斯分类的XML检索文档相似度算法
- 2012年
- 目前对于查询相似度的计算通常是从比对检索结果与查询式的相似度来考虑。本文提出一种基于贝叶斯分类的算法来计算XML查询结果相似度。在计算出每个检索结果文档与查询式相似度的基础上,使用贝叶斯分类器将XML检索文档分类成相关与不相关两个集合,再由计算相关文档与不相关文档的相似度来决定最终的相似度值。最后,通过实验分析表明,在不影响查全率的前提下,这样得到的相似度计算精度比传统方法高15%左右,有效地提高了检索性能。
- 韩晓梅郑洪源丁秋林
- 关键词：贝叶斯分类信息检索
