N个振荡器相互注入锁定同步振荡系统

本文对Ｎ个振荡器相互注入锁定同步振荡系统提出了一种通用的分析方法。建立了该系统的完整非线性等效模型，导出了系统的状态方程。对于各种不同电路形式的振荡系统，只要将具体的电路参数代入，就可计算其输出功率，功率合成效率及工作频率等参数，从而使这类系统的计算机辅助分析和设计成为可能。     

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.     

电传动装甲车辆冷却系统水路性能试验研究

根据电传动装甲车辆冷却系统高低温双泵双循环设计要求,通过台架联机试验全面测试了冷却系统双循环水路及各循环支路温度变化和水流量分配特性、发电机绕阻温度变化规律及低温循环水路工作性能,测试结果表明:发电机冷却水路与发动机循环水路串联可行,双循环水路及各循环支路水流量和进出口温度变化满足动力系统不同工作状态散热要求,所选部件匹配合理,达到设计要求.     

Action strategies for strengthening industrial clusters in southern Taiwan

For the past decade, the Taiwanese government has applied the policy of “North heavy, South light” to put more emphasis on development in northern Taiwan instead of the south. This has resulted in uneven development between the northern and southern regions, especially when introducing, developing, and supporting high technology and resource allocation in education. Industry clusters have become the centerpiece of economic development policy in many parts of the world. In this study, it is assumed that there are two categories of less-advantaged regions in Taiwan: (1) older industrialized regions dominated by labor-intensive/capital-intensive industries, and (2) industrial regions that have merged with potential high-technology small firms but still lack infrastructure. This study discusses the following points: (a) How do industrial clusters work in action? (b) What barriers do less-advantaged industrial clusters face? (c) What action strategies promote less-advantaged industrial clusters?