利用汇文系统进行西文期刊回溯建库

西文期刊回溯建库工作,是一项非常重要而又艰巨的工作。本文结合汇文系统编目模块,论述了如何在汇文系统中进行西文期刊的回溯建库工作,以及在回溯建库工作中所遇到的问题和采取的对策。     

确证·回溯论证·基础主义

基础主义是一种关于确证结构的理论,也是关于确证最初来源的理论.因为回溯论证是要表明我们到何处寻求确证的最初来源.我们首先简略地对回溯论证作一下解释,然后再较详细地概述基础主义的类型及其本质和有关这个理论的主要批评.     

圆柱体货物超限位置及超限程度确定方法的研究

经由铁路运输的超限货物必须准确确定其超限等级，以确保货物及行车安全，圆柱体货物超限计算点的选取至今缺乏相应的理论依据．本文通过实例说明目前在判断货物超限程度上存在的问题，并且在对圆柱体货物外形与各限界之间关系的进一步分析的基础上，给出了圆柱体货物超限程度及其位置的判定原则及实现方法．     

数据包的IP地址回溯方法探讨

介绍一种通过对网络信息流的监听,经过分析只存储数据包的摘要而不是本身内容,可以减少跟踪系统对内存的要求,同时也可以减少跟踪系统对隐私的侵犯.数据包的摘要内容能够唯一地代表一个IP信息包,并且能够确定传送路径上的交叉点,产生一个路径拓扑图,实现跟踪单个数据包的IP地址.     

自忆模式中回溯时间积分格式有效性的数值试验

采用Rossby-Haurwitz波函数作初始场,利用准地转正压模式和以其作动力核导出的自记忆模式,分别运用普通中央差格式和回溯时间积分格式进行数值预报试验.结果表明,回溯格式能减小预报误差约2个量级;且其误差不随时间步长的增大而增加.因此,回溯时间积分格式可以提高预报精度,延长预报时效,并减少预报量.     

一个并发约束程序设计语言的定义与实现

设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优先度的规则选择策略,将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来.系统在电路建模、专家决策等领域的初步应用表明了该语言对构造基于约束的知识系统的适用性.COPS的出现为复杂智能问题的解决提供了可能性.     

VB解决迷宫问题

介绍了VB解决迷宫问题的一般规则及方法。     

不同数据结构下回溯法效率的比较

一般而言,因溯法比枚举法的效率高出几个数量级,因此,其效率问题对于输入规模较大的问题而言至关重要.以一个典型的回溯问题为例,通过对比,说明回溯法在不同数据结构下,其时间效率的差异,验证对于可表示成稀疏矩阵的数据集,在使用四向链表结构时,可以大大提高时间效率.这对于那些适合回溯法解决的问题是非常有意义的.     

铁路建筑限界管理信息系统

文章详细介绍了铁路建筑限界管理信息系统（Ralway Structural Clearance Management Information System）的总体设计思路、数据库设计以及应用系统功能设计。