教師介紹 | ||
| 教師姓名 | 吳恒洋 |
職務職稱 | 副教授 | |
研究方向 | 計算機軟件與理論👃🏼；可信計算；形式化方法 | |
聯系電話 | 021-50214252 | |
wuhy@sspu.edu.cn | ||
通訊地址 | 上海浦東金海路2360號28號樓1013 | |
個人簡介 | ||
2019.9-至今 沐鸣2娱乐，沐鸣2平台，副教授 2016.8-2019.8 華東師範大學，軟件工程沐鸣2▶️，副研究員 2007.9-2016.7 杭州電子科技大學，信息工程沐鸣2，副教授 2008.3-2012.3 華東師範大學系統科學流動站， 博士後 2004.9-2007.6 上海師範大學，數理信息沐鸣2， 博士, | ||
主要論文🟠、專利及著作情況 | ||
l 論文： 1.H.Y. Wu, Y.X. Deng, Distribution-based behavioral distance for non-deterministic fuzzy transition systems, IEEE Transactions on Fuzzy Systems, 26(2018): 416-429(SCI 1區⏮，TOP). 2. H.Y. Wu,Y.X. Chen, T.M. Bu, Y.X. Deng, Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems, Fuzzy Sets and Systems, 333(2018):106-123(SCI 1區, TOP). 3. H.Y. Wu,Y. X. Deng, Logical characterizations of simulation and bisimulation for fuzzy transition systems, Fuzzy Sets and Systems, 301（2016): 19-36(SCI 1區，TOP). 4.H.Y. Wu, Y.X. Chen, Semantics of non-deterministic possibility computation, Fuzzy Sets and Systems, 199(2012):47-63(SCI 1區, TOP). 5.H.Y. Wu, T.L. Chen, T.T.Han, Y.X. Chen, Bisimulations for fuzzy transition systems revisited, International Journal of Approximate reasoning, 99(2018): 1-11 (CCF B). 6. H.Y. Wu, Measurement of refinement and correctness, Frontiers of Computer Science in China🔉，3(4) (2009): 465-471(SCI 4區). 7.吳恒洋，命令式模糊程序語言的語義,計算機學報, 36(2013):862-869（CCF中文A 類🧏🏿♀️， EI). 8. H.Y. Wu, Y. X. Chen, Coalgebras for fuzzy transition systems, ENTCS, 301(2014):91-101(EI). 9. H.Y. Wu, Y.X. Chen, A duality theorem for quantitative semantics, ENTCS, 257(2009):87-97(EI). 10. H.Y. Wu, M. Zhang, Y. X. Chen, On denotational semantics of spatial-temporal consistency language-STeC, TASE 2013(CCF C，EI). 11.T.M. Bu,H.Y. Wu（通訊）, Y.X.Chen, Computing behavioural distance for fuzzy transition systems, TASE 2017 (CCF C🏭，EI). 12. H.W. Tao, Y.X. Chen,H.Y. Wu（通訊）🥤，R.M. Deng, A Survey of Software Trustworthiness Measurements, International Journal of Performability Engineering, 15(2019):2364-2372(EI). 13.P.F. Wang, Y.X. Chen, H.Y. Wu（通訊）🧙🏿♂️，A Hybrid Clock Logic System for CPS. K. l. He, H.Hermanns, H.Y. Wu, Y.X.Chen, Connection models for the Internet of Things. Y.X. Chen, F.Mallet,A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems, Science of Computer Programming. DOI:10.1016/j.scico.2020.102591(CCF B，SCI). | ||
主要科研項目 | ||
主持6項 1.描述模糊性的可能性論域理論研究, 編號: LY13F020046，浙江省自然科學基金,2013/01-2015/12 2.概率程序的精化演算研究, 編號: 09R21412400🧓🏿，上海市博士後基金, 2009/06-2011/06 3.軟件形式語義模型研究🧑🦯，上海市高可信計算重點實驗室開放課題🫚，2010/09-2011/09 4.多粒度Kripke結構的互模擬研究，廣西可信軟件重點實驗室開放課題👍，2019/05-2021/04 5.浙江省高校優秀青年教師基金以及浙江省教育廳基金 6.軌道交通計算機聯鎖產品軟件可信性測評, 上海富欣智能交通控製有限公司, 2018/09-2019/09, 20萬 參與4項 1.具有時空一致性的軟件形式化理論與方法的研究, 編號: 61370100,國家自然科學基金, 2014/01-2017/12, (課題骨幹） 2.近似推理的區間值模型及其邏輯基礎, 編號: 61773019, 國家自然科學基金, 2018/01-2021/12, (課題骨幹) 3.具有模糊性程序語義模型的研究, 編號: 60673117,國家自然科學基金, 2007/01-2009/12, (課題骨幹) 4.軟件可信性度量模型的研究, 編號: 2007AA01Z189,國家高科技技術研究發展計劃, 2007/01-2009/12, （課題骨幹） | ||
