共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
针对错误原因提取效率低的问题, 提出一种利用克雷格插值对模型检测器产生的反例进行自动理解的方法. 该方法首先从反例失效状态出发推导出其最弱前置条件, 然后对初始状态与反例最弱前置条件进行不一致分析, 能在线性时间内提取克雷格插值作为反例失效原因, 产生的插值能直接用于定位错误事件. 实验结果表明, 基于克雷格插值的反例理解方法能显著提高反例理解速度, 提高软件的调试效率, 从而提升软件的可靠性和质量. 相似文献
4.
5.
6.
真实的狮子世界远没有电影《狮子王》那般温馨感人。美国明尼苏达州教授克雷格博士发现,并没有一个“女王”匹配一头狮子“国王”,而是雌狮“姐妹”们相互帮助,共同抚养孩子们长大。而且,在这个互助社团里,没有什么统治者,和“女王至上的”的蜜蜂、蚂蚁、土狼等完全不同,其主张是“人人平等,责任分享”。那么,它们的关系是怎样的呢?“可以用现代人类社会的观点来理解:一方面,狮子们可以单独生存,并不互相依赖,因此能和平友好的分手;另一方面,它们确实又需要对方。所以,它们的合作是‘社团’性质的”克雷格博士说。 相似文献
7.
正"你现在最想、最应该、最能做的是什么?绝大多数选择做自己能做的。而这两位老师只问:这是不是应该做的,从来不问能不能做。在他们看来,如果应该做,就做好了。"王晓东说。如果以阶段性来划分人的成功的话,1985年,对正在美国得克萨斯州达拉斯市一所大学攻读生化研究生的王晓东来说,与一同出国上名校、跟名师的同行者相比,他的状 相似文献
8.
9.
10.
克雷格·拉普失业了。失业前,拉普的职业是在一家正在南加利福尼亚州进行地产开发的建筑企业里当司机。美国金融危机的爆发,令美国地产业遭受重创,拉普所在的公司未能幸免。2007年11月,在公司的裁员风潮中,拉普离开了公司。 相似文献
11.
如果我们要问:这两年北京最火爆的零售店是谁?很多人都会提起家乐福和万客隆。他们一个是法国的,一个是荷兰的;在北京一个位于富有的东北角,一个位于欠发达的西南方。它们都成功地进入了北京,但谁比谁更棒呢?我们在初步调查基础上做了一些分析,但愿能给商家以启示。一、进入中国:家乐福先一步万客隆慢半拍家乐福,法文为“Carrefour”,本意是“十字路口”,精明的法国人将其音译为“家乐福”。家乐福创办于1963年,到1997年底已在全球的18个国家和地区开设了308家店铺,1996年销售额达300多亿美元,在世界零售业排 相似文献
12.
13.
14.
1990年以来,人类基因组序列已完成测序的和正在测序的共计约330Mb,占人基因组的11%左右;已识别出与人类疾病相关的基因200个左右。此外细菌、古细菌、支原体和酵母等共17种生物的全基因组的序列已经测定。1998年5月至9月间,在人类基因组研究领域中连续爆出了三个引人瞩目的新闻,都是向按部就班的研究进度提出了挑战。 1998年5月9日,美国的基因组研究所负责人克雷格·温特(CraigVenter)宣布将同PE(Perkin-Elmar)公 相似文献
15.
如果他生在父辈的年代,会是一个踏踏实实的工程师或者大学教师。可是没有如果,同样读了十几年书的刘磅没有做过一天如他父辈那般意义上的知识分子,而成了时下最受社会关注和最“酷”的一种人——知识型老板,或者更宽泛地称之为“儒商”。对此,刘磅有风度地承认:生逢其时嘛! 1999年刘磅有一件事做得特别得意,以致于在最不相干的时候也能想起来乐一乐,或者设法提一提。按他的话说:“找到了一条饿不着的路子。” 一个月前,他的达实自动化工程公司,成功地在中国粮食仓储自动化工程的大型竞标中,竞得其中的两个项目,这两个又都是获得世界银行贷款的大项目,对其后数百个其它标的有着举足轻 相似文献
16.
17.
王竟 《科技导报(北京)》1991,(4)
据英国《新科学家》周刊1991年3月16日报道,两年前,美国一个科家小组宣布,在极大的压力下压缩氢气,使氢气转变成了金属(本刊1989年第5期科动态中对这一消息作过报道)。现在看来,他们的结论是不可靠的。据其他一些科学家的意见,有可能是在试验的容器内因化学反应产生的铝沾污了氢气样品。科内尔大学的阿瑟·劳夫(Arthur Ruoff)和克雷格·范德博格(Craig Vanderborg)怀疑已制取金属氢的结论。因为1989年戴维毛(David Mao)及其同事在华盛顿卡内基研究所用金刚石钻座对氢气施加约149万个大气压时发现,有5%的入射光被反射出来,他们就认为这是氢气已变成为金属。 相似文献
18.
19.
20.
<正> 轮状病毒(Rotavirus)是各种幼龄动物非菌性腹泻的主要病原之一。小鼠的流行性腹泻就是由于它所引起的。此外,人、绵羊、山羊、羚羊、幼驹、鹿、犊牛、兔、猴、猪、犬、鸡、火鸡,鸭等都有很多关于发生轮状病毒感染的报道。也曾在棕熊、豚鼠检测到特异性抗病毒抗体。小鼠轮状病毒在鼠群中感染很普遍,特别是在第一胎仔鼠中,且死亡率高,给生产带来很大的损失。此病易与由其它病毒和细菌引起的腹泻相混淆。现就它的一些特性做一概述。一、形态、理化学特性及分类: 1947年Cheever等人第一次对小鼠流行性腹泻(EDIM)做了报道。电镜检查可以观察到两种形态的病毒颗粒:一种是有外衣壳的完整病毒粒子,直径为75—80nm,一般只有在用回肠做直接印片时才能观察到;另一种是缺乏外衣壳的不完整的病毒 相似文献