周航
- 作品数：75 被引量：127H指数：6
- 供职机构：南京航空航天大学更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金江苏省高校自然科学研究项目更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术理学电气工程更多>>
- 基于信任度的Web服务组合隐私访问控制模型
- 确保用户的个人隐私数据不被非法收集和披露，是实现安全Web 服务组合的一个关键问题，因此有必要提供一种细粒度的访问控制模型，用以保护用户的隐私。本文首先提出一种基于信任度的Web 服务组合隐私访问控制模型，使用隐私策略规...
- 刘林源周航
- 关键词：WEB服务组合信任
- 文献传递
- 硬实时软件建模与分析的进程代数方法
- 2014年
- 针对硬实时软件缺乏有效的系统动态行为建模机制,提出了一种用于硬实时软件建模与分析的进程代数方法。首先在时间通信顺序进程的基础上扩展硬实时语义得到硬实时通信顺序进程;然后提出时间调度算法,用于检查硬实时系统单个指令截止期的可满足性以及计算完成任务所需的最少时间;最后通过航空领域的一个实例来说明该方法如何应用于硬实时软件的建模与分析。该方法可以很大程度上提高硬实时软件执行时间计算的准确性,计算结果有助于硬实时系统截止期的量化分析和优化设计。
- 祝义黄志球张广泉周航肖芳雄
- 关键词：硬实时进程代数
- 一种多旋翼无人机巡检视点数量约简方法
- 本发明公开了一种多旋翼无人机巡检视点数量约简方法，包括步骤如下：根据多旋翼无人机实际巡检过程设计两种视点约简方法并计算所述两种方法的可约简范围；对待测元器件进行分类，建立无固定拍摄平面的待测元器件进行视点约简规则；建立存...
- 周航刘浩然赵宏伟冯明端
- 文献传递
- 一种嵌入式实时系统软件能耗建模与分析的方法被引量：9
- 2014年
- 随着嵌入式实时系统低能耗研究的不断深入,软件能耗已经成为影响系统的主要因素,并朝着定量分析方向发展.针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法.通过在时间通信顺序进程上扩展价格信息得到价格时间通信顺序进程,将嵌入式实时系统指令的功耗映射成价格时间通信顺序进程的价格,利用价格时间通信顺序进程对嵌入式实时系统软件能耗建模并进行量化分析,提出的最优路径算法可以对建模结果进行指令功耗可满足性检查,并计算当前最低能耗可达路径.该方法可以从很大程度上提高嵌入式实时系统软件能耗计算和分析的准确性,计算结果有助于嵌入式实时系统软件能耗的量化分析和优化设计.
- 祝义肖芳雄周航张广泉
- 关键词：嵌入式实时系统
- 基于进程代数规约生成软件体系结构模型的方法被引量：5
- 2011年
- 需求规约到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点,UML-RT广泛用于实时系统软件体系结构建模,然而基于自然语言规约建立的UML-RT模型往往是不精确的,存在二义性,为了解决这一问题,需要赋予UML-RT模型形式化语义.进程代数是一种用来解决并发系统通信问题的形式化方法,具有精确的语法和语义,并且便于机器自动检验与验证.TCSP是进程代数CSP的实时扩展,适合于规约实时系统带有时间约束的行为.提出一种基于进程代数规约生成SA模型的方法.首先建立了自然语言规约到SA模型的转换框架;然后使用时间通信顺序进程(TCSP)描述实时系统需求规约,通过建立TCSP到UML-RT的转换机制,从而实现进程代数规约到SA模型的转换;最后通过一个实例来验证该方法在实时软件建模过程中的有效性.实验分析表明通过该方法建立的UML-RT模型能够从整体上提高实时系统SA设计的可信性.
- 祝义黄志球周航刘林源
- 关键词：软件体系结构UML-RT实时系统
- 非均匀来流下高超声速飞行器三维曲面激波反设计方法
- 本发明公开了一种非均匀来流条件下的三维曲面激波反设计方法，将其命名为微元密切轴对称流场求解方法，所述方法沿目标激波面的周向和流向构建一系列微元密切面，在每个微元面内进行三维向二维流动的等效转换，然后将局部各微元面内的二维...
- 金志光周航
- 一种超声速流场中的附面层快速发展装置及方法
- 本发明公开了一种超声速流场中的附面层快速发展装置及方法，利用气流流经埋于附面层内多级斜楔产生的连续激波逐步降低壁面附近气流速度和总压，从而快速发展附面层的方法。气流流经多级斜楔，产生了连续的激波膨胀波，在激波和膨胀波的联...
- 金志光骆红朱周航李猛
- 文献传递
- 人群动态聚集特征提取方法
- 本发明公开了一种人群动态聚集特征提取方法，属于计算机智能监控技术领域。本发明将核密度空间聚类算法引入到“人群聚集的外部特征分析过程”中，有效的实现了对群体性事件人群聚集特征的提取和定量研判，采用人群质心运动跟踪的方法识别...
- 邵荃罗雄周航唐志星韩松臣
- 一体化的机场安检验证系统及其数据验证加密传输方法
- 本发明公开了一种一体化的机场安检验证系统及其数据验证加密传输方法，该系统包括：旅客身份信息采集子系统，旅客身份信息校验子系统，行李标签管理子系统和后台信息管理子系统；其中，旅客身份信息采集子系统包括证件与机票信息采集单元...
- 周航周世康赵宏伟刘浩然冯明端
- 一种宽域组合发动机三通道轴对称可调进气道
- 本发明公开了一种宽域组合发动机三通道轴对称可调进气道，主要由部分可移唇罩型面、部分可移中心锥、固定分流板部件和阀门开关，构成涡喷、风扇及冲压三通道。低马赫数下(Ma0‑2)风扇通道开启，冲压通道关闭；高马赫数下(Ma&g...
- 金志光柯玉祥沈理周航
- 文献传递
