Characterization of heat-treated porous carbons using argon adsorption

The microstructural variation of Norit RI Extra activated carbon, progressively heated at 1373 K, was explored in terms of pore size and pore wall thickness distributions, for various periods of heating time, determined by argon adsorption at 87 K, both using an infinite as well as and finite wall thickness model. The latter approach has recently been developed in our laboratory and has been applied to several virgin carbons. The current results show significant variations in small pore size regions (< 7 angstrom) in association with strong growth of thick walls having at least three carbon sheets, as a result of heat treatment. In particular, shrinkage of the smallest pores due to strong interaction between their opposite walls as well as smoothening of carbon wall surfaces due to an increase in graphitization degree under thermal treatment have been found. Further, the results of pore wall thickness distribution are well corroborated by X-ray diffraction. The results of pore size and pore wall thickness distributions are also shown to be consistent with transmission electron microscopy analyses. (c) 2005 Elsevier Ltd. All rights reserved.

Introducing uncertainty into pattern discovery in temporal event sequences

Pattern discovery in temporal event sequences is of great importance in many application domains, such as telecommunication network fault analysis. In reality, not every type of event has an accurate timestamp. Some of them, defined as inaccurate events may only have an interval as possible time of occurrence. The existence of inaccurate events may cause uncertainty in event ordering. The traditional support model cannot deal with this uncertainty, which would cause some interesting patterns to be missing. A new concept, precise support, is introduced to evaluate the probability of a pattern contained in a sequence. Based on this new metric, we define the uncertainty model and present an algorithm to discover interesting patterns in the sequence database that has one type of inaccurate event. In our model, the number of types of inaccurate events can be extended to k readily, however, at a cost of increasing computational complexity.

A framework and tool support for the systematic testing of model-based specifications

Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively. This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.