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

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

我国有线电视事业的现状和发展

本文详细系统地介绍了我国有线是视发展历史和现状，及其经营和管理方法。重点介绍了北美的ＣＡＴＶ技术发展动向。最后，指出我国ＣＡＴＶ事业发展中的应用重视的问题。     

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.     

FAFFA加速的PO-MM研究复杂金属载体上线天线电磁特性

本文提出了一种快速远场近似(FAFFA)加速的混合物理光学矩量法(POMM),利用FAFFA加速计算矩阵方程中的矩阵矢量积,明显提高了计算效率.对物体表面上的远场组之间的耦合作用推导出了一组简洁的计算公式,并分析了计算复杂度.复杂金属组合体上线天线输入导纳、互导纳和方向性图的计算结果与文献结果一致.利用该方法分析计算了一个舰船模型上线天线的电磁特性.数值结果表明了这种方法的正确性和工程应用中的有效性.     

基于混合遗传算法的树状注水管网拓扑优化

以投资最小为目标函数,以井间隶属关系的惟一性、连接注水井数量等限制为约束条件,建立了树状注水管网拓扑优化数学模型.根据模型特点,将优化问题分为分配层和几何层,分别采用遗传算法和非线性优化方法进行求解.并对遗传算法的操作过程进行了改进,调整了适应函数,采用随机多父辈适应函数值加权交叉和多种变异操作,结合了模拟退火算法,并给出了初温的确定方法,改进了选择复制操作,从而形成了混合遗传算法.该算法能够有效地提高收敛速度,避免早熟收敛.利用算例说明了该方法的有效性.     

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开发的自动控制原理考试系统的系统结构做了阐述，并简要介绍了该系统的设计思想、主要功能及实现方法。     

Sol-gel preparation of a di-ureasil electrolyte doped with lithium perchlorate

Solid polymer electrolytes (SPEs) synthesized by the sol-gel process and designated as di-ureasils have been prepared through the incorporation of lithium perchlorate, LiClO₄, into the d-U(2000) organic-inorganic hybrid network. Electrolytes with lithium salt compositions of n (where n indicates the number of oxyethylene units per Li⁺ ion) between ∞ and 0.5 were characterized by conductivity measurements, cyclic voltammetry at a gold microelectrode, thermal analysis and Fourier transform Raman (FT-Raman) spectroscopy. The conductivity results obtained suggest that this system offers a quite significant improvement over previously characterized analogues doped with lithium triflate [S.C. Nunes, V. de Zea Bermudez, D. Ostrovskii, M.M. Silva, S. Barros, M.J. Smith, R.A. Sá Ferreira, L.D. Carlos, J. Rocha, E. Morales, J. Electrochem. Soc. 152 (2) (2005), A429]. “Free” perchlorate ions, detected in all the samples examined, are identified as the main charge carriers in the sample that yields the highest room temperature conductivity (n = 20). In the di-ureasils with n ≤ 10 ionic association is favoured and the ionic conductivity drops.     

数据录入约束与导航器

信息软件使用的方便性、易用性、安全性和稳定性在很大程度上取决于数据录入方式的优劣。分析了数据录入的约束规则，探讨了录入导航原理，并介绍了一种已在开目管理软件中普遍采用的数据录入导航器组件。