USERS’ TWO-DIMENSIONAL INTEREST AND ITS STORAGE METHOD

The users‘ interest can be mined from the web cache and can be used widely.The interest can be specialized by the two-tuple(term,weight) in the simple interest model,in which the association relations are not mined.and then interest cannot be associated in expressing the users‘interest.Based on analyzing the WWW cache model,this letter brings forward a twodimensional interest model and gives the interrelated methods on how to store the two-dimensional interest model effectively.     

高氧化态（Ⅱ─Ⅳ）三核金属簇合物构型的人工神经网络判别方法

本文运用一典型的人工神经网络模型─“反向传播”模型，对高氧化态（Ⅱ─Ⅳ）三核金属簇合物的构型分布进行了分析，得到了较好的分类、预报结果为化合物结构分析提供了新的工具。     

中国古典园林三维造型研究

论述了采用层次结构化及参数化三维造型方法，建立一个以造型函数库为核心，从而构造各类、各级园林景观构件表面模型的方法和过程。对于某些非建筑类的园林配景构件，采用了Ｆｒａｃｔａｌ方法进行造型。     

给水流量控制系统仿真辅助设计

本文将给水流量系统规范化，给出静、动态数学模型，通过计算机仿真计算建立起设计参数Ｓ与系统特性间关系数据库，这些数据可用于控制系统辅助设计。本文还介绍了在Ｓ较小时自动补偿系统增益和时间常数的自适应控制方法并给出仿真结果。     

冲裁模CAD／CAM结构库之原型法

本文首先给出了一种新的2.5D 实体表示法,然后在此基础上提出了“原型”的概念。原型法的思想运用在结构库的管理中主要体现在它将模具结构与构成这种结构的零件之间的强联系变成弱联系,结构库面向的对象是一个具有整体性和可运算性的结构原型。这样的原型结构库基本上达到了通用性与开放性的要求。     

Type inference in stack based languages

We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth.     

石油测井仪器可靠性指标探讨

在分析常用可靠性指标及其应用现状的基础上，根据可靠性理论及石油测井仪器的特点。提出了石油测井仪器的可靠性模型。在探讨常用可靠性指标对石油测井仪器适用性的同时，提出将平衡稳定工作时间NWTURE和免维修测井井次NOLWNM作为石油测井仪器可靠性指标的思想；探讨了获取可靠性指标的途径。给出了推荐使用的石油测井仪器可靠性指标。     

在协议集成测试系统上开展路由协议测试

在分析路由协议的特性及其测试需求的基础上，提出利用窗口黑盒来描述被测协议，利用多通道测试方法扩展对被测实现的控制和观察，通过扩充参考实现增强系统的测试能力。将这些理论，技术应用于系统中，对路由协议开展了有效的测试活动，为国产高性能路由器的开发提供了有力的支持，也进一步增强了PITS系统的功能和适用性。     

结合试飞特点,开展专用测试设备计量确认

根据我院专用测试设备计量确认现状及需求，对开展试飞专用测试设备计量确认工作的要求，步骤、确认原则，以及编定计量确认方法进行了必要的讨论分析。