Development of a novel 3D simulation modelling system for distributed manufacturing

This paper describes a novel 3D simulation modelling system for supporting our distributed machine design and control paradigm with respect to simulating and emulating machine behaviour on the Internet. The system has been designed and implemented using Java2D and Java3D. An easy assembly concept of drag-and-drop assembly has been realised and implemented by the introduction of new connection features (unified interface assembly features) between two assembly components (modules). The system comprises a hierarchical geometric modeller, a behavioural editor, and two assemblers. During modelling, designers can combine basic modelling primitives with general extrusions and integrate CAD geometric models into simulation models. Each simulation component (module) model can be visualised and animated in VRML browsers. It is reusable. This makes machine design re-configurable and flexible. A case study example is given to support our conclusions

Performance drivers of green innovation under incomplete information

AbstractThe environmental management practices have been well studied; few studies are presented the firm's green innovation activities. This study is adopted to evaluate the green innovation for environment management, with a particular focus on managerial, process, product and technological aspects. The empirical analysis from Taiwanese printed circuit board manufacturing firm's reveals that such studies does exist and that the effect of focal firm's green innovation activities has been evaluated. This study identified the appropriate green innovation criteria for the case firms and developed the following selection method: (i) evaluate the weights of aspects, criteria and alternatives as described both by linguistic preferences; and (ii) rank alternative suppliers using a grey relational analysis with entropy weight. This study presents theoretical and empirical evidence of green innovation drivers in the domains of environmental management and has interesting implications for operations management research and practices. This knowledge may contribute to better decision-making towards implementing green innovation practices

Characterization of the blood-brain barrier in genetically diverse laboratory mouse strains.

Genetic variation in a population has an influence on the manifestation of monogenic as well as multifactorial disorders, with the underlying genetic contribution dependent on several interacting variants. Common laboratory mouse strains used for modelling human disease lack the genetic variability of the human population. Therefore, outcomes of rodent studies show limited relevance to human disease. The functionality of brain vasculature is an important modifier of brain diseases. Importantly, the restrictive interface between blood and brain-the blood-brain barrier (BBB) serves as a major obstacle for the drug delivery into the central nervous system (CNS). Using genetically diverse mouse strains, we aimed to investigate the phenotypic and transcriptomic variation of the healthy BBB in different inbred mouse strains. We investigated the heterogeneity of brain vasculature in recently wild-derived mouse strains (CAST/EiJ, WSB/EiJ, PWK/PhJ) and long-inbred mouse strains (129S1/SvImJ, A/J, C57BL/6J, DBA/2J, NOD/ShiLtJ) using different phenotypic arms. We used immunohistochemistry and confocal laser microscopy followed by quantitative image analysis to determine vascular density and pericyte coverage in two brain regions-cortex and hippocampus. Using a low molecular weight fluorescence tracer, sodium fluorescein and spectrophotometry analysis, we assessed BBB permeability in young and aged mice of selected strains. For further phenotypic characterization of endothelial cells in inbred mouse strains, we performed bulk RNA sequencing of sorted endothelial cells isolated from cortex and hippocampus. Cortical vessel density and pericyte coverage did not differ among the investigated strains, except in the cortex, where PWK/PhJ showed lower vessel density compared to NOD/ShiLtJ, and a higher pericyte coverage than DBA/2J. The vascular density in the hippocampus differed among analyzed strains but not the pericyte coverage. The staining patterns of endothelial arteriovenous zonation markers were similar in different strains. BBB permeability to a small fluorescent tracer, sodium fluorescein, was also similar in different strains, except in the hippocampus where the CAST/EiJ showed higher permeability than NOD/ShiLtJ. Transcriptomic analysis of endothelial cells revealed that sex of the animal was a major determinant of gene expression differences. In addition, the expression level of several genes implicated in endothelial function and BBB biology differed between wild-derived and long-inbred mouse strains. In aged mice of three investigated strains (DBA/2J, A/J, C57BL/6J) vascular density and pericyte coverage did not change-expect for DBA/2J, whereas vascular permeability to sodium fluorescein increased in all three strains. Our analysis shows that although there were no major differences in parenchymal vascular morphology and paracellular BBB permeability for small molecular weight tracer between investigated mouse strains or sexes, transcriptomic differences of brain endothelial cells point to variation in gene expression of the intact BBB. These baseline variances might be confounding factors in pathological conditions that may lead to a differential functional outcome dependent on the sex or genetic polymorphism

Allocating the costs of multi-purpose water resource development: a case study of Chi-Chi Weir in Taiwan

Most multi-purpose water resources have been planned and constructed by governments in Taiwan to meet the water demands of different users. However, economic and solvency differences among parties using water create conflicts regarding the reasonable and equitable allocation of investment and operational costs. The Chi-Chi Weir in Nantou County, which was completed in 2002, meets the high water demand of residents and the needs of industrial growth in central Taiwan. Thus, multi-purpose water reservoirs are designed to serve agriculture, the public and industry. Three analytical methods, the quantity-based method, marginal cost method, and separable cost remaining benefit method (SCRB), are employed to compare the cost allocation for different parties using water. The quantity-based method indicates that proportional costs allocated to agriculture, the public, industry and new irrigated areas are 88.02, 3.63, 7.86, and 0.49%, respectively. Via the marginal cost method, the proportional costs allocated to agriculture, the public, hydropower, industry and new irrigated areas are 68.44, 2.51, 28.71, and 0.34%, respectively. The marginal cost price of water is NT$ 2.97 ton(-1); industrial use has the highest price. Based on the SCRB method, the proportional costs allocated to agriculture, the public, hydropower, and new irrigated areas are 18.2, 22.2, 51.8, 4.8, and 2.9%, respectively

Identification of differentially expressed genes induced by Bamboo mosaic virus infection in Nicotiana benthamiana by cDNA-amplified fragment length polymorphism

Background: The genes of plants can be up- or down-regulated during viral infection to influence the replication of viruses. Identification of these differentially expressed genes could shed light on the defense systems employed by plants and the mechanisms involved in the adaption of viruses to plant cells. Differential gene expression in Nicotiana benthamiana plants in response to infection with Bamboo mosaic virus (BaMV) was revealed using cDNA-amplified fragment length polymorphism (AFLP). Results: Following inoculation with BaMV, N. benthamiana displayed differential gene expression in response to the infection. Isolation, cloning, and sequencing analysis using cDNA-AFLP furnished 90 cDNA fragments with eight pairs of selective primers. Fifteen randomly selected genes were used for a combined virus-induced gene silencing (VIGS) knockdown experiment, using BaMV infection to investigate the roles played by these genes during viral infection, specifically addressing the means by which these genes influence the accumulation of BaMV protein. Nine of the 15 genes showed either a positive or a negative influence on the accumulation of BaMV protein. Six knockdown plants showed an increase in the accumulation of BaMV, suggesting that they played a role in the resistance to viral infection, while three plants showed a reduction in coat protein, indicating a positive influence on the accumulation of BaMV in plants. An interesting observation was that eight of the nine plants showing an increase in BaMV coat protein were associated with cell rescue, defense, death, aging, signal transduction, and energy production. Conclusions: This study reports an efficient and straightforward method for the identification of host genes involved in viral infection. We succeeded in establishing a cDNA-AFLP system to help track changes in gene expression patterns in N. benthamiana plants when infected with BaMV. The combination of both DNA-AFLP and VIGS methodologies made it possible to screen a large number of genes and identify those associated with infections of plant viruses. In this report, 9 of the 15 analyzed genes exhibited either a positive or a negative influence on the accumulation of BaMV in N. benthamiana plants

Interpolation Properties and SAT-based Model Checking

Craig interpolation is a widespread method in verification, with important applications such as Predicate Abstraction, CounterExample Guided Abstraction Refinement and Lazy Abstraction With Interpolants. Most state-of-the-art model checking techniques based on interpolation require collections of interpolants to satisfy particular properties, to which we refer as "collectives"; they do not hold in general for all interpolation systems and have to be established for each particular system and verification environment. Nevertheless, no systematic approach exists that correlates the individual interpolation systems and compares the necessary collectives. This paper proposes a uniform framework, which encompasses (and generalizes) the most common collectives exploited in verification. We use it for a systematic study of the collectives and of the constraints they pose on propositional interpolation systems used in SAT-based model checking

Statistical nature of non-Gaussianity from cubic order primordial perturbations: CMB map simulations and genus statistic

We simulate CMB maps including non-Gaussianity arising from cubic order perturbations of the primordial gravitational potential, characterized by the non-linearity parameter $g_{NL}$. The maps are used to study the characteristic nature of the resulting non-Gaussian temperature fluctuations. We measure the genus and investigate how it deviates from Gaussian shape as a function of $g_{NL}$ and smoothing scale. We find that the deviation of the non-Gaussian genus curve from the Gaussian one has an antisymmetric, sine function like shape, implying more hot and more cold spots for $g_{NL}>0$ and less of both for $g_{NL}<0$. The deviation increases linearly with $g_{NL}$ and also exhibits mild increase as the smoothing scale increases. We further study other statistics derived from the genus, namely, the number of hot spots, the number of cold spots, combined number of hot and cold spots and the slope of the genus curve at mean temperature fluctuation. We find that these observables carry signatures of $g_{NL}$ that are clearly distinct from the quadratic order perturbations, encoded in the parameter $f_{NL}$. Hence they can be very useful tools for distinguishing not only between non-Gaussian temperature fluctuations and Gaussian ones but also between $g_{NL}$ and $f_{NL}$ type non-Gaussianities.Comment: 18+1 page

SimSearch: A new variant of dynamic programming based on distance series for optimal and near-optimal similarity discovery in biological sequences

http://www.informatik.uni-trier.de/%7Eley/db/conf/iwpacbb/iwpacbb2008.htmlIn this paper, we propose SimSearch, an algorithm implementing a new variant of dynamic programming based on distance series for optimal and near-optimal similarity discovery in biological sequences. The initial phase of SimSearch is devoted to fulfil the binary similarity matrices by signalling the distances between occurrences of the same symbol. The scoring scheme is further applied, when analysed the maximal extension of the pattern. Employing bit parallelism to analyse the global similarity matrix’s upper triangle, the new methodology searches the sequence(s) for all the exact and approximate patterns in regular or reverse order. The algorithm accepts parameterization to work with greater seeds for near-optimal results. Performance tests show significant efficiency improvement over traditional optimal methods based on dynamic programming. Comparing the new algorithm’s efficiency against heuristic based methods, equalizing the required sensitivity, the proposed algorithm remains acceptable.This work has been partially supported by PRODEP

Some FRW Models of Accelerating Universe with Dark Energy

The paper deals with a spatially homogeneous and isotropic FRW space-time filled with perfect fluid and dark energy components. The two sources are assumed to interact minimally, and therefore their energy momentum tensors are conserved separately. A special law of variation for the Hubble parameter proposed by Berman (1983) has been utilized to solve the field equations. The Berman's law yields two explicit forms of the scale factor governing the FRW space-time and constant values of deceleration parameter. The role of dark energy with variable equation of state parameter has been studied in detail in the evolution of FRW universe. It has been found that dark energy dominates the universe at the present epoch, which is consistent with the observations. The physical behavior of the universe is discussed in detail.Comment: 10 pages, 5 figure

Generalized Holographic Dark Energy Model

In this paper, the model of holographic Chaplygin gas has been extended to two general cases: first is the case of modified variable Chaplygin gas and secondly of the viscous generalized Chaplygin gas. The dynamics of the model are expressed by the use of scalar fields and the scalar potentials.Comment: 12 pages, to appear in Eur. Phys. J.