A general framework for debugging

The state of the art of debugging is examined. A debugged process model that serves as the basis of a general debugging framework is described. The relationship of the model to traditional debugging processes and support tools is discussed. A minimal set of requirements for a general debugging framework is described in terms of both the theory behind debugging methodologies and the support tools. An execution monitor, Eden, that serves as a debugging tool within this general framework is described     

A load dispatch method using fractional programming and semidefinite programming

This paper describes a load dispatch method which minimizes power cost—[fuel cost]/[electric output]—for a power system with thermal plants and energy storage facilities. The proposed method employs fractional programming to convert a minimization problem with fractional objective function to a series of quadratic minimization problems, and semidefinite programming to solve converted problems. The method provides the optimum time‐dependent power output/input and storage level of energy storage facilities as well as time‐dependent power output of thermal plants. The method has been applied to a power system with five thermal plants, two energy storage facilities of various performances, and five load demands. The optimum load scheme of four time mesh points is obtained for the thermal plants and energy storage facilities. The fractional programming successfully converges the optimal scheme through a few iterations. The semidefinite programming deals with a variable matrix of 164 dimensions, and 185 inequality constraints. © 2001 Scripta Technica, Electr Eng Jpn, 138(2): 49–58, 2002     

66/77-kV C-GIS using composite insulation in SF6 gas

A second-generation model of cubicletype gas-insulated switchgear (C-GIS) with composite insulation incorporating SF₆ gas has been developed. The design does not require a gas process in field assembly; it has high reliability and its installation is more rapid; and a further reduction in size is achieved. The design principles are described in detail.     

Dielectric Relaxations in Ferroelectric Copolymer VDF(73)/TrFE(27)

The characteristics of molecular mtin of ferroelectric copolymer VDF(73)/TrFE(27) have been investigated by means of dielectric relaxation. With the rise in crystallinity. the Curie point decreases and the dielectric constant increases in the region of ferroelectric-to-paraelectric phase transition. The frequency spectra of the coplymer below room temperature consist of lowfrequency component ascribed to the micro-Brownian motions of molecular segments in the noncrystalline regins and high-frequency cmponent associated with the local motions of smallscale segments. By using the fitting results with one or two Cole-Cole functions, and calculating with WLF equation and Arrhenius formula, the glass transition temperature and the activation energy of local relaxation are obtained. the distribution of relaxation time in the molten and ferroelectric phases is located at a same line, and complies with Arrhenius ruIe, which suggests that the elementary motions are of same type for molecular motions provided by the hightemperature process and the low-temperature local mode process     

Structural characterization of 1,2-polybutadiene by 13C-n.m.r. spectroscopy: 2. Sequence distribution of 1,2-unit in hydrogenated polybutadienes

The configurational sequences of 1,2-unit in a series of hydrogenated syndiotactic 1,2-polybutadienes were determined in relation to the sequence distribution of 1,2- and 1,4-units on the basis of the ¹³C-n.m.r. signal assignment of the methyl carbons. The observed triad distributions of 1,2- and 1,4-units and configurational distributions of the 1,2-unit are in good agreement with the calculated distributions from transition probabilities. The number average sequence lengths of the 1,2-unit and the 1,2-unit in the racemic addition are 5.7 to 8.0 and 4.1 to 5.4, respectively. From the extrapolation of the plot of the number average sequence length against the crystallinity of the starting 1,2-polybutadienes, the minimum sequence length for crystallization is estimated to be 3.7 for the 1,2-unit in the racemic addition.     

A novel fault-tolerant execution model by using of mobile agents

The exponential expansion of the Internet and the widespread popularity of the World Wide Web give a challenge to experts on reliable and secure system design, e.g., e-economy applications. New paradigms are on demand and mobile agent technology is one of the features. In this paper, we propose a fault-tolerance execution model by using of mobile agents, for the purpose of consistent and correct performance with a required function under stated conditions for a specified period of time. Failures are classified into two classes based on their intrinsic different effects on mobile agents. For each kind of failure, a specified handling method is adopted. The introduction of exceptional handling method allows performance improvements during mobile agents’ execution. The behaviors of mobile agents are statistically analyzed through several key parameters, including the migration time from node to node, the life expectancy of mobile agents, and the population distribution of mobile agents, to evaluate the performance of our model. The analytical results give new theoretical insights to the fault-tolerant execution of mobile agents and show that our model outperforms the existing fault-tolerant models. Our model provides an effective way to improve the reliability of computer systems.     

Role of the Dictyostelium 30 kDa protein in actin bundle formation

We have studied the formation of bundles in mixtures of actin with the Dictyostelium 30 kDa actin-bundling protein as a function of 30 kDa protein concentration, actin concentration, and filament length. The presence of the 30 kDa protein promotes formation of filament bundles at actin concentrations and filament lengths that are not spontaneously aligned into liquid crystalline domains in the absence of the 30 kDa protein. Bundle formation in the presence of the 30 kDa protein was observed over a broad range of actin filament lengths and concentrations. Bundling was filament length dependent, and short filaments were more efficiently bundled. Bundles formed at actin concentrations as low as 2 microM. The volume fraction of the bundled portion and concentrations of actin and the 30 kDa protein in the bundled portion were measured using a sedimentation assay. Bundles have concentrations of actin and 30 kDa protein that are 10-20 and 5-20 times, respectively, greater than that of the bulk solution. Computer modeling reveals that bundling of actin by a bundling protein increases both the mean length and the polydispersity of the length distribution, factors which lower the actin concentration required for spontaneous alignment within the bundle. We propose that entropy-driven spontaneous ordering may contribute to bundle formation in two ways. Bundling of actin creates longer aggregates with a more polydisperse length distribution in which actin aligns spontaneously within the bundle at very low concentrations. In addition, bundling creates locally high concentrations of actin within these aggregates that will spontaneously align, providing an additional driving force for bundle ordering.     

Quantitative analysis of collaborative and mobility networks

This study proposes a quantitative analysis of researcher mobility (i.e. transfer from one institution to another) and collaborative networks on the basis of author background data extracted from biographical notes in scientific articles to identify connections that are not revealed via simple co-authorship analysis. Using a top-ranked journal in the field of computer vision, we create a layered network that describes various aspects of author backgrounds, demonstrating a geographical distribution of institutions. We classify networks according to various dimensions including authors, institutions and countries. The results of the quantitative analysis indicate that mobility networks extend beyond the typical collaborative networks describing institutional and international relationships. We also discuss sectoral collaboration considering the mobility networks. Our findings indicate a limitation of collaborative analysis based on bibliometric data and the importance of tracing researcher mobility within potential networks to identify the true nature of scientific collaboration.     

微导通孔的电镀填孔技术

本文主介绍了电镀填孔技术,并探讨了DC和PPR电镀填孔技术的优缺点和影响填孔效果的相关因素。     

Hierarchical sub-band coding of super high definition image with adaptive block-size multistage VQ

A hierarchical image coding algorithm based on sub-band coding and adaptive block-size multistage vector quantization (VQ) is proposed, and its coding performance is examined for super high definition (SHD) image. First, the concept on SHD image is briefly described. Next, the signal power spectrum is evaluated, and the sub-band analysis pattern is determined from its characteristics. Several quadrature mirror filters are examined from the viewpoints of reconstruction accuracy, coding gain, and low-pass signal quality. Then an optimum filter is selected for the sub-band analysis. The two-stage VQ using the adaptive bit allocation is also introduced to control quantization accuracy and to achieve high-quality image reproduction. Coding performance and hierarchical image reconstruction are demonstrated using SNR and some photographs.