Mitsubishi Electric

About: Mitsubishi Electric is a company organization based out in Ratingen, Germany. It is known for research contribution in the topics: Signal & Voltage. The organization has 23024 authors who have published 27591 publications receiving 255671 citations. The organization is also known as: Mitsubishi Electric Corporation & Mitsubishi Denki K.K..

Protective Performance of Metal Oxide Surge Arrester Based on the Dynamic V-I Characteristics

Abstract: Metal oxide surge arrester (MOA) is constructed by a series connection of zinc oxide elements having a highly nonlinear resistance. A simple equivalent circuit is proposed to express the dynamic characteristics of zinc oxide element. Using this dynamic model, the effect of lightning strokes to gas insulated substations (GIS) is analized by a computer simulation under various conditions. The results are summarized in a diagram from which the length of GIS bus to be protected by MOA can be determined. Comparing the overvoltage protection performance of MOA with that of a conventional arrester, MOA is found to be more suitable for GIS application.

Sofware Agent Technologies

Abstract: It is by now a cliche that there is no one, universally accepted, definition of intelligent agent technology, but a number of loosely related techniques. Yet there are certain themes that appear common to agent-based systems, and, correspondingly, certain problems that must be addressed and overcome by all agent system builders. The aim of this paper is to briefly survey the tools and techniques that can be used to address these common issues, and that hence form a substrate for software agent systems. This paper begins with a review of agent communication languages, focusing particularly on the emerging standard known as KQML. Then a thumbnail sketch of various programming languages for building agent-based systems is presented, and there follows a discussion on support for ontologies, which allow agents to communicate using commonly defined terms and concepts. Then other computing infrastructure support for agent-based systems is considered, in particular, the use of client/server architectures and distributed object frameworks. Finally, some general comments and conclusions are presented.

Preparation of positive photoreactive polyimides and their characterization

Abstract: Polyimide precursors were synthesized from a diamine and a diacid chloride that was derived from the reactant with promellitic dianhydride and o-nitrobenzyl alcohol. Their thermal properties were studied in nitrogen using dynamic thermogravimetry, and the photoreaction mechanism was investigated by ultraviolet and infrared spectrophotometry. The polyimide precursors were spin-coated onto silicon wafers, prebaked, and then exposed to UV light from a high pressure Hg–Xe lamp. When the films were dipped into 2% aqueous KOH after irradiation, the exposed area dissolved forming high resolution patterns. Relative sensitivities of the polymers were determined.

Discharging proof obligations from atelier b using multiple automated provers

Abstract: We present a method to discharge proof obligations from Atelier B using multiple SMT solvers. It is based on a faithful modeling of B's set theory into polymorphic first-order logic. We report on two case studies demonstrating a significant improvement in the ratio of obligations that are automatically discharged.

Ac-dc converter and compressor driving apparatus and air conditioning apparatus using the same

Abstract: An AC-DC converter is provided which suppresses a harmonic current and improves power factor at low cost. Such an AC-DC converter includes a rectifier connected to an AC power supply via a reactor, capacitors connected in series across the output terminals of the rectifier, a first bidirectional switch having one end connected to one input terminal of the rectifier and the other end connected to a connecting point of capacitors, a second bidirectional switch having one end connected to the other input terminal of the rectifier and the other end connected to the other end of the first bidirectional switch, and a control circuit for actuating the first and second bidirectional switches during a half cycle of the AC power supply so as to control a voltage inputted to the rectifier to a desired output voltage.