主动配电网中多代理模拟技术与应用研究

针对主动配电网(active distribution network,ADN)中分散式、主动性元件种类及数量的大幅增加,网络结构复杂管理控制难度日趋困难的问题,提出多代理技术是增加ADN中多类型主动性元件协调合作的新手段。该文综述了近年来国内外基于多代理系统对ADN中分布式能源管控、主动元件的协调控制、故障快速恢复以及区域自治的市场仿真4个方面的研究现状与成果,分析了多代理技术应用在ADN中的管理结构、通讯机制及适应于ADN发展的Agent模型。从ADN的主动性规划、多能流系统模式、博弈性市场机制及负荷主动管理能力等方面的发展趋势,展望了在未来如何更好地利用多代理技术,提高主动配电网的供电可靠性与经济性。     

人口地理信息管理系统的建立

在探讨人口地理信息管理系统建立方案的基础上,以ArcG IS 9.0、MapObjects和VB为平台,进行桂林市人口地理信息系统的开发,实现了人口信息查询和分析、专题图制作、人口预测及网络信息发布等基本功能,为政府管理人口提供了有效的方法和手段。     

Distributivity in Łℵ0 and Other Sentential Logics

Certain distributivity results for ukasiewicz's infinite-valued logic ₀ are proved axiomatically (for the first time) with the help of the automated reasoning program OTTER. In addition, nondistributivity results are established for a wide variety of positive substructural logics by the use of logical matrices discovered with the automated model-finding programs MACE and MAGIC.     

关于QL-、D-蕴涵的分配性方程的解

研究了[r→（t∧s）]≡[（r→t）∧（r→s）],[r→（t∨s）]≡[（r→t）∨（r→s）],[（p∧q）→r]≡[（p→r）∨（q→r）],[（p∨q）→r]≡[（p→r）∧（q→r）]4个分配性方程,它们在模糊集理论中的形式分别是I（r,T₁（t,s））=T₂（I（r,t）,I（r,s））,I（r,S₁（t,s））=S₂（I（r,t）,I（r,s））,I（T₁（p,q）,r）=S₁（I（p,r）,I（q,r））,I（S₁（p,q）,r）=T₁（I（p,r）,I（q,r））,其中p,q,r,s,t∈[0,1],T₁、T₂为任意三角模,S₁、S₂为任意三角余模,给出了I为QL-、D-蕴涵时满足分配性方程的充要条件。     

油田GIS平台建设与应用

本文由"数字地球"、"数字油田"的概念,引申出建设新疆油田公司GIS平台的必要性,接着介绍了"油田空间数字平台"的组成、功能和实现技术,最后给出了采用该平台定制地面工程信息管理系统的具体应用实例。     

(I,A)-蕴涵及其基本性质

模糊蕴涵在模糊逻辑和近似推理领域中发挥着十分重要的作用，模糊蕴涵的构造是相关领域中的重要研究课题。基于模糊蕴涵[I]和聚合算子[A]构造出[(I,A)]-算子，研究[(I,A)]-算子成为模糊蕴涵的条件，其次研究[(I,A)]-蕴涵包括分配性和输入性在内的一些基本性质。     

基于CORBA/Java技术的流域梯级电站监控系统

根据流域梯级电站监控监测系统的分布式和异构的特点，提出了一种基于CORBA/Java 技术的流域梯级电站监控系统模型，简要介绍了该系统的结构、特点及软件开发的主要步骤。     

A type free theory and collective/distributive predication

The purpose of this paper is to provide a simple type-free set theory which can be used to give the various readings of collective/distributive sentences.Part of this work was carried out while the author was on a study leave for one year at the Technical University of Eindhoven, the Netherlands. I am grateful to the University of Eindhoven for their hospitality, financial and academic support. Moreover, I am grateful to the anonymous referees for their useful suggestions and comments. Last but not least I would like to thank Kieran Clenanghan for having commented on the style of the paper and Gerry Seligman for having drawn my attention to the problem faced by complex predicates.     

Evidence for distributivity effects in comprehension.

In the current article, we introduce a new methodology for detecting whether a word in a sentence is conceptually represented as plural and use it to shed light on a debate about whether comprehenders interpret singular indefinite noun phrases within a distributed predicate as plural during online reading. Experiment 1 extended a methodology previously used by Berent, Pinker, Tzelgov, Bibi, and Goldfarb (2005) to test individual words or word pairs by having readers judge, at a critical word, whether 1 or 2 words appeared on a computer screen while performing self-paced reading on a sentence presented in 1- and 2-word chunks. In line with Berent et al., Experiment 1 indicated that participants were slower to judge that 1 word was on the screen when the word was plural (e.g., cats) than when it was singular (e.g., cat). Experiment 2 used this paradigm to show that readers build different conceptual representations for distributed versus collective predicates and interpret a singular indefinite noun phrase within a distributed predicate as plural (e.g., Kaup, Kelter, & Habel, 2002; but cf. Filik, Paterson, & Liversedge, 2004; Paterson, Filik, & Liversedge, 2008). (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

协同产品开发决策支持系统的结构

决策效率和决策质量的高低直接影响产品开发的速度和质量,为此必须研究协同产品开发的决策支持系统.本文从协同产品开发决策活动的特点入手,对该系统的需求进行了深入分析,提出了系统的结构.该结构具有分布性、集成性、智能性、灵活性等特点,为系统的进一步开发提供了基础.