Visualizing a temporal consistency checker

The notion of time plays a vital and ubiquitous role of a common universal reference. In knowledge-based systems, temporal information is usually represented in terms of a collection of statements, together with the corresponding temporal reference. This paper introduces a visualized consistency checker for temporal reference. It allows expression of both absolute and relative temporal knowledge, and provides visual representation of temporal references in terms of directed and partially weighted graphs. Based on the temporal reference of a given scenario, the visualized checker can deliver a verdict to the user as to whether the scenario is temporally consistent or not, and provide the corresponding analysis / diagnosis.

Temporal management using relative time in knowledge-based process control

In this paper, a knowledge-based approach is proposed for the management of temporal information in process control. A common-sense theory of temporal constraints over processes/events, allowing relative temporal knowledge, is employed here as the temporal basis for the system. This theory supports duration reasoning and consistency checking, and accepts relative temporal knowledge which is in a form normally used by human operators. An architecture for process control is proposed which centres on an historical database consisting of events and processes, together with the qualitative temporal relationships between their occurrences. The dynamics of the system is expressed by means of three types of rule: database updating rules, process control rules, and data deletion rules. An example is provided in the form of a life scheduler, to illustrate the database and the rule sets. The example demonstrates the transitions of the database over time, and identifies the procedure in terms of a state transition model for the application. The dividing instant problem for logical inference is discussed with reference to this process control example, and it is shown how the temporal theory employed can be used to deal with the problem.

A qualitative temporal information system for process control

A general system is presented in this paper which supports the expression of relative temporal knowledge in process control and management. This system allows knowledge of Allen's temporal relations over time elements, which may be both intervals and points. The objectives and characteristics of two major temporal attributes, i.e. ‘transaction time’ and ‘valid time’, are described. A graphical representation for the temporal network is presented, and inference over the network may be made by means of a consistency checker in terms of the graphical representation. An illustrative example of the system as applied to process control and management is provided.

Representing temporal knowledge in legal discourse

This paper presents a formalism for representing temporal knowledge in legal discourse that allows an explicit expression of time and event occurrences. The fundamental time structure is characterized as a well‐ordered discrete set of primitive times, i.e. non‐decomposable intervals with positive duration or points with zero duration), from which decomposable intervals can be constructed. The formalism supports a full representation of both absolute and relative temporal knowledge, and a formal mechanism for checking the temporal consistency of a given set of legal statements is provided. The general consistency checking algorithm which addresses both absolute and relative temporal knowledge turns out to be a linear programming problem, while in the special case where only relative temporal relations are involved, it becomes a simple question of searching for cycles in the graphical representation of the corresponding legal text.

Maintenance of a case-base for the retrieval of rotationally symmetric shapes for the design of metal castings

In this paper, we discuss the problem of maintenance of a CBR system for retrieval of rotationally symmetric shapes. The special feature of this system is that similarity is derived primarily from graph matching algorithms. The special problem of such a system is that it does not operate on search indices that may be derived from single cases and then used for visualisation and principle component analyses. Rather, the system is built on a similarity metric defined directly over pairs of cases. The problems of efficiency, consistency, redundancy, completeness and correctness are discussed for such a system. Performance measures for the CBR system are given, and the results for trials of the system are presented. The competence of the current case-base is discussed, with reference to a representation of cases as points in an n-dimensional feature space, and a Gramian visualisation. A refinement of the case base is performed as a result of the competence analysis and the performance of the case-base before and after refinement is compared.

A finite volume unstructured mesh approach to dynamic fluid–structure interaction: an assessment of the challenge of predicting the onset of flutter

Computational modelling of dynamic fluid–structure interaction (DFSI) is a considerable challenge. Our approach to this class of problems involves the use of a single software framework for all the phenomena involved, employing finite volume methods on unstructured meshes in three dimensions. This method enables time and space accurate calculations in a consistent manner. One key application of DFSI simulation is the analysis of the onset of flutter in aircraft wings, where the work of Yates et al. [Measured and Calculated Subsonic and Transonic Flutter Characteristics of a 45° degree Sweptback Wing Planform in Air and Freon-12 in the Langley Transonic Dynamic Tunnel. NASA Technical Note D-1616, 1963] on the AGARD 445.6 wing planform still provides the most comprehensive benchmark data available. This paper presents the results of a significant effort to model the onset of flutter for the AGARD 445.6 wing planform geometry. A series of key issues needs to be addressed for this computational approach. • The advantage of using a single mesh, in order to eliminate numerical problems when applying boundary conditions at the fluid-structure interface, is counteracted by the challenge of generating a suitably high quality mesh in both the fluid and structural domains. • The computational effort for this DFSI procedure, in terms of run time and memory requirements, is very significant. Practical simulations require even finer meshes and shorter time steps, requiring parallel implementation for operation on large, high performance parallel systems. • The consistency and completeness of the AGARD data in the public domain is inadequate for use in the validation of DFSI codes when predicting the onset of flutter.

Mathematical modelling: a laser soldering process for an optoelectronics butterfly package

For sensitive optoelectronic components, traditional soldering techniques cannot be used because of their inherent sensitivity to thermal stresses. One such component is the Optoelectronic Butterfly Package which houses a laser diode chip aligned to a fibre-optic cable. Even sub-micron misalignment of the fibre optic and laser diode chip can significantly reduce the performance of the device. The high cost of each unit requires that the number of damaged components, via the laser soldering process, are kept to a minimum. Mathematical modelling is undertaken to better understand the laser soldering process and to optimize operational parameters such as solder paste volume, copper pad dimensions, laser solder times for each joint, laser intensity and absorption coefficient. Validation of the model against experimental data will be completed, and will lead to an optimization of the assembly process, through an iterative modelling cycle. This will ultimately reduce costs, improve the process development time and increase consistency in the laser soldering process.

Signage legibility distances as a function of observation angle

Signage systems are widely used in buildings to provide information for wayfinding, thereby assisting in navigation during normal circulation of pedestrians and, more importantly, exiting information during emergencies. An important consideration in determining the effectiveness of signs is establishing the region from which the sign is visible to occupants, the so-called visibility catchment area (VCA). This study attempts to factor into the determination of the VCA of signs, the observation angle of the observer. In building regulations, it is implicitly assumed that the VCA is independent of the observation angle. A theoretical model is developed to explain the relationship between the VCA and observation angle and experimental trials are performed in order to assess the validity of this model. The experimental findings demonstrate a consistency with the theoretical model. Given this result, the functionality of a comprehensive evacuation model is extended in accordance with the assumptions on which the theoretical model is based and is then demonstrated using several examples

Segregation of bulk particulates through multiple process handling steps

Segregation or de-blending of bulk particulates is a problem that is encountered in many industrial sectors. The magnitude of segregation can often determine whether a complete production batch can be transferred for onward processing within the plant or released to market. It is a phenomenon that impacts directly upon the profitability of a process. Segregation can occur through a coincidence of a range of variables that relate to the process and bulk particulate properties, common mechanisms for this include; percolation, surface effect (rolling) and elutriation. The importance to industry of predicting the sensitivity of bulk particulates to segregation cannot be under-estimated, and to this end various test procedures have been developed. Within many industries striving to improve product quality and reduce wastage, the determination of variability in blend consistency caused by segregation is an increasing priority. This paper considers recent work undertaken to evaluate the effects of multiple handling operations on the degree of segregation that results. The bulk properties of segregability (and resulting flowability) can not only influence the product consistency, but can have great influence over the process (production) control and performance.

Development of an in-situ, non-destructive ultrasonic monitoring technique for solder pastes

This paper concerns the use of a non-destructive ultrasonic technique for characterising the rheological properties of solder paste and specifically, the use of through-mode microsecond ultrasonic pulses for evaluation of viscoelastic properties of paste materials at the molecular level. Ultrasonic techniques are a widely used and a reliable form of non-destructive testing of materials. This is because techniques such as ultrasounds while used for testing or monitoring material properties, has offered immense benefits in applications where access to the sample is restricted or when handling the sample for testing could interfere with the monitoring or analysis process. Very often, this would mean that the measurements taken are not a true representation of the behaviour of the material (due to externally incorporated changes into the material's physical state during the removal or testing process). Ultrasonic based techniques are being increasingly used for quality control and production monitoring functions which requires evaluation of the changes in material properties over wide range of industrial applications such as cement paste quality, plastic/polymer extrusion process, dough, and even sugar content in beverage drinks. In addition, ultrasound techniques are of great interest for their capacity to take rapid measurements in systems which are optically opaque. The viscometer and rheometer are two of the most widely used rheological instruments used in industry for monitoring the quality of solder pastes, during the production and packaging stage. One of the potential limitations of viscometer and rheometer based measurements is that the collection and preparation of the solder paste samples can irreversibly alter the structure and flow behaviour of the sample. Hence the measurement may not represent the actual quality of the whole production batch. Secondly, rheological measurements and the interpretation of rheological data is a very technical and time consuming process, which requires professionally trained R&D personnel. It is for these reasons that materials suppliers (who formulate and produce solder pastes) and solder paste consumers (especially, contract electronics manufacturers) are keen to see the development of simple, easy to use and accurate techniques for the theological characterisation of solder pastes. The results from the work show that the technique can be used by R&D personnel involved in paste formulation and manufacture to monitor the batch-to-batch quality and consistency.

In-situ non-destructive ultrasonic rheology technique for monitoring different lead-free solder pastes for surface mount applications

This paper investigates the application of a non-destructive ultrasonic technique for characterising the rheological properties of solder paste through the use of through-mode microsecond ultrasonic pulses for evaluation of viscoelastic properties of lead-free solder paste containing different types of flux. Ultrasonic techniques offer a robust and reliable form of non-destructive testing of materials where access to the sample is restricted or when sample handling can interfere with the monitoring or analysis process due to externally incorporated changes to the material’s physical state or accidental contamination during the removal or testing process. Ultrasonic based techniques are increasingly used for quality control and production monitoring functions which requires evaluation of changes in material properties for a wide range of industrial applications such as cement paste quality, plastic/polymer extrusion process, dough and even sugar content in beverage drinks. In addition, ultrasound techniques are of great interest for their capability to take rapid measurements in systems which are optically opaque. The conventional industry approach for characterising the rheological properties of suspensions during processing/packaging stage is mainly through the use of viscometer and some through the use of rheometer. One of the potential limitations of viscometer and rheometer based measurements is that the collection and preparation of the solder paste samples can irreversibly alter the structure and flow behaviour of the sample. Hence the measurement may not represent the actual quality of the whole production batch. Secondly, rheological measurements and the interpretation of rheological data is a very technical and time consuming process, which requires professionally trained R&D personnel. The ultrasound technique being proposed provides simple, yet accurate and easy to use solution for the in-situ rheological characterisation of solder pastes which will benefit the materials suppliers (who formulate and produce solder pastes) and solder paste consumers (especially, contract electronics manufacturers). The results from the work show that the technique can be used by R&D personnel involved in paste formulation and manufacture to monitor the batch-to-batch quality and consistency.