深圳市坪山图书馆于2019年3月正式开馆,在新馆筹建时期,坪山图书馆就瞄准了高质量发展这一方向和目标,在特色空间打造、活动品牌建设与推广、品质阅读引领等方面均取得了一些
<正>信息资源字典系统(Information Resouree场e-tionary System,IRDS)是信,Q.资源管理的一个重要模式,在国际上受到极大重视,各发达国家纷纷出台各自的标准,并由国际标准化
本文介绍了一种形式语言－Ｐｅｔｒｉ网语言，并讨论了Ｐｅｔｒｉ网语言与传统形式语言（正规语言，上下文无关语言，上下文有关语言以及递归枚举语言）的关系。
<正>在并行分布计算中,用任务图来表示并行程序中各任务之间的执行关系,然后对任务图进行有效调度是提高并行程序执行性能的一种有效方法.当任务图中包含比较有规律的子任务
摘要：工程项目投资控制按实施过程一般分为三个阶段：第一阶段是项目决策阶段的控制；第二阶段是项目设计阶段的控制；第三阶段是项目施工管理阶段的控制。关键词：工程项目；成本控制中图分类号：F426 文献标识码：A 文章编号：1006－3315（2008）06－116－02伴随着我党十七大的胜利召开及08年奥运会的即将开幕，给我国的经济发展带了巨大的机遇，为建筑行业提供了一个强有力的发展期。面对这样一个发
<正>1形式化方法 随着软件系统复杂度的不断增长,开发正确、可靠的软件,已成为一个巫解决的问题。形式化方法是解决此间题的一个有前途、有希望的技术,它建立在严格的数学
<正>如何提高函数式程序设计语言在传统冯·诺依曼机器上的执行速度.及效率,一直是该领域中研究的主要论题,对此,并行图归约技术、并行闭包归约、并行编译、并行程序转换
所谓"成功"的教育,就是转变传统教育观念和方法,改变现有的以"分数"为唯一标准的评价制度,通过教师的进步为学生提供成功的舞台,增强学生的成功意识,培养学生的成功品质,从而
湿地松是普遍用于造林的优良树种,生长速度快,环境适应力强,适合大面积种植,具有较高的经济价值。目前湿地松被传统种植观念所限制,种植效率低,死亡率高,缺乏科学的指导,为了
<正>作为开放系统的主要特征,互操作性(InteroP-erability)一直是计算机界关注的焦点。它可以用三