Membership problems for data dependencies in relational expressions

In relational databases, a query can be formulated in terms of a relational algebra expression using projection, selection, restriction, cross product and union. In this paper, we consider a problem, called the membership problem, of determining whether a given dependency d is valid in a given relational expression E over a given database scheme R that is, whether every instance of the view scheme defined by E satisfies d (assuming that the underlying constraints in R are always satisfied).Consider the case where each relation scheme in R is associated with functional dependencies (FDs) as constraints, and d is an FD. Then the complement of the membership problem is NP-complete. However, if E contains no union, then the membership problem can be solved in polynomial time. Furthermore, if E contains neither a union nor a projection, then we can construct in polynomial time a cover for valid FDs in E, that is, a set of FDs which implies every valid FD in E.Consider the case where each relation scheme in R is associated with multivalued dependencies (MVDs) as well as FDs, and d is an FD or an MVD. Even if E consists of selections and cross products only, the membership problem is NP-hard. However, if E contains no union, and each relation scheme name in R occurs in E at most once, then the membership problem can be solved in polynomial time. As a corollary of this result, it can be determined in polynomial time whether a given FD or MVD is valid in $\text{R}{}_1\text{???R}{}_{\mathrm{s}}$, where R₁,…,R_s are relation schemes with FDs and MVDs, and $\text{R}{}_{\mathrm{i}}\text{?R}{}_{\mathrm{j}}$ is the natural join of R_i and R_j.     

Synthesis of Cobalt Nanoparticle and Fabrication of Magnetoresistance Devices by Ion-Assisted Aerosol Generation Method

The ionization chemical vapor deposition (ionization CVD) method, which is one of the ion-assisted aerosol generation methods, was used to synthesize Co nanoparticles and fabricate a magnetoresistance device using them. A cobalt tricarbonyl nitrosyl vapor is ionized by a high-pressure ionizer before being fed into the reactor. It reacts and forms nanoparticles by a thermal decomposition reaction in the furnace reactor. Particles deposit electrostatically on an insulator substrate that has two Au electrodes and fill the gap between the electrodes. This Co-nanoparticle device is then annealed under hydrogen gas to deoxidize the deposited particles. After annealing, two copper wires are attached to the two Au electrodes to connect with a DC voltage supplier and an ammeter. The magnetoresistance of the device was evaluated by measuring its electrical resistance using a superconducting quantum interference device (SQUID) magnetometer. The X-ray diffraction patterns of the nanoparticles before and after annealing revealed CoO and Co, respectively. Two fabricated devices with number densities of Co nanoparticles of 4.25 × 10¹⁰ and 1.16 × 10¹¹ cm^?2 showed magnetoresistance ratios of 73% and 1002%, respectively, at an applied voltage of 30 V, a measurement temperature of 5 K, and a magnetic field of ?1 ～ 1 T. It was found from the experimental results that the method developed in this article was useful to fabricate the Co-nanoparticle magnetoresistance device.     

Robust Computation of Intersection Graph between Two Solids

We propose a new robust algorithm for Boolean operations on solid models. The algorithm produces a consistent intersection graph between two input solids whose geometrical data are represented in floating point numbers. In order to prevent numerical calculation errors and inaccuracy of input data from causing inconsistency of the output, we put higher priority on symbolical connectivity of the edge-face intersection points than their numerical nearness. Each edge-face intersection point is symbolically represented using face names, which generate connectivity relations between the intersection points and the intersection line segments. The symbols with the same connectivity are made into clusters. The intersection line segments connected together at their end clusters form the intersection graph of two solids. Inconsistency of the connectivity of the clusters is detected and the intersection graph is corrected automatically. We describe the algorithm in detail for polyhedral solids, discuss extension to curves solids, and show its effectiveness by some examples of Boolean operations for two solids whose faces intersect at a very small angle.     

Multi-residue method for screening of pesticides in crops by liquid chromatography with tandem mass spectrometry

A simple and rapid method was developed for the screening of 82 pesticides/metabolites in a wide variety of crops, using solid-phase extraction and liquid chromatography with tandem mass spectrometry (LC/MS/MS). After extraction with methanol, the filtered extracts were made up to 100 mL and a 2 mL aliquot was subjected to solid-phase extraction. Co-extractives were removed with a C18 mini-column, while pesticides were retained on 3 kinds of mini-columns (HLB, SAX, activated carbon), and then eluted with acetonitrile. Analysis was performed by LC/MS/MS, and MS acquisition parameters were established in positive and negative ESI modes. The utility of the method was demonstrated by the analysis of 6 crops (carrot, cabbage, onion, spinach, lemon, brown rice) and one mixed vegetable juice. Of 82 compounds tested, 75 in carrot and 62 in lemon were obtained with recoveries ranging from 70-120%. For all samples tested, 75 compounds could be obtained with recoveries of over 50%, and the detection limits of most compounds were lower than 0.01 microg/g. This method provides acceptable performance for analysis of these 75 compounds. Further, by using aliquots of the extracts with small-scale mini-columns, purified samples could be obtained. This proposed method with small matrix effects, is effective and suitable for screening of multiple residual pesticides by using LC/MS/MS.     

3D Scan matching for mobile robot localization over rough terrain

In order to enable an autonomous mobile robot to travel over rough terrain, it necessitates the capability to detect self‐position accurately even when the odometry errors are increased in traveling. The conventional method can keep high speed and precise localization using iterative closest point algorithms or feature matching techniques. However, effects of steep changes of a mobile robot position are not considered when it travels over rough terrain. In this article, we propose the method for efficient real‐time 6D pose tracking using a rotating 2D laser scanner in traveling over rough terrain. For adaptation to steep changes of the position, weighted point clouds are generated based on the angular and the linear velocity measured by sensors mounted on the robot. And the position and posture of the robot are sequentially optimized by the scan matching in increments of 10 scans. In indoor experiments, we evaluated accuracy of our method when the robot passes on rugged floor. As a result, our method was performed with less than 0.078 m RMS positional error in real time.     

Post-functionalization of poly(3-hexylthiophene) via anodic chlorination

Selective anodic chlorination of a poly(3-hexylthiophene) was successfully carried out by electrochemical polymer reaction. NMR and EDX analyses revealed the selective and sufficient substitution of chlorine atom at the 4-position of the repeating thiophene ring. GPC measurement of the polymer before and after electrolysis indicated that neither decomposition nor propagation of the polymer occurred even after passage of the excess charge. The optical and electrochemical properties of the obtained chlorinated polymer were investigated in detail.     

Lateral SbTeN based multi-layer phase change memory for multi-state storage

X-ray diffraction patterns and resistivity measurement indicate that as-deposited N-doped Sb₂Te₃ (STN) films become amorphous while the as-deposited Sb₂Te₃ film is crystalline. A lateral as-deposited STN-based multi-layer phase change memory was proposed for multi-state storage. The active region of the device consists of a top 30-nm TiN/180-nm STN/20-nm TiN/bottom 120-nm STN stacked multi-layer. Static switching properties of the device with STN initially starting from the amorphous state exhibit two apparent S-shaped switchings, which correspond to two marked device resistance drops by a factor of 2-5. The first and second threshold voltages are around 2.8-3.2 and 4.3-5.4 V, respectively. Finite element analysis of the device shows that the two switchings could sequentially occur at the electrode steps from the bottom 120-nm STN layer to the top thick 180-nm STN layer.     

Acetylacetoin synthase as a marker enzyme for detecting the 2,3-butanediol cycle

Acetylacetoin synthase (AACSase) and acetylacetoin reductase (AACRase) are representative enzymes of the 2,3-butanediol cycle. After examining their induction conditions in various bacteria, the former was induced by acetoin and the latter by glucose. All strains carrying AACSase also had AACRase, but the reverse was not true. Therefore, AACSase indicates the existence of the cycle. Acetylacetoin (AAC) accumulation or the ratio of 2,3-butanediol isomer formed also indicated the presence of the cycle in bacteria. This cycle is present in some strains and not in others even for those belonging to the same species. The cycle was not always associated with the representative 2,3-butanediol-producing bacteria or bacterial sporogenesis as reported previously.     

Scanning electron microscope for in situ study of crystallization of Ge2Sb2Te5 in phase-change memory

By introducing electrical connections into the chamber of a scanning electron microscope (SEM) via its holder assembly, it has become feasible to in situ observe and electrically characterize electronic devices. The in situ SEM was applied to investigate electric-pulse-induced behavior of Ge(2)Sb(2)Te(5) in a lateral phase-change memory cell. Randomly distributed nuclei with sizes from 20 to 80 nm were initiated at a low voltage pulse. Initially, grain growth depended strongly on pulse amplitude at around 60.3 nm/V and then a weak pulse amplitude dependence was observed at around 13.5 nm/V. Device resistance during crystallization dropped by two to three orders of magnitude with two falling steps, which probably resulted from amorphous to face-centered-cubic and subsequently to hexagonal transitions, respectively.     

Echo state networks for embodied evolution in robotic swarms

Artificial Life and Robotics - Embodied evolution is an evolutionary robotics approach that implements an evolutionary algorithm over a population of robots and evolves while the robots perform...