Design methodology of magnetic fields and structures for magneto-mechanical resonator based on topology optimization

Magneto-mechanical resonators—magnetically-driven vibration devices—are used in many mechanical and electrical devices. We develop topology optimization (TO) to configure the magnetic fields of such resonators to enable large vibrations under specified current input to be attained. A dynamic magneto-mechanical analysis in the frequency domain is considered where we introduce the surface magnetic force calculated from the Maxwell stress tensor. The optimization problem is then formulated involving specifically the maximization of the dynamic compliance. This formulation is implemented using the solid-isotropic-material-with-penalization method for TO by taking into account the relative permeability, Young’s modulus, and the mass density of the magnetic material as functions of the density function. Through the 2D numerical studies, we confirm that this TO method works well in designing magnetic field patterns and providing matching between the external current frequency and eigenfrequency of the vibrating structure.     

P2P soft security: On evolutionary dynamics of P2P incentive mechanism

This paper thoroughly investigates the evolutionary dynamics of soft security mechanism, namely, reciprocity-based incentive mechanism, in P2P systems based on Evolutionary Game Theory (EGT). By soft security mechanism, it means social control mechanisms to overcome peers’ selfish (rational) behaviors, and encourage cooperation in P2P systems. Specifically, there exist three strategies in P2P systems: always cooperative (ALLC), always defect (ALLD) and reciprocator (R). Instead of existing work which take it for granted that, like ALLC users, R users did not bear any information-seeking cost, we assume small reciprocation cost, and study generalized mutation-selection dynamics. Our contributions are threefold: firstly, we prove and illustrate that, in a well-mixed P2P structure, ALLD is the only strict Nash equilibrium; secondly, we infer the specific condition under which evolution dynamics exhibits rock-scissors-paper oscillation in a structured P2P population. That is, the population cycles from ALLD to R to ALLC and back to ALLD; finally, we theoretically illustrate that the intensity of selection plays an important role in the evolutionary dynamics of P2P incentive mechanism. That is, when the intensity of selection is relatively weak and reciprocation cost limits to zero, the time average can be mostly concentrated on reciprocator. In brief, considering the existence of reciprocation cost and the small mutation in P2P incentive mechanisms, unlike existing work, it is impossible to simply achieve the “absolute cooperative” in P2P incentive mechanisms. On the other hand, stochastic evolution in P2P incentive mechanism with finite population and network structure still favor reciprocation.     

A Linear Algorithm for Computing the Homography from Conics in Correspondence

This paper presents a study, based on conic correspondences, on the relationship between two perspective images acquired by an uncalibrated camera. We show that for a pair of corresponding conics, the parameters representing the conics satisfy a linear constraint. To be more specific, the parameters that represent a conic in one image are transformed by a five-dimensional projective transformation to the parameters that represent the corresponding conic in another image. We also show that this transformation is expressed as the symmetric component of the tensor product of the transformation based on point/line correspondences and itself. In addition, we present a linear algorithm for uniquely determining the corresponding point-based transformation from a given conic-based transformation up to a scale factor. Accordingly, conic correspondences enable us to easily handle both points and lines in uncalibrated images of a planar object.     

Microstructure and yield strength of UDIMET 720LI alloyed with Co-16.9 Wt Pct Ti

We proposed a new method for developing Ni-base turbine disc alloy for application at temperatures above 700 °C by mixing a Ni-base superalloy U720LI with a two-phase alloy Co-16.9 wt pct Ti in various contents. The microstructure and phase stability of the alloys were analyzed using an optical microscope, a scanning electron microscope, energy-dispersive spectroscopy, and an X-ray diffractometer. The yield strength was studied by compression tests at temperatures ranging from 25 °C to 1200 °C. The results show that all the alloys had a dendritic structure. Ni₃Ti (η) phase was formed in the interdendritic region in the alloys with the addition of Co-16.9 wt pct Ti, and its volume fraction increased with the increase in the addition of Co-16.9 wt pct Ti. The results of exposure at 750 °C show that the addition of Co-16.9 wt pct Ti to U720LI had a great effect on suppressing the formation of σ phase due to the reduced Cr content in the γ matrix. Compared to U720LI, the alloys with the addition of Co-16.9 wt pct Ti possessed higher yield strength. The solid-solution strengthening of γ and γ′ and higher volume fraction of γ′ were assumed to cause this strength increase.     

On the computational power of insertion-deletion systems

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 INS ¹ ₁ DEL ¹ ₁ 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.     

Complete Mining of Frequent Patterns from Graphs: Mining Graph Data

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.     

Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models

A method is developed that allows the verified integration of ODEs based on local modeling with high-order Taylor polynomials with remainder bound. The use of such Taylor models of order n allows convenient automated verified inclusion of functional dependencies with an accuracy that scales with the (n + 1)-st order of the domain and substantially reduces blow-up.Utilizing Schauder's fixed point theorem on certain suitable compact and convex sets of functions, we show how explicit nth order integrators can be developed that provide verified nth order inclusions of a solution of the ODE. The method can be used not only for the computation of solutions through a single initial condition, but also to establish the functional dependency between initial and final conditions, the so-called flow of the ODE. The latter can be used efficiently for a substantial reduction of the wrapping effect.Examples of the application of the method to conventional initial value problems as well as flows are given. The orders of the integration range up to twelve, and the verified inclusions of up to thirteen digits of accuracy have been demanded and obtained.     

Dimethyl Fumarate Induces Apoptosis via Inhibition of NF-κB and Enhances the Effect of Paclitaxel and Adriamycin in Human TNBC Cells

Triple-negative breast cancer (TNBC) has the poorest prognosis of all breast cancer subtypes. Recently, the activation of NF-κB, which is involved in the growth and survival of malignant tumors, has been demonstrated in TNBC, suggesting that NF-κB may serve as a new therapeutic target. In the present study, we examined whether dimethyl fumarate (DMF), an NF-κB inhibitor, induces apoptosis in TNBC cells and enhances the apoptosis-inducing effect of paclitaxel and adriamycin. Cell survival was analyzed by the trypan blue assay and apoptosis assay. Protein detection was examined by immunoblotting. The activation of NF-κB p65 was correlated with poor prognosis in patients with TNBC. DMF induced apoptosis in MDA-MB-231 and BT-549 cells at concentrations that were non-cytotoxic to the normal mammary cell line MCF-10A. Furthermore, DMF inhibited NF-κB nuclear translocation and Survivin, XIAP, Bcl-xL, and Bcl-2 expression in MDA-MB-231 and BT-549 cells. Moreover, DMF enhanced the apoptosis-inducing effect of paclitaxel and adriamycin in MDA-MB-231 cells. These findings suggest that DMF may be an effective therapeutic agent for the treatment of TNBC, in which NF-κB is constitutively active. DMF may also be useful as an adjuvant therapy to conventional anticancer drugs.