“高可信”是什么？ 用王戟的话说，软件信息系统会“生病”，高可信软件就是给软件“看病”的工具，用来检查软件的性能是否符合人们的预期。“相当于给软件做一个CT扫描，看看哪些地方可能有问题，尽早解决。” 王戟又是谁？ 他是...
中新社华盛顿7月31日电 (记者 陈孟统)华盛顿网球公开赛7月31日开展两场女双半决赛争夺。中国选手张帅搭档印尼选手曾丽美，在抢十决胜中不敌克莱帕奇(斯洛文尼亚)/二宫真琴(日本)组合，遗憾止步四强。 当地时间7月31日，华盛...
中国天气网讯 今年第13号台风“白海豚”(超强台风级)的中心今天(8月1日)上午8点钟位于琉球群岛那霸市偏东方向大约3200公里的西北太平洋洋面上，就是北纬20.2度、东经158.4度，中心附近最大风力有17级(60米/秒)，中心最低气...
中新社记者 钟旖 世界文化遗产大足石刻，是中国晚期石窟艺术的代表。其始建于初唐，至两宋达到鼎盛，5万余尊石窟造像是公元9世纪至13世纪世界石窟艺术最高水平的代表之一。 大足石刻为何被称作石窟版《清明上河图》？其保护发展...
标致607(参数|询价) Féline是一款于2000年日内瓦国际车展首次亮相的概念跑车，由法国标致汽车公司打造。它以当时已量产的标致607轿车为基础，采用经过修改的V6 ESL 3.0升发动机与底盘，展现出标致对运动化未来车型的大胆构想。...
创域芯华网
