在模型检验中,抽象是解决状态空间爆炸问题的重要方法.通常的抽象是非强保留的,即可能存在时序性质在抽象模型不满足而在具体模型满足的情况.文中首先系统地构造μ演算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)的科幻大片，描述一颗能给地球带来毁灭性打击的彗星即将与地球相撞，为了阻止灾难降临，宇航员毅然驾驶飞船冲向
整整100年前，当时还默默无闻的爱因斯坦先后发表了一系列突破性的理论成果，为相对论、量子论等物理学领域奠定了基础。后来，人们将那一年(1905年)称为“爱因斯坦奇迹年”。可以
目前，传统的RBAC（Role-Based Access Control）访问控制模型在支持细粒度服务和角色迁移的可控性上存在一定不足．针对这些不足，结合开放式网络环境的实际情况，文中提出了量化服务的