987 resultados para 3-valued model logic


Relevância:

40.00% 40.00%

Publicador:

Resumo:

Caveolae are an abundant feature of many animal cells. However, the exact function of caveolae remains unclear. We have used the zebrafish, Danio rerio, as a system to understand caveolae function focusing on the muscle-specific caveolar protein, caveolin-3 (Cav3). We have identified caveolin-1 (alpha and beta), caveolin-2 and Cav3 in the zebrafish. Zebrafish Cav3 has 72% identity to human CAV3, and the amino acids altered in human muscle diseases are conserved in the zebrafish protein. During embryonic development, cav3 expression is apparent by early segmentation stages in the first differentiating muscle precursors, the adaxial cells and slightly later in the notochord. cav3 expression appears in the somites during mid-segmentation stages and then later in the pectoral fins and facial muscles. Cav3 and caveolae are located along the entire sarcolemma of late stage embryonic muscle fibers, whereas beta-dystroglycan is restricted to the muscle fiber ends. Down-regulation of Cav3 expression causes gross muscle abnormalities and uncoordinated movement. Ultrastructural analysis of isolated muscle fibers reveals defects in myoblast fusion and disorganized myofibril and membrane systems. Expression of the zebrafish equivalent to a human muscular dystrophy mutant, CAV3P104L, causes severe disruption of muscle differentiation. In addition, knockdown of Cav3 resulted in a dramatic up-regulation of eng1a expression resulting in an increase in the number of muscle pioneer-like cells adjacent to the notochord. These studies provide new insights into the role of Cav3 in muscle development and demonstrate its requirement for correct intracellular organization and myoblast fusion.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

A structurally-based quasi-chemical viscosity model for fully liquid slags in the Al2O3 CaO-'FeO'-MgOSiO2 system has been developed. The focus of the work described in the present paper is the analysis of the experimental data and viscosity models in the quaternary system Al2O3 CaO-MgO-SiO2 and its subsystems. A review of the experimental data, viscometry methods used and viscosity models available in the Al2O3 CaO-MgO-SiO2 and its sub-systems is reported. The quasi-chemical viscosity model is shown to provide good agreement between experimental data and predictions over the whole compositional range.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

In this study, 3-D Lattice Solid Model (LSMearth or LSM) was extended by introducing particle-scale rotation. In the new model, for each 3-D particle, we introduce six degrees of freedom: Three for translational motion, and three for orientation. Six kinds of relative motions are permitted between two neighboring particles, and six interactions are transferred, i.e., radial, two shearing forces, twisting and two bending torques. By using quaternion algebra, relative rotation between two particles is decomposed into two sequence-independent rotations such that all interactions due to the relative motions between interactive rigid bodies can be uniquely decided. After incorporating this mechanism and introducing bond breaking under torsion and bending into the LSM, several tests on 2-D and 3-D rock failure under uni-axial compression are carried out. Compared with the simulations without the single particle rotational mechanism, the new simulation results match more closely experimental results of rock fracture and hence, are encouraging. Since more parameters are introduced, an approach for choosing the new parameters is presented.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The introduction of standard on-chip buses has eased integration and boosted the production of IP functional cores. However, once an IP is bus specific retargeting to a different bus is time-consuming and tedious, and this reduces the reusability of the bus-specific IP. As new bus standards are introduced and different interconnection methods are proposed, this problem increases. Many solutions have been proposed, however these solutions either limit the IP block performance or are restricted to a particular platform. A new concept is presented that can connect IP blocks to a wide variety of interface architectures with low overhead. This is achieved through the use a special interface adaptor logic layer.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Integer-valued data envelopment analysis (DEA) with alternative returns to scale technology has been introduced and developed recently by Kuosmanen and Kazemi Matin. The proportionality assumption of their introduced "natural augmentability" axiom in constant and nondecreasing returns to scale technologies makes it possible to achieve feasible decision-making units (DMUs) of arbitrary large size. In many real world applications it is not possible to achieve such production plans since some of the input and output variables are bounded above. In this paper, we extend the axiomatic foundation of integer-valuedDEAmodels for including bounded output variables. Some model variants are achieved by introducing a new axiom of "boundedness" over the selected output variables. A mixed integer linear programming (MILP) formulation is also introduced for computing efficiency scores in the associated production set. © 2011 The Authors. International Transactions in Operational Research © 2011 International Federation of Operational Research Societies.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The paper presents a new network-flow interpretation of Łukasiewicz’s logic based on models with an increased effectiveness. The obtained results show that the presented network-flow models principally may work for multivalue logics with more than three states of the variables i.e. with a finite set of states in the interval from 0 to 1. The described models give the opportunity to formulate various logical functions. If the results from a given model that are contained in the obtained values of the arc flow functions are used as input data for other models then it is possible in Łukasiewicz’s logic to interpret successfully other sophisticated logical structures. The obtained models allow a research of Łukasiewicz’s logic with specific effective methods of the network-flow programming. It is possible successfully to use the specific peculiarities and the results pertaining to the function ‘traffic capacity of the network arcs’. Based on the introduced network-flow approach it is possible to interpret other multivalue logics – of E.Post, of L.Brauer, of Kolmogorov, etc.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

This article is the final part of the formal description of the metaontology for medical diagnostics in the language of applied logic. It contains a description of the causes of signs’ values and of the causes of diseases.