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

MAGNETIC AND DIMENSIONAL PROPERTIES OF AXIAL INDUCTION-MOTORS

IEEE TRANSACTIONS ON ENERGY CONVERSION 1986年第2期1卷 137-144页

作者： VARGA, JS Arkansas Power and Light Company Little Rock AR USA

A rotating magnetic field model of the axial induction motor is developed relating the geometric properties of the stator/rotor core. The main geometric dimensions of different type induction motors are compared using the field model formulas. An axial induction motor constant is derived from the output power formula. A new expression for the output power per unit volume is achieved by means of main dimensions and construction modification. A flowchart with stationary input data anticipates the assigned computed parameters of the axial induction motor.

关键词： Magnetic properties Induction motors Solid modeling Stator cores Power generation Magnetic fields Rotors Magnetic cores flowcharts data flow computing

来源：评论

学校读者我要写书评

暂无评论

Active learning for extended finite state machines

引用

FORMAL ASPECTS OF computing 2016年第2期28卷 233-263页

作者： Cassel, Sofia Howar, Falk Jonsson, Bengt Steffen, Bernhard Uppsala Univ Dept Informat Technol Uppsala Sweden Tech Univ Clausthal IPSSE Clausthal Zellerfeld Germany TU Dortmund Chair Programming Syst Dortmund Germany

We present a black-box active learning algorithm for inferring extended finite state machines (EFSM)s by dynamic black-box analysis. EFSMs can be used to model both data flow and control behavior of software and hardware components. Different dialects of EFSMs are widely used in tools for model-based software development, verification, and testing. Our algorithm infers a class of EFSMs called register automata. Register automata have a finite control structure, extended with variables (registers), assignments, and guards. Our algorithm is parameterized on a particular theory, i.e., a set of operations and tests on the data domain that can be used in guards. Key to our learning technique is a novel learning model based on so-called tree queries. The learning algorithm uses tree queries to infer symbolic data constraints on parameters, e.g., sequence numbers, time stamps, identifiers, or even simple arithmetic. We describe sufficient conditions for the properties that the symbolic constraints provided by a tree query in general must have to be usable in our learning model. We also show that, under these conditions, our framework induces a generalization of the classical Nerode equivalence and canonical automata construction to the symbolic setting. We have evaluated our algorithm in a black-box scenario, where tree queries are realized through (black-box) testing. Our case studies include connection establishment in TCP and a priority queue from the Java Class Library.

关键词： FINITE state machines (Computer science) data flow computing ACTIVE learning GENERALIZATION MACHINE learning

来源：评论

学校读者我要写书评

暂无评论

Advances in High Performance computing and Related Issues

引用

MATHEMATICAL PROBLEMS IN ENGINEERING 2016年第1期2016卷 1-3页

作者： Milutinovic, Veljko Furht, Borko Obradovic, Zoran Korolija, Nenad Univ Belgrade Sch Elect Engn Dept Comp Engn & Informat Theory Bulevar Kralja Aleksandra 73 Belgrade 11120 Serbia Florida Atlantic Univ Dept Comp & Elect Engn & Comp Sci Coll Engn & Comp Sci NSF UCRC CAKE 1 FAU Site777 Glades Rd Boca Raton FL 33431 USA Temple Univ Ctr Data Analyt & Biomed Informat 1925 N 12th StSERC 035-02 Philadelphia PA 19122 USA Temple Univ Comp & Informat Sci Dept 1925 N 12th StSERC 035-02 Philadelphia PA 19122 USA Temple Univ Fox Sch Business Secondary Appointment Dept Stat 1925 N 12th StSERC 035-02 Philadelphia PA 19122 USA

The approach is based on hardware being configured for executing certain sets of instructions, where all instructions could be executed in parallel. Since high performance computing algorithms normally also include instructions that are not repeatedly executed, dataflow computers are often combined with a control-flow processor. [...]in "Mining the IPTV Channel Change Event Stream to Discover Insight and Detect Ads" by M. Kren et al., it is analyzed how the data stream of the user-generated channel change events received from the entire IPTV network can be mined to obtain insights about the content.

关键词： HIGH performance computing ENTROPY (Information theory) COMPILERS (Computer programs) data flow computing COMPUTER input-output equipment

来源：评论

学校读者我要写书评

暂无评论

INTERFACE REQUIREMENTS OF A LARGE HYDROELECTRIC POWER-PLANT WITH ITS REGIONAL LOAD DISPATCH OFFICE

引用

IEEE TRANSACTIONS ON ENERGY CONVERSION 1990年第2期5卷 299-303页

作者： CASTRO, F DALMONTE, R HARZA ENGN CO CHICAGOIL 60606

The real-time interface requirements of a large hydroelectric power plant with its regional load dispatch office are described. The operative arrangement, interfacing functions, annual and weekly generation schedule, and unit commitment are discussed. Automatic generation control, automatic bus voltage, river flow control, and operating conditions are discussed. All the functions were implemented for the Guri Hydroelectric Project in Venezuela, with total generating capacity of 10000 MW. Operation management functions are all handled by the Guri Computer Control System.< >

关键词： Power generation Computer interfaces Computer networks Processor scheduling Automatic generation control Automatic voltage control Control systems data flow computing Standby generators Power engineering and energy

来源：评论

学校读者我要写书评

暂无评论

DISTANCE MEASURES AND COHERENCY RECOGNITION FOR TRANSIENT STABILITY EQUIVALENTS

引用

IEEE TRANSACTIONS ON POWER APPARATUS AND SYSTEMS 1973年第5期PA92卷 1550-1557页

作者： LEE, STY SCHWEPPE, FC STONE & WEBSTER ENGN CORP BOSTONMA 02107 MIT CAMBRIDGEMA

Existing methods for transient stability equivalents all lack a means of drawing a consistent boundary between the equivalized area and the area represented in detail. In most methods, it is assumed that the generators equivalized are coherent. However, no simple method to identify them has been offered, which does not require a transient stability study of the entire system. A method using distance measures to draw boundaries and pattern recognition concepts to identify coherency is presented. Computation required is minimal. The method is incorporated in a computer program which is a useful tool for transient stability studies in power system planning.

关键词： Power system transients Power system stability Power system planning Power system reliability Power system economics Power generation economics Power system interconnection Power system modeling data flow computing Engineering drawings

来源：评论

学校读者我要写书评

暂无评论

Argus: Low-cost, comprehensive error detection in simple cores

引用

IEEE MICRO 2008年第1期28卷 52-59页

作者： Meixner, Albert Bauer, Michael E. Sorin, Daniel J. Duke Univ Dept Comp Sci Durham NC 27706 USA Duke Univ Dept Elect & Comp Engn Durham NC 27706 USA Duke Univ Durham NC 27706 USA

Argus, a novel approach for detecting errors in simple processor cores, dynamically verifies the correctness of the four tasks performed by a Von Neumann core: control flow, data flow, computation, and memory access. Argus detects transient and permanent errors, with far lower impact on performance and chip area than previous techniques.

关键词： MICROPROCESSORS ERROR-correcting codes (Information theory) data flow computing DEBUGGING in computer science COMPUTER storage devices MEMORY management (Computer science) COMPUTER input-output equipment COMPILING (Electronic computers) ELECTRONIC data processing

来源：评论

学校读者我要写书评

暂无评论

System demonstration of a superconducting communication system

引用

IEEE TRANSACTIONS ON APPLIED SUPERCONDUCTIVITY 1999年第2期9卷 2975-2980页

作者： Yorozu, S Hashimoto, Y Numata, H Nagasawa, S Tahara, S NEC Corp Ltd Fundamental Res Labs Ibaraki Osaka Japan

We report on the first complete system-level demonstration of a superconducting digital communication system. In today's digital computer and communication systems, managing data flow is a major challenge as the systems have to deal with a huge amount of information. A superconductor device may solve this problem, There have been several attempts to make superconducting switching core circuits, but there have been no complete system-level demonstrations. We have built such a system to demonstrate the efficiency of superconducting devices used in a communication system. Our system is focused on parallel processor communication, and consists of PCs as the processor elements at the three nodes, three interface boxes, and a superconductive chip immersed in a 4.2-K cryostat, The interconnection chip operation is essentially packet switching that was designed with a pipeline ring architecture. The interface box consists of parallel-serial converters, serial-parallel converters, a FIFO output buffer, and a level conversion circuit. The network system operates successfully at approximately 100 MHz, and the clock frequency is restricted by the speed of the interface ICs, not by that of the superconductive chip. We also confirmed the 2-GHz operation of the switching chip, and estimate that the total throughput of the system can be increased to more than 10 Gbps.

关键词： Superconducting devices Superconductivity Digital communication data flow computing Switching circuits Communication switching Personal communication networks Integrated circuit interconnections Packet switching Pipelines

来源：评论

学校读者我要写书评

暂无评论

Policy analysis for Administrative Role-Based Access Control

引用

THEORETICAL COMPUTER SCIENCE 2011年第44期412卷 6208-6234页

作者： Sasturkar, Amit Yang, Ping Stoller, Scott D. Ramakrishnan, C. R. SUNY Binghamton Dept Sci Binghamton NY 13902 USA Yahoo Inc Sunnyvale CA USA SUNY Stony Brook Stony Brook NY USA

Role-Based Access Control (RBAC) is a widely used model for expressing access control policies. In large organizations, the RBAC policy may be collectively managed by many administrators. Administrative RBAC (ARBAC) models express the authority of administrators, thereby specifying how an organization's RBAC policy may change. Changes by one administrator may interact in unintended ways with changes by other administrators. Consequently, the effect of an ARBAC policy is hard to understand by simple inspection. In this paper, we consider the problem of analyzing ARBAC policies. Specifically, we consider reachability properties (e.g., whether a user can eventually be assigned to a role by a group of administrators), availability properties (e.g., whether a user cannot be removed from a role by a group of administrators), containment properties (e.g., every member of one role is also a member of another role) satisfied by a policy, and information flow properties. We show that reachability analysis for ARBAC is PSPACE-complete. We also give algorithms and complexity results for reachability and related analysis problems for several categories of ARBAC policies, defined by simple restrictions on the policy language. Some of these results are based on the connection we establish between security policy analysis and planning problems in Artificial Intelligence. (C) 2011 Elsevier B.V. All rights reserved.

关键词： ACCESS control POLICY analysis INFORMATION theory ALGORITHMS ARTIFICIAL intelligence data flow computing

来源：评论

学校读者我要写书评

暂无评论

A MULTIMICROPROCESSOR ARCHITECTURE FOR REAL-TIME COMPUTATION OF A CLASS OF DFT ALGORITHMS

引用

IEEE TRANSACTIONS ON ACOUSTICS SPEECH AND SIGNAL PROCESSING 1986年第5期34卷 1301-1309页

作者： MILUTINOVIC, V FORTES, JAB JAMIESON, LH School of Electrical Engineering Purdue University West Lafayette IN USA

The design of a multimicroprocessor system intended for a class of real-time processing applications is discussed. The applications considered require the computation of a subset of an N-input Fourier transform under the assumption of a serial data input. The suitability of two different algorithms and the corresponding parallel architectures is analyzed and compared. More specifically, we compare the computation of the FFT algorithms on an SIMD (single instruction multiple data) machine to the implementation of the DFT algorithm on an MISD (multiple instruction single data) machine. Our results indicate that the latter is better suited for the targeted applications. An actual operational MISD computer, implemented with off-the-shelf microprocessors intended for one of the targeted applications, is described.

关键词： Computer architecture Discrete Fourier transforms Algorithm design and analysis Computer aided instruction Problem-solving Speech processing data flow computing Signal processing algorithms Real time systems Fourier transforms

来源：评论

学校读者我要写书评

暂无评论

A NEW PARALLEL LU DECOMPOSITION METHOD

引用

IEEE TRANSACTIONS ON POWER SYSTEMS 1990年第1期5卷 303-310页

作者： YU, DC WANG, H University of Wisconsin Milwaukee Milwaukee WI USA

A new method for parallel decomposition of a sparse matrix is presented. The architectural model is a multiprocessor hypercube. The development of this method is based on two concepts, namely, the data flow computer and the path graph. Also, a sparse-oriented operational sequence matrix C is used to store and manipulate the data flow. The C matrix presents the time units and the sequence of all divide and update operations in the LU decomposition. From the C matrix, the minimal completion time, the critical path, and the scheduling of the processors for the LU decomposition can be determined. The proposed method recognizes the fact that the operating times units among division, multiplication, and subtraction in the processor are not the same. Also, communication overhead is included. A number of power systems have been implemented and a number of conditions have been simulated to evaluate the performance of the proposed method. The results are presented and discussed.< >

关键词： data flow computing Processor scheduling Communication switching Concurrent computing Parallel algorithms Computer architecture Sparse matrices Power engineering computing Computer aided instruction Symmetric matrices

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：