摘要：The synthetic making test has been widely used in evaluating the break ability of high-voltage circuit breaker. However, the test research and application are still inadequate, especially in the condition of rated voltage. According to the realistic conditions of test stations in China, a control device based on pre-arcing current detection and phase control is proposed in this paper. A sample of the control device made up of DSP TMS320LF2407A is fabricated, in which the CPLD MAX7064 is used to transmit signals for EMC design. It can be applied in full voltage synthetic making test at a level of 126kV/63kA. The test results show that, it is accurate to control the making phase of the applied voltage, whether the closing is demanded at voltage peak or zero.

摘要：This paper concerns with proposing a fuzzy logic based expert system to breakthrough the problem of alternatives evaluation in Analytic Hierarchy Process (AHP). AHP as a multi criteria decision aid helped decision makers for ana-lyzing and prioritizing the alternatives in a hierarchical structure. During times AHP encountered some problems. Hence, fuzzy analytic hierarchy process (FAHP) and some other extensions of AHP have been configured to solve those problems.

摘要：Nowadays, application model systems for decision-making based on non-classical logic such as Paraconsistent Logic are used successfully in the treatment of uncertainties. The method presented in this paper is based on the fundamental concepts of Paraconsistent Annotated Logic with annotation of 2 values (PAL2v). In this study, two algorithms based on PAL2v are presented gradually, to extract the effects of the contradiction in signals of information from a database of uncertain knowledge. The Paraconsistent Extractors Algorithms of Contradiction Effect-Para Extrctr is applied to filters of networks of analyses (PANets) of signal information, where uncertain and contradictory signals may be found. Software test case scenarios are subordinated to an application model of Paraconsistent decision-making, which provides an analysis using Paraconsistent Logic in the treatment of uncertainties for design software testing strategies. This quality-quantity criterion to evaluate the software product quality is based on the characteristics of software testability analysis. The Para consistent reasoning application model system presented in this case study, reveals itself to be more efficient than the traditional methods because it has the potential to offer an appropriate treatment to different originally contradicting source information.

摘要：以.NET为软件开发平台,采用Google Earth GE API和MapX 5.0控件,结合世博园白莲泾河道综合调水需求,在分析调水系统的设计目标、框架及主要功能的基础上,开发实现了调水解决方案管理、数据库管理、GE环境、GIS环境下水质与水位动态演示等模块。模拟试验结果表明,该系统模拟精度较高,可视化效果较好,达到了系统的预定目标,有利于世博园的河道水质保障要求。