Automated Generation of Geometric Theorems from Images of Diagrams

We propose an approach to generate geometric theorems from electronic images of diagrams automatically. The approach makes use of techniques of Hough transform to recognize geometric objects and their labels and of numeric verification to mine basic geometric relations. Candidate propositions are generated from the retrieved information by using six strategies and geometric theorems are obtained from the candidates via algebraic computation. Experiments with a preliminary implementation illustrate the effectiveness and efficiency of the proposed approach for generating nontrivial theorems from images of diagrams. This work demonstrates the feasibility of automated discovery of profound geometric knowledge from simple image data and has potential applications in geometric knowledge management and education.Comment: 31 pages. Submitted to Annals of Mathematics and Artificial Intelligence (special issue on Geometric Reasoning

On systematic approaches for interpreted information transfer of inspection data from bridge models to structural analysis

In conjunction with the improved methods of monitoring damage and degradation processes, the interest in reliability assessment of reinforced concrete bridges is increasing in recent years. Automated imagebased inspections of the structural surface provide valuable data to extract quantitative information about deteriorations, such as crack patterns. However, the knowledge gain results from processing this information in a structural context, i.e. relating the damage artifacts to building components. This way, transformation to structural analysis is enabled. This approach sets two further requirements: availability of structural bridge information and a standardized storage for interoperability with subsequent analysis tools. Since the involved large datasets are only efficiently processed in an automated manner, the implementation of the complete workflow from damage and building data to structural analysis is targeted in this work. First, domain concepts are derived from the back-end tasks: structural analysis, damage modeling, and life-cycle assessment. The common interoperability format, the Industry Foundation Class (IFC), and processes in these domains are further assessed. The need for usercontrolled interpretation steps is identified and the developed prototype thus allows interaction at subsequent model stages. The latter has the advantage that interpretation steps can be individually separated into either a structural analysis or a damage information model or a combination of both. This approach to damage information processing from the perspective of structural analysis is then validated in different case studies

Realising the open virtual commissioning of modular automation systems

To address the challenges in the automotive industry posed by the need to rapidly manufacture more product variants, and the resultant need for more adaptable production systems, radical changes are now required in the way in which such systems are developed and implemented. In this context, two enabling approaches for achieving more agile manufacturing, namely modular automation systems and virtual commissioning, are briefly reviewed in this contribution. Ongoing research conducted at Loughborough University which aims to provide a modular approach to automation systems design coupled with a virtual engineering toolset for the (re)configuration of such manufacturing automation systems is reported. The problems faced in the virtual commissioning of modular automation systems are outlined. AutomationML - an emerging neutral data format which has potential to address integration problems is discussed. The paper proposes and illustrates a collaborative framework in which AutomationML is adopted for the data exchange and data representation of related models to enable efficient open virtual prototype construction and virtual commissioning of modular automation systems. A case study is provided to show how to create the data model based on AutomationML for describing a modular automation system

Epidemiological and awareness study of tuberculosis in Batu Pahat, Johor, Malaysia

Tuberculosis (TB) remains one of the serious infectious diseases and has been characterized worldwide as an epidemic by World Health Organization (WHO). TB is still a public health problem in Malaysia. Baseline information on the disease situation is one of the prerequisites for the development of appropriate control measures. The cornerstone in proper management of TB patients is ensuring high awareness in communities about TB. Thus the current research is directed to investigate the epidemiology of TB, determined the level of public awareness of TB and some factors that are responsible for the emergence of TB. Retrospective method was used for collecting epidemiological data from the Batu Pahat chest clinic. All registered TB patients (total of 1213 patients) from 2008 to 2013 in Batu Pahat Chest Clinic were included in the study. On the other hand, the awareness study was carried out by the use of questionnaires. A two-stage cluster sampling method was used. 600 respondents were targeted which form the study sample. However, 498 questionnaires were returned. Descriptive data analysis was employed to describe the results in frequency and percentage distribution. It was discovered that there was an annually increase in TB incidence with pulmonary TB the most common infection in Batu Pahat. Almost all (92.7%) the TB cases were new. On the other hand, majority (87.0%) of respondents have heard about TB. Common symptoms identified by respondents were coughing for over 2 weeks (51.8%), hemoptysis (49.2%) and difficulty in breathing (50.2%). Smoking cigarette (74.3%), living with individual having chronic cough (71.5%) and HIV/AIDS (65.7%) were the common risk factors of TB identified by respondents. Most of the respondents (83.5%) were aware of the existence of TB drugs. However, the standard DOTs treatment duration of 6-9 months was identified by few (12.4%) respondents. This research provided information regarding TB status in Batu Pahat. The level of awareness among Batu Pahat general public about TB is fairly good. Meanwhile, more need to be done especially on diabetes as the risk factors of TB and treatment duration

Computational simulation for concurrent engineering of aerospace propulsion systems

Results are summarized for an investigation to assess the infrastructure available and the technology readiness in order to develop computational simulation methods/software for concurrent engineering. These results demonstrate that development of computational simulation methods for concurrent engineering is timely. Extensive infrastructure, in terms of multi-discipline simulation, component-specific simulation, system simulators, fabrication process simulation, and simulation of uncertainties--fundamental to develop such methods, is available. An approach is recommended which can be used to develop computational simulation methods for concurrent engineering of propulsion systems and systems in general. Benefits and issues needing early attention in the development are outlined

The Development and Implementation of New Technologies in Agri-Food Systems: The Case Study of Modularized Solution for Water Filtering Equipments

The outcomes of the evolution in the area of informatics, sensory science, data processing or non conventional technologies started to be transferred and successfully used in the field of the agro-industrial equipments and applications. The new generation of water filtering equipments is among them and the importance of the self-cleaning filtering battery is obvious. The system has to answer both to the requirements of industrial users as well as private users. A lot of work was done to improve the existing solutions with a new model which accomplishes the needs of the small users. The work is focused on this sector in the view of designing a modularized solution with a simple geometry which is able to incorporate the back-flushing valve, the filter and all the associate pipelines. Simultaneous these modules have to be easily connected for materializing the filtering batteries with two, three or more filters. The study presented in this paper is conducted in order to solve the problem of a part included in a hydraulic system – a self-cleaning filtering battery prototype. Further research has to be done in order to provide reliable information for long run strategies.Agricultural and Food Policy,