Fast calculation using parallel processing and pipeline processing in power system analysis

This paper presents an application of parallel processing and pipeline processing to power system analysis. The system matrix is transformed to a bordered block diagonal form (BBDF) matrix for effective utilization of the processors. After LU factorization, subnetworks organize sparse matrices and the boundary network organizes a full matrix. First, a parallel processing technique is used to calculate subnetworks. Then, as pipeline processing is applied, inverse matrix of the boundary network is multiplied. The proposed method is made operational on a parallel computing system including a pipeline processor. A consideration on the transient stability analysis using the proposed method also is presented at the end of this paper.     

A static voltage fluctuation compensator for AC electric railway using self-commutated inverters

In this paper, the authors describe the basic configuration of an RPC (Railway Static Power Conditioner), its compensation principles and successful test results (using a small model of RPC). An ac electric railway is placed under a rapidly changing single-phase load. To avoid a voltage fluctuation under single-phase loads, electric power is received from a large source. At a feeding substation, three-phase electric power is transformed into two kinds of directional single-phase feeding electric power. The authors have already proposed a static voltage compensator for the ac electric railway, called “RPC.” The RPC links a pair of feeding circuits, using two self-commutated inverters. At the substation, the RPC accommodates an active power in the directional pair of feeding circuits to balance three-phase power, and possess a reactive power to regulate a three-phase voltage fluctuation. At a sectioning post, it can compensate for voltage drop using reactive power. It can also act as an active filter to compensate for harmonics. The authors have made a small model (220 V, 20 kVA) of the RPC, and report on the test results obtained using this small model under various conditions. The results indicate that the RPC can accommodate single phase loads, such as transformers and thyristors, can handle an exciter rush current from a transformer, can compensate for harmonics, and so on.     

3Beta-hydroxysteroid dehydrogenase activity in human osteoblast-like cells

In spite of improvements in single or double lung transplantation (LT) technique, complications after LT are not uncommon; the most frequent ale anastomotic complications, infections and rejection (acute or chronic). Early detection of complications of LT allows the optimal therapeutic option to be taken, yielding decreased morbidity and mortality. In some cases, CT plays a key role in early detection of several complications of LT that may not be depicted with other diagnostic modalities, so that knowledge of their CT features is important. In this pictorial review, the authors describe the spectrum of CT features of the complications of LT (including reimplantation response, mechanical problems, acute and chronic rejection, infection, lymphoproliferative disorders, recurrence of the initial disease and complications involving the pleura and the anastomotic sites). In addition, the authors analyze the value of CT compared to that of the other available modalities for the detection of complications of LT.     

Progress and perspectives in solar energy conversion

Photovoltaic (PV) power generation can surely be considered a critical technol- ogy for overcoming global environmental problems and energy problems. This essay will review the current status and application technologies of PV power gene- ration, concluding with a discussion of the prospects of a future global-scale energy supply system based on PV power generation.     

On compositional reasoning about anonymity and privacy in epistemic logic

In this paper, we exploit epistemic logic (or the modal logic of knowledge) for multiagent systems to discuss the compositionality of several privacy-related information-hiding/disclosure properties. The properties considered here are anonymity, privacy, onymity, and identity. Our initial observation reveals that anonymity/privacy properties are not necessarily sequentially compositional. This means that even though a system comprising several sequential phases satisfies a certain unlinkability property in each phase, the entire system does not always enjoy a desired unlinkability property. We show that the compositionality can be guaranteed provided that the phases of the system satisfy what we call independence assumptions. More specifically, we develop a series of theoretical case studies of what assumptions are sufficient to guarantee the sequential compositionality of various degrees of anonymity, privacy, onymity, and/or identity properties. Similar results for parallel composition are also discussed. Further, we use the probabilistic extension of epistemic logic to consider the compositionality of probabilistic anonymity/privacy. We show that the compositionality can also be guaranteed in the probabilistic setting, provided that the phases of the system satisfy a probabilistic independence assumption.