An overview of the MPEG-7 description definition language (DDL)

This paper presents an overview of the MPEG-7 Description Definition Language (DDL). The DDL provides the syntactic rules for creating, combining, extending and refining MPEG-7 Descriptors (Ds) and Description Schemes (DSs), In the interests of interoperability, the W3C's XML Schema language, with the addition of certain MPEG-7-specific extensions, has been chosen as the DDL. This paper describes the background to this decision and using examples, provides an overview of the core XML, schema features used within MPEG-7 and the extensions made in order to satisfy the MPEG-7 DDL requirements.

A spectral clustering algorithm for manufacturing cell formation

A graph clustering algorithm constructs groups of closely related parts and machines separately. After they are matched for the least intercell moves, a refining process runs on the initial cell formation to decrease the number of intercell moves. A simple modification of this main approach can deal with some practical constraints, such as the popular constraint of bounding the maximum number of machines in a cell. Our approach makes a big improvement in the computational time. More importantly, improvement is seen in the number of intercell moves when the computational results were compared with best known solutions from the literature. (C) 2009 Elsevier Ltd. All rights reserved.

Biomimetic in silico devices

We introduce biomimetic in silico devices, and means for validation along with methods for testing and refining them. The devices are constructed from adaptable software components designed to map logically to biological components at multiple levels of resolution. In this report we focus on the liver; the goal is to validate components that mimic features of the lobule (the hepatic primary functional unit) and dynamic aspects of liver behavior, structure, and function. An assembly of lobule-mimetic devices represents an in silico liver. We validate against outflow profiles for sucrose administered as a bolus to isolated, perfused rat livers. Acceptable in silico profiles are experimentally indistinguishable from those of the in situ referent. This new technology is intended to provide powerful Dew tools for challenging our understanding of how biological functional units function in vivo.

Impairments of movement kinematics in patients with Huntington's disease: A comparison with and without a concurrent task

This study aimed to quantify the efficiency and smoothness of voluntary movement in Huntington's disease (HD) by the use of a graphics tablet that permits analysis of movement profiles. In particular, we aimed to ascertain whether a concurrent task (digit span) would affect the kinematics of goal-directed movements. Twelve patients with HD and their matched controls performed 12 vertical zig-zag movements, with both left and right hands (with and without the concurrent task), to large or small circular targets over long or short extents. The concurrent task was associated with shorter movement times and reduced right-hand superiority. Patients with HD were overall slower, especially with long strokes, and had similar peak velocities for both small and large targets, so that controls could better accommodate differences in target size. Patients with HD spent more time decelerating, especially with small targets, whereas controls allocated more nearly equal proportions of time to the acceleration and deceleration phases of movement, especially with large targets. Short strokes were generally less force inefficient than were long strokes, especially so for either hand in either group in the absence of the concurrent task, and for the right hand in its presence. With the concurrent task, however, the left hand's behavior changed differentially for the two groups; for patients with HD, it became more force efficient with short strokes and even less efficient with long strokes, whereas for controls, it became more efficient with long strokes. Controls may be able to divert attention away from the inferior left hand, increasing its automaticity, whereas patients with HD, because of disease, may be forced to engage even further online visual control under the demands of a concurrent task. Patients with HD may perhaps become increasingly reliant on terminal visual guidance, which indicates an impairment in constructing and refining an internal representation of the movement necessary for its. effective execution. Basal ganglia dysfunction may impair the ability to use internally generated cues to guide movement.

Supporting contexts in program refinement

A program can be refined either by transforming the whole program or by refining one of its components. The refinement of a component is, for the main part, independent of the remainder of the program. However, refinement of a component can depend on the context of the component for information about the variables that are in scope and what their types are. The refinement can also take advantage of additional information, such as any precondition the component can assume. The aim of this paper is to introduce a technique, which we call program window inference, to handle such contextual information during derivations in the refinement calculus. The idea is borrowed from a technique, called window inference, for handling context in theorem proving. Window inference is the primary proof paradigm of the Ergo proof editor. This tool has been extended to mechanize refinement using program window inference. (C) 1997 Elsevier Science B.V.

Pulmonary function and histological impairment in mice after acute exposure to aluminum dust

Along the aluminum refining process, alumina (Al(2)O(3)) constitutes the main source of dust. Although aluminum refinery workers present respiratory symptoms with lung functional changes, no conclusive data about lung function impairment after alumina exposure has been so far reported. We examined the pulmonary alterations of exposure to material collected in an aluminum refinery in Brazil. BALB/c mice were exposed in a whole-body chamber for 1 h to either saline (CTRL, n = 11) or to a suspension (in saline) of 8 mg/m(3) of the dust (ALUM, n = 11) both delivered by an ultrasonic nebulizer. Twenty-four hours after exposure lung mechanics were measured by the end-inflation method. Lungs were prepared for histology. ALUM showed significantly higher static elastance (34.61 +/- 5.76 cmH(2)O/mL), elastic component of viscoelasticity (8.16 +/- 1.20 cmH(2)O/mL), pressure used to overcome the resistive component of viscoelasticity (1.62 +/- 0.24 cmH(2)O), and total resistive pressure (2.21 +/- 0.49 cmH(2)O) than CTRL (27.95 +/- 3.63 cmH(2)O/mL, 6.12 +/- 0.99 cmH(2)O/mL, 1.23 +/- 0.19 cmH(2)O, and 1.68 +/- 0.23 cmH(2)O, respectively). ALUM also presented significantly higher fraction area of alveolar collapse (69.7 +/- 1.2%) and influx of polymorphonuclear cells (27.5 +/- 1.1%) in lung parenchyma than CTRL (27.2 +/- 1.1% and 14.6 +/- 0.7%, respectively). The composition analysis of the particulate matter showed high concentrations of aluminum. For the first time it was demonstrated in an experimental model that an acute exposure to dust collected in an aluminum producing facility impaired lung mechanics that could be associated with inflammation.

Endoscopic-guided percutaneous radiofrequency cordotomy

The authors present the first clinical implementation of an endoscopic-assisted percutaneous anterolateral radiofrequency cordotomy. The aim of this article is to demonstrate the intradural endoscopic visualization of the cervical spinal cord via a percutaneous approach to refine the spinal target for anterolateral cordotomy, avoiding undesired trauma to the spinal tissue or injury to blood vessels. Initially, a lateral puncture of the spinal canal in the C1-2 interspace is performed, guided by fluoroscopy. As soon as CSF is reached by the guide cannula (17-gauge needle), the endoscope can be inserted for visualization of the spinal cord and its surrounding structures. The endoscopic visualization provided clear identification of the pial surface of the spinal cord, arachnoid membrane, dentate ligament, dorsal and ventral root entry zone, and blood vessels. The target for electrode insertion into the spinal cord was determined to be the midpoint from the dentate ligament and the ventral root entry zone. The endoscopic guidance shortened the fluoroscopy usage time and no intrathecal contrast administration was needed. Cordotomy was performed by a standard radiofrequency method after refining of the neurophysiological target. Satisfactory analgesia was provided by the procedure with no additional complications or CSF leak. The initial use of this technique suggests that a percutaneous endoscopic procedure may be useful for particular manipulation of the spinal cord, possibly adding a degree of safety to the procedure and improving its effectiveness. (DOI: 10.3171/2010.4.JNS091779)

A quantitative analysis of the nerve fibres of the acetabular periosteum of dogs

There are many techniques for the treatment of hip dysplasia, and novel research is currently being undertaken in the hope of obtaining more efficient and less traumatic techniques. The denervation of the hip joint capsule is a simple and effective technique that allows recovery of the functional activity of the affected limbs in significantly less time than other techniques. This surgical procedure consists of removing the acetabular periosteum, thus eliminating the nerve fibres with consequent analgesia. The aim of this investigation was to quantify the number of nerve fibres present in different regions of the acetabular periosteum. The knowledge of regional differences is potentially valuable for the refining of the denervation technique of the hip joint capsule. Thirty canine acetabular fragments were used to compare the nerve fibre density of the periosteum. The results showed a significant difference between the mean density of nerve fibres at the cranial and dorsal-lateral portion (approximately 75 fibres/mm(2)) and caudal lateral portion (approximately 60 fibres/mm(2)) of the acetabulum. Those fibres at the pedosteum are almost positioned in a sagittal plane, pointing towards the joint capsule, suggesting the some density in the latter region. These results indicate a new approach to the articular denervation technique, thus obtanining even better results for the treatment of hip dysplasia in dogs.

Proving Temporal Properties of Z Specifications Using Abstraction

This paper presents a systematic approach to proving temporal properties of arbitrary Z specifications. The approach involves (i) transforming the Z specification to an abstract temporal structure (or state transition system), (ii) applying a model checker to the temporal structure, (iii) determining whether the temporal structure is too abstract based on the model checking result and (iv) refining the temporal structure where necessary. The approach is based on existing work from the model checking literature, adapting it to Z.

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.

Developing a meta model for the Bunge-Wand-Weber ontological constructs

At the core of the analysis task in the development process is information systems requirements modelling, Modelling of requirements has been occurring for many years and the techniques used have progressed from flowcharting through data flow diagrams and entity-relationship diagrams to object-oriented schemas today. Unfortunately, researchers have been able to give little theoretical guidance only to practitioners on which techniques to use and when. In an attempt to address this situation, Wand and Weber have developed a series of models based on the ontological theory of Mario Bunge-the Bunge-Wand-Weber (BWW) models. Two particular criticisms of the models have persisted however-the understandability of the constructs in the BWW models and the difficulty in applying the models to a modelling technique. This paper addresses these issues by presenting a meta model of the BWW constructs using a meta language that is familiar to many IS professionals, more specific than plain English text, but easier to understand than the set-theoretic language of the original BWW models. Such a meta model also facilitates the application of the BWW theory to other modelling techniques that have similar meta models defined. Moreover, this approach supports the identification of patterns of constructs that might be common across meta models for modelling techniques. Such findings are useful in extending and refining the BWW theory. (C) 2002 Elsevier Science Ltd. All rights reserved.

Development of Trichogramma australicum Girault (Hymenoptera : Trichogrammatidae) in Helicoverpa (Lepidoptera : Noctuidae) host eggs

Morphological studies of development of the egg parasitoid Trichogramma australicum Girault in the cotton bollworm, Helicoverpa armigera (Hubner), were conducted to provide benchmarks for assessing developmental rates in both natural hosts and artificial diets. Observations of living embryos and histological sections show that embryos proceed rapidly through cleavage and blastoderm formation and show a characteristic pinching or rotation 8 h after deposition. Eggs progressively increase in volume, primarily by increasing in diameter at the widest point. At 29 rectangle 1 C the duration of the egg stage is 22-24 h, the larval stage 27 h, the prepupal stage 50-52 h, and pupa 85 h. Larvae undergo dramatic shape changes as they ingest food but do not show signs of larval moults, reinforcing observations that there is only one larval instar. Criteria for staging the embryonic and postembryonic development in natural hosts will be used for future studies aimed at developing and refining artificial diets for Trichogramma.

Exploring the role of market learning capability in competitive strategy

It has been argued that a firm's capacity to learn from its market is a source of both innovation and competitive advantage. However, past research has failed to conceptualize market-focused learning activity as a capability having the potential to contribute to competitive advantage. Prior innovation research has been biased toward technological innovation. However, there is evidence to suggest that both technological and non-technological innovations contribute to competitive advantage reflecting the need for a broader conceptualization of the innovation construct. Past research has also overlooked the critical role of entrepreneurship in the capability building process. Competitive advantage has been predominantly measured in terms of financial indicators of performance. In general, the literature reflects the need for comprehensive measures of organizational innovation and competitive advantage. This paper examines the role of market-focused learning capability in organizational innovation-based competitive strategy. The paper contributes to the strategic marketing theory by developing and refining measures of entrepreneurship, market-focused learning capability, organizational innovation and sustained competitive advantage, testing relationships among these constructs.

Alterações na estrutura anatômica da madeira de cavacos de eucalyptus grandis em três condições de desfibramento para a confecção de painéis MDF

A utilização da madeira de eucalipto na confecção de painéis MDF é recente, tornando-se necessário entender as modificações em sua estrutura anatômica durante as etapas do processo industrial, notadamente no desfibramento dos cavacos. Com esse objetivo, neste estudo foram aplicadas três condições diferenciadas de desfibramento dos cavacos, alterando-se (i) o tempo de aquecimento, (ii) as pressões de digestão e de desfibramento e (iii) a energia específica de desfibramento, sendo avaliadas as características anatômicas dos componentes celulares da madeira. O aumento da intensidade de refino dos cavacos de madeira reduziu o comprimento médio das fibras e aumentou o porcentual de fibras quebradas, corroborando as imagens de microscopia eletrônica de varredura, além da diminuição do número dos vasos e de células de parênquima. Essa condição de desfibramento mais intensa promoveu, também, um característico escurecimento da coloração da polpa composta pelos elementos celulares da madeira. A aplicação de variáveis de desfibramento mais brandas aumentou a presença de feixes de fibras e do número de vasos e de parênquima, resultando em uma polpa de coloração mais clara. As alterações das características morfológicas dos componentes celulares da madeira dos cavacos de eucalipto, após o tratamento de desfibramento, relacionaram-se com as etapas do processo operacional e com a qualidade tecnológica dos painéis de fibras MDF.

Estudo da Influência do Número de Acidez Total e Teor de Enxofre Total nas Frações Destiladas no Processo de Corrosão em Aços do Tipo AISI 1020 e AISI 316

Os danos causados pelos processos corrosivos em equipamentos presentes nas refinarias de petróleo, durante as destilações, foram descritos inicialmente em 1920. Inúmeras são as referências reportando estudos de processos corrosivos envolvendo tanto os ácidos naftênicos como os compostos sulfurados; em contrapartida, raras são as fontes de estudo envolvendo simultaneamente ambos. Neste trabalho, escolheram-se dois tipos de óleos: um óleo A - com alto teor de enxofre e um petróleo B com elevada acidez. Fez-se então um blend 50/50 em volume obtendo assim o óleo C para verificar a influência tanto da acidez quanto dos teores de enxofre nos processos corrosivos pelos cortes destes óleos. Após a destilação das três amostras, os derivados obtidos foram caracterizados e submetidos aos testes laboratoriais de corrosão. Os cortes do petróleo A apresentaram teores de enxofre e taxas de corrosão crescentes em função do aumento da temperatura final dos derivados, apresentando uma corrosão máxima de 1,66 mm/ano e produtos de corrosão como troilita (FeS) e pirrota (Fe1-xS). As frações de B apresentaram altos valores de NAT na faixa de temperatura de 220-400 °C, enquanto as taxas de corrosão foram de 0,83 mm/ano para esta faixa de temperatura; os produtos de corrosão encontrados foram o óxido de ferro (Fe2O3) e goetite (α-FeOOH). Por fim, os derivados do blend C, apresentaram propriedades intermediárias aos cortes anteriores o que corroborou para taxas de corrosão menores de 0,50 mm/ano até uma temperatura de 300 °C, expondo assim, a eficiência em utilizar a técnica de misturas de petróleos para o refino.