The MatSeek system is an ontology-based federated search interface to key materials science databases and analytical tools. By combining Semantic Web and Web 2.0 technologies, MatSeek provides materials scientists with a single Web interface that enables them to search across disparate databases containing crystal-structure data, ionic-conductivity data, and phase stability data; render 3D crystal-structure images; calculate bond lengths and angles; retrieve relevant scholarly references; and identify potential new materials with the structure and properties required to satisfy specific applications. The MatOnto ontology underlying MatSeek enables integration of data across disparate databases, and Web 2.0 technologies enable iterative searching across the databases. The results retrieved from searching the previous database are used as input to the query on the next database. By providing materials scientists with a single, integrated Web interface to the critical materials science databases and analytical tools, MatSeek represents a significant advance toward a full-fledged materials-informatics workbench. 相似文献
The flow stress of polycrystals is controlled by the processes occurring in the grain interior as well as in the mantle, i.e. at the grain boundary and its immediate vicinity. The early stages of evolution of dislocation substructure in these two regions with strain in 316L stainless steel polycrystals have been studied at 293 K, 673 K and 1123 K representing the low temperature thermal, the intermediate temperature athermal and the high temperature thermal regimes respectively. Specimens with grain sizes of 4 and 12 m were employed to determine the effect of grain size.Transmission electron microscopy studies on deformed specimens show the different roles of grain boundary and grain interior in different temperature regimes. In the low temperature regime grain boundaries act as obstacles to moving dislocations and as such high density of dislocation is found in the grain boundary vicinity. In the intermediate temperature regime the dislocations which are easily spread into the grain interior rearrange to form cell walls. In the high temperature regime grain boundaries transform to the equilibrium state and do not contain any grain boundary dislocations, and the distribution of dislocations within grains is homogeneous at all strains. Significantly higher values of dislocation densities in the vicinity as well as in the grain interior were found in the finer grain size material in the whole strain region employed. 相似文献
Journal of Automated Reasoning - Algebraic datatypes, and among them lists and trees, have attracted a lot of interest in automated reasoning and Satisfiability Modulo Theories (SMT). Since its... 相似文献
We present a new rapid prototyping method designed for simple fabrication of 3D microfluidics using a maskless direct writing technique on polymer substrates. The entire process is enabled by a commercial cutter plotter with 10 μm resolution precision and high speed. A CAD design of top and bottom microstructures is directly written on a polymer substrate using a cutter plotter after setting up the suitable force. The smallest channel width of 20 μm was obtained with the minimum force and 100 μm from the maximum. Also the written depth increased linearly with force from 30 to 130 μm. Several 3D microfluidic devices are demonstrated using a maskless writing technique. The entire fabrication process from CAD layout to a final 3D device can be completed in 30 min outside the clean room facilities. 相似文献
In this work we present Bio-PEPA, a process algebra for the modelling and the analysis of biochemical networks. It is a modification of PEPA, originally defined for the performance analysis of computer systems, in order to handle some features of biological models, such as stoichiometry and the use of general kinetic laws. Bio-PEPA may be seen as an intermediate, formal, compositional representation of biological systems, on which different kinds of analyses can be carried out. Bio-PEPA is enriched with some notions of equivalence. Specifically, the isomorphism and strong bisimulation for PEPA have been considered and extended to our language. Finally, we show the translation of a biological model into the new language and we report some analysis results. 相似文献
In parallel to the changes in both the architecture domain–the move toward chip multiprocessors (CMPs)–and the application domain–the move toward increasingly data-intensive workloads–issues such as performance, energy efficiency and CPU availability are becoming increasingly critical. The CPU availability can change dynamically due to several reasons such as thermal overload, increase in transient errors, or operating system scheduling. An important question in this context is how to adapt, in a CMP, the execution of a given application to CPU availability change at runtime. Our paper studies this problem, targeting the energy-delay product (EDP) as the main metric to optimize. We first discuss that, in adapting the application execution to the varying CPU availability, one needs to consider the number of CPUs to use, the number of application threads to accommodate and the voltage/frequency levels to employ (if the CMP has this capability). We then propose to use helper threads to adapt the application execution to CPU availability change in general with the goal of minimizing the EDP. The helper thread runs parallel to the application execution threads and tries to determine the ideal number of CPUs, threads and voltage/frequency levels to employ at any given point in execution. We illustrate this idea using four applications (Fast Fourier Transform, MultiGrid, LU decomposition and Conjugate Gradient) under different execution scenarios. The results collected through our experiments are very promising and indicate that significant EDP reductions are possible using helper threads. For example, we achieved up to 66.3%, 83.3%, 91.2%, and 94.2% savings in EDP when adjusting all the parameters properly in applications FFT, MG, LU, and CG, respectively. We also discuss how our approach can be extended to address multi-programmed workloads. 相似文献
This paper proposes a model, Recommendation of Appropriate Partners (RAP), used on a Social Networking Service (SNS) for locating appropriate “helpers” for users based on individual users’ Chain of Friends (CoF) relationships. Using the RAP model, individual users can participate in a collaborative online community in remote locations, whereby helpers are willing to help other users solve their tasks/problems, and it is intended that both the users and helpers gain knowledge from these interactive online sessions. An example of the RAP-based system was implemented to invite Program Committee members to an international conference. The system was evaluated and the experimental results show that our model is very effective for discovering collaboration partners and finding users with similar interests in order to create communities for providing future and longer-term helping exchange.
This paper contextualises, describes and discusses a student project which takes a particular exploratory approach to using
mathematical surface definition as a language and vehicle for co-rational design co-authorship for architecture and engineering.
The project has two authors, one from an architectural and one from an engineering educational background. It investigates
the metaphorical and operational role of mathematics in the design process and outcomes. 相似文献
Air-water mass transfer of hydrogen sulfide from a shallow tank with a quiescent surface under the influence of weak wind stress on the water surface was studied numerically using a two-dimensional model. The flow field in the tank was investigated using a computational code based on a finite volume, which is used to numerically solve momentum, mass and continuity conservation equations. The results show that water phase flow field is strongly dependent on the wind-induced surface velocity and the aspect ratio of the tank. Based on the numerical study, the liquid-side mass transfer coefficient is correlated with Reynolds number (R(e)), tank aspect ratio (AR) and Schmidt number (S(c)). Overall mass transfer coefficient (K(L)) values extend further downstream as the R(e) number increases. 相似文献