Categorization and construction of rule based systems

Expert systems have been increasingly popular for commercial importance. A rule based system is a special type of an expert system, which consists of a set of ‘if-then‘ rules and can be applied as a decision support system in many areas such as healthcare, transportation and security. Rule based systems can be constructed based on both expert knowledge and data. This paper aims to introduce the theory of rule based systems especially on categorization and construction of such systems from a conceptual point of view. This paper also introduces rule based systems for classification tasks in detail.

Nonlinear equalization of Hammerstein OFDM systems

A practical orthogonal frequency-division multiplexing (OFDM) system can generally be modelled by the Hammerstein system that includes the nonlinear distortion effects of the high power amplifier (HPA) at transmitter. In this contribution, we advocate a novel nonlinear equalization scheme for OFDM Hammerstein systems. We model the nonlinear HPA, which represents the static nonlinearity of the OFDM Hammerstein channel, by a B-spline neural network, and we develop a highly effective alternating least squares algorithm for estimating the parameters of the OFDM Hammerstein channel, including channel impulse response coefficients and the parameters of the B-spline model. Moreover, we also use another B-spline neural network to model the inversion of the HPA’s nonlinearity, and the parameters of this inverting B-spline model can easily be estimated using the standard least squares algorithm based on the pseudo training data obtained as a byproduct of the Hammerstein channel identification. Equalization of the OFDM Hammerstein channel can then be accomplished by the usual one-tap linear equalization as well as the inverse B-spline neural network model obtained. The effectiveness of our nonlinear equalization scheme for OFDM Hammerstein channels is demonstrated by simulation results.

A methodology to measure the environmental impact of ICT operating systems across different device platforms

Abstract: A new methodology was created to measure the energy consumption and related green house gas (GHG) emissions of a computer operating system (OS) across different device platforms. The methodology involved the direct power measurement of devices under different activity states. In order to include all aspects of an OS, the methodology included measurements in various OS modes, whilst uniquely, also incorporating measurements when running an array of defined software activities, so as to include OS application management features. The methodology was demonstrated on a laptop and phone that could each run multiple OSs, results confirmed that OS can significantly impact the energy consumption of devices. In particular, the new versions of the Microsoft Windows OS were tested and highlighted significant differences between the OS versions on the same hardware. The developed methodology could enable a greater awareness of energy consumption, during both the software development and software marketing processes.

Analysis of the distribution of the number of bidders in construction contract auctions

The number of bidders, N, involved in a construction procurement auction is known to have an important effect on the value of the lowest bid and the mark-up applied by bidders. In practice, for example, it is important for a bidder to have a good estimate of N when bidding for a current contract. One approach, instigated by Friedman in 1956, is to make such an estimate by statistical analysis and modelling. Since then, however, finding a suitable model for N has been an enduring problem for researchers and, despite intensive research activity in the subsequent 30 years, little progress has been made, due principally to the absence of new ideas and perspectives. The debate is resumed by checking old assumptions, providing new evidence relating to concomitant variables and proposing a new model. In doing this and in order to ensure universality, a novel approach is developed and tested by using a unique set of 12 construction tender databases from four continents. This shows the new model provides a significant advancement on previous versions. Several new research questions are also posed and other approaches identified for future study.

Effect of different bleaching systems on the ultrastructure of bovine dentin

The aim of this study was to evaluate in vitro the effect of different in-office bleaching systems on the surface morphology of bovine dentin. Thirty tooth fragments measuring 4 x 4mm, containing enamel and dentin, were obtained from the crowns of extracted bovine incisors. Samples were subjected to simulated intracoronal bleaching techniques using conventional (Opalescence Endo (R) and Whiteness Super Endo (R)) and light-activated systems (Opalescence Xtra (R) and Whiteness HP Maxx (R)). Controls were treated with either sodium perborate mixed with 10% hydrogen peroxide or no bleaching agent. The samples were observed under SEM and the recorded images were evaluated for topographic alterations. The ultrastructural alterations of dentin observed in this study varied greatly between groups according to the products used. Higher pH products (Whiteness HP Maxx (R) and Opalescence Xtra (R)) associated with in-office techniques yielded better maintenance of dentin ultrastructure. Apparently, both low pH and hydrogen peroxide oxidation play a role in altering the ultrastructure of dentin during internal dental bleaching. The use of alkaline products with reduced time of application (in-office techniques) may decrease such morphological alterations.

Climatological features of cutoff low systems in the Southern Hemisphere

Cutoff lows (COLs) pressure systems climatology for the Southern Hemisphere (SH), between 10 degrees S and 50 degrees S, using the National Center for Environmental Prediction-National Center for Atmospheric Research (NCEP-NCAR) and the ERA-40 European Centre for Medium Range Weather Forecast (ECMWF) reanalyses are analyzed for the period 1979-1999. COLs were identified at three pressure levels (200, 300, and 500 hPa) using an objective method that considers the main physical characteristics of the conceptual model of COLs. Independently of the pressure level analyzed, the climatology from the ERA-40 reanalysis has more COLs systems than the NCEP-NCAR. However, both reanalyses present a large frequency of COLs at 300 hPa, followed by 500 and 200 hPa. The seasonality of COLs differs at each pressure level, but it is similar between the reanalyses. COLs are more frequent during summer, autumn, and winter at 200, 300, and 500 hPa, respectively. At these levels, they tend to occur around the continents, preferentially from southeastern Australia to New Zealand, the south of South America, and the south of Africa. To study the COLs at 200 and 300 hPa from a regional perspective, the SH was divided in three regions: Australia-New Zealand (60 E-130 W), South America (130 degrees W-20 degrees W), and southern Africa (20 degrees W-60 degrees E). The common COLs features in these sectors for both reanalyses are a short lifetime (similar to 80.0% and similar to 70.0% of COLs at 200 and 300 hPa, respectively, persisting for up to 3 days), mobility (similar to 70.0% and similar to 50% of COLs at 200 and 300 hPa, respectively, traveling distances of up to 1200 km), and an eastward propagation.

Use of electrical resistivity to identify collapsible soils in Brazil

Three soil profiles in Ilha Solteira, Brazil were investigated to establish their potential for collapsible behavior. The soil profiles were identified using terrain evaluation techniques and simple laboratory tests. Geophysical surveys were undertaken as they are quick and relatively cheap. The results were correlated with trial pit descriptions and cone and standard penetration tests. The study has shown that electrical resistivity is a useful tool for the preliminary identification of horizons of collapsible soils, before more expensive intrusive and laboratory work is undertaken.

Comparison of Two Rotary Systems in Root Canal Preparation Regarding Disinfection

Introduction: The aim of the present study was to determine the disinfection of preparations carried out by using the Protaper or MTwo system in canals infected with Enterococcus faecalis. Methods: Twenty-eight distobuccal canals of upper molars were used, in which the canals were sterilized after being enlarged to #20 file and then contaminated with an inoculation of a culture of E. faecalis. After the incubation period, bacterial samples were collected and were seeded on plates for analysis of colony-forming units (CFU)/mL. The teeth were divided into 2 groups according to the rotary system used for instrumentation; 2 noninstrumented teeth served as the control group. Then bacterial samples were collected and were seeded on plates for analysis of CFU/mL again. The data obtained were evaluated by the Wilcoxon and Mann-Whitney U tests. Results: Bacterial reduction was 81.94% and 84.29%, respectively, in Pro Taper and Mtwo systems, and there was no statistically significant difference (P > .05). Conclusions: Both systems, Pro Taper and Mtwo, reduced the amount of bacteria in the mechanical disinfection of the root canal system, demonstrating that they are suitable for this purpose. (J Endod 2010;36:1238-1240)

Semiclassical evolution of dissipative Markovian systems

A semiclassical approximation for an evolving density operator, driven by a `closed` Hamiltonian operator and `open` Markovian Lindblad operators, is obtained. The theory is based on the chord function, i.e. the Fourier transform of the Wigner function. It reduces to an exact solution of the Lindblad master equation if the Hamiltonian operator is a quadratic function and the Lindblad operators are linear functions of positions and momenta. Initially, the semiclassical formulae for the case of Hermitian Lindblad operators are reinterpreted in terms of a (real) double phase space, generated by an appropriate classical double Hamiltonian. An extra `open` term is added to the double Hamiltonian by the non-Hermitian part of the Lindblad operators in the general case of dissipative Markovian evolution. The particular case of generic Hamiltonian operators, but linear dissipative Lindblad operators, is studied in more detail. A Liouville-type equivariance still holds for the corresponding classical evolution in double phase space, but the centre subspace, which supports the Wigner function, is compressed, along with expansion of its conjugate subspace, which supports the chord function. Decoherence narrows the relevant region of double phase space to the neighbourhood of a caustic for both the Wigner function and the chord function. This difficulty is avoided by a propagator in a mixed representation, so that a further `small-chord` approximation leads to a simple generalization of the quadratic theory for evolving Wigner functions.

UNIVERSAL COVERING OF DRIFTLESS CONTROL SYSTEMS

Let M be a finite-dimensional manifold and Sigma be a driftless control system on M of full rank. We prove that for a given initial state x epsilon M, the covering space Gamma(Sigma, x) for a monotonic homotopy of trajectories of Sigma which is recently constructed in [1] coincides with the simply connected universal covering manifold of M and that the terminal projection epsilon(x) : Gamma(Sigma, x) -> M given by epsilon(x) ([alpha]) = alpha(1) is a covering mapping.

Formal validation of automated policy refinement in the management of network security systems

Policy hierarchies and automated policy refinement are powerful approaches to simplify administration of security services in complex network environments. A crucial issue for the practical use of these approaches is to ensure the validity of the policy hierarchy, i.e. since the policy sets for the lower levels are automatically derived from the abstract policies (defined by the modeller), we must be sure that the derived policies uphold the high-level ones. This paper builds upon previous work on Model-based Management, particularly on the Diagram of Abstract Subsystems approach, and goes further to propose a formal validation approach for the policy hierarchies yielded by the automated policy refinement process. We establish general validation conditions for a multi-layered policy model, i.e. necessary and sufficient conditions that a policy hierarchy must satisfy so that the lower-level policy sets are valid refinements of the higher-level policies according to the criteria of consistency and completeness. Relying upon the validation conditions and upon axioms about the model representativeness, two theorems are proved to ensure compliance between the resulting system behaviour and the abstract policies that are modelled.

On the concept of electrical impedance for an electrolytic cell

The analysis of the electrical impedance of an electrolytic cell in the shape of a slab is performed. We have solved, numerically, the differential equations governing the phenomenon of the redistribution of the ions in the presence of an external electric field, and compared the results with the ones obtained by solving the linear approximation of these equations. The control parameters in our study are the amplitude and the frequency of the applied voltage, assumed a simple harmonic function of the time. We show that for the large amplitudes of the applied voltage, the actual current is no longer harmonic at low frequencies. From this result it follows that the concept of electrical impedance of a cell is a useful quantity only in the case where the linear approximation of the fundamental equations of problem work well.

Thermodynamic Stabillity of Hydrogen-Bonded Systems in Polar and Nonpolar Environments

The thermodynamic properties of a selected set of benchmark hydrogen-bonded systems (acetic acid dimer and the complexes of acetic acid with acetamide and methanol) was studied with the goal of obtaining detailed information on solvent effects on the hydrogen-bonded interactions using water, chloroform, and n-heptane as representatives for a wide range in the dielectric constant. Solvent effects were investigated using both explicit and implicit solvation models. For the explicit description of the solvent, molecular dynamics and Monte Carlo simulations in the isothermal isobaric (NpT) ensemble combined with the free energy perturbation technique were performed to determine solvation free energies. Within the implicit solvation approach, the polarizable continuum model and the conductor-like screening model were applied. Combination of gas phase results with the results obtained from the different solvation models through an appropriate thermodynamic cycle allows estimation of complexation free energies, enthalpies, and the respective entropic contributions in solution. Owing to the strong solvation effects of water the cyclic acetic acid dimer is not stable in aqueous solution. In less polar solvents the double hydrogen bond structure of the acetic acid dimer remains stable. This finding is in agreement with previous theoretical and experimental results. A similar trend as for the acetic acid dimer is also observed for the acetamide complex. The methanol complex was found to be thermodynamically unstable in gas phase as well as in any of the three solvents. (C) 2010 Wiley Periodicals, Inc. J Comput Chem 31: 2046-2055, 2010

Breakup effects in fusion and total reaction cross sections of weakly bound systems

We use a new technique to investigate the systematic behavior of near barrier complete fusion, total fusion and total reaction cross sections of weakly bound systems. A dimensionless fusion excitation function is used as a benchmark to which renormalized fusion data are compared and dynamic breakup effects can be disentangled from static effects. The same reduction procedure is used to study the effect of the direct reaction mechanisms on the total reaction cross section.

Bond Strength of Dental Adhesive Systems Irradiated with Ionizing Radiation

Purpose: The aim of the present paper was to determine the effect of different types of ionizing radiation on the bond strength of three different dentin adhesive systems. Materials and Methods: One hundred twenty specimens of 60 human teeth (protocol number: 032/2007) sectioned mesiodistally were divided into 3 groups according to the adhesives systems used: SB (Adper Single Bond Plus), CB (Clearfil SE Bond) and AP (Adper Prompt Self-Etch). The adhesives were applied on dentin and photo-activated using LED (Lec 1000, MMoptics, 1000 mW/cm(2)). Customized elastomer molds (0.5 mm thickness) with three orifices of 1.2 mm diameter were placed onto the bonding areas and filled with composite resin (Filtek Z-250), which was photo-activated for 20 s. Each group was subdivided into 4 Subgroups for application of the different types of ionizing radiation: ultraviolet radiation (UV), diagnostic x-ray radiation (DX), therapeutic x-ray radiation (TX) and without irradiation (control group, CG). Microshear tests were carried out (Instron, model 4411), and afterwards the modes of failure were evaluated by optical and scanning electron microscope and classified using 5 scores: adhesive failure, mixed failures with 3 significance levels, and cohesive failure. The results of the shear bond strength test were submitted to ANOVA with Tukey`s test and Dunnett`s test, and the data from the failure pattern evaluation were analyzed with the Mann Whitney test (p = 0.05). Results: No change in bond strength of CB and AP was observed after application of the different radiation types, only SB showed increase in bond strength after UV (p = 0.0267) irradiation. The UV also changed the failure patterns of SB (p = 0.0001). Conclusion: The radio-induced changes did not cause degradation of the restorations, which means that they can be exposed to these types of ionizing radiation without weakening the bond strength.