论文部分内容阅读
自动推理研究
【机 构】
：
中国科学院软件研究所
【出 处】
：
中国科学院“百人学者论坛”2007年学术年会
【发表日期】
：
2007年期
其他文献
高速公路流入量控制是保障路网运行效率的重要手段.本文研究在不专门设置信号控制设备的前提下,通过调节收费站入口通道数目实现流入量控制的效果.提出了基于反馈控制原理的
会议
推进电子文件和电子档案单套归档与管理试点,抓好数字档案馆(室)建设,尤其是通过推进全国档案查询利用服务平台建设,建立联通各级综合档案馆的档案查询利用服务机制,实现档案
刚刚于8月6日去世的贝尔纳·斯蒂格勒(Bernard Stiegler),被认为是继德里迭之后最重要的法国哲学家,也是数字技术影响方面最重要的思想家之一.众所周知,他发展出了关于个人、
期刊
太平天国纪年民契作为古文书学和太平天国史学界重要的研究对象,因其存世罕见而无法为学界提供足够的研究样本,故此开展这方面的文献挖掘与研究有较大的学术意义.通过对目前
当前我国档案文化创意产品的研究对用户的认识和关注较少,开发策略较宏观.本文从档案文化创意产品用户需求的角度出发,对档案文化创意产品的用户进行调查研究,提出基于概念格
遵守档案所在国家和地区的管理规定是企业跨境管理档案的前提.但近年来随着国家间竞争加剧,国际贸易形势恶化,各国对商业、技术等信息的管制越发严格,管制规则也越发难以协调
虚拟现实技术的发展引起了档案机构对沉浸理念的关注。基于符号工具的不同,可以将沉浸区分为知觉沉浸和意识沉浸两种类型。"梅·马西"藏品展览项目作为意识沉浸的典型案例,表现出优化物理环境、项目成本和参观数据分析等方面的优势;而"展开地图"档案展览项目则作为知觉沉浸的典型代表,表现出物理空间、叙事路线和用户体验等方便的优势。通过案例分析,发现沉浸理念下的档案信息服务不仅与技术有关,还与艺术有关。此外,在档