91一级特黄大片|婷婷中文字幕在线|av成人无码国产|日韩无码一二三区|久久不射强奸视频|九九九久久久精品|国产免费浮力限制

劉志明教授長(zhǎng)期從事軟件理論和方法領(lǐng)域，尤其是形式化方法與模型驅(qū)動(dòng)軟件工程方法的研究。其主要成果包括基于模型／規(guī)約轉(zhuǎn)化的容錯(cuò)程序設(shè)計(jì)與驗(yàn)證、概率時(shí)段演算（Probabilistic Duration Calculus）及可靠性規(guī)約和證明、和基于構(gòu)件的形式化模型驅(qū)動(dòng)軟件工程方法rCOS。其代表性著作150余篇，發(fā)表在包括ACM Transactions on Programming Languages, Formal Aspects of Computing, Science of Computer Programming以及Theoretical Computer Science等在內(nèi)的形式化方法領(lǐng)域頂級(jí)期刊及主流學(xué)術(shù)會(huì)議上。其rCOS形式化方法曾獲得第二屆澳門特別行政區(qū)自然科學(xué)二等獎(jiǎng)。劉志明教授于2016年1月入選第十一批國家“特聘專家計(jì)劃”并于2016年1月全職加入西南大學(xué)（中國重慶），領(lǐng)導(dǎo)創(chuàng)建西南大學(xué)軟件研究與創(chuàng)新中心（the Centre for Research and Innovation in Software Engineering, RISE）；子2021年起加入西北工業(yè)大學(xué)軟件學(xué)院，領(lǐng)導(dǎo)建設(shè)“智能嵌入式軟件研究中心（CIES）”，中心位于西北工業(yè)大學(xué)太倉校區(qū)，依托軟件學(xué)院和陜西省嵌入式系統(tǒng)重點(diǎn)實(shí)驗(yàn)室，研究方向包括 

1.軟件理論與方法：并行與分布式計(jì)算理論、實(shí)時(shí)多核多線程計(jì)算理論、智能軟件理論與方法，軟件形式化方法，軟件的智能開發(fā)方法，人機(jī)物融合泛在計(jì)算理論以及系統(tǒng)工程方法。 

2.集成開發(fā)技術(shù)和開發(fā)環(huán)境：嵌入式軟件系統(tǒng)架構(gòu)建模和需求規(guī)約語言；模型設(shè)計(jì)、模型轉(zhuǎn)換、分析、驗(yàn)證、代碼生成與仿真測(cè)試技術(shù)和工具，模型驅(qū)動(dòng)的智能化軟件構(gòu)造與重用技術(shù)及工具平臺(tái)。

3. 典型應(yīng)用示范：面向國家重大戰(zhàn)略需求，圍繞航空航天工業(yè)和工業(yè)制造等領(lǐng)域的嵌入式軟件的發(fā)展需要，進(jìn)行上述理論、方法、技術(shù)和工具平臺(tái)的示范性應(yīng)用和技術(shù)創(chuàng)新與轉(zhuǎn)化

劉志明教授于1991年在英國華威大學(xué)獲得博士學(xué)位，并于1991-1994年間在華威大學(xué)完成博士后研究；1994-2005年，擔(dān)任萊切斯特大學(xué)講師；2002-2015年相繼擔(dān)任澳門聯(lián)合國大學(xué)國際軟件技術(shù)研究所（UNU-IIST）研究員、高級(jí)研究員；2013-2015年，擔(dān)任英國伯明翰城市大學(xué)軟件工程系教授。他擔(dān)任的學(xué)術(shù)職務(wù)包括：中國計(jì)算機(jī)學(xué)會(huì)會(huì)員，英國計(jì)算機(jī)協(xié)會(huì)會(huì)士，ACM高級(jí)會(huì)員；同時(shí)也是國際學(xué)術(shù)會(huì)議ICTAC, SEFM, FACS和SETTA的發(fā)起人。