A framework for specification-based testing

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.

Sequencing batch reactor technology: the key to a BP refinery (Bulwer Island) upgraded environmental protection system - a low cost lagoon based retro-fit

BP Refinery (Bulwer Island) Ltd (BP) located on the eastern Australian coast is currently undergoing a major expansion as a part of the Queensland Clean Fuels Project. The associated wastewater treatment plant upgrade will provide a better quality of treated effluent than is currently possible with the existing infrastructure, and which will be of a sufficiently high standard to meet not only the requirements of imposed environmental legislation but also BP's environmental objectives. A number of challenges were faced when considering the upgrade, particularly; cost constraints and limited plot space, highly variable wastewater, toxicity issues, and limited available hydraulic head. Sequencing Batch Reactor (SBR) Technology was chosen for the lagoon upgrade based on the following; SBR technology allowed a retro-fit of the existing earthen lagoon without the need for any additional substantial concrete structures, a dual lagoon system allowed partial treatment of wastewaters during construction, SBRs give substantial process flexibility, SBRs have the ability to easily modify process parameters without any physical modifications, and significant cost benefits. This paper presents the background to this application, an outline of laboratory studies carried out on the wastewater and details the full scale design issues and methods for providing a cost effective, efficient treatment system using the existing lagoon system.

A Cost Model for the Effect of Setup Time Reduction in Stainless Steel Strip Production

Setup time reduction facilitate the flexibility needed for just-in-time production. An integrated steel mill with meltshop, continuous caster and hot rolling mill is often operated as decoupled processes. Setup time reduction provides the flexibility needed to reduce buffering, shorten lead times and create an integrated process flow. The interdependency of setup times, process flexibility and integration were analysed through system dynamics simulation. The results showed significant reductions of energy consumption and tied capital. It was concluded that setup time reduction in the hot strip mill can aid process integration and hence improve production economy while reducing environmental impact.

Gestão contemporânea de carreira: um estudo de caso com peritos criminais do Instituto Nacional de Criminalística da Polícia Federal

Nas últimas três décadas, intensificou-se na academia o debate sobre o tema gestão de carreiras. As transformações sociais, econômicas, tecnológicas e sua influência sobre o mercado de trabalho aguçaram o interesse dos pesquisadores organizacionais em entender como os indivíduos conduzem suas carreiras nesse novo cenário. A noção da responsabilidade pessoal na administração da própria carreira torna-se relevante, diminuindo o papel da organização nesse processo. Flexibilidade, autoconhecimento e abertura à mobilidade no trabalho são novos requisitos. Surgem na literatura dois modelos que bem expressam essa realidade: a carreira proteana e sem fronteiras. Este estudo teve como objetivo explorar de que forma servidores públicos federais da área de segurança pública – os peritos criminais do Instituto Nacional de Criminalística da Polícia Federal – gerenciam suas carreiras à luz de tais fenômenos, considerando o ambiente organizacional tradicional no qual estão imersos. Aspectos de comprometimento e entrincheiramento na carreira também foram considerados. Optou-se pela estratégia qualitativa com uso de estudo de caso e pesquisa documental. Foram realizadas onze (11) entrevistas em profundidade, cujo conteúdo foi analisado de acordo com uma grade temática pré-estabelecida. Os resultados revelam que atitudes de carreira proteana e sem fronteiras são identificadas mesmo com a rigidez do modelo administrativo de carreira do serviço público federal. Além disso, há indícios de entrincheiramento voluntário na carreira, sem, no entanto, afetar o comprometimento com a carreira. A pesquisa pretende abrir novas possibilidades de entendimento sobre o tema no setor público, em especial na área de segurança pública, considerando as peculiaridades de suas carreiras.

Proposta de diretrizes embasadoras para introdução de sistemas de medição de desempenho em empresas de projetos de instalações prediais

The civil construction in Brazil has grown a lotover the last years. This has caused a greater competition between companies of the sector. A little difference in quality in service or product a company offers can determine their success in the market. There is a growing demand for tools that optimize processes and bring greater quality to each activity in these companies. Performance measurement systems make it possible to control process efficiency and effectiveness using performance indicators. Considering this need, the paper before you has the objective of creating basic guidelines to introduce performance measurement systems inbuilding installations project companies. A theoretical reference is presented to describe organizational aspects of project companies along with performance measurement systems characteristics. Using a qualitative research methodology, a study case was executed with interviews, observation and document analysis as evidence sources. In the study case, limitations where identified, such as, high degree of product and process flexibility, dependence on subjective analysis for decision making and lack of specialized information systems. Considering the theoretical reference and the study case,the proposed guidelines intend to ease and guarantee greater chances of success when implanting one of these systems

HIGH VOLTAGE ELECTROPHORETIC DEPOSITION FOR ELECTROCHEMICAL ENERGY STORAGE AND OTHER APPLICATIONS

High voltage electrophoretic deposition (HVEPD) has been developed as a novel technique to obtain vertically aligned forests of one-dimensional nanomaterials for efficient energy storage. The ability to control and manipulate nanomaterials is critical for their effective usage in a variety of applications. Oriented structures of one-dimensional nanomaterials provide a unique opportunity to take full advantage of their excellent mechanical and electrochemical properties. However, it is still a significant challenge to obtain such oriented structures with great process flexibility, ease of processing under mild conditions and the capability to scale up, especially in context of efficient device fabrication and system packaging. This work presents HVEPD as a simple, versatile and generic technique to obtain vertically aligned forests of different one-dimensional nanomaterials on flexible, transparent and scalable substrates. Improvements on material chemistry and reduction of contact resistance have enabled the fabrication of high power supercapacitor electrodes using the HVEPD method. The investigations have also paved the way for further enhancements of performance by employing hybrid material systems and AC/DC pulsed deposition. Multi-walled carbon nanotubes (MWCNTs) were used as the starting material to demonstrate the HVEPD technique. A comprehensive study of the key parameters was conducted to better understand the working mechanism of the HVEPD process. It has been confirmed that HVEPD was enabled by three key factors: high deposition voltage for alignment, low dispersion concentration to avoid aggregation and simultaneous formation of holding layer by electrodeposition for reinforcement of nanoforests. A set of suitable parameters were found to obtain vertically aligned forests of MWCNTs. Compared with their randomly oriented counterparts, the aligned MWCNT forests showed better electrochemical performance, lower electrical resistance and a capability to achieve superhydrophpbicity, indicating their potential in a broad range of applications. The versatile and generic nature of the HVEPD process has been demonstrated by achieving deposition on flexible and transparent substrates, as well as aligned forests of manganese dioxide (MnO2) nanorods. A continuous roll-printing HVEPD approach was then developed to obtain aligned MWCNT forest with low contact resistance on large, flexible substrates. Such large-scale electrodes showed no deterioration in electrochemical performance and paved the way for practical device fabrication. The effect of a holding layer on the contact resistance between aligned MWCNT forests and the substrate was studied to improve electrochemical performance of such electrodes. It was found that a suitable precursor salt like nickel chloride could be used to achieve a conductive holding layer which helped to significantly reduce the contact resistance. This in turn enhanced the electrochemical performance of the electrodes. High-power scalable redox capacitors were then prepared using HVEPD. Very high power/energy densities and excellent cyclability have been achieved by synergistically combining hydrothermally synthesized, highly crystalline α-MnO2 nanorods, vertically aligned forests and reduced contact resistance. To further improve the performance, hybrid electrodes have been prepared in the form of vertically aligned forest of MWCNTs with branches of α-MnO2 nanorods on them. Large- scale electrodes with such hybrid structures were manufactured using continuous HVEPD and characterized, showing further improved power and energy densities. The alignment quality and density of MWCNT forests were also improved by using an AC/DC pulsed deposition technique. In this case, AC voltage was first used to align the MWCNTs, followed by immediate DC voltage to deposit the aligned MWCNTs along with the conductive holding layer. Decoupling of alignment from deposition was proven to result in better alignment quality and higher electrochemical performance.

Public sector investment appraisal:the place of flexibility in the decision making process

This thesis reviews the main methodological developments in public sector investment appraisal and finds growing evidence that appraisal techniques are not fulfilling their earlier promise. It is suggested that an important reason for this failure lies in the inability of these techniques to handle uncertainty except in a highly circumscribed fashion. It is argued that a more fruitful approach is to strive for flexibility. Investment projects should be formulated with a view to making them responsive to a wide range of possible future events, rather than embodying a solution which is optimal for one configuration of circumstances only. The distinction drawn in economics between the short and the long run is used to examine the nature of flexibility. The concept of long run flexibility is applied to the pre-investment range of choice open to the decisionmaker. It is demonstrated that flexibility is reduced at a very early stage of decisionmaking by the conventional system of appraisal which evaluates only a small number of options. The pre-appraisal filtering process is considered further in relation to decisionmaking models. It is argued that for public sector projects the narrowing down of options is best understood in relation to an amended mixed scanning model which places importance on the process by which the 'national interest ' is determined. Short run flexibility deals with operational characteristics, the degree to which particular projects may respond to changing demands when the basic investment is already in place. The tension between flexibility and cost is noted. A short case study on the choice of electricity generating plant is presented. The thesis concludes with a brief examination of the approaches used by successive British governments to public sector investment, particularly in relation to the nationalised industries

Gastro-resistant Pellets of Didanosine obtained by Extrusion and Spheronization: Assessing the Production Process

The aim this work was develop gastro-resistant pellets of didanosine as well as study the impact on the pellets properties, regarding the way as the binder was added and drying process used. The pellets formation was accompanied by analysis of morphological parameters and didanosine dissolution. In the most cases, pellets showed diameter around 1.0 mm and shape parameters acceptable. The variations of the process did not interfere significantly in pellets size. In turn, drying in fluid bed favored the dissolution of didanosine, in contrast to binder addition on powder form that impaired. In another hand, this last resulted in the best aspect factor (about 1.1). Gastro-resistant pellets showed adequate dissolution, compatible with this type of dosage form. The variables of process studied enabled obtain pellets with characteristics of shape and dissolution just slightly different, indicating flexibility of the formulation for production of gastro-resistant pellets of didanosine.

Modelling the activated sludge flocculation process combining laser light diffraction particle sizing and population balance modelling (PBM)

A technique based on laser light diffraction is shown to be successful in collecting on-line experimental data. Time series of floc size distributions (FSD) under different shear rates (G) and calcium additions were collected. The steady state mass mean diameter decreased with increasing shear rate G and increased when calcium additions exceeded 8 mg/l. A so-called population balance model (PBM) was used to describe the experimental data, This kind of model describes both aggregation and breakage through birth and death terms. A discretised PBM was used since analytical solutions of the integro-partial differential equations are non-existing. Despite the complexity of the model, only 2 parameters need to be estimated: the aggregation rate and the breakage rate. The model seems, however, to lack flexibility. Also, the description of the floc size distribution (FSD) in time is not accurate.

Using the flexibility index to compare batch and continuous activated sludge processes

This paper considers the question of which is better: the batch or the continuous activated sludge processes? It is an important question because dissension still exists in the wastewater industry as to the relative merits of each of the processes. A review of perceived differences in the processes from the point of view of two related disciplines, process engineering and biotechnology, is presented together with the results of previous comparative studies. These reviews highlight possible areas where more understanding is required. This is provided in the paper by application of the flexibility index to two case studies. The flexibility index is a useful process design tool that measures the ability of the process to cope with long term changes in operation.

Optimization of the Pultrusion process

Manufacturing processes need permanently to innovate and optimize because any can be susceptible to continuous improvement. Innovation and commitment to the development of these new solutions resulting from existing expertise and the continuing need to increase productivity, flexibility and ensuring the necessary quality of the manufactured products. To increase flexibility, it is necessary to significantly reduce set-up times and lead time in order to ensure the delivery of products ever faster. This objective can be achieved through a normalization of the pultrusion line elements. Implicitly, there is an increase of productivity by this way. This work is intended to optimize the pultrusion process of structural profiles. We consider all elements of the system from the storehouse of the fibers (rack) to the pultrusion die. Particular attention was devoted to (a) the guidance system of the fibers and webs, (b) the resin container where the fibers are impregnated, (c) standard plates positioning of the fibers towards the entrance to the spinneret and also (d) reviewed the whole process of assembling and fixing the die as well as its the heating system. With the implementation of these new systems was achieved a significant saving of time set-up and were clearly reduced the unit costs of production. Quality assurance was also increased.

Immigrants'assimilation process in a segmented labor market

While much of the literature on immigrants' assimilation has focused on countries with a large tradition of receiving immigrants and with flexible labor markets, very little is known on how immigrants adjust to other types of host economies. With its severe dual labor market, and an unprecedented immigration boom, Spain presents a quite unique experience to analyze immigrations' assimilation process. Using data from the 2000 to 2008 Labor Force Survey, we find that immigrants are more occupationally mobile than natives, and that much of this greater flexibility is explained by immigrants' assimilation process soon after arrival. However, we find little evidence of convergence, especially among women and high skilled immigrants. This suggests that instead of integrating, immigrants occupationally segregate, providing evidence consistent with both imperfect substitutability and immigrants' human capital being under-valued. Additional evidence on the assimilation of earnings and the incidence of permanent employment by different skill levels also supports the hypothesis of segmented labor markets.

A hormonal regulatory module that provides flexibility to tropic responses.

Plants orient their growth depending on directional stimuli such as light and gravity, in a process known as tropic response. Tropisms result from asymmetrical accumulation of auxin across the responding organ relative to the direction of the stimulus, which causes differential growth rates on both sides of the organ. Here, we show that gibberellins (GAs) attenuate the gravitropic reorientation of stimulated hypocotyls of dark-grown Arabidopsis (Arabidopsis thaliana) seedlings. We show that the modulation occurs through induction of the expression of the negative regulator of auxin signaling INDOLE-3-ACETIC ACID INDUCIBLE19/MASSUGU2. The biological significance of this regulatory mechanism involving GAs and auxin seems to be the maintenance of a high degree of flexibility in tropic responses. This notion is further supported by observations that GA-deficient seedlings showed a much lower variance in the response to gravity compared to wild-type seedlings and that the attenuation of gravitropism by GAs resulted in an increased phototropic response. This suggests that the interplay between auxin and GAs may be particularly important for plant orientation under competing tropic stimuli.

Cryo-negative staining reveals conformational flexibility within yeast RNA polymerase I.

The structure of the yeast DNA-dependent RNA polymerase I (RNA Pol I), prepared by cryo-negative staining, was studied by electron microscopy. A structural model of the enzyme at a resolution of 1.8 nm was determined from the analysis of isolated molecules and showed an excellent fit with the atomic structure of the RNA Pol II Delta4/7. The high signal-to-noise ratio (SNR) of the stained molecular images revealed a conformational flexibility within the image data set that could be recovered in three-dimensions after implementation of a novel strategy to sort the "open" and "closed" conformations in our heterogeneous data set. This conformational change mapped in the "wall/flap" domain of the second largest subunit (beta-like) and allows a better accessibility of the DNA-binding groove. This displacement of the wall/flap domain could play an important role in the transition between initiation and elongation state of the enzyme. Moreover, a protrusion was apparent in the cryo-negatively stained model, which was absent in the atomic structure and was not detected in previous 3D models of RNA Pol I. This structure could, however, be detected in unstained views of the enzyme obtained from frozen hydrated 2D crystals, indicating that this novel feature is not induced by the staining process. Unexpectedly, negatively charged molybdenum compounds were found to accumulate within the DNA-binding groove, which is best explained by the highly positive electrostatic potential of this region of the molecule, thus, suggesting that the stain distribution reflects the overall surface charge of the molecule.