A sound and complete reified temporal logic

There are mainly two known approaches to the representation of temporal information in Computer Science: modal logic approaches (including tense logics and hybrid temporal logics) and predicate logic approaches (including temporal argument methods and reified temporal logics). On one hand, while tense logics, hybrid temporal logics and temporal argument methods enjoy formal theoretical foundations, their expressiveness has been criticised as not power enough for representing general temporal knowledge; on the other hand, although current reified temporal logics provide greater expressive power, most of them lack of complete and sound axiomatic theories. In this paper, we propose a new reified temporal logic with a clear syntax and semantics in terms of a sound and complete axiomatic formalism which retains all the expressive power of the approach of temporal reification.

Shear bond strengths of glass-ionomer cements to sound and to prepared carious dentine

The aim of this study was determine whether bonding of glass-ionomer cements to non-carious dentine differed from that to carious dentine. Five commercial cements were used, namely Fuji IX GP, Fuji IX capsulated, Fuji IX Fast capsulated (all GC, Japan), Ketac-Molar and Ketac-Molar Aplicap (both 3M-ESPE, Germany). Following conditioning of the substrate with 10% poly (acrylic acid) for 10 s, sets of 10 samples of the cements were bonded to prepared teeth that had been removed for orthodontic reasons. The teeth used had either sound dentine or sclerotic dentine. Shear bond strengths were determined following 24 h storage. For the auto-mixed cements, shear bond strength to sound dentine was found not to differ statistically from shear bond strength to sclerotic dentine whereas for hand-mixed cements, shear bond to sound dentine was found to be higher than to carious dentine (to at least p < 0.05). This shows that the chemical effects arising from interactions of glass-ionomer cements with the mineral phase of the tooth are the most important in developing strong bonds, at least in the shorter term.

Evaluation of particle degradation due to high-speed impacts in a pneumatic handling system

Particle degradation can be a significant issue in particulate solids handling and processing, particularly in pneumatic conveying systems, in which high-speed impact is usually the main contributory factor leading to changes in particle size distribution (comparing the material to its virgin state). However, other factors may strongly influence particles breakage as well, such as particle concentrations, bend geometry,and hardness of pipe material. Because of such complex influences, it is often very difficult to predict particle degradation accurately and rapidly for industrial processes. In this article, a general method for evaluating particle degradation due to high-speed impacts is described, in which the breakage properties of particles are quantified using what are known as "breakage matrices". Rather than a pilot-size test facility, a bench-scale degradation tester has been used. Some advantages of using the bench-scale tester are briefly explored. Experimental determination of adipic acid has been carried out for a range of impact velocities in four particle size categories. Subsequently, particle breakage matrices of adipic acid have been established for these impact velocities. The experimental results show that the "breakage matrices" of particles is an effective and easy method for evaluation of particle degradation due to high-speed impacts. The possibility of the "breakage matrices" approach being applied to a pneumatic conveying system is also explored by a simulation example.