Start-up of horizontal anaerobic reactors with sludge blanket and fixed bed for wastewater treatment from coffee processing by wet method

In this study it was evaluated the start-up procedures of anaerobic treatment system with three horizontal anaerobic reactors (R1, R2 and R3), installed in series, with volume of 1.2 L each. R1 had sludge blanket, and R2 and R3 had half supporter of bamboo and coconut fiber, respectively. As an affluent, it was synthesized wastewater from mechanical pulping of the coffee fruit by wet method, with a mean value of total chemical oxygen demand (CODtotal) of 16,003 mg L-1. The hydraulic retention time (HRT) in each reactor was 30 h. The volumetric organic loading (VOL) applied in R1 varied from 8.9 to 25.0 g of CODtotal (L d)-1. The mean removal efficiencies of CODtotal varied from 43 to 97% in the treatment system (R1+R2+R3), stabilizing above 80% after 30 days of operation. The mean content of methane in the biogas were of 70 to 76%, the mean volumetric production was 1.7 L CH4 (L reactor d)-1 in the system, and the higher conversions were around at 0.20 L CH4 (g CODremoved)-1 in R1 and R2. The mean values of pH in the effluents ranged from 6.8 to 8.3 and the mean values of total volatile acids remained below 200 mg L-1 in the effluent of R3. The concentrations of total phenols of the affluent ranged from 45 to 278 mg L-1, and the mean removal efficiency was of 52%. The start-up of the anaerobic treatment system occurred after 30 days of operation as a result of inoculation with anaerobic sludge with active microbiota.

Characterization of soil parameters of two soils of Rio Grande do Sul in modeling the prediction of tractive effort

The interaction between the soil and tillage tool can be examined using different parameters for the soil and the tool. Among the soil parameters are the shear stress, cohesion, internal friction angle of the soil and the pre-compression stress. The tool parameters are mainly the tool geometry and depth of operation. Regarding to the soils of Rio Grande do Sul there are hardly any studies and evaluations of the parameters that have importance in the use of mathematical models to predict tensile loads. The objective was to obtain parameters related to the soils of Rio Grande do Sul, which are used in soil-tool analysis, more specifically on mathematical models that allow the calculation of tractive effort for symmetric and narrow tools. Two of the main soils of Rio Grande do Sul, an Albaqualf and a Paleudult were studied. Equations that relate the cohesion, internal friction angle of the soil, adhesion, soil-tool friction angle and pre-compression stress as a function of water content in the soil were obtained, leading to important information for use of mathematical models for tractive effort calculation.

Evaluation of cotton stalks destroyers

The destruction of the cotton crop residues (cotton stalks) is a mandatory procedure in Brazil for prophylactic issues, but is a subject unexplored by the research and there are few studies that deal with this issue. However, this is not encouraged in recent decades, studies aimed at developing and evaluating equipment for this purpose. The present study had the objective to evaluate six methods for mechanical destruction of cotton crop residues. Each method was defined based on the principle of operation of the active parts of the equipment, which were tested in medium texture soil and in a clayey one. The variables used to evaluate the efficiency of the equipment were the regrowth rate, the theoretical field capacity and energy demand. The equipment with convergent concave disks (DCC) and flat cutters discs from manufacturer A (CPS-a) showed the best results in cotton stalks destruction in both soil types. The harrow disc (GPD) was efficient only in clay soil. It was concluded that the equipment with convergent concave disks, among those tested, was the most efficient to destroy cotton stalks, regardless of soil type, and that the harrow disc was not included among the best performers.

Novel Methods for Error Modeling and Parameter Identification of a Redundant Serial-Parallel Hybrid Robot

To obtain the desirable accuracy of a robot, there are two techniques available. The first option would be to make the robot match the nominal mathematic model. In other words, the manufacturing and assembling tolerances of every part would be extremely tight so that all of the various parameters would match the “design” or “nominal” values as closely as possible. This method can satisfy most of the accuracy requirements， but the cost would increase dramatically as the accuracy requirement increases. Alternatively, a more cost-effective solution is to build a manipulator with relaxed manufacturing and assembling tolerances. By modifying the mathematical model in the controller, the actual errors of the robot can be compensated. This is the essence of robot calibration. Simply put, robot calibration is the process of defining an appropriate error model and then identifying the various parameter errors that make the error model match the robot as closely as possible. This work focuses on kinematic calibration of a 10 degree-of-freedom (DOF) redundant serial-parallel hybrid robot. The robot consists of a 4-DOF serial mechanism and a 6-DOF hexapod parallel manipulator. The redundant 4-DOF serial structure is used to enlarge workspace and the 6-DOF hexapod manipulator is used to provide high load capabilities and stiffness for the whole structure. The main objective of the study is to develop a suitable calibration method to improve the accuracy of the redundant serial-parallel hybrid robot. To this end, a Denavit–Hartenberg (DH) hybrid error model and a Product-of-Exponential (POE) error model are developed for error modeling of the proposed robot. Furthermore, two kinds of global optimization methods, i.e. the differential-evolution (DE) algorithm and the Markov Chain Monte Carlo (MCMC) algorithm, are employed to identify the parameter errors of the derived error model. A measurement method based on a 3-2-1 wire-based pose estimation system is proposed and implemented in a Solidworks environment to simulate the real experimental validations. Numerical simulations and Solidworks prototype-model validations are carried out on the hybrid robot to verify the effectiveness, accuracy and robustness of the calibration algorithms.

Development and evaluation of a loop-mediated isothermal amplification (LAMP) assay for rapid detection of Actinobacillus pleuropneumoniae based the dsbE-like gene

This paper reports on the development and validation of a loop-mediated isothermal amplification assay (LAMP) for the rapid and specific detection of Actinobacillus pleuropneumoniae (A. pleuropneumoniae). A set of six primers were designed derived from the dsbE-like gene of A.pleuropneumoniae and validate the assay using 9 A. pleuropneumoniae reference/field strains, 132 clinical isolates and 9 other pathogens. The results indicated that positive reactions were confirmed for all A. pleuropneumoniae strains and specimens by LAMP at 63ºC for 60 min and no cross-reactivity were observed from other non-A.pleuropneumoniae including Haemophilus parasuis, Escherichia coli, Pasteurella multocida, Bordetella bronchiseptica, Streptococcus suis, Salmonella enterica, Staphylococcus, porcine reproductive and respiratory syndrome virus (PRRSV), and Pseudorabies virus. The detection limit of the conventional PCR was 10² CFU per PCR test tube, while that of the LAMP was 5 copies per tube. Therefore, the sensitivity of LAMP was higher than that of PCR. Moreover, the LAMP assay provided a rapid yet simple test of A. pleuropneumoniae suitable for laboratory diagnosis and pen-side detection due to ease of operation and the requirement of only a regular water bath or heat block for the reaction.

Issuant views of hell in contemporary Anglo-American theology

This problem of hell is a specific form of the problem of evil that can be expressed in terms of a set of putatively incompatible statements: 1. An omnipotent God could create a world in which all moral agents freely choose life with God. 2. An omnibenevolent God would not create a world with the foreknowledge that some (perhaps a significant proportion) of God’s creatures would end up in hell. 3. An omniscient God would know which people will end up in hell. 4. Some people will end up forever in hell. Since the late twentieth century, a number of British and North American philosophical theologians, inspired by C.S. Lewis, have developed a new approach to answering the problem of hell. Very little work has been done to systematize this category of perspectives on the duration, quality, purpose and finality of hell. Indeed, there is no consensus among scholars as to what such an approach should be called. In this work, however, I call this perspective issuantism. Starting from the works of a wide range of issuantist scholars, I distill what I believe to be the essence of issuantist perspectives on hell: hell is a state that does not result in universal salvation and is characterized by the insistance that both heaven and hell must issue from the love of God, an affirmation of libertarian human freedom and a rejection of retributive interpretations of hell. These sine qua non characteristics form what I have labeled basic issuantism. I proceed to show that basic issuantism by itself does not provide an adequate answer to the problem of hell. The issuantist scholars themselves, however, recognize this weakness and add a wide range of possible supplements to their basic issuantism. Some of these supplemented versions of issuantism succeed in presenting reasonable answers to the problem of hell. One of the key reasons for the development of issuantist views of hell is a perceived failure on the part of conditionalists, universalists and defenders of hell as eternal conscious torment to give adequate answers to the problem of hell. It is my conclusion, however, that with the addition of some of the same supplements, versions of conditionalism and hell as eternal conscious torment can be advanced that succeed just as well in presenting answers to the problem of hell as those advanced by issuantists, thus rendering some of the issuantist critique of non-issuantist perspectives on hell unfounded.

Design and validation of stateful composite RESTful web services

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.

ZENODO - an open dependable home for the long-tail of science

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Asiakasarvon selvittäminen ja palvelukonseptin kehittäminen muovialan pk-yrityksessä

Kahden yrityksen väliset transaktiot perustuvat pohjimmiltaan asiakkaan kokemaan arvoon, eli siihen, mitä hyötyjä asiakas kokee saavansa suhteessa niihin kustannuksiin, jotka se joutuu uhraamaan ne saavuttaakseen. Tämän arvon tulee parantaa asiakkaan asemaa suhteessa sen omaan kilpailutilanteeseen ja asiakkaisiin. Arvo voi muodostua tarjooman hinnoittelusta, mutta muita asiakasarvon ulottuvuuksia voivat olla muun muassa laatutekijät sekä asiakassuhteen ja toimittajan imagon vaikutukset. Tämän tutkimuksen tavoitteena on selvittää, mitkä ulottuvuuden muodostavat asiakkaan kokeman arvon case-yrityksen toimialalla sen urakoitsija- ja jälleenmyyjäasiakkailleen segmenteissä. Lisäksi analysoidaan, kuinka tuotantoon keskittyneen yrityksen tulisi kehittää palvelukonseptiaan luodakseen lisäarvoa kyseisille segmenteille ja saavuttaakseen siten kilpailuetua markkinoilla. Tutkimus on tapaustutkimus, jonka tärkeimpänä aineistonkeruumenetelmänä toimivat 17 nykyisten, entisten ja potentiaalisten asiakkaiden teemahaastattelua. Tulokset osoittavat, että toimiala on haastava lisäpalveluiden kannalta, koska ne eivät ole sille tyypillisiä. Asiakkaiden näyttää olevan erityisen vaikea tunnistaa palveluita, joista ne olisivat valmiita maksamaan. Tämä johtaa tilanteeseen, jossa asiakasuskollisuus ei ole erityisen korkea, vaan etenkin jälleenmyyjäasiakkaat ostavat tuotteet pääosin hintaan perustuen. Selkeän lisäarvopalvelukonseptin luominen voikin parantaa asiakasuskollisuutta ja sitä kautta asiakkaan elinkaaren arvoa, mikä voi rikkoa markkinoiden perinteisiä toimintamalleja case-yrityksen eduksi.

Diagnostic profile of inpatients as a determinant of length of stay in a general hospital psychiatric unit

The aim of this study was to determine if the diagnostic profile of inpatients of a psychiatric unit in a general hospital influences the length of stay. The results of a retrospective survey comprising the first 16 years of operation of the Psychiatric Unit of the Ribeirão Preto General Hospital (PURP) showed that the progressive increase observed in the length of stay correlated with the increase in percentage of schizophrenia diagnosis, after the 8th year of hospital operation, and of affective disorders, after the 12th year. The length of hospitalization kept increasing until the 16th year, even though there was no change in the diagnostic profile of the patients admitted to the unit. In a prospective study encompassing the next six months, 61 inpatients were evaluated with the Structured Clinical Interview for DSM-III-R and the Brief Psychiatric Rating Scale (BPRS). The results showed that 82% of the inpatients fulfilled the diagnostic criteria for the schizophrenic or affective disorder spectrum at admission, with a discharge rate slower than for other diagnoses, although the length of hospitalization did not significantly differ among diagnostic categories. The results further demonstrated that in every diagnostic category more than 50% of the patients stayed in hospital for more than one week after reaching a BPRS score equal to 6, indicative of discharge. Overall, these data suggest that the increase in length of hospitalization may be due to a higher percentage of patients with a diagnosis of schizophrenia and affective disorder admitted to the PURP. In addition, patients with low symptomatic levels remained in hospital longer than they should have.

Becoming a caring nurse : the heart of the matter in nurse education

This thesis in caring science didactics is based on a thinking, where the fundamental basis for the didactic is science-based, i.e. it does not emanate from the nursing profession but brings forward a didactic that grows out of caring science and its core substance and ethos. This view on didactics arises from the caritative theory developed by Eriksson. The overall aim of the study is to clarify the meaning and essence of understanding, as well as to explore and deepen the understanding of student nurses' processes of understanding and becoming with the intention of developing a theory model for caring didactics. The overarching research questions are: What is the essence of understanding (of caring science knowledge)? What are the possibilities and importance of understanding in the appropriation of caring science? What characterizes and impels the process of becoming? The thesis consists of four sub studies and a summary section. The overall methodological approach is hermeneutic involving quantitative as well as qualitative methods. The data for the study has been collected through a longitudinal research project that followed student nurses at three universities during their entire education. The empirical sub studies form the basis for the interpreted knowledge that is formulated in the new understanding. This new understanding have, through additional theory-charging with the theory fragments from Gadamer, generated the heuristic synthesis which is illustrated in the theory model. The findings shows that understanding can be described as something unlimited, as an endless movement, which can be illustrated as a lying eighth, a lemniscate. The lemiscate of understanding is characterized by seeing, knowing and becoming and consists of seven differently named phases; the acquired horizon of understanding, the encounter of horizons, the dialogue of horizons, the fusion of horizons, application, reflection and shaping a new horizon of understanding. Bildung (formation), is the ultimate imprint of the endless spiral movement of understanding. Ethos and arête constitute the hubs around which the lemniscate of understanding circles. These include the spirit and driving force that the student carries within. The caring culture encloses the lemniscate of understanding. The caring culture provides the life space of understanding and the prevailing basic values are evinced in the culture.

Distribution of Smart Solutions for External Lighting in Switzerland - Case C2 Smartlight Ltd.

Establishing of export operations is the key to the competitiveness for all producing companies in high-tech industry. Distribution partnerships between exporting producer and local distributors of relevant foreign market are utilized by SMEs to gain cost-efficiency of operation. The purpose of this study was to investigate the Swiss market of outdoor lighting solutions and propose distribution channels for the case of company C2 SmartLight Ltd. The literature framework consists of three main parts: description of distribution channels for business products, the selection process of the distributor and management of the distributors. The empirical part of this study composed of the observation of Swiss lighting market, highlighting key customers, trends of energy efficiency and key industry players of the lighting market. The aim was to identify potential distribution channels, which reach the target customer groups and identify the market opportunity. Secondly, the data was collected through semi-structured phone interviews. The company, which operates in outdoor lighting business and has an established distributor in Switzerland, was interviewed and used as a benchmark. As a result of this research the market opportunity for distribution of C2 SmartLight products was identified based on potential customers and market need. C2 SmartLight Ltd. should establish a connection with wholesalers that distribute easy to handle and store electrical equipment. The results of this study can be used by other SME companies, operating in a similar field of economy, for selection of distributors.

The nature experiences of wilderness recreation leaders : throwing a stone

Through this descriptive exploratory study, the ways that wilderness recreation leaders experience nature are illuminated, deconstructing the assumed environmental benefits of and practices used in outdoor recreation (Haluza-Delay, 2001). This study also offers a foundation for advancing an environmental ethic among wilderness recreation leaders, participants, and organizations. With the continued degradation of and threats to natural environments, and the rising popularity of outdoor recreation participation, the outdoor recreation professional can be a leader in promoting human reconnections to the Earth (Henderson, 1999). Leaders of outdoor recreation experiences play an important role in encouraging these revived relationships to natural settings and can contribute to the necessary environmental consciousness shift needed within Western society (Hanna, 1995; Jordan, 1996). The purpose of this research was to describe the lived-experience in nature of wilderness recreation leaders. Specifically, a phenomenological method of inquiry was used to describe the meaning of nature, the connections and relationships to nature, and the behaviours and emotions experienced in nature by a group of wilderness canoe trip leaders employed by a residential summer camp. In addition to the implications of this research, achieving this outcome provides a rich descriptive understanding of wilderness leaders' experiences—a basis from which to extend future research endeavours and programmatic practices that promote effective environmental outcomes of outdoor recreation participation. Each of the five study participants was employed in the summer of 2003 by an Ontario residential summer camp organization that sponsors extended wilderness river canoe trips for youth. Two in-depth and semi-structured interviews were performed with each participant, asking them to reflect on the canoe trip that they led for the summer camp organization during 2003. Phenomenological data was analyzed according to Colaizzi's (1978) thematic analysis process. Consistent with van Manen's (1997) emphasis on phenomenological writing, the final result presents the essence of the nature experiences of wilderness recreation leaders in the format of a narrative description. This narrative piece is the culmination of this research effort. Throughout the journey, however, various foundations within the outdoor recreation field, such as minimum impact principles, environmentally responsible behaviours, anthropocentric and ecocentric worldviews, and effective leadership are deconstructed and discussed.

A System for Models of First Order Theories

If you want to know whether a property is true or not in a specific algebraic structure,you need to test that property on the given structure. This can be done by hand, which can be cumbersome and erroneous. In addition, the time consumed in testing depends on the size of the structure where the property is applied. We present an implementation of a system for finding counterexamples and testing properties of models of first-order theories. This system is supposed to provide a convenient and paperless environment for researchers and students investigating or studying such models and algebraic structures in particular. To implement a first-order theory in the system, a suitable first-order language.( and some axioms are required. The components of a language are given by a collection of variables, a set of predicate symbols, and a set of operation symbols. Variables and operation symbols are used to build terms. Terms, predicate symbols, and the usual logical connectives are used to build formulas. A first-order theory now consists of a language together with a set of closed formulas, i.e. formulas without free occurrences of variables. The set of formulas is also called the axioms of the theory. The system uses several different formats to allow the user to specify languages, to define axioms and theories and to create models. Besides the obvious operations and tests on these structures, we have introduced the notion of a functor between classes of models in order to generate more co~plex models from given ones automatically. As an example, we will use the system to create several lattices structures starting from a model of the theory of pre-orders.

A Living Educational Theory of Knowledge Translation: Improving Practice, Influencing Learners, and Contributing to the Professional Knowledge Base

This paper captured our joint journey to create a living educational theory of knowledge translation (KT). The failure to translate research knowledge to practice is identified as a significant issue in the nursing profession. Our research story takes a critical view of KT related to the philosophical inconsistency between what is espoused in the knowledge related to the discipline of nursing and what is done in practice. Our inquiry revealed “us” as “living contradictions” as our practice was not aligned with our values. In this study, we specifically explored our unique personal KT process in order to understand the many challenges and barriers to KT we encountered in our professional practice as nurse educators. Our unique collaborative action research approach involved cycles of action, reflection, and revision which used our values as standards of judgment in an effort to practice authentically. Our data analysis revealed key elements of collaborative reflective dialogue that evoke multiple ways of knowing, inspire authenticity, and improve learning as the basis of improving practice related to KT. We validated our findings through personal and social validation procedures. Our contribution to a culture of inquiry allowed for co-construction of knowledge to reframe our understanding of KT as a holistic, active process which reflects the essence of who we are and what we do.