關永,男,滿族,1966年6月出生,遼寧鳳城人,工學博士,現為首都師範大學信息工程學院院長、教授、博士生導師,電子系統可靠性與數理交叉”國家國際科技合作基地常務副主任、“高可靠嵌入式系統技術”北京市工程研究中心主任,“電子系統可靠性技術”北京市重點實驗室主任。
基本介紹
- 中文名:關永
- 學位/學歷:博士
- 專業方向:工學
- 職務:首都師範大學信息工程學院院長
關永,男,滿族,1966年6月出生,遼寧鳳城人,工學博士,現為首都師範大學信息工程學院院長、教授、博士生導師,電子系統可靠性與數理交叉”國家國際科技合作基地常務副主任、“高可靠嵌入式系統技術”北京市工程研究中心主任,“電子系統可靠性技術”北京市重點實驗室主任。
關永 關永,滿族,現任遼寧撫工工具股份有限公司維修班班長。人物經歷 現任遼寧撫工工具股份有限公司維修班班長。主要貢獻 關永將一些能用的材料或零部件收集起來備用,單此一項去年就給公司節省了5.3萬元的維修費用。所獲榮譽 2022年8月,被授予遼寧省勞動模範稱號。2024年4月,榮獲2024年全國五一勞動獎章。
大難不死之關永 《大難不死之關永》是起點中文網連載的小說,作者是華大伯。內容簡介 關永是位亦正亦邪、亦賭亦玩的怪俠,在武林浩劫將臨之際,他在得力助手小毛和幾位愛他的女人的幫助下屢次逢凶化吉,大難不死……
《苛刻環境高可靠電子系統的電源健康狀況預測機制研究》是依託首都師範大學,由關永擔任項目負責人的面上項目。項目摘要 苛刻環境高可靠嵌入式系統蘊藏著巨大的潛在套用價值,而電子系統中34%的故障都是由電源系統的故障所造成,因此,電源健康狀況預測機制與算法已成為眾多套用的核心支撐技術。為了提高嵌入式系統在惡劣...
《幾何代數的形式化與初步套用》是2020年科學出版社出版的圖書,作者是關永、李黎明、施智平。 內容簡介 《幾何代數的形式化與初步套用》以幾何代數理論體系與自動定理證明思想為指導,系統深入地研究了幾何代數的形式化理論與公理化體系,構建了一個兼具代數推理和幾何解算能力的統一形式化數學定理體系,對代數與幾何從...
泰安市源順建材有限公司 泰安市源順建材有限公司於2007年03月16日在泰安市工商行政管理局登記成立。法定代表人關永,公司經營範圍包括工程纖維、土工材料、防排水材料、建築管材等。企業信息
《面向機器人的幾何代數高階邏輯形式化理論》是依託首都師範大學,由關永擔任項目負責人的面上項目。項目摘要 機器人即將成為世界的支柱產業,是各國科技和工業領域的競爭焦點。傳統的測試、模擬等驗證方法由於用例的不完備性,不能完全滿足機器人高安全性的驗證要求,因而定理證明成為了重要的保障手段。幾何代數是現代...
《細胞帝國》是細胞博士創作的網路小說,發表於17K小說網。作品簡介 主角關永是個不想當醫生的實習醫生,在急診遇到下凡的七仙女,救治時被七仙女誤以為在襲胸,於是將關永送入了自己的身體之中。在七仙女的體內關永受盡了折磨。先被入侵七仙女體內的細菌追殺,又被大腦政府懷疑,接著又被癌細胞組織拉攏。為了尋找回家...
《耕耘者的思考》是2010年中國鐵道出版社出版的圖書,作者是吳敏華、關永、 石長地。內容簡介 本論文集分為教學管理篇,教學研究篇,教學改革篇和教學實踐篇。論文集的研究主題非常豐富,有高校教學關係最為密切的培養方案設定、課程建設、教學模式改革、課程評價、課程資源建設等領域以外,還有學風建設、德育教育、創新...
享受國務院政府特殊津貼:關永 中科院國家天文台空間電子學首席科學家:金聲震(特聘教授)國家科技進步一等獎獲得者:於倫正(講座教授)新世紀百千萬人才工程:關永 國家級教學團隊負責人:關永 國家級優秀教學團隊主要成員:吳敏華(“信息工程教學團隊”)陝西省百人計畫特聘專家:張偉功 北京市長城學者:尚媛園 北京...
(3) 高雅,李曉娟,關永,王瑞,張傑,魏洪興, 運用定理證明器ACL2驗證機器人作業系統ROS節點間通信,小型微型計算機系統,2014,35(9):2126-2130.(4) 李月星,李曉娟,關永,王瑞,張傑,魏洪興 SpaceWire協定的形式化建模與機率分析, 《小型微型計算機系統》, 34(3),2013,p2025-2030 (5) Wei Hua1 , ...
(55) 尚媛園,關永等. The design of EUV CCD camera. Proceeding of High Energy, Optical, and Infrared Detectors for Astronomy. 2008. Vol7021 1O(EI: 20092512134001)(56) 尚媛園,楊新華,徐達維,牛惠卓等. IP Core Design for Image Sensor Driver based on Avalon Bus. The 5th IEEE Conference ...
銀澤信息科技(上海)有限公司於2012年07月23日成立。法定代表人劉關永,公司經營範圍包括:智慧型系統領域內的技術開發、技術服務、技術諮詢、技術轉讓,計算機軟體開發,電子商務(不得從事增值電信,金融業務),市場信息諮詢與調查(不得從事社會調查、社會調研、民意調查、民意測驗),企業管理諮詢(除經紀),市場行銷...
(5)張偉功,朱曉燕,關永,張永祥,周全,尚媛園,朱虹. 基於微包協定的三模冗餘容錯計算機無縫重構方法. ZL200910000652.4.(6)張偉功,朱曉燕,辛明瑞,周全,關永,張永祥,孫衛真. 三模冗餘容錯計算機精確同步的方法. ZL200910000651.X.(7)張偉功,丁瑞,關永,尚媛園,胡永勤,周全,張永祥. 一種可動態重構的...