吳恒洋
來源:沐鸣2平台
發布時間:2022年11月06日

教師介紹

 

教師姓名

吳恒洋

職務職稱

副教授

研究方向

計算機軟件與理論👃🏼;可信計算;形式化方法

聯系電話

021-50214252

E-mail

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, 博士,

主要論文🟠、專利及著作情況

論文

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. WangY.X. Chen, H.Y. Wu(通訊)🧙🏿‍♂️,A Hybrid Clock Logic System for CPS.   K. l. HeH.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, (課題骨幹)


沐鸣2平台专业提供🫑:沐鸣2平台沐鸣2⚒、沐鸣2娱乐等服务,提供最新官网平台、地址、注册、登陆、登录、入口、全站、网站、网页、网址、娱乐、手机版、app、下载、欧洲杯、欧冠、nba、世界杯、英超等,界面美观优质完美,安全稳定,服务一流🚥,沐鸣2平台欢迎您。 沐鸣2平台官網xml地圖