西南交通大學(xué)四川省系統(tǒng)可信性自動(dòng)驗(yàn)證工程實(shí)驗(yàn)室唐山研究中心揭牌儀式隆重舉行 [發(fā)布時(shí)間：2016年04月26日]  [點(diǎn)擊數(shù)：] 4月23日上午，西南交通大學(xué)四川省系統(tǒng)可信性自動(dòng)驗(yàn)證工程實(shí)驗(yàn)室唐山研究中心揭牌儀式在唐山錦江飯店貴賓樓隆重舉行。西南交通大學(xué)副校長(zhǎng)朱健梅教授、唐山市政府副秘書長(zhǎng)周景會(huì)、唐山學(xué)院院長(zhǎng)楊志安教授、西南交通大學(xué)四川省系統(tǒng)可信性自動(dòng)驗(yàn)證工程實(shí)驗(yàn)室負(fù)責(zé)人宋振明教授共同為研究中心揭牌。 四川省系統(tǒng)可信性自動(dòng)驗(yàn)證工程實(shí)驗(yàn)室成立于2014年9月，是目前西南交通大學(xué)唯一一個(gè)具有理科綜合背景、依托理科學(xué)院建設(shè)的省級(jí)工程實(shí)驗(yàn)室，研究方向與內(nèi)容為自動(dòng)推理技術(shù)、系統(tǒng)可信性自動(dòng)驗(yàn)證、形式化工具系統(tǒng)設(shè)計(jì)等。目前成果應(yīng)用于武器裝備、軌道交通、電力系統(tǒng)、無(wú)人機(jī)飛控、火箭發(fā)射、工業(yè)控制、信息安全等領(lǐng)域。為響應(yīng)國(guó)家京津冀協(xié)同發(fā)展戰(zhàn)略，促進(jìn)西南交通大學(xué)與唐山市的深度合作，提高唐山高校師資隊(duì)伍學(xué)術(shù)水平，提升唐山企業(yè)科技水平，造就現(xiàn)代高端科技服務(wù)新領(lǐng)域，由西南交通大學(xué)、唐山市政府及唐山學(xué)院共建四川省系統(tǒng)可信性自動(dòng)驗(yàn)證工程實(shí)驗(yàn)室唐山研究中心，研究中心設(shè)在唐山學(xué)院大學(xué)西道校區(qū)。 西南交通大學(xué)四川省系統(tǒng)可信性自動(dòng)驗(yàn)證工程實(shí)驗(yàn)室唐山研究中心的建立，將積極開展自動(dòng)推理技術(shù)、系統(tǒng)可信性自動(dòng)驗(yàn)證等研究工作，在凝練方向、培養(yǎng)人才、開放交流、提升層次，加速科技成果轉(zhuǎn)化等方面，為唐山市及我校的學(xué)科水平、科研實(shí)力的提升起到積極的促進(jìn)作用。(科學(xué)技術(shù)處供稿 責(zé)任編輯：鄒艷梅)