Tools for NLO automation: Extension of the golem95C integral library

We present an extension of the program golem95C for the numerical evaluation of scalar integrals and tensor form factors entering the calculation of one-loop amplitudes, which supports tensor ranks exceeding the number of propagators. This extension allows various applications in Beyond the Standard Model physics and effective theories, for example higher ranks due to propagators of spin two particles, or due to effective vertices. Complex masses are also supported. The program is not restricted to the Feynman diagrammatic approach, as it also contains routines to interface to unitarity-inspired numerical reconstruction of the integrand at the tensorial level. Therefore, it can serve as a general integral library in automated programs to calculate one-loop amplitudes.     

Supporting multilinguality in library automation systems using ai tools

Language barriers present a major problem in the effectiveness of resource sharing and in common access to the resources of libraries. In this paper we present the TRANSLIB system, which consists of an integration of both new and existing multilingual information tools. This system takes full advantage of some AI-based methods in order to provide multilingual access to library catalogues. Its main features include functionalities for searching in multiple languages, multilingual presentation of the query results, and localization of the user interface. TRANSLIB has currently been tested in existing medium-sized bibliographic databases. Evaluation results show a remarkable improvement in the search process and report high user friendliness and easy and low-cost maintenance and upgrade of the system.     

Agent virtual machine for automation controllers: Example application: Shipboard automation

We are interested in providing an agent infrastructure for truly distributed control. Requirements include multiple language implementations, so that this agent host environment can exist in both real-time controllers and contain the ability to operate with external agent systems. Our first infrastructure, the Autonomous Cooperative System (ACS), accomplished these goals, but presented other issues. Although ACS has been successfully deployed on commercial controllers, new releases of controllers will cause complications in the evolution of the software and adoption of future functionality. We need to establish a formal integration procedure of the agent functionality with the controllers and to transform the underlying system into a fully integrated and open heterogeneous system. We use a shipboard automation example to demonstrate the use of the agent virtual machine. With this system, the shipboard automation system is designed as a distributed and survivable environment, thereby spreading intelligence throughout the controllers and not in central locations.     

Computational wave optics library for C++: CWO++ library

Diffraction calculations, such as the angular spectrum method and Fresnel diffractions, are used for calculating scalar light propagation. The calculations are used in wide-ranging optics fields: for example, Computer Generated Holograms (CGHs), digital holography, diffractive optical elements, microscopy, image encryption and decryption, three-dimensional analysis for optical devices and so on. However, increasing demands made by large-scale diffraction calculations have rendered the computational power of recent computers insufficient. We have already developed a numerical library for diffraction calculations using a Graphic Processing Unit (GPU), which was named the GWO library. However, this GWO library is not user-friendly, since it is based on C language and was also run only on a GPU. In this paper, we develop a new C++ class library for diffraction and CGH calculations, which is referred to as a CWO++ library, running on a CPU and GPU. We also describe the structure, performance, and usage examples of the CWO++ library.Program summaryProgram title: CWO++Catalogue identifier: AELL_v1_0Program summary URL: http://cpc.cs.qub.ac.uk/summaries/AELL_v1_0.htmlProgram obtainable from: CPC Program Library, Queen?s University, Belfast, N. IrelandLicensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.: 109 809No. of bytes in distributed program, including test data, etc.: 4 181 911Distribution format: tar.gzProgramming language: C++Computer: General computers and general computers with NVIDIA GPUsOperating system: Windows XP, Vista, 7Has the code been vectorized or parallelized?: Yes. 1 core processor used in CPU and many cores in GPU.RAM: 256 M bytesClassification: 18External routines: CImg, FFTWNature of problem: The CWO++ library provides diffraction calculations which are useful for Computer Generated Holograms (CGHs), digital holography, diffractive optical elements, microscopy, image encryption and decryption and three-dimensional analysis for optical devices.Solution method: FFT-based diffraction calculations, computer generated holograms by direct integration.Running time: The sample runs provided take approximately 5 minutes for the C++ version and 5 seconds for the C++ with GPUs version.     

Test development for communication protocols: towards automation

In this paper we give an introduction to methods and tools for testing communication protocols and distributed systems. In this context, we try to answer the following questions: Why are we testing? What are we testing? Against what are we testing?... We present the different approaches of test automation and explain the industrial point of view (automatic test execution) and the research point of view (automatic test generation). The complete automation of the testing process requires the use of formal methods for providing a model of the required system behavior. We show the importance of modelling the aspects to be tested (the right model for the right problem!) and point out the different aspects of interest (control, data, time and communication). We present the problem of testing based on models, in the form of finite state machines (FSMs), extended FSMs, timed FSMs and communicating FSMs, and give an overview of the proposed solutions and their limitations. Finally, we present our own experience in automatic test generation based on SDL specifications, and discuss some related work and existing tools.     

Trust in automation: designing for appropriate reliance

Automation is often problematic because people fail to rely upon it appropriately. Because people respond to technology socially, trust influences reliance on automation. In particular, trust guides reliance when complexity and unanticipated situations make a complete understanding of the automation impractical. This review considers trust from the organizational, sociological, interpersonal, psychological, and neurological perspectives. It considers how the context, automation characteristics, and cognitive processes affect the appropriateness of trust. The context in which the automation is used influences automation performance and provides a goal-oriented perspective to assess automation characteristics along a dimension of attributional abstraction. These characteristics can influence trust through analytic, analogical, and affective processes. The challenges of extrapolating the concept of trust in people to trust in automation are discussed. A conceptual model integrates research regarding trust in automation and describes the dynamics of trust, the role of context, and the influence of display characteristics. Actual or potential applications of this research include improved designs of systems that require people to manage imperfect automation.     

System architecture for process automation: Review and trends

New developments in information technologies are radically transforming process automation. Their impact and benefit derive both from these technologies individually and from their convergence in new system architecture concepts. This paper reviews how process automation system architectures have evolved and discusses future trends. We draw an analogy between the synergistic new technologies being developed today and the technology landscape of the early 1970s—characterized by the near-simultaneous appearance of microprocessors, communication networks, CRT displays—that resulted in the first DCS systems (in particular, the Honeywell TDC2000). Emerging technologies highlighted include wireless, embedded devices, service-oriented architecture, and application infrastructures.     

Vision-based control for mining automation

The mining industry is highly suitable for the application of robotics and automation technology since the work is both arduous and dangerous. Visual servoing is a means of integrating noncontact visual sensing with machine control to augment or replace operator based control. This article describes two of our current mining automation projects in order to demonstrate some, perhaps unusual, applications of visual servoing, and also to illustrate some very real problems with robust computer vision     

Pattern analysis for point-of-sale automation

The paper provides a progress report on a project aimed at automating the checkout operation at a supermarket, without corrupting package labels by adding barcodes.Significant parameters of the checkout operation such as throughout and error rates are first discussed. Next, the requirements for a pattern recognition methodology for identifying packaged merchandise are analysed and an approach is suggested. Finally, the results of an investigation of simple image processing methods for recognising labels are presented, and an approach based on grey level histogram data is shown to be promising.     

一种稳定的线性离散多变量系统的鲁棒MRAC新算法

本文对含有可测扰动的线性离散多变量系统，给出了一种鲁棒ＭＲＡＣ新算法。     

Web service conversation modeling: a cornerstone for e-business automation

Web services are emerging as a promising technology for effectively automating interorganizational interactions. However, despite the growing interest, several issues remain to be addressed to provide Web services with benefits similar to what traditional middleware brings to intraorganizational application integration. We identify a framework that builds on current standards to help developers define extended service models and richer Web service abstractions. The framework's main feature is a conversation metamodel derived from our analysis of e-commerce portal sites.     

Impediments for software test automation: A systematic literature review

Automated software testing is a critical enabler for modern software development, where rapid feedback on the product quality is expected. To make the testing work well, it is of high importance that impediments related to test automation are prevented and removed quickly. An enabling factor for all types of improvement is to understand the nature of what is to be improved. We have performed a systematic literature review of reported impediments related to software test automation to contribute to this understanding. In this paper, we present the results from the systematic literature review: The list of identified publications, a categorization of identified impediments, and a qualitative discussion of the impediments proposing a socio‐technical system model of the use and implementation of test automation.     

SiLA: Basic standards for rapid integration in laboratory automation

A standard (SiLA, Standardization in Lab Automation) that focuses on the connection between sample processing devices and a software system for automation gains acceptance. This article reports about the creation and contents of the first set of standard specifications developed during the first 2 years. These specifications-named Device Control and Data Interface Specification, Common Command Dictionary, and Data Capture Specification-describe how devices are connected to a software controlling the interplay of the devices, the command sets for various device classes, and the structure of result data such as data generated by microtiter plate readers. A section about SiLA-compliant products and pilot projects using SiLA-compatible devices for system integration gives an idea about the acceptance of the standard in the marketplace.     

Intelligent automation systems for predictive maintenance: A case study

A case study is presented, where a predictive maintenance solution for non-critical machinery (such as elevators and machine tools) was sought. Both cases are different. There is no experience in elevator monitoring and diagnosis, and modeling has been performed using Neural Networks. On the other hand, machine tools were monitored through vibration systems where some experience exists. In this case, Bayesian Networks are the paradigm of choice as it was also recommended to include some ‘adaptation’ mechanism for the knowledge modeled in the network. The final system also includes a sensor processing unit and a remote maintenance module system that provides an automated remote condition monitoring system, for both applications. Results indicate the feasibility of partial solutions in monitoring and diagnosis, though future enhancements are needed to compose a complete solution. This paper explains the characteristics of the Bayesian Network solution finally developed for high-speed machine tools, evaluate their strengths and weaknesses, and indicate the future enhancements.     

Mobile home automation: merging mobile value added services and home automation technologies

In this paper we study mobile home automation, a field that emerges from an integration of mobile application platforms and home automation technologies. We motivate our research and provide a conceptual introduction, which illustrates the need for such applications by a two-dimensional conceptual model of mobility. As a first steps towards a solution we take the user’s perspective and discuss different options of how he might access a mobile home automation service and the controlled devices. Subsequently, we suggest a general system architecture for mobile home automation services and discuss related design decision. This design has been implemented in a research prototype, which we named Remotile. This helps us to discuss typical components, such as modules that integrate various home automation devices. A previous version of this paper was presented at the Sixth International Conference on Mobile Business, 2007. “Andreas Rosendahl, J. Felix Hampe, and Goetz Botterweck, Mobile Home Automation, Merging Mobile Value Added Services and Home Automation Technologies, Proceedings, Sixth International Conference on Mobile Business, 8–11 July 2007, IEEE Computer Society, ISBN 0-7695-2803-1”.     

Design automation for customized apparel products

This paper presents solution techniques for a three-dimensional Automatic Made-to-Measure scheme for apparel products. Freeform surface is adopted to represent the complex geometry models of apparel products. When designing the complex surface of an apparel product, abstractions are stored in conjunction with the models using a non-manifold data structure. Apparel products are essentially designed with reference to human body features, and thus share a common set of features as the human model. Therefore, the parametric feature-based modeling enables the automatic generation of fitted garments on differing body shapes. In our approach, different apparel products are each represented by a specific feature template preserving its individual characteristics and styling. When the specific feature template is encoded as the equivalent human body feature template, it automates the generation of made-to-measure apparel products. The encoding process is performed in 3D, which fundamentally solves the fitting problems of the 2D tailoring and pattern-making process. This paper gives an integrated solution scheme all above problems. In detail, a non-manifold data structure, a constructive design method, four freeform modification tools, and a detail template encoding/decoding method are developed for the design automation of customized apparel products.     

Research laboratory for fish processing automation

This paper outlines the organization, resources, and research and development activities of a newly established laboratory for industrial automation at a major Canadian university. The laboratory has been established in the Department of Mechanical Engineering primarily to support the research and development activities associated with the Natural Sciences and Engineering Research Council (NSERC) Chair of Industrial Automation. The research is focused on the development of advanced and low-cost technology for flexible automation of the fish processing industry. The main objective is to upgrade the technology used in the mechanical processing of fish, thereby reducing wastage of the primary product, improving efficiency, and making the local industry more competitive in export markets. Establishment of an infrastructure in industrial automation within the university and local training/ retraining of engineers with control and automation expertise for local industries are related objectives. As a specific task, an experimental workcell for fish processing is being developed in the laboratory. The theme of the activities of the laboratory is the integration of advanced control, high-level computer vision, and robotic manipulation and devices, for application in the area of fish processing.