论文部分内容阅读
图书馆如何为科技发展服务
【机 构】
：
中南林学院
【出 处】
：
林业图书情报工作
【发表日期】
：
1997年2期
其他文献
讨论了当今隐喻逻辑这一研究领域中存在的一些主要问题.对这一领域的一系列思想进行评述.得出的结论是,隐喻逻辑的建立离不开对一些隐喻赖于存在的根本逻辑的建立,如相似和理
形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。但是在主体环境下，已有逻辑的复杂性仍然不能有效刻画主体复杂的心智。有一些人工智能研究者根据主体心智的多重性
时间自动机是检验实时系统建模的有效工具，其可达性分析可以检验系统是否可能达到某些特定的状态，其算法通常采用对符号状态的枚举来遍历其状态空间。因为引入了时钟变量，时间自
无线Ad hoc网络容量是评估网络性能的重要参数，它的研究以改善网络性能为出发点，提供构建优质网络的理论依据。本文总结了无线Ad hoc网络客量的研究成果，根据方法的不同将其分为
针对三维网格大数据量与三维图形引擎处理能力及网络带宽限制之间的矛盾，三维网格压缩编码技术提供了一系列解决方法。本文从静态压缩和递进网格两个角度分类，以拓扑信息驱动和