不确定数据管理逐渐成为一个重要的研究方向。作为网络交换重要标准的XML数据的不确定管理也成为一个研究热点。基于关键字的概率XML检索是其中一个重要的分支。目前对于概率
摘要:对当前我国工程量清单计价条件下的索赔管理中存在的问题进行了探讨,并分析原因,给出对策和建议。论述了基于工程量清单计价的索赔机会研究、索赔计算方法、索赔策略和技巧研究和业主反索赔管理问题。 关键词:工程量清单;索赔 中图分类号:F426.61 文献标识码:A文章编号:1006-8937(2009)24-0147-02 工程量清单是一个工程项目的骨骼和定量架构,工程建设将以此架构为中
在模型检验中,抽象是解决状态空间爆炸问题的重要方法.通常的抽象是非强保留的,即可能存在时序性质在抽象模型不满足而在具体模型满足的情况.文中首先系统地构造μ演算Lμ语
美国费米国家实验是世界上高能物理研究领域的顶尖机构。它成立于1967年11月,最初叫做国家加速器实验室,隶属于美国能源部。1974年5月,为纪念美国原子时代的卓越物理学家恩里科&
摘要:目前我国是交通基础设施建设的高峰时期,对建筑业企业来说是个机遇,但是竞争异常激烈,低价中标的情况较为常见,如何在低价中标的基础上获得更大的经济效益,是值得研究的一个课题,文章从各个方面结合工程实际作了简要阐述。 关键词:施工成本;控制;效益 中图分类号:F426.91 文献标识码:A文章编号:1006-8937(2009)20-0148-02 面对竞争日益激烈的建筑市场,“项目经营
位于美国芝加哥费米国家实验室的“TEV能级加速器(Tevatron)”是目前世界上能量最高的超级粒子同步回旋加速器,也是到目前世界上仅有的一台质子反质子对撞机,是人类历史上最大
根据“普罗米修斯”计划,新开发的太空核裂变反应堆动力系统和太空核电源系统将首先用于“JIMO”(即“木星冰质卫星轨道飞行器”的英文缩写)探测任务,为“JIMO”探测飞船提供安全
现实世界中存在大量的不精确和不确定信息,因此,针对模糊数据的表示和处理的研究工作已经广泛展开。作为下一代Web语言,XML已经成为当前Web数据表示与交换的标准。不精确和不确
我刊曾在2004年12期上发表了有关欧洲核子研究中心在建大型强子对撞的介绍文章,这里刊登另外两位作者对这一实验项目的个人观点。
数年前,好莱坞曾拍摄了一部名为《天地大冲撞》(英文名Deep Impact)的科幻大片,描述一颗能给地球带来毁灭性打击的彗星即将与地球相撞,为了阻止灾难降临,宇航员毅然驾驶飞船冲向