A groupA is an ℵ1-free abelian group iffA is a subgroup of the Boolean power Z(B) for some comple... more A groupA is an ℵ1-free abelian group iffA is a subgroup of the Boolean power Z(B) for some complete Boolean algebraB. The Chase radicalvA=Σ{C≦A: Hom(C, Z)=0 &C is countable). The torsion class {A:vA=A} is not closed under uncountable direct products.
The paper provides a list of the non-indigenous animal species occurring today in Italian inland ... more The paper provides a list of the non-indigenous animal species occurring today in Italian inland waters. Xenodiversity was found to amount to 112 species (64 invertebrates and 48 vertebrates), which contribute for about 2% to the inland-water fauna in Italy. Northern and central regions are most affected, and Asia, North America, and the rest of Europe are the main donor continents. The large majority of non-indigenous species entered Italy as a direct or indirect effect of human intervention. A difference between invertebrates and vertebrates was found for their mode of arrival (unintentional for invertebrates and intentional for vertebrates). Accidental transport, in association with both fish (for aquaculture or stock enhancement) and crops, has been the main vector of invertebrate introductions, whereas vertebrates were mostly released for stocking purposes. Overall stock enhancement (47.92%) and culture (37.5%) prevailed over the other pathways. Seventeen and 7 species of our list are included among the 100 worst invasive species of Europe (DAISIE) and of the world (IUCN), respectively. For some (but not all) non-indigenous species recorded in Italy the multilevel impact exerted on the recipient communities and ecosystems is known, even if rarely quantified, but knowledge on their chronic impact is still missing. Additional research is needed to provide criteria for prioritizing intervention against well established invaders and identify which new potential invader should be targeted as “unwanted”.
This article is devoted to the detection of inclusions using a single boundary measurement obtain... more This article is devoted to the detection of inclusions using a single boundary measurement obtained from quasi-static essays in linear elasticity. The idea is to minimize the misfit between the displacement field obtained on part of the boundary and the boundary data coming from solving the elasticity equations with a guess inclusion. The optimization algorithm comes from the work of Allaire and Gutiérrez [G. Allaire and S. Gutiérrez, Optimal design in small amplitude homogenization, Math. Model. Numer. Anal. 41(3) (2007), pp. 543–574] and it is based on the assumption that the contrast on the values of the Lamé elastic coefficients between the defect and the matrix is not very large. This approach is promising because it is well adapted to cases when the defect is caused, for example, by weak inhomogeneities during the fabrication process. From the numerical examples we conclude that the method is quite robust under noisy measurements and errors in the characterization of the defect.
We present a process algebraic approach for extending to the probabilistic setting the classical ... more We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a calculus for the analysis of probabilistic systems and a notion of probabilistic bisimulation in order to define classical security properties, such as nondeterministic noninterference (NNI) and nondeducibility on compositions (NDC), in the probabilistic setting. We show how to (i) extend the results known for the nondeterministic case, (ii) analyse insecure nondeterministic behaviors, and (ii) reveal probabilistic covert channels which may be not observable in the nondeterministic case. Finally, we show that the expressiveness of the calculus we adopt makes it possible to model concurrent systems in order to derive also performance measures.
The MURA problems will result lots of problems in photomask and TFT-LCD industries as well. In th... more The MURA problems will result lots of problems in photomask and TFT-LCD industries as well. In this paper, we propose a new concept for the photomask production industries, which is based on data mining techniques. Our model is suitable for every company which has the problems in MURA effects. Because our data mining techniques is a way collecting the correct information by itself, it could clean the data through their own expert. By building their own expert data warehouse, it could make our data mining techniques become a optimization mining technique, which means our model is one of the best solution to them. It could be suitable not only for every photomask company but also companies facing to the MURA problems. Our model helps them to cut down their manufacturing cost as well as promote the quality of their products.
Trajectory Source Apportionment (TSA) methods are statistical techniques used to identify sources... more Trajectory Source Apportionment (TSA) methods are statistical techniques used to identify sources of pollution at a sampling site (receptor). TSA methods have traditionally been applied to a single receptor (Ashbaugh et al., 1985; Seibert et al., 1994; Lui et al., 2003) with some exploration of using more than one receptor (Stohl, 1996; Zeng and Hopke, 1989). A new Multi-Receptor (MURA) method was developed here. It utilizes a two step process to first identify Potential Source Regions (PSRs), and then examine them to see how often they affect each receptor. The MURA method was first tested against the conditional probability method developed by Ashbaugh et al. (1985) to determine each method's ability to detect known sources. Two artificial data sets were used; one containing a single source and one that contained four sources. The MURA method outperformed the conditional probability method. Next, the MURA method was compared to an improved version of the conditional probability method (SIRA). This test utilized three sets of artificial data in the western and eastern U.S. Although the SIRA method was an improvement over the conditional probability method, the MURA method still performed better in the four-source simulation located in the western United States. In the two eastern simulations both the MURA and SIRA methods performed similarly. The third test evaluated the impact of trajectory starting heights from 10m to 500m on the MURA method using the three simulations from the SIRA comparison. In the western simulation, the starting height had little to no impact on the accuracy of the method. In the two eastern simulations, the 10m, 50m, and 250m starting heights performed more consistently over both simulations. The MURA method was then applied to two groups of IMPROVE receptors to identify sources of sulfate and nitrate. The southwest, the western Great Plains, and the eastern Midwest affect the south central United States group for high sulfate or nitrate. The areas of high sulfate affect the same receptors more consistently than the high nitrate areas across the time period. The Ohio River Valley through the Upper Midwest into the Northeast affects the northeastern group for sulfate and nitrate.
While there have been critical debates concerning urban landscapes renovated ‘in situ’, the open-... more While there have been critical debates concerning urban landscapes renovated ‘in situ’, the open-air museum represents a less examined strategy in the negotiation of time, space, and politics of a city—what Henri Lefebvre calls the ‘spatial practices of society’. Meiji-mura is an open-air museum containing infrastructure projects and buildings relocated from Japanese cities and towns since 1965. The purpose of this paper is to reveal how Meiji-mura's museum landscape: 1) naturalises its artefacts in their new context, and at the same time provides a village-like environment that is neater, more sanitised, and planned than the real cities where the artefacts derived; 2) incorporates theme park-like elements which contribute to a vagueness about the social histories that the artefacts elaborate; and 3) appropriates the idea of the museum as a means to devolve the political and religious powers imparted by artefacts so they can be appreciated as Art.
Ignitor is a proposed compact high-magnetic field tokamak aimed at studying plasma burning condit... more Ignitor is a proposed compact high-magnetic field tokamak aimed at studying plasma burning conditions in deuterium–tritium plasmas. A design revision of the ignitor project lead to the substitution of the graphite tiles with molybdenum ones. The consequences of this substitution from the radiological risk and environmental impact viewpoints are examined, applying a computational model for tritium inventory estimate and for activation calculation. It turns out that the global tritium inventory in the machine is almost halved by this design modification, due to a practically negligible tritium inventory in Mo. Activation of Mo is higher that that of C, however, it remains moderate. Because of this, some of the most relevant accidental sequences see a reduction of releases and of doses to public, due to radioactive source terms reduction. Graphite substitution with Mo in the first wall has therefore a global positive effect on the machine radiological safety.
ABSTRACT In this paper we present a tool that converts specifications written with a subset of St... more ABSTRACT In this paper we present a tool that converts specifications written with a subset of StateCharts into SystemC behav-ioral models. The main advantages of such an approach are rapidity of use, simplicity and reusability. Various sys-tems can be modeled at different ...
The present paper is devoted to the numerical modeling of turbulent reactive flows in situations ... more The present paper is devoted to the numerical modeling of turbulent reactive flows in situations where reactants are not ideally premixed. In this case, the description of the local thermochemistry requires at least two variables. Here, we chose the mixture fraction ξ to ...
IEEE Transactions on Geoscience and Remote Sensing, 2008
AbstractIn September 2000, an airborne synthetic aperture radar (SAR) mission acquired unprecede... more AbstractIn September 2000, an airborne synthetic aperture radar (SAR) mission acquired unprecedented full polarimetric P-band data over the Tapajós National Forest (Pará State), which is an area in the Brazilian Amazon which has been continuously monitored in the last three ...
A groupA is an ℵ1-free abelian group iffA is a subgroup of the Boolean power Z(B) for some comple... more A groupA is an ℵ1-free abelian group iffA is a subgroup of the Boolean power Z(B) for some complete Boolean algebraB. The Chase radicalvA=Σ{C≦A: Hom(C, Z)=0 &C is countable). The torsion class {A:vA=A} is not closed under uncountable direct products.
The paper provides a list of the non-indigenous animal species occurring today in Italian inland ... more The paper provides a list of the non-indigenous animal species occurring today in Italian inland waters. Xenodiversity was found to amount to 112 species (64 invertebrates and 48 vertebrates), which contribute for about 2% to the inland-water fauna in Italy. Northern and central regions are most affected, and Asia, North America, and the rest of Europe are the main donor continents. The large majority of non-indigenous species entered Italy as a direct or indirect effect of human intervention. A difference between invertebrates and vertebrates was found for their mode of arrival (unintentional for invertebrates and intentional for vertebrates). Accidental transport, in association with both fish (for aquaculture or stock enhancement) and crops, has been the main vector of invertebrate introductions, whereas vertebrates were mostly released for stocking purposes. Overall stock enhancement (47.92%) and culture (37.5%) prevailed over the other pathways. Seventeen and 7 species of our list are included among the 100 worst invasive species of Europe (DAISIE) and of the world (IUCN), respectively. For some (but not all) non-indigenous species recorded in Italy the multilevel impact exerted on the recipient communities and ecosystems is known, even if rarely quantified, but knowledge on their chronic impact is still missing. Additional research is needed to provide criteria for prioritizing intervention against well established invaders and identify which new potential invader should be targeted as “unwanted”.
This article is devoted to the detection of inclusions using a single boundary measurement obtain... more This article is devoted to the detection of inclusions using a single boundary measurement obtained from quasi-static essays in linear elasticity. The idea is to minimize the misfit between the displacement field obtained on part of the boundary and the boundary data coming from solving the elasticity equations with a guess inclusion. The optimization algorithm comes from the work of Allaire and Gutiérrez [G. Allaire and S. Gutiérrez, Optimal design in small amplitude homogenization, Math. Model. Numer. Anal. 41(3) (2007), pp. 543–574] and it is based on the assumption that the contrast on the values of the Lamé elastic coefficients between the defect and the matrix is not very large. This approach is promising because it is well adapted to cases when the defect is caused, for example, by weak inhomogeneities during the fabrication process. From the numerical examples we conclude that the method is quite robust under noisy measurements and errors in the characterization of the defect.
We present a process algebraic approach for extending to the probabilistic setting the classical ... more We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a calculus for the analysis of probabilistic systems and a notion of probabilistic bisimulation in order to define classical security properties, such as nondeterministic noninterference (NNI) and nondeducibility on compositions (NDC), in the probabilistic setting. We show how to (i) extend the results known for the nondeterministic case, (ii) analyse insecure nondeterministic behaviors, and (ii) reveal probabilistic covert channels which may be not observable in the nondeterministic case. Finally, we show that the expressiveness of the calculus we adopt makes it possible to model concurrent systems in order to derive also performance measures.
The MURA problems will result lots of problems in photomask and TFT-LCD industries as well. In th... more The MURA problems will result lots of problems in photomask and TFT-LCD industries as well. In this paper, we propose a new concept for the photomask production industries, which is based on data mining techniques. Our model is suitable for every company which has the problems in MURA effects. Because our data mining techniques is a way collecting the correct information by itself, it could clean the data through their own expert. By building their own expert data warehouse, it could make our data mining techniques become a optimization mining technique, which means our model is one of the best solution to them. It could be suitable not only for every photomask company but also companies facing to the MURA problems. Our model helps them to cut down their manufacturing cost as well as promote the quality of their products.
Trajectory Source Apportionment (TSA) methods are statistical techniques used to identify sources... more Trajectory Source Apportionment (TSA) methods are statistical techniques used to identify sources of pollution at a sampling site (receptor). TSA methods have traditionally been applied to a single receptor (Ashbaugh et al., 1985; Seibert et al., 1994; Lui et al., 2003) with some exploration of using more than one receptor (Stohl, 1996; Zeng and Hopke, 1989). A new Multi-Receptor (MURA) method was developed here. It utilizes a two step process to first identify Potential Source Regions (PSRs), and then examine them to see how often they affect each receptor. The MURA method was first tested against the conditional probability method developed by Ashbaugh et al. (1985) to determine each method's ability to detect known sources. Two artificial data sets were used; one containing a single source and one that contained four sources. The MURA method outperformed the conditional probability method. Next, the MURA method was compared to an improved version of the conditional probability method (SIRA). This test utilized three sets of artificial data in the western and eastern U.S. Although the SIRA method was an improvement over the conditional probability method, the MURA method still performed better in the four-source simulation located in the western United States. In the two eastern simulations both the MURA and SIRA methods performed similarly. The third test evaluated the impact of trajectory starting heights from 10m to 500m on the MURA method using the three simulations from the SIRA comparison. In the western simulation, the starting height had little to no impact on the accuracy of the method. In the two eastern simulations, the 10m, 50m, and 250m starting heights performed more consistently over both simulations. The MURA method was then applied to two groups of IMPROVE receptors to identify sources of sulfate and nitrate. The southwest, the western Great Plains, and the eastern Midwest affect the south central United States group for high sulfate or nitrate. The areas of high sulfate affect the same receptors more consistently than the high nitrate areas across the time period. The Ohio River Valley through the Upper Midwest into the Northeast affects the northeastern group for sulfate and nitrate.
While there have been critical debates concerning urban landscapes renovated ‘in situ’, the open-... more While there have been critical debates concerning urban landscapes renovated ‘in situ’, the open-air museum represents a less examined strategy in the negotiation of time, space, and politics of a city—what Henri Lefebvre calls the ‘spatial practices of society’. Meiji-mura is an open-air museum containing infrastructure projects and buildings relocated from Japanese cities and towns since 1965. The purpose of this paper is to reveal how Meiji-mura's museum landscape: 1) naturalises its artefacts in their new context, and at the same time provides a village-like environment that is neater, more sanitised, and planned than the real cities where the artefacts derived; 2) incorporates theme park-like elements which contribute to a vagueness about the social histories that the artefacts elaborate; and 3) appropriates the idea of the museum as a means to devolve the political and religious powers imparted by artefacts so they can be appreciated as Art.
Ignitor is a proposed compact high-magnetic field tokamak aimed at studying plasma burning condit... more Ignitor is a proposed compact high-magnetic field tokamak aimed at studying plasma burning conditions in deuterium–tritium plasmas. A design revision of the ignitor project lead to the substitution of the graphite tiles with molybdenum ones. The consequences of this substitution from the radiological risk and environmental impact viewpoints are examined, applying a computational model for tritium inventory estimate and for activation calculation. It turns out that the global tritium inventory in the machine is almost halved by this design modification, due to a practically negligible tritium inventory in Mo. Activation of Mo is higher that that of C, however, it remains moderate. Because of this, some of the most relevant accidental sequences see a reduction of releases and of doses to public, due to radioactive source terms reduction. Graphite substitution with Mo in the first wall has therefore a global positive effect on the machine radiological safety.
ABSTRACT In this paper we present a tool that converts specifications written with a subset of St... more ABSTRACT In this paper we present a tool that converts specifications written with a subset of StateCharts into SystemC behav-ioral models. The main advantages of such an approach are rapidity of use, simplicity and reusability. Various sys-tems can be modeled at different ...
The present paper is devoted to the numerical modeling of turbulent reactive flows in situations ... more The present paper is devoted to the numerical modeling of turbulent reactive flows in situations where reactants are not ideally premixed. In this case, the description of the local thermochemistry requires at least two variables. Here, we chose the mixture fraction ξ to ...
IEEE Transactions on Geoscience and Remote Sensing, 2008
AbstractIn September 2000, an airborne synthetic aperture radar (SAR) mission acquired unprecede... more AbstractIn September 2000, an airborne synthetic aperture radar (SAR) mission acquired unprecedented full polarimetric P-band data over the Tapajós National Forest (Pará State), which is an area in the Brazilian Amazon which has been continuously monitored in the last three ...
Uploads
Papers