杨志斌
人员信息
其他同名人员
优化列表
2020年-今天
2023 [公元21年] 李刚(音译) , 毛燕婷 , 冯小曼 , 陈卓奇 , 杨志斌 , 小城 :
结合Sentinel-1和Sentinel-2图像监测彼得曼冰川的冰流速度。 国际期刊申请。 地球观测地理信息 121 : 103374 ( 2023 ) [公元20年] 杨志斌 , 临泉兴 , 顾宗华 , 肖英敏 , Yong Zhou(永州) , 黄志秋 , 雷雪 :
资源约束嵌入式系统上航天器交会的基于模型的强化学习和基于神经网络的策略压缩。 IEEE传输。 工业信息学 19 ( 1 ) : 1107-1116 ( 2023 ) [公元20年] 肖英敏 , 杨志斌 , Yong Zhou(永州) , 黄志秋 :
航天器安全交会避障的运行时保证强化学习。 设置 2023 : 298-313 2022 [公元19年] 谢剑(Jian Xie) , 谭文安(Wenan Tan) , 杨志斌 , 李树明 , 林泉星 , 黄志秋 :
基于SysML的安全关键网络物理系统的组成验证和安全分析。 连接。 科学。 34 ( 1 ) : 911-941 ( 2022 ) [公元18年] 帅任 , 德芬·陈 , 陶耀东 , 徐树恒(Shuheng Xu) , 王刚(Gang Wang) , 杨志斌 :
基于信息熵数据挖掘的电网传感层智能终端安全技术。 J.智力。 系统。 31 ( 1 ) : 817-834 ( 2022 ) 2021 [公元17年] 杨志斌 , 杨宝 , 杨永强 , 黄志秋 , Jean-Paul Bodevix公司 , 马蒙·菲拉利 , 顾宗华 :
在安全关键型自治系统建模中开发增强智能。 形式方面计算。 33 ( 三 ) : 343-384 ( 2021 ) [j16] 杨志斌 , 邱志凯 , Yong Zhou(永州) , 黄志秋 , Jean-Paul Bodevix公司 , 马蒙·菲拉利 :
C2AADL_Reverse:一种模型驱动的逆向工程方法,用于开发和验证安全关键型软件。 J.系统。 阿基特。 118 : 102202 ( 2021 ) [公元15年] 杨志斌 , 盛浩源 , Jean-Paul Bodevix公司 , 马蒙·菲拉利 , 王铁心 , Yong Zhou(永州) :
基于多核同步数据流程序的多任务Ada代码生成:方法和工业研究。 科学。 计算。 程序。 207 : 102644 ( 2021 ) [第19条] 丹丹正 , 梅建强 , 杨茂 , 杨志斌 :
气体超声流量计飞行时间测量的信号处理方法。 I2MTC公司 2021 : 1-6 2020 [公元14年] 王飞(音译) , 杨志斌 , 黄志秋 , 刘成伟 , Yong Zhou(永州) , Jean-Paul Bodevix公司 , 马蒙·菲拉利 :
一种生成受限自然语言需求和AADL模型之间可追溯性的方法。 IEEE传输。 Reliab公司。 69 ( 1 ) : 154-173 ( 2020 ) [第18条] 刘文静 , 王铁心 , 杨志斌 , 曹景文 :
一种基于框架语义的句子相似度上下文软件计算方法。 ADMA公司 2020 : 114-126 [第17条] 欢丽 , 孟凡波 , 王东东 , 杨志斌 :
5G网络中一种安全可靠的电力业务接入方法。 SimuTools(1) 2020 : 1-11 [第16条] 欢丽 , 杨柳 , 孟凡波 , 杨志斌 , 王东东 , 杨楠 :
LTE和宽带载波无线通信融合网络的流量特征分析方法。 SimuTools(1) 2020 : 183-193 [第15条] 王洛 , 童丽 , 杨卫东 , Tongwei Yu公司 , 定鼎溪 , 李深 , 袁霞 , 杨志斌 , 徐华荣 :
基于深度可分离卷积的轻量级HSRRS图像分类方法。 WCSP公司 2020 : 586-590
2010 – 2019
2019 [j13] 杨志斌 , Jean-Paul Bodevix公司 , 马蒙·菲拉利 :
为同步语言SIGNAL建立一个简单安全的Objective Caml编译框架。 前沿计算。 科学。 13 ( 4 ) : 715-734 ( 2019 ) [第14条] 盛豪园 , 杨志斌 , Jean-Paul Bodevix公司 , 马蒙·菲拉利 , 王铁心 , Yong Zhou(永州) :
从多核同步数据流程序自动生成Ada代码:方法和工业研究。 FTSCS公司 2019 : 57-73 [第13条] 孟凡波 , 欢丽 , 刘一涛 , 香港建宏 , 陆斌(Bin Lu) , 杨志斌 , 帅仁 :
基于STFT的光纤芯远程智能管理流量获取算法。 ICII公司 2019 : 143-147 [第12条] 刘申伟(Shnwei Liu) , 杨志斌 , 杜银昌 , 孔繁旭 , 丁玉荣 , 王学春 :
考虑负荷预测的海上综合电-气-热能系统日前分层优化调度。 国际电工委员会 2019 : 2342-2347 2018 [公元12年] 杨志斌 , 陈方炯 , 郑北雄 , 苗文文 , 五龙鱼 :
基于非活动数据音的广义索引调制系统的OFDM载波频偏估计。 IEEE通信。 莱特。 22 ( 11 ) : 2302-2305 ( 2018 ) [第11条] 哲晨 , 陶传祺 , 张志毅 , 杨志斌 :
超越时空记忆安全。 ICSE(配套卷) 2018 : 189-190 [第10条] 徐金淼 , 杨志斌 , 黄志秋 , Yong Zhou(永州) , 刘成伟 , 雷雪 , Jean-Paul Bodevix公司 , 马蒙·菲拉利 :
层次行为附件:面向AADL功能规范扩展。 记忆码 2018 : 88-98 2017 [公元11年] 赵永旺 , 杨志斌 , 马殿福 :
分离核的形式化规范和验证综述。 前沿计算。 科学。 11 ( 4 ) : 585-607 ( 2017 ) [公元10年] 刘银玲 , 沈国华 , 黄志秋 , 杨志斌 :
安全关键型嵌入式系统的定量风险分析。 柔和。 资格。 J。 25 ( 2 ) : 503-527 ( 2017 ) 2016 [公元9年] 杨志斌 , Jean-Paul Bodevix公司 , 马蒙·菲拉利 , 胡凯 , 赵永旺 , 马殿福 :
面向同步语言SIGNAL的验证编译器原型。 前沿计算。 科学。 10 ( 1 ) : 37-53 ( 2016 ) 【c9】 哲晨 , 王哲敏 , 朱云龙 , 西红卫 , 杨志斌 :
C程序的参数运行时验证。 墨西哥玉米饼 2016 : 299-315 2015 [j8] 胡凯 , 张腾(Teng Zhang) , 杨志斌 , 蔡伟泰(Wei-Tek Tsai) :
通过模型转换探索AADL验证工具。 J.系统。 阿基特。 61 ( 3-4 ) : 141-156 ( 2015 ) [j7] Jean-Paul Bodevix公司 , 马蒙·菲拉利 , 曼努埃尔·加纳乔 , 雷吉斯·斯帕多蒂 , 杨志斌 :
实现从AADL到基于正式组件的语言FIACRE的验证转换。 科学。 计算。 程序。 106 : 30-53 ( 2015 ) [j6] 胡凯 , 张腾(Teng Zhang) , 杨志斌 , 蔡伟泰(Wei-Tek Tsai) :
用时钟演算模拟实时系统。 模拟。 模型。 实际。 理论 51 : 69-86 ( 2015 ) 【c8】 赵永旺 , 杨志斌 , 大卫·萨南 , 杨柳 :
安全关键操作系统标准的基于事件的形式化:使用Event-B的ARINC 653经验报告。 ISSRE公司 2015 : 281-292 [i1] 赵永旺 , 杨志斌 , 大卫·萨南 :
安全关键操作系统标准的基于事件的形式化:使用Event-B的ARINC 653经验报告。 CoRR公司 abs/1508.06479 ( 2015 ) 2014 [j5] 杨志斌 , 胡凯 , 马殿福 , Jean-Paul Bodevix公司 , 雷皮 , Jean-Pierre Talpin女士 :
从AADL到定时抽象状态机:一个经过验证的模型转换。 J.系统。 柔和。 93 : 42-68 ( 2014 ) 【c7】 杨志斌 , Jean-Paul Bodevix公司 , 马蒙·菲拉利 :
具有时间可预测属性的多并发程序的多核代码生成。 莫代尔斯ACVI 2014 【c6】 杨志斌 , Jean-Paul Bodevix公司 , 马蒙·菲拉利 , 胡凯 , 马殿福 :
一个经过验证的转换:从多时程序到计时保护动作的变体。 范围 2014 : 128-137 2013 【j4】 胡凯 , 张腾(Teng Zhang) , 杨志斌 :
从Signal程序到OpenMP的多线程代码生成。 前沿计算。 科学。 7 ( 5 ) : 617-626 ( 2013 ) [j3] 杨志斌 , Jean-Paul Bodevix公司 , 马蒙·菲拉利 :
SIGNAL语言两种形式语义的比较研究。 前沿计算。 科学。 7 ( 5 ) : 673-693 ( 2013 ) 2011 【c5】 杨志斌 , 胡凯 , Jean-Paul Bodevix公司 , 雷皮 , 马殿福 , Jean-Pierre Talpin女士 :
AADL子集的两个形式语义。 ICECCS公司 2011 : 344-349
2000 – 2009
2009 【c4】 杨志斌 , 胡凯 , 马殿福 , 雷皮 :
AADL行为附件的正式语义。 日期 2009 : 1166-1171 【c3】 雷皮 , 杨志斌 , Jean-Paul Bodevix公司 , 马蒙·菲拉利 , 胡凯 , 马殿福 :
比较研究FIACRE和TASM以定义AADL实时概念。 ICECCS公司 2009 : 347-352 2008 【c2】 胡凯 , 闫江 , 杨志斌 , 陈世兰(Shiran Chen) :
DAG方案中的扩展随机模型。 AINA研讨会 2008 : 331-336 2006 [注2] 杨志斌 , 农业 , 赖英成 :
具有反馈控制的路由器QoS模型。 资格。 Reliab公司。 工程国际。 22 ( 4 ) : 429-444 ( 2006 ) 2005 [j1] 农业 , 杨志斌 , 赖英成 , 托尼·法利 :
通过加权最短处理时间调整的作业调度提高路由器QoS。 计算。 操作。 物件。 32 : 2255-2269 ( 2005 ) 【c1】 夏玉斌 , 杨志斌 , 李章 , 张一男(音) , 胡良云 :
PLM/CAD集成中常见/独特问题的研究和柔性集成体系结构的设计。 企业所得税 2005 : 978-982