Design software architecture models using ontology

Software architecture plays an essential role in the high level description of a system design, where the structure and communication are emphasized. Despite its importance in the software engineering process, the lack of formal description and automated verification hinders the development of good software architecture models. In this paper, we present an approach to support the rigorous design and verification of software architecture models using the semantic web technology. We view software architecture models as ontology representations, where their structures and communication constraints are captured by the Web Ontology Language (OWL) and the Semantic Web Rule Language (SWRL). Specific configurations on the design are represented as concrete instances of the ontology, to which their structures and dynamic behaviors must conform. Furthermore, ontology reasoning tools can be applied to perform various automated verification on the design to ensure correctness, such as consistency checking, style recognition, and behavioral inference.

Specification of software architecture reconfiguration

In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new requirements. Reconfiguration amounts to adding and removing components and connections, and may have to occur without stopping the execution of the system being reconfigured. This work contributes to the formal description of such a process. Taking as a premise that a single formalism hardly ever satisfies all requirements in every situation, we present three approaches, each one with its own assumptions about the systems it can be applied to and with different advantages and disadvantages. Each approach is based on work of other researchers and has the aesthetic concern of changing as little as possible the original formalism, keeping its spirit. The first approach shows how a given reconfiguration can be specified in the same manner as the system it is applied to and in a way to be efficiently executed. The second approach explores the Chemical Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense of Category Theory, and specifies reconfigurations by graph transformation rules.

Purification of complex biopharmaceuticals with new processes, advanced analytics and computer-aided process design tools

Dissertação para obtenção do Grau de Mestre em Biotecnologia

Mental health care assessed based on structure, process and outcome : a retrospective cohort study

RESUMO: As doenças mentais são comuns, universais e associadas a uma significativa sobrecarga pessoal, familiar, social e económica. Os Serviços de Saúde Mental devem abordar de forma adequada as necessidades dos pacientes e familiares tanto ao nível clínico como também ao nível social. O presente estudo foi realizado num período de grande transformação nos sistemas de saúde primário e de saúde mental em Portugal, num Departamento de Psiquiatria desenvolvido com base nos princípios da OMS. Os objectivos incluem a caracterização: 1) das Unidades Funcionais do Departamento; 2) dos pacientes internados pela primeira vez no internamento de agudos; 3) da utilização dos serviços nas equipas comunitárias após a alta; e 4) da avaliação de alguns dos indicadores de qualidade do departamento, com recurso ao modelo de Donabedian sobre a articulação entre a Estrutura-Processo-Resultados. Metodologia: Foi escolhido um estudo de coorte retrospectivo. Todos os pacientes internados pela primeira vez entre 2008 e 2010 foram incluídos no estudo. Os seus processos clínicos e a base de dados do hospital onde são registados todos os contactos que estes tiveram com os profissionais de saúde mental foram revistos de forma a obter dados sociodemográficos e clínicos, durante o período do estudo e após a alta. Os instrumentos utilizados foram o WHO-ICMHC (Classificação Internacional de Cuidados de Saúde Mental), para caracterizar o Departamento, o AIESMP (Avaliação Inicial de Enfermagem em Saúde Mental e Psiquiatria) para recolha dos dados sociodemográficos, e o VSSS (Escala de Satisfação com os Serviços de Verona) de forma a avaliar a satisfação dos pacientes em relação aos cuidados recebidos. A análise estatística incluiu a análise descritiva, quantitativa e qualitativa dos dados. Resultados: As Unidades Funcionais do Departamento revelaram níveis elevados de articulação e consistência com as necessidades de cuidados psiquiátricos e reabilitação psicossocial dos pacientes. Os 543 pacientes admitidos pela primeira vez eram maioritariamente (56.9%) mulheres, caucasianas (81.2%), com diagnóstico de perturbações do humor (66.3%), internadas voluntariamente (59.7%), e uma idade média de 45.1 anos. Estas eram significativamente mais velhas, mais frequentemente empregadas, casadas/coabitar e tinham uma prevalência mais elevada de perturbações do humor, comparativamente aos homens. O internamento compulsivo era mais significativo nos homens (54.7%). A taxa de abandono no pós-alta (4.2%) e a taxa de reinternamentos (2.9%) na quinzena após a alta revelaram-se inferiores aos padrões na literatura internacional. De forma global, a satisfação dos pacientes com os cuidados de saúde mental foi positiva. Conclusões: Os cuidados prestados mostraram-se eficazes, adaptados e baseados nas necessidades e problemas específicos dos pacientes. A continuidade e a abrangência de cuidados foram difundidos e mantidos ao longo do processo de cuidados. Este Departamento pode ser considerado um exemplo de como proporcionar tratamento digno e eficiente, e uma referência para futuros serviços de psiquiatria.-------------- ABSTRACT: Mental health disorders are common, universal, and associated with heavy personal, family, social and economic burden. Mental health services should be aimed at adequately addressing patients’ and families’ needs at clinical and social level. The current study was carried out at a time of great transformation in the health and mental health systems in Portugal, in a Psychiatric Department developed taking in consideration the WHO principles. The objectives included characterizing: 1) the Psychiatric Department’s different units; 2) the patients admitted for the first time to the inpatient unit; 3) their use of community mental health services after discharge; and 4) assessing some of the department’s quality indicators, with resource to Donabedian’s Structure-Process-Outcome model. Methodology: A retrospective cohort design was chosen. All the firstly admitted patients in the period between 2008 and 2010 were included in the study. Their clinical records and the hospital’s database which registers all of the contacts the patients had with the mental health professionals during the study period, were reviewed to retrieve sociodemographic and clinical data and information on follow-up. The instruments used were the WHO International Classification of Mental Health Care (ICMHC) to characterize the department, the Initial Nurses’ Assessment in Mental Health and Psychiatry (AIESMP) for patients’ sociodemographic data, and the Verona Service Satisfaction Scale (VSSS) to assess patients’ satisfaction with care received. Statistical analysis included descriptive, quantitative and qualitative analysis of the data. Results: The Department’s Functional units revealed high levels of articulation, and were consistent with patients’ needs for psychiatric care and psychosocial rehabilitation. The 543 patients firstly admitted were mainly (56.9%) female, Caucasian (81.2%), diagnosed with mood disorders (66.3%), voluntarily admitted (59.7%), and with a mean age of 45.1 years. Female patients were significantly older, more frequently employed, married/cohabiting and had a higher prevalence of mood disorders when compared to males. Involuntary admission was more significant in males (54.7%). Dropout rates during follow-up (4.2%) and readmission rates (2.9%) in the fortnight following discharge were lower than standards in international literature. Overall patients’ satisfaction with mental health care was positive. Conclusions: The care delivered was effective, adapted and based on the patients’ specific needs and problems. Continuity and comprehensiveness of care was endorsed and maintained throughout the care process. This department may be considered an example of both humane and effective treatment, and a reference for future psychiatric care.

Design and characterization of novel biopolymeric structure using biocompatible ionic liquids

The main objective of this thesis was the development of polymeric structures from the dissolution of FucoPol, a bacterial exopolysaccharide (EPS), in a biocompatible ionic liquid, choline acetate. The FucoPol was produced by the bacteria Enterobacter A47 using glycerol as carbon source at controlled temperature and pH (30ºC and 7, respectively). At the end of 3 days it was produced 7 g/L of FucoPol. The net yield of Fucopol in glycerol (YP/S) was 0.22 g/g and the maximum productivity 2.37 g/L.d This polymer was characterized about its composition in sugars and acyl groups (by High-Performance Liquid Chromatography - HPLC), containing fucose (35 % mol), galactose (21 % mol), glucose (29 % mol), rhamnose (3% mol) and glucuronic acid (12% mol) as well as acetate (14.28 % mol), pyruvate (2.15 % mol) and succinate (1.80 % mol). Its content of water and ash was 15% p/p and 2% p/p, respectively, and the chemical bonds (determined by Infrared Spectroscopy - FT-IR) are consistent to the literature reports. However, due to limitations in Differential Scanning Calorimetry (DSC) equipment it was not possible to determine the glass transition temperature. In turn, the ionic liquid showed the typical behavior of a Newtonian fluid, glass transition temperature (determined by DSC) -98.03ºC and density 1.1031 g/cm3. The study of chemical bonds by FT-IR showed that amount of water (8.80%) influenced the visualization of the bands predicted to in view of their chemical structure. After the dissolution of the FucoPol in the ionic liquid at different temperatures (50, 60, 80 and 100 ° C) it was promoted the removal of this by the phase inversion method using deionized water as a solvent, followed by drying in an oven at 70 ° C. The mixtures before and after the phase inversion method were characterized through the studies mentioned above. In order to explore possible application field’s biocompatibility assays and collage on balsa wood tests were performed. It was found that the process of washing with water by the phase inversion method was not totally effective in removing the biocompatible ionic liquid, since all FucoPol – IL mixtures still contained ionic liquid in their composition as can be seen by the DSC results and FT-IR. In addition, washing the mixtures with water significantly altered the composition of FucoPol. However, these mixtures, that developed a viscous behavior typical of a non-Newtonian fluid (shear-thinning), have the potential to be applied in the biomedical field as well as biological glues.

Computational studies for the design of process equipment with complex geometries

This study combines several projects related to the flows in vessels with complex shapes representing different chemical apparata. Three major cases were studied. The first one is a two-phase plate reactor with a complex structure of intersecting micro channels engraved on one plate which is covered by another plain plate. The second case is a tubular microreactor, consisting of two subcases. The first subcase is a multi-channel two-component commercial micromixer (slit interdigital) used to mix two liquid reagents before they enter the reactor. The second subcase is a micro-tube, where the distribution of the heat generated by the reaction was studied. The third case is a conventionally packed column. However, flow, reactions or mass transfer were not modeled. Instead, the research focused on how to describe mathematically the realistic geometry of the column packing, which is rather random and can not be created using conventional computeraided design or engineering (CAD/CAE) methods. Several modeling approaches were used to describe the performance of the processes in the considered vessels. Computational fluid dynamics (CFD) was used to describe the details of the flow in the plate microreactor and micromixer. A space-averaged mass transfer model based on Fick’s law was used to describe the exchange of the species through the gas-liquid interface in the microreactor. This model utilized data, namely the values of the interfacial area, obtained by the corresponding CFD model. A common heat transfer model was used to find the heat distribution in the micro-tube. To generate the column packing, an additional multibody dynamic model was implemented. Auxiliary simulation was carried out to determine the position and orientation of every packing element in the column. This data was then exported into a CAD system to generate desirable geometry, which could further be used for CFD simulations. The results demonstrated that the CFD model of the microreactor could predict the flow pattern well enough and agreed with experiments. The mass transfer model allowed to estimate the mass transfer coefficient. Modeling for the second case showed that the flow in the micromixer and the heat transfer in the tube could be excluded from the larger model which describes the chemical kinetics in the reactor. Results of the third case demonstrated that the auxiliary simulation could successfully generate complex random packing not only for the column but also for other similar cases.

Design, implementation and application of a generic framework for integrated regional land-use modeling

Land use is a crucial link between human activities and the natural environment and one of the main driving forces of global environmental change. Large parts of the terrestrial land surface are used for agriculture, forestry, settlements and infrastructure. Given the importance of land use, it is essential to understand the multitude of influential factors and resulting land use patterns. An essential methodology to study and quantify such interactions is provided by the adoption of land-use models. By the application of land-use models, it is possible to analyze the complex structure of linkages and feedbacks and to also determine the relevance of driving forces. Modeling land use and land use changes has a long-term tradition. In particular on the regional scale, a variety of models for different regions and research questions has been created. Modeling capabilities grow with steady advances in computer technology, which on the one hand are driven by increasing computing power on the other hand by new methods in software development, e.g. object- and component-oriented architectures. In this thesis, SITE (Simulation of Terrestrial Environments), a novel framework for integrated regional sland-use modeling, will be introduced and discussed. Particular features of SITE are the notably extended capability to integrate models and the strict separation of application and implementation. These features enable efficient development, test and usage of integrated land-use models. On its system side, SITE provides generic data structures (grid, grid cells, attributes etc.) and takes over the responsibility for their administration. By means of a scripting language (Python) that has been extended by language features specific for land-use modeling, these data structures can be utilized and manipulated by modeling applications. The scripting language interpreter is embedded in SITE. The integration of sub models can be achieved via the scripting language or by usage of a generic interface provided by SITE. Furthermore, functionalities important for land-use modeling like model calibration, model tests and analysis support of simulation results have been integrated into the generic framework. During the implementation of SITE, specific emphasis was laid on expandability, maintainability and usability. Along with the modeling framework a land use model for the analysis of the stability of tropical rainforest margins was developed in the context of the collaborative research project STORMA (SFB 552). In a research area in Central Sulawesi, Indonesia, socio-environmental impacts of land-use changes were examined. SITE was used to simulate land-use dynamics in the historical period of 1981 to 2002. Analogous to that, a scenario that did not consider migration in the population dynamics, was analyzed. For the calculation of crop yields and trace gas emissions, the DAYCENT agro-ecosystem model was integrated. In this case study, it could be shown that land-use changes in the Indonesian research area could mainly be characterized by the expansion of agricultural areas at the expense of natural forest. For this reason, the situation had to be interpreted as unsustainable even though increased agricultural use implied economic improvements and higher farmers' incomes. Due to the importance of model calibration, it was explicitly addressed in the SITE architecture through the introduction of a specific component. The calibration functionality can be used by all SITE applications and enables largely automated model calibration. Calibration in SITE is understood as a process that finds an optimal or at least adequate solution for a set of arbitrarily selectable model parameters with respect to an objective function. In SITE, an objective function typically is a map comparison algorithm capable of comparing a simulation result to a reference map. Several map optimization and map comparison methodologies are available and can be combined. The STORMA land-use model was calibrated using a genetic algorithm for optimization and the figure of merit map comparison measure as objective function. The time period for the calibration ranged from 1981 to 2002. For this period, respective reference land-use maps were compiled. It could be shown, that an efficient automated model calibration with SITE is possible. Nevertheless, the selection of the calibration parameters required detailed knowledge about the underlying land-use model and cannot be automated. In another case study decreases in crop yields and resulting losses in income from coffee cultivation were analyzed and quantified under the assumption of four different deforestation scenarios. For this task, an empirical model, describing the dependence of bee pollination and resulting coffee fruit set from the distance to the closest natural forest, was integrated. Land-use simulations showed, that depending on the magnitude and location of ongoing forest conversion, pollination services are expected to decline continuously. This results in a reduction of coffee yields of up to 18% and a loss of net revenues per hectare of up to 14%. However, the study also showed that ecological and economic values can be preserved if patches of natural vegetation are conservated in the agricultural landscape. -----------------------------------------------------------------------

Insights into the molecular architecture of a peptide nanotube using FTIR and solid-state NMR spectroscopic measurements on an aligned sample

The self-assembly of proteins and peptides into b-sheet-rich amyloid fibers is a process that has gained notoriety because of its association with human diseases and disorders. Spontaneous self-assembly of peptides into nonfibrillar supramolecular structures can also provide a versatile and convenient mechanism for the bottom-up design of biocompatible materials with functional properties favoring a wide range of practical applications.[1] One subset of these fascinating and potentially useful nanoscale constructions are the peptide nanotubes, elongated cylindrical structures with a hollow center bounded by a thin wall of peptide molecules.[2] A formidable challenge in optimizing and harnessing the properties of nanotube assemblies is to gain atomistic insight into their architecture, and to elucidate precisely how the tubular morphology is constructed from the peptide building blocks. Some of these fine details have been elucidated recently with the use of magic-angle-spinning (MAS) solidstate NMR (SSNMR) spectroscopy.[3] MAS SSNMR measurements of chemical shifts and through-space interatomic distances provide constraints on peptide conformation (e.g., b-strands and turns) and quaternary packing. We describe here a new application of a straightforward SSNMR technique which, when combined with FTIR spectroscopy, reports quantitatively on the orientation of the peptide molecules within the nanotube structure, thereby providing an additional structural constraint not accessible to MAS SSNMR.

International asymmetries and the design of the International Financial System

Includes bibliography

Architectures and design patterns for functional design of logic control and diagnostics in industrial automation

Recently in most of the industrial automation process an ever increasing degree of automation has been observed. This increasing is motivated by the higher requirement of systems with great performance in terms of quality of products/services generated, productivity, efficiency and low costs in the design, realization and maintenance. This trend in the growth of complex automation systems is rapidly spreading over automated manufacturing systems (AMS), where the integration of the mechanical and electronic technology, typical of the Mechatronics, is merging with other technologies such as Informatics and the communication networks. An AMS is a very complex system that can be thought constituted by a set of flexible working stations, one or more transportation systems. To understand how this machine are important in our society let considerate that every day most of us use bottles of water or soda, buy product in box like food or cigarets and so on. Another important consideration from its complexity derive from the fact that the the consortium of machine producers has estimated around 350 types of manufacturing machine. A large number of manufacturing machine industry are presented in Italy and notably packaging machine industry,in particular a great concentration of this kind of industry is located in Bologna area; for this reason the Bologna area is called “packaging valley”. Usually, the various parts of the AMS interact among them in a concurrent and asynchronous way, and coordinate the parts of the machine to obtain a desiderated overall behaviour is an hard task. Often, this is the case in large scale systems, organized in a modular and distributed manner. Even if the success of a modern AMS from a functional and behavioural point of view is still to attribute to the design choices operated in the definition of the mechanical structure and electrical electronic architecture, the system that governs the control of the plant is becoming crucial, because of the large number of duties associated to it. Apart from the activity inherent to the automation of themachine cycles, the supervisory system is called to perform other main functions such as: emulating the behaviour of traditional mechanical members thus allowing a drastic constructive simplification of the machine and a crucial functional flexibility; dynamically adapting the control strategies according to the different productive needs and to the different operational scenarios; obtaining a high quality of the final product through the verification of the correctness of the processing; addressing the operator devoted to themachine to promptly and carefully take the actions devoted to establish or restore the optimal operating conditions; managing in real time information on diagnostics, as a support of the maintenance operations of the machine. The kind of facilities that designers can directly find on themarket, in terms of software component libraries provides in fact an adequate support as regard the implementation of either top-level or bottom-level functionalities, typically pertaining to the domains of user-friendly HMIs, closed-loop regulation and motion control, fieldbus-based interconnection of remote smart devices. What is still lacking is a reference framework comprising a comprehensive set of highly reusable logic control components that, focussing on the cross-cutting functionalities characterizing the automation domain, may help the designers in the process of modelling and structuring their applications according to the specific needs. Historically, the design and verification process for complex automated industrial systems is performed in empirical way, without a clear distinction between functional and technological-implementation concepts and without a systematic method to organically deal with the complete system. Traditionally, in the field of analog and digital control design and verification through formal and simulation tools have been adopted since a long time ago, at least for multivariable and/or nonlinear controllers for complex time-driven dynamics as in the fields of vehicles, aircrafts, robots, electric drives and complex power electronics equipments. Moving to the field of logic control, typical for industrial manufacturing automation, the design and verification process is approached in a completely different way, usually very “unstructured”. No clear distinction between functions and implementations, between functional architectures and technological architectures and platforms is considered. Probably this difference is due to the different “dynamical framework”of logic control with respect to analog/digital control. As a matter of facts, in logic control discrete-events dynamics replace time-driven dynamics; hence most of the formal and mathematical tools of analog/digital control cannot be directly migrated to logic control to enlighten the distinction between functions and implementations. In addition, in the common view of application technicians, logic control design is strictly connected to the adopted implementation technology (relays in the past, software nowadays), leading again to a deep confusion among functional view and technological view. In Industrial automation software engineering, concepts as modularity, encapsulation, composability and reusability are strongly emphasized and profitably realized in the so-calledobject-oriented methodologies. Industrial automation is receiving lately this approach, as testified by some IEC standards IEC 611313, IEC 61499 which have been considered in commercial products only recently. On the other hand, in the scientific and technical literature many contributions have been already proposed to establish a suitable modelling framework for industrial automation. During last years it was possible to note a considerable growth in the exploitation of innovative concepts and technologies from ICT world in industrial automation systems. For what concerns the logic control design, Model Based Design (MBD) is being imported in industrial automation from software engineering field. Another key-point in industrial automated systems is the growth of requirements in terms of availability, reliability and safety for technological systems. In other words, the control system should not only deal with the nominal behaviour, but should also deal with other important duties, such as diagnosis and faults isolations, recovery and safety management. Indeed, together with high performance, in complex systems fault occurrences increase. This is a consequence of the fact that, as it typically occurs in reliable mechatronic systems, in complex systems such as AMS, together with reliable mechanical elements, an increasing number of electronic devices are also present, that are more vulnerable by their own nature. The diagnosis problem and the faults isolation in a generic dynamical system consists in the design of an elaboration unit that, appropriately processing the inputs and outputs of the dynamical system, is also capable of detecting incipient faults on the plant devices, reconfiguring the control system so as to guarantee satisfactory performance. The designer should be able to formally verify the product, certifying that, in its final implementation, it will perform itsrequired function guarantying the desired level of reliability and safety; the next step is that of preventing faults and eventually reconfiguring the control system so that faults are tolerated. On this topic an important improvement to formal verification of logic control, fault diagnosis and fault tolerant control results derive from Discrete Event Systems theory. The aimof this work is to define a design pattern and a control architecture to help the designer of control logic in industrial automated systems. The work starts with a brief discussion on main characteristics and description of industrial automated systems on Chapter 1. In Chapter 2 a survey on the state of the software engineering paradigm applied to industrial automation is discussed. Chapter 3 presentes a architecture for industrial automated systems based on the new concept of Generalized Actuator showing its benefits, while in Chapter 4 this architecture is refined using a novel entity, the Generalized Device in order to have a better reusability and modularity of the control logic. In Chapter 5 a new approach will be present based on Discrete Event Systems for the problemof software formal verification and an active fault tolerant control architecture using online diagnostic. Finally conclusive remarks and some ideas on new directions to explore are given. In Appendix A are briefly reported some concepts and results about Discrete Event Systems which should help the reader in understanding some crucial points in chapter 5; while in Appendix B an overview on the experimental testbed of the Laboratory of Automation of University of Bologna, is reported to validated the approach presented in chapter 3, chapter 4 and chapter 5. In Appendix C some components model used in chapter 5 for formal verification are reported.

The structural architecture of adult mammalian articular cartilage evolves by a synchronized process of tissue resorption and neoformation during postnatal development

OBJECTIVE: During postnatal development, mammalian articular cartilage acts as a surface growth plate for the underlying epiphyseal bone. Concomitantly, it undergoes a fundamental process of structural reorganization from an immature isotropic to a mature (adult) anisotropic architecture. However, the mechanism underlying this structural transformation is unknown. It could involve either an internal remodelling process, or complete resorption followed by tissue neoformation. The aim of this study was to establish which of these two alternative tissue reorganization mechanisms is physiologically operative. We also wished to pinpoint the articular cartilage source of the stem cells for clonal expansion and the zonal location of the chondrocyte pool with high proliferative activity. METHODS: The New Zealand white rabbit served as our animal model. The analysis was confined to the high-weight-bearing (central) areas of the medial and lateral femoral condyles. After birth, the articular cartilage layer was evaluated morphologically at monthly intervals from the first to the eighth postnatal month, when this species attains skeletal maturity. The overall height of the articular cartilage layer at each juncture was measured. The growth performance of the articular cartilage layer was assessed by calcein labelling, which permitted an estimation of the daily growth rate of the epiphyseal bone and its monthly length-gain. The slowly proliferating stem-cell pool was identified immunohistochemically (after labelling with bromodeoxyuridine), and the rapidly proliferating chondrocyte population by autoradiography (after labelling with (3)H-thymidine). RESULTS: The growth activity of the articular cartilage layer was highest 1 month after birth. It declined precipitously between the first and third months, and ceased between the third and fourth months, when the animal enters puberty. The structural maturation of the articular cartilage layer followed a corresponding temporal trend. During the first 3 months, when the articular cartilage layer is undergoing structural reorganization, the net length-gain in the epiphyseal bone exceeded the height of the articular cartilage layer. This finding indicates that the postnatal reorganization of articular cartilage from an immature isotropic to a mature anisotropic structure is not achieved by a process of internal remodelling, but by the resorption and neoformation of all zones except the most superficial (stem-cell) one. The superficial zone was found to consist of slowly dividing stem cells with bidirectional mitotic activity. In the horizontal direction, this zone furnishes new stem cells that replenish the pool and effect a lateral expansion of the articular cartilage layer. In the vertical direction, the superficial zone supplies the rapidly dividing, transit-amplifying daughter-cell pool that feeds the transitional and upper radial zones during the postnatal growth phase of the articular cartilage layer. CONCLUSIONS: During postnatal development, mammalian articular cartilage fulfils a dual function, viz., it acts not only as an articulating layer but also as a surface growth plate. In the lapine model, this growth activity ceases at puberty (3-4 months of age), whereas that of the true (metaphyseal) growth plate continues until the time of skeletal maturity (8 months). Hence, the two structures are regulated independently. The structural maturation of the articular cartilage layer coincides temporally with the cessation of its growth activity - for the radial expansion and remodelling of the epiphyseal bone - and with sexual maturation. That articular cartilage is physiologically reorganized by a process of tissue resorption and neoformation, rather than by one of internal remodelling, has important implications for the functional engineering and repair of articular cartilage tissue.

DESIGN AND IMPLEMENTATION OF HOME USE PORTABLE SMART ELECTRONICS

The widespread of low cost embedded electronics makes it easier to implement the smart devices that can understand either the environment or the user behaviors. The main object of this project is to design and implement home use portable smart electronics, including the portable monitoring device for home and office security and the portable 3D mouse for convenient use. Both devices in this project use the MPU6050 which contains a 3 axis accelerometer and a 3 axis gyroscope to sense the inertial motion of the door or the human hands movement. For the portable monitoring device for home and office security, MPU6050 is used to sense the door (either home front door or cabinet door) movement through the gyroscope, and Raspberry Pi is then used to process the data it receives from MPU6050, if the data value exceeds the preset threshold, Raspberry Pi would control the USB Webcam to take a picture and then send out an alert email with the picture to the user. The advantage of this device is that it is a small size portable stand-alone device with its own power source, it is easy to implement, really cheap for residential use, and energy efficient with instantaneous alert. For the 3D mouse, the MPU6050 would use both the accelerometer and gyroscope to sense user hands movement, the data are processed by MSP430G2553 through a digital smooth filter and a complementary filter, and then the filtered data will pass to the personal computer through the serial COM port. By applying the cursor movement equation in the PC driver, this device can work great as a mouse with acceptable accuracy. Compared to the normal optical mouse we are using, this mouse does not need any working surface, with the use of the smooth and complementary filter, it has certain accuracy for normal use, and it is easy to be extended to a portable mouse as small as a finger ring.

Application of backend database contents and structure to the design of spoken dialog services

Current development platforms for designing spoken dialog services feature different kinds of strategies to help designers build, test, and deploy their applications. In general, these platforms are made up of several assistants that handle the different design stages (e.g. definition of the dialog flow, prompt and grammar definition, database connection, or to debug and test the running of the application). In spite of all the advances in this area, in general the process of designing spoken-based dialog services is a time consuming task that needs to be accelerated. In this paper we describe a complete development platform that reduces the design time by using different types of acceleration strategies based on using information from the data model structure and database contents, as well as cumulative information obtained throughout the successive steps in the design. Thanks to these accelerations, the interaction with the platform is simplified and the design is reduced, in most cases, to simple confirmations to the “proposals” that the platform automatically provides at each stage. Different kinds of proposals are available to complete the application flow such as the possibility of selecting which information slots should be requested to the user together, predefined templates for common dialogs, the most probable actions that make up each state defined in the flow, different solutions to solve specific speech-modality problems such as the presentation of the lists of retrieved results after querying the backend database. The platform also includes accelerations for creating speech grammars and prompts, and the SQL queries for accessing the database at runtime. Finally, we will describe the setup and results obtained in a simultaneous summative, subjective and objective evaluations with different designers used to test the usability of the proposed accelerations as well as their contribution to reducing the design time and interaction.

The historical heritage of domestic architecture is a reliable model for a satisfactory design. The case of the Mediterranean region

The purpose of this paper is to expose the importance of observing cultural systems present in a territory as a reference for the design of urban infrastructures in the new cities and regions of rapid development. If we accept the idea that architecture is an instrument or cultural system developed by man to act as an intermediary to the environment, it is necessary to understand the elemental interaction between man and his environment to meet a satisfactory design. To illustrate this purpose, we present the case of the Eurasian Mediterranean region, where the architectural culture acts as a cultural system of adaptation to the environment and it is formed by an ancient process of selection. From simple observation of architectural types, construction systems and environmental mechanisms treasured in mediterranean historical heritage we can extract crucial information about this elemental interaction. Mediterranean architectural culture has environmental mechanisms responding to the needs of basics habitability, ethnics and passive conditioning. These mechanisms can be basis of an innovative design without compromising the diversity and lifestyles of human groups in the region. The main fundament of our investigation is the determination of the historical heritage of domestic architecture as holder of the formation process of these mechanisms. The result allows us to affirm that the successful introduction of new urban infrastructures in an area need a reliable reference and it must be a cultural system that entailing in essence the environmental conditioning of human existence. The urban infrastructures must be sustainable, understood and accepted by the inhabitants. The last condition is more important when the urban infrastructures are implemented in areas that are developing rapidly or when there is no architectural culture.