本文提出了一个划分具有决定性的,实时性能的二级存储系统的最优算法。此算法在多项式时间内就能找出这一问题的最优解,并支持存储器资源的在线重新配置。
阐述了国家科技图书文献中心(NSTL)网络服务系统的文献资源状况、检索方法和原文提供服务的内容.
本文从现代信息社会的特点及其对人才培养的要求出发,针对当前农业高校文检课现状,提出制订全国农业高校文检课教学大纲、改革课程内容体氛重新组织课程内容和改革教学方式等深
本文描述一个在三维虚拟空间内表示面向对象系统的可视范型,强调利用三维交互式图形来表示对象间的关系,其特点是有效利用屏幕空间且减轻认知负担,该范型使用一个三维图形工具箱TOAST提供的三维交互式技术和对象实现在SGI图形工作站上.
逻辑表达式可满足性(SAT)问题是第一个被证明的NP完全问题.它也是解决人工智能和计算理论中许多实际问题的基础.人们发现,对于某些类型的SAT问题,局部搜索算法要比一些传统的算法(例
随着雪灾的影响慢慢修复,大家也纷纷回到各自的工作岗位上去了。雪灾的报道,也开始慢慢地在媒体的视野中退出。回想50多天前的情境;大雪纷飞,
对农业信息化涵义的不同理解是导致"最后一公里"问题的理论根源.本文从供给与需求两个方面分析了"最后一公里"在实践中形成的原因,并提出了相应的解决措施.
7月参议院选举,9月民主党党内选举,菅内阁需要度过的难关还有很多,鸠山之后的日本政治仍悬念重重 2010年6月4日,与鸠山由纪夫(Hatoyama Yukio)、小泽一郎(Ozawa Ichiro)并称为日本民主党“三驾马车”的菅直人(Kan Naoto)在前两位大佬相继辞去党内职务后当选党代表。当月8日,菅以执政党党首身份成为日本第94任首相并组建新一届内阁。 菅内阁诞生当天,日本《产经
本文分析了目前信息技术发展趋势,论述了电子阅览室的概念、特征及建设模式,介绍了本馆建立电子阅览室的设想和做法。
对于大体积混凝土结构,由于其尺寸较大,对其内部缺陷的判定一般采用无损检测方法—超声法,可以充分利用其穿透力强、操作简单的优点。结合钻芯法查找混凝土内部缺陷直观可靠