Requisitos Funcionais para Registros Bibliográficos (FRBR): considerações sobre o modelo e sua implementabilidade

The Information Technology and Communication (ICT) made possible to adapt bibliographic catalogs to the digital environment, giving them more speed, flexibility and efficiency in the information retrieval. The FRBR, as a conceptual model for the bibliographic universe based on entity-relationship modeling, brought to the Librarianship area the possibility of making more efficient operation catalogs. The FRBR model was the first initiative caring about how to accomplish the conceptual modeling of bibliographic catalogs, to do not spend more efforts in individual developments of distinct and inconsistent modeling.However, even many years after its publication, there were few real implementation initiatives. The aim of this study is to present the model, based on its main features and structure, and bring to the discussion some considerations and inconsistencies that, according to the literature, may be the cause of its failure so far. It s based on the national and international literature about conceptual modeling and about the FRBR model.

Assembleia de aves em dois fragmentos florestais no interior do estado de São Paulo

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Late evaluation of the relationship between morphological and functional renal changes and hypertension after non-operative treatment of high-grade renal injuries

Objective: To evaluate the anatomical and functional renal alterations and the association with post-traumatic arterial hypertension. Methods: The studied population included patients who sustained high grades renal injury (grades III to V) successfully non-operative management after staging by computed tomography over a 16-year period. Beyond the review of medical records, these patients were invited to the following protocol: clinical and laboratory evaluation, abdominal computed tomography, magnetic resonance angiography, DMSA renal scintigraphy, and ambulatory blood pressure monitoring. The hypertensive patients also were submitted to dynamic renal scintigraphy (Tc-99m EC), using captopril stimulation to verify renal vascular etiology. Results: Of the 31 patients, there were thirteen grade III, sixteen grade IV (nine lacerations, and seven vascular lesions), and two grade V injuries. All the patients were asymptomatic and an average follow up post-injury of 6.4 years. None had abnormal BUN or seric creatinine. The percentage of renal volume reduction correlates with the severity as defined by OIS. There was no evidence of renal artery stenosis in Magnetic Resonance angiography (MRA). DMSA scanning demonstrated a decline in percentage of total renal function corresponding to injury severity (42.2 +/- 5.5% for grade III, 35.3 +/- 12.8% for grade IV, 13.5 +/- 19.1 for grade V). Six patients (19.4%) had severe compromised function (< 30%). There was statistically significant difference in the decrease in renal function between parenchymal and vascular causes for grade IV injuries (p < 0.001). The 24-hour ambulatory blood pressure monitoring detected nine patients (29%) with post-traumatic hypertension. All the patients were male, mean 35.6 years, 77.8 % had a familial history of arterial hypertension, 66.7% had grade III renal injury, and average post-injury time was 7.8 years. Seven patients had negative captopril renography. Conclusions: Late results of renal function after conservative treatment of high grades renal injuries are favorable, except for patients with grades IV with vascular injuries and grade V renal injuries. Moreover, arterial hypertension does not correlate with the grade of renal injury or reduction of renal function.

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 Lower Limb Functional Index: development and clinimetric properties

Background Existing lower-limb, region-specific, patient-reported outcome measures have clinimetric limitations, including limitations in psychometric characteristics (eg, lack of internal consistency, lack of responsiveness, measurement error) and the lack of reported practical and general characteristics. A new patient-reported outcome measure, the Lower Limb Functional Index (LLFI), was developed to address these limitations. Objective The purpose of this study was to overcome recognized deficiencies in existing lower-limb, region-specific, patient-reported outcome measures through: (1) development of a new lower-extremity outcome scale (ie, the LLFI) and (2) evaluation of the clinimetric properties of the LLFI using the Lower Extremity Functional Scale (LEFS) as a criterion measure. Design This was a prospective observational study. Methods The LLFI was developed in a 3-stage process of: (1) item generation, (2) item reduction with an expert panel, and (3) pilot field testing (n=18) for reliability, responsiveness, and sample size requirements for a larger study. The main study used a convenience sample (n=127) from 10 physical therapy clinics. Participants completed the LLFI and LEFS every 2 weeks for 6 weeks and then every 4 weeks until discharge. Data were used to assess the psychometric, practical, and general characteristics of the LLFI and the LEFS. The characteristics also were evaluated for overall performance using the Measurement of Outcome Measures and Bot clinimetric assessment scales. Results The LLFI and LEFS demonstrated a single-factor structure, comparable reliability (intraclass correlation coefficient [2,1]=.97), scale width, and high criterion validity (Pearson r=.88, with 95% confidence interval [CI]). Clinimetric performance was higher for the LLFI compared with the LEFS on the Measurement of Outcome Measures scale (96% and 95%, respectively) and the Bot scale (100% and 83%, respectively). The LLFI, compared with the LEFS, had improved responsiveness (standardized response mean=1.75 and 1.64, respectively), minimal detectable change with 90% CI (6.6% and 8.1%, respectively), and internal consistency (α=.91 and .95, respectively), as well as readability with reduced user error and completion and scoring times. Limitations Limitations of the study were that only participants recruited from outpatient physical therapy clinics were included and that no specific conditions or diagnostic subgroups were investigated. Conclusion The LLFI demonstrated sound clinimetric properties. There was lower response error, efficient completion and scoring, and improved responsiveness and overall performance compared with the LEFS. The LLFI is suitable for assessment of lower-limb function.

Expression, purification, and projection structure by single particle electron microscopy of functional human TRPM4 heterologously expressed in Xenopus laevis oocytes

Despite efforts implicating the cationic channel transient receptor potential melastatin member 4 (TRPM4) to cardiac, nervous, and immunological pathologies, little is known about its structure and function. In this study, we optimized the requirements for purification and extraction of functional human TRPM4 protein and investigated its supra-molecular assembly. We selected the Xenopus laevis oocyte expression system because it lacks endogenous TRPM4 expression, it is known to overexpress functional human membrane channels, can be used for structure-function analysis within the same system, and is easily scaled to improve yield and develop moderate throughput capabilities through the use of robotics. Negative-stain electron microscopy (EM) revealed various sized low-resolution particles. Single particle analysis identified the majority of the projections represented the monomeric form with additional oligomeric structures potentially characterized as tetramers. Two-electrode voltage clamp electrophysiology demonstrated that human TRPM4 is functionally expressed at the oocyte plasma membrane. This study opens the door for medium-throughput screening and structure-function determination of this important therapeutically relevant target.

DEVELOPING A METHOD FOR IDENTIFYING AND REDUCING FUNCTIONAL DISCREPANCIES OF INFORMATION SYSTEMS

Currently more than half of Electronic Health Record (EHR) projects fail. Most of these failures are not due to flawed technology, but rather due to the lack of systematic considerations of human issues. Among the barriers for EHR adoption, function mismatching among users, activities, and systems is a major area that has not been systematically addressed from a human-centered perspective. A theoretical framework called Functional Framework was developed for identifying and reducing functional discrepancies among users, activities, and systems. The Functional Framework is composed of three models – the User Model, the Designer Model, and the Activity Model. The User Model was developed by conducting a survey (N = 32) that identified the functions needed and desired from the user’s perspective. The Designer Model was developed by conducting a systemic review of an Electronic Dental Record (EDR) and its functions. The Activity Model was developed using an ethnographic method called shadowing where EDR users (5 dentists, 5 dental assistants, 5 administrative personnel) were followed quietly and observed for their activities. These three models were combined to form a unified model. From the unified model the work domain ontology was developed by asking users to rate the functions (a total of 190 functions) in the unified model along the dimensions of frequency and criticality in a survey. The functional discrepancies, as indicated by the regions of the Venn diagrams formed by the three models, were consistent with the survey results, especially with user satisfaction. The survey for the Functional Framework indicated the preference of one system over the other (R=0.895). The results of this project showed that the Functional Framework provides a systematic method for identifying, evaluating, and reducing functional discrepancies among users, systems, and activities. Limitations and generalizability of the Functional Framework were discussed.

Differentiative requirements for human CD8$\sp+$ suppressor lymphocytes

The aim of this research was to characterize the differentiative requirements of human CD8$\sp{+}$ suppressor lymphocytes. We investigated the role of monocytes in cellular interactions required for generation of T suppressor cells (Ts) in pokeweed mitogen (PWM) stimulated peripheral blood mononuclear cells (PBMC). We observed that the functional activity of CD8$\sp{+}$ T cells was dependent on the concentration of monocytes in the inductive cultures; at concentrations normally present in peripheral blood, PWM stimulation induced potent suppressor activity, whereas under conditions of moderate monocyte depletion the same phenotypic subset of CD8$\sp{+}$ cells enhanced responses. We also demonstrated that differentiation of CD8$\sp{+}$CD28$\sp{-}$ suppressor cells could be mediated by soluble products elaborated by monocytes and CD4$\sp{+}$ cells, identified as PGE$\sb2$ and IFN$\gamma$ respectively. These two signals were required sequentially to cause Ts induction. That is PGE$\sb2$ was required initially, followed by an IFN$\gamma$-dependent differentiative step. We also explored the possibility that PGE$\sb2$ caused modulation of the IFN$\gamma$ receptor number and/or affinity on CD8$\sp{+}$ cells, which might render these cells responsive to the differentiative effect of the IFN$\gamma$-signal. Using radiolabelled $\sp{125}$I-IFN$\gamma$, direct binding assays demonstrated that 10$\sp{-8}$M PGE$\sb2$ selectively increased the number of receptors on the CD8$\sp{+}$ cells. In contrast CD4$\sp{+}$ cells treated similarly exhibited no significant change in their number of IFN$\gamma$ receptors. These results, thus, suggest a relationship between PGE$\sb2$ induced expression of IFN$\gamma$ receptor and the initial requirement for PGE$\sb2$ in IFN$\gamma$-dependent differentiation of Ts cells. Together, our results suggest a crucial role for PGE$\sb2$ and IFN$\gamma$ in regulation of the immune response. Furthermore, such detailed definition of the differentiative requirements for CD8$\sp{+}$ suppressor cells should provide new insight into fundamental mechanisms of immunoregulation. ^

Pollen-based quantitative reconstructions of Holocene regional vegetation cover (plant-functional types and land-cover types) in Europe suitable for climate modelling

We present quantitative reconstructions of regional vegetation cover in north-western Europe, western Europe north of the Alps, and eastern Europe for five time windows in the Holocene around 6k, 3k, 0.5k, 0.2k, and 0.05k calendar years before present (bp)] at a 1 degrees x1 degrees spatial scale with the objective of producing vegetation descriptions suitable for climate modelling. The REVEALS model was applied on 636 pollen records from lakes and bogs to reconstruct the past cover of 25 plant taxa grouped into 10 plant-functional types and three land-cover types evergreen trees, summer-green (deciduous) trees, and open land]. The model corrects for some of the biases in pollen percentages by using pollen productivity estimates and fall speeds of pollen, and by applying simple but robust models of pollen dispersal and deposition. The emerging patterns of tree migration and deforestation between 6k bp and modern time in the REVEALS estimates agree with our general understanding of the vegetation history of Europe based on pollen percentages. However, the degree of anthropogenic deforestation (i.e. cover of cultivated and grazing land) at 3k, 0.5k, and 0.2k bp is significantly higher than deduced from pollen percentages. This is also the case at 6k in some parts of Europe, in particular Britain and Ireland. Furthermore, the relationship between summer-green and evergreen trees, and between individual tree taxa, differs significantly when expressed as pollen percentages or as REVEALS estimates of tree cover. For instance, when Pinus is dominant over Picea as pollen percentages, Picea is dominant over Pinus as REVEALS estimates. These differences play a major role in the reconstruction of European landscapes and for the study of land cover-climate interactions, biodiversity and human resources.

How Do Software Architects Specify and Validate Quality Requirements?

Software architecture is the result of a design effort aimed at ensuring a certain set of quality attributes. As we show, quality requirements are commonly specified in practice but are rarely validated using automated techniques. In this paper we analyze and classify commonly specified quality requirements after interviewing professionals and running a survey. We report on tools used to validate those requirements and comment on the obstacles encountered by practitioners when performing such activity (e.g., insufficient tool-support; poor understanding of users needs). Finally we discuss opportunities for increasing the adoption of automated tools based on the information we collected during our study (e.g., using a business-readable notation for expressing quality requirements; increasing awareness by monitoring non-functional aspects of a system).

Identifying the roles of the Escherichia coli FtsZ-associated proteins by minimizing the requirements for division

Formation of the FtsZ ring (Z ring) in Escherichia coli is the first step in assembly of the divisome, a molecular machine composed of 14 known proteins which are all required for cell division. Although the biochemical functions of most divisome proteins are unknown, several of these have overlapping roles in ensuring that the Z ring assembles at the cytoplasmic membrane and is active. ^ We identified a single amino acid change in FtsA, R286W, renamed FtsA*, that completely bypasses the requirement for ZipA in cell division. This and other data suggest that FtsA* is a hyperactive form of FtsA that can replace the multiple functions normally assumed by ZipA, which include stabilization of Z rings, recruitment of downstream cell division proteins, and anchoring the Z ring to the membrane. This is the first example of complete functional replacement of an essential prokaryotic cell division protein by another. ^ Cells expressing ftsA* with a complete deletion of ftsK are viable and divide, although many of these ftsK null cells formed multiseptate chains, suggesting a role in cell separation for FtsK. In addition, strains expressing extra ftsAZ, ftsQ, ftsB, zipA or ftsN, were also able to survive and divide in the absence of ftsK. The cytoplasmic and transmembrane domains of FtsQ were sufficient to allow viability and septum formation to ftsK deleted strains. These findings suggest that FtsK is normally involved in stabilizing the divisome and shares functional overlap with other cell division proteins. ^ As well as permitting the removal of other divisome components, the presence of FtsA* in otherwise wild-type cells accelerated Z-ring assembly, which resulted in a significant decrease in the average length of cells. In support of its role in Z-ring stability, FtsA* suppressed the cell division inhibition caused by overexpressing FtsZ. FtsA* did not affect FtsZ turnover within the Z ring as measured by fluorescence recovery after photobleaching. Turnover of FtsA* in the ring was somewhat faster than wild-type FtsA. Yeast two-hybrid data suggest that FtsA* has an increased affinity for FtsZ relative to wild-type FtsA. These results indicate that FtsA* interacts with FtsZ more strongly, and its enhancement of Z ring assembly may explain why FtsA* can permit survival of cells lacking ZipA or FtsK.^

Evaluation of the relationship between nutrition and functional independence measures among stroke patients undergoing inpatient rehabilitation

Cerebrovascular accidents (CVA) or strokes are now the third leading cause of death in the United States. Many who suffer strokes are admitted to rehabilitation centers in order to receive therapy to help rebuild and recovery function. Nutrition plays a significant role in rehabilitation patient outcomes, and is an essential part of comprehensive care. The purpose of this study is to determine if nutrition and diet consistency are directly and independently associated with changes in the Functional Independence Measure (FIM) scores in stroke patients in an acute rehabilitation unit. This study was a retrospective secondary analysis review of medical chart records, and included a total of 84 patients. Patients were divided into groups based on their admission diet: Regular, Dysphagia Advanced, Dysphagia Mechanically Altered, Dysphagia Pureed, and Nutrition Support. Measurements included admission and discharge Total, Motor, and Cognitive FIM scores; BMI, albumin and prealbumin; age, sex, and race. Patients did show a significant improvement in their FIM scores during their stay, with patients on Regular diets having the highest FIM scores. Patients who were more debilitated and had lower FIM scores were usually in one of the altered texture diet groups, or on nutrition support. Prealbumin and BMI were also the highest in patients who had high FIM scores. Patients who were admitted on an altered diet also tended to advance in their diets, which show improvement in overall function. It is crucial to continue to improve nutrition administration to this population to help prevent morbidity and mortality. Proper nutrition in the acute phase of stroke can lay the essential groundwork for recovery.^

Verifying ontology requirements with SWIP

Verifying whether an ontology meets the set of established requirements is a crucial activity in ontology engineering. In this sense, methods and tools are needed (a) to transform (semi-)automatically functional ontology requirements into SPARQL queries, which can serve as unit tests to verify the ontology, and (b) to check whether the ontology fulfils the requirements. Thus, our purpose in this poster paper is to apply the SWIP approach to verify whether an ontology satisfies the set of established requirements.

HERMES: Towards an Integrated Toolbox to Characterize Functional and Effective Brain Connectivity

The analysis of the interdependence between time series has become an important field of research in the last years, mainly as a result of advances in the characterization of dynamical systems from the signals they produce, the introduction of concepts such as generalized and phase synchronization and the application of information theory to time series analysis. In neurophysiology, different analytical tools stemming from these concepts have added to the ‘traditional’ set of linear methods, which includes the cross-correlation and the coherency function in the time and frequency domain, respectively, or more elaborated tools such as Granger Causality. This increase in the number of approaches to tackle the existence of functional (FC) or effective connectivity (EC) between two (or among many) neural networks, along with the mathematical complexity of the corresponding time series analysis tools, makes it desirable to arrange them into a unified-easy-to-use software package. The goal is to allow neuroscientists, neurophysiologists and researchers from related fields to easily access and make use of these analysis methods from a single integrated toolbox. Here we present HERMES (http://hermes.ctb.upm.es), a toolbox for the Matlab® environment (The Mathworks, Inc), which is designed to study functional and effective brain connectivity from neurophysiological data such as multivariate EEG and/or MEG records. It includes also visualization tools and statistical methods to address the problem of multiple comparisons. We believe that this toolbox will be very helpful to all the researchers working in the emerging field of brain connectivity analysis.

Mandate M 376: new software accessibility requirements

Software needs to be accessible for persons with disabilities and there are several guidelines to assist developers in building more accessible software. Regulation activities are beginning to make the accessibility of software a mandatory requirement in some countries. One such activity is the European Mandate M 376, which will result in a European standard (EN 301 549) defining functional accessibility requirements for information and communication technology products and services. This paper provides an overview of Mandate M 376 and EN 301 549, and describes the requirements for software accessibility defined in EN 301 549, according to a feature-based approach