Gene insertion and deletion are basic phenomena found in DNA processing or RNA editing in molecular biology. The genetic mechanism
and development based on these evolutionary transformations have been formulated as a formal system with two operations of
insertion and deletion, called insertion-deletion systems (Kari and Thierrin, 1996; Kari et al., 1997).We investigate the generative power of insertion-deletion systems (InsDel systems),
and show that the family INS11DEL11 is equal to the family of recursively enumerable languages. This gives a positive answer to an open problem posed in Kari
et al. (1997) where it was conjectured contrary.
This revised version was published online in June 2006 with corrections to the Cover Date. 相似文献
Basket Analysis, which is a standard method for data mining, derives frequent itemsets from database. However, its mining ability is limited to transaction data consisting of items. In reality, there are many applications where data are described in a more structural way, e.g. chemical compounds and Web browsing history. There are a few approaches that can discover characteristic patterns from graph-structured data in the field of machine learning. However, almost all of them are not suitable for such applications that require a complete search for all frequent subgraph patterns in the data. In this paper, we propose a novel principle and its algorithm that derive the characteristic patterns which frequently appear in graph-structured data. Our algorithm can derive all frequent induced subgraphs from both directed and undirected graph structured data having loops (including self-loops) with labeled or unlabeled nodes and links. Its performance is evaluated through the applications to Web browsing pattern analysis and chemical carcinogenesis analysis. 相似文献
We address the problem of recovering the 3D shape of an unfolded book surface from the shading information in a scanner image. This shape-from-shading problem in a real world environment is made difficult by a proximal, moving light source, interreflections, specular reflections, and a nonuniform albedo distribution. Taking all these factors into account, we formulate the problem as an iterative, non-linear optimization problem. Piecewise polynomial models of the 3D shape and albedo distribution are introduced to efficiently and stably compute the shape in practice. Finally, we propose a method to restore the distorted scanner image based on the reconstructed 3D shape. The image restoration experiments for real book surfaces demonstrate that much of the geometric and photometric distortions are removed by our method. 相似文献
The Earth Simulator (ES) is a large scale, distributed memory, parallel computer system consisting of 640 processor nodes (PN) with shared memory vector multi-processors (64GFLOPS/PN, 5120 APs in total, AP: arithmetic processor). All the nodes are connected via a high speed (16GB/s) single-stage crossbar network called the Interconnection Network (IN).
The operating system for the Earth Simulator is based on SUPER-UX, the UNIX operating system for the SX series scientific supercomputers. In order to realize high-performance parallel processing on the highly parallel machine, the operating system is enhanced for scalability.
The Earth Simulator system is managed as a two-level cluster system called the Super Cluster System. In the Super Cluster System, the Earth Simulator system is divided into 40 clusters (16 PNs/cluster). A single controller called Super Cluster Control Station (SCCS) manages all these clusters. This management system provides Single System Image (SSI) operation, management and job control for the large scale multi-node system.
The Job Scheduler (JS) and NQS running on the SCCS control all jobs of the system. They schedule the resources such as processing nodes and files which have not usually been treated as scheduling resources. This allows efficient scheduling of large scale jobs.
The MPI library (MPI/ES) and the HPF compiler (HPF/ES) are available for distributed parallel programming on the Earth Simulator. MPI/ES conforms to the MPI 2.0 standard and is optimized to exploit the hardware features. HPF/ES conforms to the core part of HPF 2.0 and supports some features of the HPF 2.0 approved extensions and HPF/JA 1.0 extensions. HPF/ES suitably handles the 3-level parallelism of the Earth Simulator system, that is, vectorization, shared-memory parallelization, and distributed-memory parallelization. Moreover, HPF/ES extends the language to easily handle irregular problems. 相似文献
The flux of the CaO‐Al203‐BaO‐CeO2‐MgO system as a desulphurization flux containing no fluorine for the secondary metallurgy process was evaluated in this study. The flux composition was designed using the eutectic compositions of the binary systems. The melting and desulphurization abilities of the fluxes were evaluated by measuring their liquidus temperatures and the distribution ratios of sulphur between the fluxes and the carbon‐saturated iron or stainless steel. The lowest liquidus temperature of 1325°C was obtained by adding 5.7 mass% MgO to the 80mass%A‐20mass%B flux. (A: 12CaO‐7Al2O3, B: BaCeO3+12mass%Al2O3). The distribution ratios of sulphur and sulphide capacities of the fluxes in this study were higher than those of the commercial product of calcium aluminate flux. This means that the CaO‐Al2O3‐BaO‐CeO2‐MgO fluxes developed in this study have higher desulphurization and melting abilities compared with the commercial product of calcium aluminate flux. 相似文献
Experiments were conducted on simultaneous recovery of uranium and plutonium electrochemically into laboratory scale liquid cadmium cathodes (LCCs) at different U/Pu ratios in the salt phase, and the influence of the salt composition on the recovered amounts of uranium and plutonium, the morphologies of uranium and plutonium in the LCC, and the behavior of americium, which is present as a decay product of plutonium-241, were examined. As a result, it was shown that there is a threshold in the U/Pu ratio in the salt phase between 1/4.3 and 1/1.73 for the successful simultaneous recovery of uranium and plutonium up to 10 wt% in the LCC at high current efficiencies. In the LCC, uranium and plutonium existed in the forms of intermetallic compounds, (U, Pu)Cd6 and (U, Pu)Cd11, and also pure uranium metal. It was also revealed that americium associates with plutonium according to the separation factor during the LCC operation. 相似文献
In 1985 we developed an ultrahigh-resolution scanning electron microscope with a resolution of 0.5 nm. It is equipped with a field emission gun and an objective lens with a very short focal length. In this study we report a survey of some different preparation techniques and biological specimens using the new scanning electron microscope. Intracellular structures such as cell organelles were observed surprisingly sharper than those observed by ordinary scanning electron microscopes. However, at magnifications over 250,000 X, platinum particles could be discerned as scattered pebbles on the surface of all structures in coated materials. Using an uncoated but conductively stained specimen, we successfully observed ribosomes on a rough endoplasmic reticulum at a direct magnification of 1 million. In these images some protrusions were recognized on the ribosomes. Ferritin and immunoglobulin G were used as samples of biological macromolecules. These samples were observed without metal coating and conductive staining. The ferritin particles appeared as rounded bodies without any substructure on the surface and immunoglobulin G as complexes of three-unit bodies. In the latter the central body might correspond to the Fc fragment and two side ones to Fab fragments. We assume that ultrahigh-resolution scanning electron microscopy is an effective means for observation of the cell fine structures and biological macromolecules. It will open a new research field in biomedicine. 相似文献
Void-free β-SiC films were deposited on Si(001) substrates by laser chemical vapor deposition using hexamethyldisilane (HMDS) as the precursor. The effect of the time of introducing HMDS, i e, the substrate temperature when HMDS introduced (Tin), on the preferred orientation, surface microstructure and void was investigated. The orientation of the deposited SiC films changed from <001> to random to <111> with increasing Tin. The surface showed a layer-by-layer microstructure with voids above Tin ? 773 K, and then transformed into mosaic structure without voids at Tin= 298 K. The mechanism of the elimination of voids was discussed. At Tin =298 K, Si surface can be covered by an ultrathin SiC film, which inhibits the out-diffusion of Si atoms from substrate and prohibites the formation of the voids. 相似文献
Extracellular vesicles (EV) are important for delivering biologically active substances to facilitate cell-to-cell communication. Milk-derived EV are widely known because of their potential for immune enhancement. However, procedures for isolating milk-derived EV have not been fully established. To obtain pure milk-derived EV and accurately reveal their function, such procedures must be established. The aim of the present study was to compare methods using commercially available kits for isolating milk-derived EV. Initially, we investigated procedures to remove casein, which is the major obstacle in determining milk-derived EV purity. We separated whey using centrifugation only, acetic acid precipitation, and EDTA precipitation. Then, we isolated milk-derived EV by ultracentrifugation, membrane affinity column, size exclusion chromatography (SEC), polymer-based isolation, or phosphatidylserine-affinity isolation. Using EV count per milligram of protein, which is a good indicator of purity, we determined that acetic acid precipitation was the best method for removing casein. Using nanoparticle tracking analysis, protein quantity analysis, and RNA quantity analysis, we comprehensively compared each isolation method for its purity and yield. We found that SEC-based qEV column (Izon Science) could collect purer milk-derived EV at higher quantities. Thus, a combination of acetic acid precipitation and qEV can effectively isolate high amounts of pure extracellular vesicles from bovine milk. 相似文献
This paper proposes a power integrity control technique for dynamically controlling power supply voltage fluctuations for a device under test (DUT), and demonstrates its effectiveness for eliminating the overkills/underkills due to the difference of power supply impedance between an automatic test equipment (ATE) and a practical operating environment of the DUT. The proposed method injects compensation currents into the power supply nodes on the ATE system in a feed-forward manner such that the ATE power supply waveform matches with the one on the customer’s operating environment of the DUT. A method for calculating the compensation current is also described. Experimental results show that the proposed method can emulate the power supply voltage waveform under a customer’s operating condition and eliminate 95 % of overkills/underkills in the maximum operating frequency testing with 105 real silicon devices. Limitations and applications of the proposed method are also discussed. 相似文献