冶金机械齿轮传动装置的制造技术与发展趋势

介绍当今冶金机械齿轮传动装置制造技术水平,以及大型齿轮传动装置齿轮制造工艺参数选择,从中探索研究冶金机械齿轮传动装置发展趋势.     

未来十年综合航电系统的发展趋向

本文主要阐述未来十年国外综合航电系统的总的发展趋向，重点介绍了在开放式系统结构的研究与应用、采用COTS技术、模块化、多传感器综合技术等方面的发展趋向。     

集成压裂机组研制

针对我国油田特定区决施工特点，通过对油田现用设备使用情况的分析和具体区决施工参数的统计，提出了集成压裂机组研制内容和配置，研制开发了集成压裂机组。产品结合了2000型压裂泵输出功率大、压力和排量覆盖范围合理的条件，集成了压裂车、混砂车、管汇车和仪表车的功能，实现了单台设备完成试压、压裂、酸化、防砂等多种施工流程，改变了常规施工作业设备种类和人员多、操作指挥复杂的施工模式，为油田提供了适合工艺要求的设备。     

高职教育网上成绩考核系统的总体设计

本文对网上成绩考核系统进行了总体设计.其中,设计了校园网的网络结构模型、网上成绩考核系统的模块结构及其数据库和数据表.     

一种新型针刺延期药的研制及其应用

本文介绍了一种新型的针刺延期药的配方设计和制备工艺，这种低猛度高热量的针刺延期药具有较高的发火感度，可满足一定的延期时间和相容性要求。文中还介绍了它在几种小型针刺延期雷管中的应用。     

On the monotonicity of (LDL) logic programs with set

LDL is one of the recently proposed logical query languages, which incorporate set, for data and knowledge base systems. Since LDL programs can simulate negation, they are not monotonic in general. On the other hand, there are monotonic LDL programs. This paper addresses the natural question of “When are the generally nonmonotonic LDL programs monotonic?” and investigates related topics such as useful applications for monotonicity. We discuss four kinds of monotonicity, and examine two of them in depth. The first of the two, called “ω-monotonicity”, is shown to be undecidable even when limited to single-stratum programs. The second, called “uniform monotonicity”, is shown to implyω-monotonicity. We characterize the uniform monotonicity of a program (i) by a relationship between its Bancilhon-Khoshafian semantics and its LDL semantics, and (ii) with a useful property called subset completion independence. Characterization (ii) implies that uniformly monotonie programs can be evaluated more efficiently by discarding dominated facts. Finally, we provide some necessary and/or sufficient, syntactic conditions for uniform monotonicity. The conditions pinpoint (a) enumerated set terms, (b) negations of membership and inclusion, and (c) sharing of set terms as the main source for nonuniform monotonicity.     

Analysis and visualisation with host-based software – The features of STNAnaVist™

This article is based on experiences with data and text mining to gain information for strategic business decisions, using host-based analysis and visualisation (A/V), primarily in the field of patents. The potential advantages of host-based A/V are pointed out and the features of the first such A/V software, STN^®AnaVist™, are described in detail. Areas covered include the user interfaces, initial set of documents for A/V, data mining, text mining, reporting, and suggestions for further development.     

Important features of Iris OSQL

OSQL is the object-oriented database language developed for the Iris object-oriented database management system at Hewlett-Packard Laboratories. Its three fundamental constructs are objects, types, and functions. This paper provides an overview of the underlying concepts and some important features of OSQL.     

灰色预测法在西安市农村电话预测中的应用

在对西安市农村电话发展现状分析的基础上 ,运用灰色预测法对西安市农村电话未来发展趋势进行预测 ,为制定西安市农村电话发展策略提供参考     

自动控制原理考试系统的设计与实现

对基于Visual Basic 6．0开发的自动控制原理考试系统的系统结构做了阐述，并简要介绍了该系统的设计思想、主要功能及实现方法。