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

Mediterranean Electrotechnical Conference (MELECON)

作者： G.C. Contaxis K. Perrakis J. Kabouris G. Korres S. Vassos Department of Electrical and Computer Engineering National and Technical University of Athens Athens Greece Public Power Corporation of Greece Athens Greece

This paper presents analysis and evaluation of the environmental impacts of electricity interchanges between interconnected systems. Power interchanges affect the utilization of the individual generation systems and consequently the emissions by each system; it is anticipated that power interchanges have a different environmental impact for each system. The analysis is performed using two computer models developed at NTUA: PROSIM for probabilistic production simulation and POWEREX for scheduling the economic interchanges between the power systems. A complete study considering the power systems of Greece, and variants of the Italian and Bulgarian systems is presented in detail.

关键词： Power system analysis computing Power system modeling Power system simulation Interconnected systems Power generation Performance analysis Production systems Computational modeling Analytical models computer simulation

来源：评论

学校读者我要写书评

暂无评论

Deadlock prevention in flexible manufacturing systems using symbolic model checking

Deadlock prevention in flexible manufacturing systems using ...

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： V. Hartonas-Garmhausen E.M. Clarke S. Campos Engineering & Public Policy Department Carnegie Mellon University Pittsburgh PA USA School of Computer Science Carnegie Mellon University Pittsburgh PA USA

This paper illustrates the use of symbolic model checking in the design of deadlock-free flexible manufacturing systems. Our verification methodology consists of the following stages. First, we extract a state machine model of the system. Second, we write the system specifications using a propositional temporal logic. Finally we use the model checker to check the state machine of the system against its requirements. When a deadlock is identified, a counterexample is automatically generated with a scenario that leads to the deadlock. The counterexample is used to design the proper operational policy that will prevent the corresponding deadlock. This verification approach allows an exhaustive search of all possible behaviors and scenarios. We designed a flexible manufacturing system capable of producing 3 types of parts with 4 machines and 3 robots. It took 8 seconds to find possible deadlocks assuming machine processing capacity of one part at a time and about 36 seconds when we increased the machine processing capacity to two parts at a time. The size of the state space was in the order of 10/sup 18/ states.

关键词： System recovery Flexible manufacturing systems Industrial relations Petri nets Logic Error correction Data structures Boolean functions electrical equipment industry Manufacturing industries

来源：评论

学校读者我要写书评

暂无评论

Autoregressive self-tuning feedback control of the Hénon map

引用

Physical Review E 1996年第6期54卷 6201-6201页

作者： Michael E. Brandt Ahmet Ademoǧlu Dejian Lai Guanrong Chen Neurosignal Analysis Laboratory and Department of Psychiatry and Behavioral Sciences Medical School University of Texas Health Science Center Houston Texas 77030-1501 Department of Biometry School of Public Health University of Texas Health Science Center Houston Texas 77030-1501 Department of Electrical and Computer Engineering University of Houston Houston Texas 77204-4793

This paper describes a method based on self-feedback for controlling both chaotic and nonchaotic forms of the Hénon map with and without additive Gaussian white noise. We describe a nonlinear self-tuning controller that makes use of a feedback reference signal and a linear autoregressive formulation for the gain. This controller is effective at stabilizing the map to a variety of fixed point or period-two orbits. We contrast our approach with the method of Ott, Grebogi, and Yorke [Phys. Rev. Lett. 64, 1196 (1990)] which has been used to control some chaotic processes and recently, some nonchaotic, stochastic ones.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Reporting bulk power system delivery point reliability

引用

IEEE TRANSACTIONS ON POWER SYSTEMS 1996年第3期11卷 1262-1267页

作者： Weber, E Adler, B Agarwal, S Allan, R Bhavaraju, M Billinton, R Blanchard, M DAquanni, R Ellis, R Endrenyi, J Garrison, D Grigg, C Luehmann, M Odom, J Preston, G Rau, N Reppen, N Salvaderi, L Schilling, M Schneider, AW Vojdani, A White, T Division of System Studies Western Area Power Administration Billings MT Reliability and Performance PECO Energy Company Philadelphia PA Electrical Energy Systems UMIST Manchester UK General Reliability CA Public Service Electric and Gas Company Newark NJ Esearch and Extension University of Saskatchewan Saskatoon SAS Canada IREQ (Hydro-Quebec) Varennes Canada Applied Resources Group Inc. Brookline MA Power System Operations Bonneville Power Administration Vancouver WA Ontario Hydro Technologies Toronto ONT Canada Duke Power Company Charlotte NC Department of Electrical and Computer Engineering Rose-Hulman Institute of Technology Terre Haute IN Consumers Power Company Jackson MI Florida Power Corp. Saint Petersburg FL Utility Dept. City of Austin Elect. Austin TX Utility Planner National Renewable Energy Laboratory Golden CO Power Technologies Inc. Schenectady NY ENEL-Planning Dept. Rome Italy Universidade Federal Fluminense Brazil MAIN Coordination Center Lombard IL Electrical Systems EPRI Palo Alto CA MAPP Coordination Center Minneapolis MN

This paper is part of an ongoing activity of the IEEE Application of Probability Methods Subcommittee to advance the probabilistic methods used to analyze Bulk Power System (BPS) reliability. The objective of the Task Force is to develop a set of guidelines for measuring delivery point reliability. This involves reviewing published literature and other documentation of existing procedures, definitions, and indices. This report presents the results of the Task Force efforts to compile a useful set of terms and procedures for consistent reporting of BPS delivery point reliability.

关键词： Power system reliability Guidelines Power system measurements Power measurement Power system analysis computing Force measurement Power system planning Power system security Power system transients Power system harmonics

来源：评论

学校读者我要写书评

暂无评论

NETBILL - AN INTERNET COMMERCE SYSTEM OPTIMIZED FOR NETWORK-DELIVERED SERVICES

引用

IEEE PERSONAL COMMUNICATIONS 1995年第4期2卷 34-39页

作者： SIRBU, M TYGAR, JD Engineering and Public Policy the Graduate School of Industrial Administration and Electrical and Computer Engineering Carnegie Mellon University Pittsburgh PA Computer science Carnegie Mellon University Pittsburgh PA

I WetBiIl is a business model, set of protocols, and software implementation for commerce in information goods and other network-delivered services. It has very low transaction costs for micropayments (around I cent for a 10 cent item), protects the privacy of the transaction, and is highly scalable. Of special interest is our new certified delivery mechanism which delivers information goods if and only if the consumer has paid for them. This article discusses the design of the NetBill protocol and our World Wide Web (WWW) prototype implementation. As the explosive growth of the Internet continues, more people rely on networks for timely information. However, since most information on the Internet today is free, intellectual property owners have little incentive to make valuable information accessible through the network. There are many potential providers who could sell information on the Internet and many potential consumers for that information. What is missing is an electronic commerce mechanism that links the merchants and the consumers. NetBill is a business model, set of protocols, and software implementation allowing consumers to payowners and retailers of information. While NetBill will enable a market economy in information, we still expect that there will be an active exchange of free information.

关键词： .transaction costs IEEE Personal information goods merchants valuable information business model set protocols and software implementation NetBill

来源：评论

学校读者我要写书评

暂无评论

2-DIMENSIONAL COLOR PATTERN LOAD ANALYSIS - A TOOL SUPPORTING DEMAND-SIDE MANAGEMENT

引用

DECISION SUPPORT SYSTEMS 1995年第2期13卷 159-166页

作者： MITROPOULOS, S ASSIMAKOPOULOS, V CHARALABIDIS, Y Decision Support Laboratory — Energy Policy Unit National Technical University of Athens Department of Electrical and Computer Engineering 42 28th October Str. GR 10682 Athens Greece

Load analysis is one of the most important operations that support demand-side management in large electric utilities. Ordinary load analysis techniques stress on statistical processing of hourly load data along predefined time axes, producing numerical results of a standard granularity, such as daily or weekly mean loads. In order to overcome these limitations, a new approach or load analysis was developed, based on applying a two-dimensional formulation of the hourly load data. The tables holding energy consumption values, where columns represent the days of the selected period and lines represent the 24 hours of the day, are then illustrated through the use of colour patterns. In such a way, chronological typical units of variable structure and granularity can be identified and provide the basis for an extensive cross-examination, resulting in optimized decision making and energy policy definition. In order to demonstrate the advantages of the approach, a dedicated DSS implementation and application in the Greek public power corporation was also performed.

关键词： DECISION SUPPORT SYSTEMS COMPUTE GRAPHICS PATTERN RECOGNITION DEMAND-SIDE MANAGEMENT LOAD ANALYSIS

来源：评论

学校读者我要写书评

暂无评论

NetBill: An Internet commerce system optimized for network delivered services

NetBill: An Internet commerce system optimized for network d...

引用

IEEE Compcon

作者： M. Sirbu J.D. Tygar Engineering and Public Policy Department Carnegie Mellon University Pittsburgh PA USA Computer Science Department Carnegie Mellon University Pittsburgh PA USA

NetBill is a business model, set of protocols, and software implementation for supporting commerce in information goods and other network delivered services. It has very low transaction costs for micropayments (around 1 cent for a 10cent item), protects the privacy of the transaction, and is highly scalable. Of special interest is our new certified delivery mechanism which delivers information goods if and only if the customer has payed for them. This paper discusses the design of the NetBill protocol and our World Wide Web (WWW) prototype implementation.

关键词： IP networks Web and internet services Business Costs Electronic commerce Access protocols Network servers public policy computer science Protection

来源：评论

学校读者我要写书评

暂无评论

A simplified real frequency independent modal transformation for overhead line switching transient computations

引用

European Transactions on electrical Power 1995年第5期5卷 307-314页

作者： Papagiannis, G. Dokopoulos, P. Dipl.-Ing. Grigoris Papagiannis (1956) studied Electrical Engineering at the Department of Electrical Engineering of the Aristotle University of Thessaloniki/Greece. He received his Dipl.-Eng. degree in Electrical and Mechanical Engineering in 1979. Since 1981 he has been working as a Research Assistant at the Power Systems Laboratory of the Department of Electrical and Computer Engineering at the Aristotle University of Thessaloniki. His special interests are power systems analysis with emphasis in the computation of electromagnetic transients. (Aristotle University of Thessaloniki Department of Electrical and Computer Engineering Power Systems Laboratory P.O. Box 486 GR-54006 ThessalonikV Greece T +30 3 I/99 63 88 Fax +30 3 1/99 63 02) Prof. Petros Dokopoulos (1939) received his Dip1.-Eng. degree in Electrical and Mechanical Engineering from the National Technical University of AthendGreece in 1962 and his Ph. D. degree from the University of Brunswic W Germany in 1967. From 1962 to 1967 he was with the High Voltage Laboratory at the University of Brunswick from 1967 to 1974 with the Nuclear Research Center at Julichl Germany from I974 to I978 with the Joint European Torus. Since 1978 he is full Professor at the Department of Electrical Engineering at the Aristotle University of Thessalonikil Greece. He has worked as consultant with Brown Boveri Cie MannheidGermany Siemens AG ErlangedGermany Public Power Corporation of Greece and with the National Telecommunication Organisation of Greece. His scientific fields of interest include dielectrics power switches generators transmission systems and alternative energy sources. (Aristotle University of Thessaloniki Department of Electrical and Computer Engineering Power Systems Laboratory P.O. Box 486 GR-54006 Thessaloniki/Greece T + 3031/996321 Fax +3031/996302)

Modal transformation technique is a common tool for transmission line transient computations. A simplified modal decomposition of overhead transmission lines, suitable for time‐domain switching (up to 10⁵ Hz) transient computations, is proposed. By neglecting residual terms in the ZY matrix, transformation matrices are approximated as real and frequency independent. The resulting propagation constants remain unaffected from the line being transposed or not, although the existing asymmetries affect transformation matrices. The method can be extended for double circuit lines, provided they have the same configuration. Propagation characteristics, mode decoupling and travelling‐wave transmission effects have been investigated. Results are compared with those obtained from other methods in use. Copyright © 1995 John Wiley & Sons, Ltd.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design of a robust controller for a grinding system

Design of a robust controller for a grinding system

引用

IEEE Conference on Control Technology and Applications (CCTA)

作者： Jenkins Kurfess Dorf Department of Mechanical Engineering Carnegie Mellon University Pittsburgh PA USA Department of Mechanical Engineering Department of Engineering and Public Policy Carnegie Mellon University Pittsburgh PA USA Department of Electrical Engineering and Computer Science University of California슠Davis Davis CA USA

In designing a compensator for a robust force controlled grinding system several constraints must be considered. It is critical that the grinding force is decoupled from the feed velocity of the system. Therefore, two separate control loops are designed, a feed velocity loop and a force loop. Besides decoupling the force and velocity, a variety of other system performance specifications must be achieved. To aid in the design of the control loops, several parametric plots are used to visualize the effects of various control parameters on the closed-loop system dynamics as well as the coupling of the two loops.< >

关键词： Machine tools Force control Robustness Velocity control Feedback systems

来源：评论

学校读者我要写书评

暂无评论

Providing auditing while protecting privacy

引用

Information Society 1994年第1期10卷 59-71页

作者： Camp, L. Jean Tygar, J.D. Department of Engineering and Public Policy Carnegie Mellon University Pittsburgh PA 15213 United States School of Computer Science Carnegie Mellon University Pittsburgh PA 15213 United States

Historically, there has been tension between performance and privacy of information systems because of the crucial role of collection of usage data. In this paper, we examine how a number of different architectures approach this tension. We present both enhancements to traditional software architectures and an architecture that resolves this conflict. We discuss a cryptographic technique called secret counting that allows us to collect aggregate data. We discuss these architectures and techniques in the context of the specific application of library information systems. © 1994 Crane, Russak & Company, Inc.

关键词： Additive homomorphisms Applications of number theory Authentication computers and society Cryptography Privacy Secret sharing Security and protection

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：