Intelligent agents enabling negotiated control of pervasive environments

One of the important goals of the intelligent buildings especially in commercial applications is not only to minimize the energy consumption but also to enhance the occupant’s comfort. However, most of current development in the intelligent buildings focuses on an implementation of the automatic building control systems that can support energy efficiency approach. The consideration of occupants’ preferences is not adequate. To improve occupant’s wellbeing and energy efficiency in intelligent environments, we develop four types of agent combined together to form a multi-agent system to control the intelligent buildings. Users’ preferential conflicts are discussed. Furthermore, a negotiation mechanism for conflict resolution, has been proposed in order to reach an agreement, and has been represented in syntax directed translation schemes for future implementation and testing. Keywords: conflict resolution, intelligent buildings, multi-agent systems (MAS), negotiation strategy, syntax directed translation schemes (SDTS).

Economic rationale for interventions to control livestock disease

Disease in farm animals has significant economic impacts on livestock production and incurs substantial costs for societies. Impacts affect not only livestock farms and the livestock industries but also sectors outside of farming. Important negative externalities of livestock disease include impacts on the health of other producers’ livestock, on human health, and on animal welfare. Good disease risk management/biosecurity and good animal welfare are public goods. Not taking account of these externality and public good aspects can lead to a misallocation of resources for livestock disease control. In such instances, there may be a strong case for government or other authority to intervene to ensure a better use of resources. There are a number of policy instruments that can be implemented for this purpose. One potential instrument is a Farm Animal Health and Welfare Stewardship Scheme funded under Pillar II of the CAP. A number of countries have public–private partnership cost-sharing schemes that aim to share appropriately both responsibilities and costs of epidemic livestock disease. There is a strong future agenda for appropriate intervention by governments in the management of livestock disease risks, including responsibility and cost sharing for livestock disease control, within the European Union and elsewhere.

Reliability comparison of transmit/receive diversity and error control coding in low-power medium access control protocols

Low-power medium access control (MAC) protocols used for communication of energy constraint wireless embedded devices do not cope well with situations where transmission channels are highly erroneous. Existing MAC protocols discard corrupted messages which lead to costly retransmissions. To improve transmission performance, it is possible to include an error correction scheme and transmit/receive diversity. It is possible to add redundant information to transmitted packets in order to recover data from corrupted packets. It is also possible to make use of transmit/receive diversity via multiple antennas to improve error resiliency of transmissions. Both schemes may be used in conjunction to further improve the performance. In this study, the authors show how an error correction scheme and transmit/receive diversity can be integrated in low-power MAC protocols. Furthermore, the authors investigate the achievable performance gains of both methods. This is important as both methods have associated costs (processing requirements; additional antennas and power) and for a given communication situation it must be decided which methods should be employed. The authors’ results show that, in many practical situations, error control coding outperforms transmission diversity; however, if very high reliability is required, it is useful to employ both schemes together.

Cereal aphids and their natural enemies: responses to landscape composition and agri-environment schemes

There are potential conflicts between food security, biodiversity conservation and ecosystem services. Currently, there are still gaps in our understanding on the links between land use, biodiversity and ecosystem services; all have implications for sustainable agriculture. To improve food productivity in an ecologically friendly manner we should consider adapting current pest control techniques from being reliant on chemical means towards a more integrated approach. However, to do this, farmers and land owners require more information in order to make informed decisions. This brief review explores field level and landscape scale impacts on aphid control by their natural enemies. This will be done by exploring the effects of local field margin flower strips and two key landscape scale factors, winter wheat and lowland calcareous grasslands on aphids and their natural enemies. Research questions which need answering are discussed.

A Posteriori analysis of discontinuous Galerkin schemes for systems of hyperbolic conservation laws

In this work we construct reliable a posteriori estimates for some semi- (spatially) discrete discontinuous Galerkin schemes applied to nonlinear systems of hyperbolic conservation laws. We make use of appropriate reconstructions of the discrete solution together with the relative entropy stability framework, which leads to error control in the case of smooth solutions. The methodology we use is quite general and allows for a posteriori control of discontinuous Galerkin schemes with standard flux choices which appear in the approximation of conservation laws. In addition to the analysis, we conduct some numerical benchmarking to test the robustness of the resultant estimator.

FEACS: a flexible and efficient access control scheme for cloud computing

In the past few years, cloud computing has emerged as one of the most influential paradigms in the IT industry. As promising as it is, this paradigm brings forth many new challenges for data security because users have to outsource sensitive data on untrusted cloud servers for sharing. In this paper, to guarantee the confidentiality and security of data sharing in cloud environment, we propose a Flexible and Efficient Access Control Scheme (FEACS) based on Attribute-Based Encryption, which is suitable for fine-grained access control. Compared with existing state-of-the-art schemes, FEACS is more practical by following functions. First of all, considering the factor that the user membership may change frequently in cloud environment, FEACS has the capability of coping with dynamic membership efficiently. Secondly, full logic expression is supported to make the access policy described accurately and efficiently. Besides, we prove in the standard model that FEACS is secure based on the Decisional Bilinear Diffie-Hellman assumption. To evaluate the practicality of FEACS, we provide a detailed theoretical performance analysis and a simulation comparison with existing schemes. Both the theoretical analysis and the experimental results prove that our scheme is efficient and effective for cloud environment.

Fuzzy logic controller and cascade inverter for direct torque control of IM

In this paper, a five-level cascaded H-bridge multilevel inverters topology is applied on induction motor control known as direct torque control (DTC) strategy. More inverter states can be generated by a five-level inverter which improves voltage selection capability. This paper also introduces two different control methods to select the appropriate output voltage vector for reducing the torque and flux error to zero. The first is based on the conventional DTC scheme using a pair of hysteresis comparators and look up table to select the output voltage vector for controlling the torque and flux. The second is based on a new fuzzy logic controller using Sugeno as the inference method to select the output voltage vector by replacing the hysteresis comparators and lookup table in the conventional DTC, to which the results show more reduction in torque ripple and feasibility of smooth stator current. By using Matlab/Simulink, it is verified that using five-level inverter in DTC drive can reduce the torque ripple in comparison with conventional DTC, and further torque ripple reduction is obtained by applying fuzzy logic controller. The simulation results have also verified that using a fuzzy controller instead of a hysteresis controller has resulted in reduction in the flux ripples significantly as well as reduces the total harmonic distortion of the stator current to below 4 %.

Query verification schemes for cloud-hosted databases: a brief survey

Database query verification schemes provide correctness guarantees for database queries. Typically such guarantees are required and advisable where queries are executed on untrusted servers. This need to verify query results, even though they may have been executed on one’s own database, is something new that has arisen with the advent of cloud services. The traditional model of hosting one’s own databases on one’s own servers did not require such verification because the hardware and software were both entirely within one’s control, and therefore fully trusted. However, with the economical and technological benefits of cloud services beckoning, many are now considering outsourcing both data and execution of database queries to the cloud, despite obvious risks. This survey paper provides an overview into the field of database query verification and explores the current state of the art in terms of query execution and correctness guarantees provided for query results. We also provide indications towards future work in the area.

Dynamics of inter-modality re-weighting during human postural control

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Monitoring the process mean and variance using a synthetic control chart with two-stage testing

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Historic of therapeutic efficacy of albendazol sulphoxide administered in different routes, dosages and treatment schemes, against Taenia saginata in cattle experimentally infected

The present study aimed to notify the history of albendazole sulphoxide (ALB-SO) and albendazole (ALBZ) efficacy against Taenia saginata cysticercus (Cysticercus bovis) parasitizing experimentally infected bovines. A total of 11 efficacy trials were performed between the years of 2002 and 2010. In order to perform these trials, animals were individually inoculated with 2 x 104 eggs of T. saginata in each study's day zero (DO). For every trial, a positive control group (untreated infected animals) and a negative control group (animals that were neither infected nor treated) were used. ALB-SO or ALB were administered in the different dosages, in different days of treatments. In a last study with this formulation, this active principle was administered orally, mixed with the mineral supplement, on the 60th DPI, in a dosage of 30 mg/kg. In all trials, on the 100th DPI, all animals were euthanized and submitted to the sequenced slicing of 26 anatomical segments (fragments of approximately five millimeters) for the survey of T. saginata cysticercus. With the obtained results it is possible to verify that in the first trials, conducted in 2002, ALB-SO reached, independently of dosage and treatment scheme, efficacies superior to 98% (arithmetic means). The trials conducted in 2005 (2.5 mg/kg on the 30th, 60th, and 90th DPI) obtained values of efficacy all inferior to 60%. In 2008, the trials with 2.5 and 7.7 mg/kg demonstrated efficacy values inferior to 40%, for both dosages and treatment schemes (30th/60th/90th DPI and 60th DPI). When this formulation was administered orally on the dosage of 30 mg/kg on the 60th DPI, the efficacy against T. saginata cysticercus reached 88.28%. ALB administered orally showed efficacy values of 0.0%, 29.88% and 28.64% in the dosages of 5, 10 and 15 mg/kg, respectively, using the treatment schemes described above for each dosage. Based on the results of these trials, conducted in an eight year period (2002-2010) using the sequenced slicing method for evaluating the efficacy of the aforementioned formulations against T. saginata cysticercus, it is possible to observe that, amongst the few molecules used in the chemotherapic treatment against T. saginata larvae, ALB-SO, administered in varied routes, dosages and treatment schemes, the studies conducted in 2008, 2009, and 2010, have a low therapeutic efficacy against C bovis in Brazil, while ALBZ had insignificant efficacy values against T. saginata larvae parasitizing experimentally infected bovines. However, future studies using molecular biology will be necessary to assess whether the difference on the efficacy of the ALB-SO can be related to strain or another specific factor. (C) 2013 Elsevier Inc. All rights reserved.

Double-objective economic statistical design of the VP T-2 control chart: Wald's identity approach

Research has shown that applying the T-2 control chart by using a variable parameters (VP) scheme yields rapid detection of out-of-control states. In this paper, the problem of economic statistical design of the VP T-2 control chart is considered as a double-objective minimization problem with the statistical objective being the adjusted average time to signal and the economic objective being expected cost per hour. We then find the Pareto-optimal designs in which the two objectives are met simultaneously by using a multi-objective genetic algorithm. Through an illustrative example, we show that relatively large benefits can be achieved by applying the VP scheme when compared with usual schemes, and in addition, the multi-objective approach provides the user with designs that are flexible and adaptive.

Effects of Haematobia irritans infestation on weight gain of Nelore calves assessed with different antiparasitic treatment schemes

Effects of Haematobia irritans infestation on weight gain of 18 to 20 months old non-castrated Nelore calves, were investigated, under field conditions, using different antiparasitic treatments. Sixty animals were divided in three groups, with 20 bovines each: T01 (untreated control); T02 (treated with Cypermethrin 15 g + Chlorpyriphos 25 g + Citronellal 1 g, as a whole body spray, on days 0,30, 60, 90 and 120 post-treatment); and T03 (treated on day zero with an ear tag impregnated with Diazinon 6 g on the left ear). Counts of H. irritans were conducted on day 30, 60, 90, 120 and 150 post-treatment (DPT). On the same experimental dates, animals were individually weighed, seeking to evaluate the effects of parasitism on the development of animals in each group. From this study it is concluded that T03 had significantly higher efficacy (>90%, till 90 DPT), based on H. irritans fly counts, compared to T02 which showed little or no effect. At the specific conditions of the present study, an average of approximately 90 flies (mean difference of flycounts between groups T01 and T03) was associated with a difference of 20 kg/animal in 150 days. (C) 2014 Elsevier B.V. All rights reserved.

Hierarchy-Based Access Control in Distributed Environments

Access control is a fundamental concern in any system that manages resources, e.g., operating systems, file systems, databases and communications systems. The problem we address is how to specify, enforce, and implement access control in distributed environments. This problem occurs in many applications such as management of distributed project resources, e-newspaper and payTV subscription services. Starting from an access relation between users and resources, we derive a user hierarchy, a resource hierarchy, and a unified hierarchy. The unified hierarchy is then used to specify the access relation in a way that is compact and that allows efficient queries. It is also used in cryptographic schemes that enforce the access relation. We introduce three specific cryptography based hierarchical schemes, which can effectively enforce and implement access control and are designed for distributed environments because they do not need the presence of a central authority (except perhaps for set- UP).

Multiple independent origins of mitochondrial control region duplications in the order Psittaciformes

mitochondrial genomes are generally thought to be under selection for compactness, due to their small size, consistent gene content, and a lack of introns or intergenic spacers. As more animal mitochondrial genomes are fully sequenced, rearrangements and partial duplications are being identified with increasing frequency, particularly in birds (Class Ayes). In this study, we investigate the evolutionary history of mitochondrial control region states within the avian order Psittaciformes (parrots and cockatoos). To this aim, we reconstructed a comprehensive multi-locus phylogeny of parrots, used PCR of three diagnostic fragments to classify the mitochondrial control region state as single or duplicated, and mapped these states onto the phylogeny. We further sequenced 44 selected species to validate these inferences of control region state. Ancestral state reconstruction using a range of weighting schemes identified six independent origins of mitochondrial control region duplications within Psittaciformes. Analysis of sequence data showed that varying levels of mitochondrial gene and tRNA homology and degradation were present within a given clade exhibiting duplications. Levels of divergence between control regions within an individual varied from 0-10.9% with the differences occurring mainly between 51 and 225 nucleotides 3' of the goose hairpin in domain I. Further investigations into the fates of duplicated mitochondrial genes, the potential costs and benefits of having a second control region, and the complex relationship between evolutionary rates, selection, and time since duplication are needed to fully explain these patterns in the mitochondrial genome. (C) 2012 Elsevier Inc. All rights reserved.