Pristine and (SiC+Te)-added MgB2 powders, green and spark plasma sintered (SPS) compacts were investigated from the viewpoint of quasi-static and dynamic (Split-Hopkinson Pressure Bar, SHPB) compressive mechanical properties The amount of the additive (SiC+Te) was selected to be the optimum one for maximization of the superconducting functional parameters. Pristine and added MgB2 show very similar compressive parameters (tan δ, fracture strength, Vickers hardness, others) and fragment size in the SHPB test. However, for the bulk SPSed samples the ratio of intergranular to transgranular fracturing changes, the first one being stronger in the added sample. This is reflected in the quasi-static KIC that is higher for the added sample. Despite this result, sintered samples are brittle and have roughly similar fragmentation behavior as for brittle engineering ceramics. In the fragmentation process, the composite nature of our samples should be considered with a special focus on MgB2 blocks (colonies) that show the major contribution to fracturing. The Glenn-Chudnovsky model of fracturing under dynamic load provides the closest values to our experimental fragment size data. 相似文献
Ternary Ni(II) complexes of hydrazine and eight heterocyclic sulfonamides possessing carbonic anhydrase (CA) inhibitory properties, were prepared and characterized by elemental analysis, spectroscopic, magnetic, thermogravimetric, and conductimetric measurements. The complexes behave as strong inhibitors for two isozymes (I and II) of carbonic anhydrase. 相似文献
This research aims to complex validate radar displacement products over Bucharest based on Global Navigation Satellite System or GNSS. Validation was represented by the comparison of the recent TerraSAR-X (TSX) displacement results with field GNSS data. For this purpose, 24 and 27 high-resolution images acquired from the TSX satellite between 2011 and 2014 were processed by Permanent Scatterer Inteferometry (PSI) and Small BASeline Subset (SBAS) – interferometric techniques using synthetic aperture radar (SAR) images. The images were selected from a larger pool of SAR images, after consulting weather databases, which helped eliminate the images acquired under adverse weather conditions. GNSS locations were cross-checked on high-resolution optical images and 21 ground points (including three permanent stations) were selected. All these points were (1) characterized by high coherence on radar images; (2) were on the ground; (3) were situated in large vacant spaces; and (4) far away from radar obstacles such as trees. A major challenge in achieving the research goal was to overcome the lack of permanent stations at the ground level within the area of Bucharest. Instead of permanent stations, our team designed and installed forced centring systems that remained stable over time, eliminating the instalment errors of GNSS receivers. The line-of-site (LOS) components derived from GNSS data have been compared with those of the SAR scatterers closest to the GNSS markers (never coinciding). For each location, the vertical reading was projected in the LOS of the SAR sensor. These readings were compared with the displacement values determined at the locations of permanent scatterers (PSs) within 100 m from the GNSS nodes, by eliminating all scatterers on buildings. The comparison has shown a good agreement. 相似文献
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming and reasoning about interactive computing systems have been recently introduced by Stefanescu using register machines and space-time duality, see [Stefanescu, G. Interactive systems with registers and voices. Fundamenta Informaticae 73 (2006), 285–306. (Early draft, School of Computing, National University of Singapore, July 2004.)]. After that, Dragoi and Stefanescu have developed structured programming techniques for rv-systems and their verification, see, e.g., [Dragoi, C., and G. Stefanescu. Structured programming for interactive rv-systems. Institute of Mathematics of the Romanian Academy, IMAR Preprint 9/2006, Bucharest 2006. Dragoi, C., and G. Stefanescu. Towards a Hoare-like logic for structured rv-programs. Institute of Mathematics of the Romanian Academy, IMAR Preprint 10/2006, Bucharest, 2006. Dragoi, C., and G. Stefanescu. Implementation and verification of ring termination detection protocols using structured rv-programs. Annals of University of Bucharest, Mathematics-Informatics Series, 55 (2006), 129–138. Dragoi, C., and G. Stefanescu. Structured interactive programs with registers and voices and their verification. Draft, Bucharest, January 2007. Dragoi, C., and G. Stefanescu. On compiling structured interactive programs with registers and voices. In: “Proc. SOFSEM 2008,” 259–270. LNCS 4910, Springer, 2008.].In the present paper a kernel programming language AGAPIA v0.1 for interactive systems is introduced. The language contains definitions for complex spatial and temporal data, arithmetic and boolean expressions, modules, and while-programming statements with their temporal, spatial, and spatio-temporal versions. In AGAPIA v0.1 one can write programs for open processes located at various sites and having their temporal windows of adequate reaction to the environment. The main technical part of the paper describes a typing system for AGAPIA v0.1 programs. 相似文献
Starting from the idea of determinism in membrane systems, we introduce a language generating device consisting of morphisms
placed in the nodes of a tree. Initial strings are given in the leaves; by iteratively applying the morphisms to them, we
produce new strings, which are collected in the root of the tree. Such a device is called a tree-system of morphisms (in short, a T system). We investigate here the power of T systems, both in the extended (a terminal alphabet is considered
and only strings over it are accepted) and non-extended case, mainly in comparison with classes of languages in Lindenmayer
hierarchy.
Received: 8 February 2001 / 18 September 2001 相似文献
We propose an alternative approach to generate languages by means of P systems: building up an appropriate representation
for a string by means of a corresponding membrane structure and then generating the string by visiting the membrane structure
according to a well-specified strategy. To this aim, we consider P systems with active membranes, allowing membrane creation
or division or duplication and dissolution, where the output of a computation may be obtained either by visiting the tree
associated with the membrane structure, or by following the traces of a specific object, called traveller, or sending out
the objects. For each of these approaches, we provide characterizations of recursively enumerable languages based on P systems
that use different sets of operations for modifying the membrane structure.
Francesco Bernardini: He started his Ph.D. at the University of Sheffield in December 2002 after having previously got a master degree in Computer
Science from the University of Pisa in Italy. His research is dedicated to the study of theoretical aspects of membrane computing
(P systems) and discrete models of biological systems based on P systems.
Marian Gheorghe, Ph.D.: His main research interests are in computational models and their applications to software modelling and testing, formal
specifications of agent based systems, software engineering. He was investigating computational power of various generative
devices (regular, context-free, fully initial; grammar systems; L-systems and variants). He is currently interested in natural
computing (membrane calculus) and biological modelling. 相似文献
This paper presents a new method in order to appreciate the roughness of elliptical or spherical small bodies by using ultrasound. This thing is possible by knowing about 2-4 acoustic resonance frequencies. The maximum diameter and medium roughness of the bodies are evaluated. Small bodies such as tumors can be detected, when other medical devices like ultrasound or tomography computerized cannot evaluate the surface shape because of limited spatial resolution. The method is intended to be used in oncological medicine for early non-invasive diagnostic for cancer, because tumor tissue has outer surface more or less rough, depending on whether or not it is malignant. 相似文献
In this study, poly(L-lactic acid) (PLA)/low molar mass alkali lignin (aL) (1%, 5% and 10% w/w) composites were prepared primarily for a comprehensive understanding of the effect of aL on their antimicrobial properties, biocompatibility and cytotoxic behavior. The properties were evaluated by Fourier transform infrared spectroscopy, scanning electron microscopy, differential scanning calorimetry, thermogravimetry and X-ray diffraction. The mechanical, water vapor barrier properties and photodegradability were analyzed as well. The results showed a significant inhibiting effect of aL on the crystallization behavior of PLA, increased water barrier properties (up to 73%) and photodegradability. PLA/aL composites showed a tenfold reduction in Gram-positive bacteria viability, very good cellular response and very low cytotoxicity levels, thus validating these materials as non-cytotoxic and with high potential to be used as food packaging.