检索结果-内蒙古大学图书馆

IEEE International Conference on Fuzzy systems (FUZZ-IEEE)

作者： A. Ciaramella R. Tagliaferri W. Pedrycz Dep. of Mathematics and Computer Science University of Salerno Baronissi Salerno Italy Dep. of Electrical and Computer Engineering University of Edmonton Canada

In this paper, a neuro-fuzzy model is introduced. The model describes a fuzzy relational "IF-THEN" reasoning scheme using an adaptive structure based on fuzzy relations. Two training schemes for the learning of the parameters based respectively on the backpropagation algorithm and pseudo-inverse matrix technique are illustrated. The model qualities are investigated by a series of simulation examples: function approximation, classification and rule extraction. These preliminary and promising results show that the model has a good performance and that it could be used for complex systems in real world applications.

关键词： Fuzzy neural networks Neural networks Fuzzy reasoning Fuzzy control Power system modeling Fuzzy set theory Biological neural networks Mathematical model Fuzzy systems Bismuth

来源：评论

学校读者我要写书评

暂无评论

Proportional membership in fuzzy clustering as a model of ideal types

Proportional membership in fuzzy clustering as a model of id...

引用

10th Portuguese Conference on Artificial Intelligence, EPIA 2001

作者： Nascimento, S. Mirkin, B. Moura-Pires, F. Faculdade de Psicologia e Ciências da Educação-LEAD UL Portugal Dep. Informática CENTRIA FCT-UNL Portugal School of Computer Science and Information Systems Birkbeck College London United Kingdom Departamento de Informática Universidade de Évora Portugal

ISBN: (纸本)354043030X

The goal of this paper is to further investigate the extreme behaviour of the fuzzy clustering proportional membership model (FCPM) in contrast to the central tendency of fuzzy c-means (FCM). A data set from the field of psychiatry has been used for the experimental study, where the cluster prototypes are indeed extreme, expressing the concept of 'ideal type'. While augmenting the original data set with patients bearing less severe syndromes, it is shown that the prototypes found by FCM are changed towards the more moderate characteristics of the data, in contrast with the almost unchanged prototypes found by FCPM, highlighting its suitability to model the concept of 'ideal type'. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Fuzzy clustering

来源：评论

学校读者我要写书评

暂无评论

Development of Integrated Simulation System Seamaid for Human-Machine Interaction in Nuclear Power Plant: Its Practical Applications and Future Prospect

引用

IFAC Proceedings Volumes 2001年第16期34卷 469-474页

作者： Hidekazu Yoshikawa Hiroshi Shimoda Hirotake Ishii Takashi Nakagawa Wei Wu Motoo Fumizawa Kazuo Monta Graduate School of Energy Science Kyoto University Gokasho Uji Kyoto 611-0011 Japan Power & Plant System Dep. Industrial Electronics & Systems Laboratory Mitsubishi Electric Corporation 1-1 Tsukaguchi-Honmachi 8-chome Amagasaki-shi Hyogo 661-8661 Japan Human Factor Center Nuclear Power Engineering Corporation 3-17-1 Toranomon Minato-ku Tokyo 105-0001 Japan

Development and validation of operator's cognitive model are made to be implemented into an integrated dynamic simulation system SEAMAID for real-time simulation of complex human-machine interaction in various emergency situations of nuclear power plant. The effectiveness of human model usage is confumed by applying the SEAMAID for the three areas: (1)estimation of time reliability curve of human cognitives, (ii)virtual reality based visualization system, and (iii)comparative evaluation of control board designing. Future subjects are also discussed for realizing virtual collaborator capable of interactive communication to human in virtual world.

关键词： Human factors Human-machine interface Human error Human reliability Dynamic modelings Cognitive systems Interfaces Virtual reality

来源：评论

学校读者我要写书评

暂无评论

Third-order Nedelec tetrahedral finite element

Third-order Nedelec tetrahedral finite element

引用

Antennas and Propagation Society International Symposium

作者： A.J. Ruiz Genovs L.E. Garcia-Castillo M. Salazar-Palma T.K. Sarkar Dept. Senales Sistemas y Radiocomunicaciones Univ. Politecnica de Madrid Spain Departamento de Teoría de la Senal y Communicaciones Universidad de Alcala Madrid Spain Departamento de Teoría de la Señal y Comunicaciones Campus Universitario Alcalá de Henares Madrid Spain Dep. Senalcs E.T.S.I. Telecomunication Madrid Spain Department of Electrical Engineering and Computer Science Syracuse University Syracuse NY USA

The practical implementation of the third-order tetrahedral version of Nedelec's first family of curl-conforming elements is presented. Following the definition of the element given by Nedelec, the third-order vectorial basis functions of the element are deduced. The element thus obtained exhibits some important differences with respect to other higher-order curl-conforming elements which have appeared in the literature. Specifically, the third-order curl-conforming finite element proposed leads to better conditioned finite element method (FEM) matrices.

关键词： Finite element methods Polynomials Lead Convergence Inspection

来源：评论

学校读者我要写书评

暂无评论

Tuning SAT checkers for bounded model checking 12th

Tuning SAT checkers for bounded model checking

引用

12th International Conference on computer Aided Verification, CAV 2000

作者： Shtrichman, Ofer The Minerva Center for Verification of Reactive Systems Dep. of Computer Science and Applied Mathematics The Weizmann Institute of Science Israel IBM Haifa Research Lab Israel

ISBN: (纸本)3540677704

Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search for a counter ex- ample in executions whose length is bounded by some integer k. The BMC problem can be efficiently reduced to a propositional satisfiability problem, and can therefore be solved by SAT methods rather than BDDs. SAT procedures are based on general-purpose heuristics that are designed for any propositional formula. We show that the unique characteristics of BMC formulas can be exploited for a variety of optimizations in the SAT checking procedure. Experiments with these optimizations on real designs proved their efficiency in many of the hard test cases, comparing to both the standard SAT procedure and a BDD-based model checker. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of an efficient thread partitioning algorithm 3rd

Design and implementation of an efficient thread partitionin...

引用

3rd International Symposium on High Performance Computing, ISHPC 2000

作者： Amaral, José Nelson Gao, Guang Kocalar, Erturk Dogan O'Neill, Patrick Tang, Xinan Computer Architecture and Parallel Systems Laboratory University of Delaware NewarkDE United States Dep. of Comp. Science Univ. of Alberta Canada

ISBN: (纸本)9783540411284

The development of fine-grain multi-threaded program ex-ecution models has created an interesting challenge: how to partition a program into threads that can exploit machine parallelism, achieve latency tolerance, and maintain reasonable locality of reference? A suc-cessful algorithm must produce a thread partition that best utilizes mul-tiple execution units on a single processing node and handles long and unpredictable latencies. In this paper, we introduce a new thread partitioning algorithm that can meet the above challenge for a range of machine architecture models. A quantitative aFFInity heuristic is introduced to guide the placement of operations into threads. This heuristic addresses the trade-off between exploiting parallelism and preserving locality. The algorithm is surpris-ingly simple due to the use of a time-ordered event list to account for the multiple execution unit activities. We have implemented the proposed al-gorithm and our experiments, performed on a wide range of examples, have demonstrated its eFFIciency and effectiveness. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Economic and social effects

来源：评论

学校读者我要写书评

暂无评论

Ammonia emission from a large mechanically-ventilated swine building during warm weather

Ammonia emission from a large mechanically-ventilated swine ...

引用

作者： Ni, Ji-Qin Heber, Albert J. Lim, Teng T. Diehl, Claude A. Duggirala, Ravi K. Haymore, Barry L. Sutton, Alan L. Agric. and Biol. Engineering Dep. Purdue Univ. West Lafayette IN 47907 United States Monsanto EnviroChem Systems 14522 S. Outer Forty Rd. St. Louis MO 63017 United States Monsanto Company 800 N. Lindbergh Blvd. St. Louis MO 63167 United States ChemLink International 13384 Walfield Ln. St. Louis MO 63141 United States Animal Science Dep. Purdue Univ. West Lafayette IN 47907 United States

Ammonia (NH3) emission from a grow-finish swine (Sus scrofa) building with an underfloor manure storage pit was evaluated during warm weather from 26 June to 25 September. Average daily mean (ADM, covering all measurement days) outdoor temperature was 21.8°C. Ammonia concentrations, ventilation rates, and temperatures were continuously measured or recorded and 88 d of reliable data were obtained. Air samples were taken at wall and pit exhaust fans and in the pit headspace. The NH3 concentrations were monitored on-site with a chemiluminescence NH3 analyzer. Ventilation rates were calculated based on operation of five wall fans, four pit fans, and the fan static pressure. The NH3 emission rates were calculated by multiplying simultaneously measured NH3 concentrations and ventilation rates of wall and pit exhaust fans. The ADM of building NH3 concentration (mean concentration of all sampling locations) was 3.9 mg m-3. The ADM building NH3 emission (sum of the emissions from all ventilation fans) was 11.2 kg d-1, equivalent to 145 g d-1 per AU (animal unit = 500 kg animal weight). The ADM emission per AU was higher than other reported values, probably due to warmer temperatures and higher ventilation rates. The building NH3 concentrations were inversely proportional to the indoor temperatures (r = -0.66) and ventilation rates (r = -0.59) and correlated well to total pig weight (r = 0.49). The building NH3 emission rates were correlated to total pig weights (r = 0.52) and ventilation rates (r = 0.41) and were not well correlated to indoor temperatures (r = 0.12).

关键词： Ammonia

来源：评论

学校读者我要写书评

暂无评论

Output feedback tracking of nonholonomic systems in chained form

Output feedback tracking of nonholonomic systems in chained ...

引用

1999 European Control Conference, ECC 1999

作者： Lefeber, E. Robertsson, A. Nijmeijer, H. Faculty of Mathematical Science Dep. of Systems Signals and Control. University of Twente P.O. Box 217 Enschede7500 AE Netherlands Dep. of Automatic Control Lund Institute of Technology Lund University P.O. Box 118 LundSE-221 00 Sweden Faculty of Mathematical Science Dep. of Systems Signals and Control Univer. of Twente P.O. Box 217 Enschede7500 AE Netherlands Faculty of Mechanical Engineering Eindhoven University of Technology P.O. Box 513 Eindhoven5600 MB Netherlands

ISBN: (纸本)9783952417355

In this paper we study the tracking problem for the class of non-holonomic systems in chained form. In particular, with as outputs the first and last state component of the chained form, we suggest a solution for the output tracking problem by combining a time-varying state feedback controller with an observer for the chained form system. For the stability analysis of the 'certainty equivalence type' of controller we use a cascaded systems approach. The resulting closed loop system is globally K-exponentially stable. © 1999 EUCA.

关键词： Closed loop systems

来源：评论

学校读者我要写书评

暂无评论

Co-development of media-processor and source-level debugger using hardware emulation-based validation 6

Co-development of media-processor and source-level debugger ...

引用

6th International Conference on VLSI and CAD, ICVC 1999

作者： Im, Yeon-Ho Nam, Sang-Joon Kim, Byoung-Woon Kang, Kyong-Gu Lee, Dae-Hyun Yang, Jin-Hyuk Kwon, Young-Su Lee, Jun-Hee Kyung, Chong-Min VLSI Systems Lab. Dept. of Electrical Engineering Korea Advanced Institute of Science and Technology KoreaVLSI Systems Lab. ChiPS Bld. Dep. Of EE KAIST 373-1 Kusong-dong Yusong-gu Taejon 305-701 Korea United States

ISBN: (纸本)0780357272

To exploit the development system with a media-processor as soon as possible, the co-development and co-validation of them is very important. We describe the co-development of a media-processor and its source-level debugger, which is necessary to develop multimedia systems. Even through a real chip is available, it takes a long time to validate the functionality of the source-level debugger. Here in this paper, we have adopted hardware emulation for a fast development and validation before a processor is fabricated. © 1999 IEEE.

关键词： Multimedia systems

来源：评论

学校读者我要写书评

暂无评论

Fully differential variable gain instrumentation amplifier based on a fully differential DDA topology 6

Fully differential variable gain instrumentation amplifier b...

引用

6th IEEE International Conference on Electronics, Circuits and systems, ICECS 1999

作者： Gano, António J. Franca, José E. INETI - Instituto Nacional de Engenharia e Tecnologia Industrial Electronics Dept. Estr. Do Paço do Lumiar 22 Lisboa Codex1649-038 Portugal IST - Dep. of Electrical and Computer Engineering Integrated Circuits and Systems Group Av. Rovisco Pais 1 Lisboa Codex1096 Portugal

ISBN: (纸本)0780356829

A fully Differential Instrumentation Amplifier (DIA) based on a two-stage Fully differential Differential Difference Amplifier (FDDA) cell is presented. The overall topology of this FDDA is described, referring to the input linear transconductance ports and the open-loop characteristics of the two-stage amplifier. Based on this fully differential analogue cell, a new variable gain fully differential instrumentation amplifier is proposed. This new topology is based on the FDDA cell, with a voltage-controlled differential linear transconductance cell used in the feedback loop of the amplifier to control the amplifier's gain, The gains can be continuously tuned within each gain decade variation range by a controlling voltage Vg. Two equal feedback resistors set the gain variation decade, allowing gains between 15 and 60 dB. Simulation results of the developed structure are presented and discussed and some applications of these analogue building blocks are referred to. © 1999 IEEE.

关键词： Topology

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：