收藏该链接的用户：恰好热爱

打开该链接→

大国重器背后的故事：高可信是什么？王戟又是谁？

获取链接

最近被收藏链接

中国海警位黄岩岛附近海域组织维权执法管控演练-网址收藏夹官网官方网站
收藏该链接的用户：好好学习

车祸导致膝关节脱位性损伤|早期症状表现|治疗原因根治|吃什么药食物最好
收藏该链接的用户：运动加油站

你是一切我是影歌曲完整版原唱歌词|专辑在线试听粤语版吉他钢琴谱古筝mv
收藏该链接的用户：崩潰倒計時

广州天气预报15天|一周广州明天天气
收藏该链接的用户：来晚了啊

中健云康快递单号查询|中健云康快递查询单号|快运物流客服电话
收藏该链接的用户：快递搬运工

人气最高的手游游戏排行榜|手游排行榜2021前十名
收藏该链接的用户：依赖依赖

万年历老黄历2022年黄道吉日查询|2022年日历农历
收藏该链接的用户：辜负了历史

灵隐寺（问情）漫画在线观看顺序|完整版全集免费阅读|下拉式阅读什么时候出
收藏该链接的用户：思归月江楼月

暮蝉悲鸣之时小说最新章节txt下载|笔趣阁全文免费阅读无弹窗
收藏该链接的用户：喜欢是你

微信网页版登录|微信最新版本|微信电脑版
收藏该链接的用户：悲伤sad

夏日装清凉屋网友3万打造50平超惊艳绿色小蜗居
收藏该链接的用户：家居研究人

本站备注说明

收藏该链接的用户：《恰好热爱》；本平台提供的链接收藏数据都来源于网络，不保证外部网址完全稳定性，同时，对于该外部网址的指向，不由本站实际控制，该网页上的内容，都属于合规合法；本链接平台的网址由用户收藏，平台使用中的行为属于自身行为，本站不侵权因为只有链接,您应该能理解。本网页收藏夹热烈欢迎你的到访，若你想收藏自己喜欢的页面，请用手机号注册哦。你注册好账号并且登录成功后，就可以在你的个人后台收藏你喜欢的网址了。齐齐收藏夹，有各种类型的链接，全部由用户提交添加，网址链接各式各样。欢迎您注册使用本站，并且自行收藏链接。链接keywords：可信软件,王戟,软件,高可信,人工智能。若您喜欢本站，分享本站给您的朋友吧。本页面的description是：。正文前部分内容是：　　“高可信”是什么？　　用王戟的话说，软件信息系统会“生病”，高可信软件就是给软件“看病”的工具，用来检讨软件的性能能否吻合人们的预期。“相称于给软件做一个CT扫描，看看哪些处所可能有问题，尽早解决。” 　　王戟又是谁？　　他是国防科技大学盘算机学院研究员，是不满14岁考上大学的少年英才，是43岁高位截肢后仍坐着轮椅冲锋在科研一线的领军人才，是用一篇论文创办了中国高可信软件技巧研究范域的开辟者。图为国防科技大学盘算机学院研究员、博士生导师王戟。中新社记者赵文宇摄　　当王戟的名字与“高可信”这个名词同时出现，象征着什么？　　在中国科学院院士、国防科大教授王怀民看来，在中国，一提到高可信软件技巧，就必定会想到王戟。尤其是在军事范域，王戟的名字与“高可信”同时出现，“大家会有一种平安感，会想到为这种平安感作出重要奉献的一位学者”。　　从开拓一个新的研究范域，到获得一系列创新结果，再到成为一条人生道路，这就是王戟与高可信的故事。　　要“可信”，还要“高”可信　　2003年，一篇题为《高可信软件工程技巧》的论文发表在当年第12期《电子学报》(增刊)上，作者是陈火旺、王戟、董威。这篇论文可以被视为中国盘算机高可信软件技巧初始阶段最重要的文章，为中国的盘算机研究开拓了一个新的范域。提出“。