收藏该网址的用户：山长隔万里

打开该链接→

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

获取链接

最近被收藏网址

以“第一”之名赴强军之约-网址收藏夹官网官方网站
收藏该网址的用户：豢养在别人怀里

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

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

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

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

舟山疫情最新情况数据消息今天情报|核酸恢复什么时候解封
收藏该网址的用户：希望大家健康

最后的21克漫画在线观看顺序|完整版全集免费阅读|下拉式阅读什么时候出
收藏该网址的用户：让你想我

海贼开局收赤犬为小弟小说最新章节txt下载|笔趣阁全文免费阅读无弹窗
收藏该网址的用户：忙着可爱

破密电影演员表剧情详细介绍|电视剧免费观看完整版国语
收藏该网址的用户：暗許姑娘

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

本站备注说明

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