A Framework of Fuzzy Diagnosis

Fault diagnosis has become an important component in intelligent systems, such as intelligent control systems and intelligent eLearning systems. Reiter's diagnosis theory, described by first-order sentences, has been attracting much attention in this field. However, descriptions and observations of most real-world situations are related to fuzziness because of the incompleteness and the uncertainty of knowledge, e. g., the fault diagnosis of student behaviors in the eLearning processes. In this paper, an extension of Reiter's consistency-based diagnosis methodology, Fuzzy Diagnosis, has been proposed, which is able to deal with incomplete or fuzzy knowledge. A number of important properties of the Fuzzy diagnoses schemes have also been established. The computing of fuzzy diagnoses is mapped to solving a system of inequalities. Some special cases, abstracted from real-world situations, have been discussed. In particular, the fuzzy diagnosis problem, in which fuzzy observations are represented by clause-style fuzzy theories, has been presented and its solving method has also been given. A student fault diagnostic problem abstracted from a simplified real-world eLearning case is described to demonstrate the application of our diagnostic framework.

Scaling laws for the critical rupture thickness or common thin films

Despite decades of experimental and theoretical investigation on thin films, considerable uncertainty exists in the prediction of their critical rupture thickness. According to the spontaneous rupture mechanism, common thin films become unstable when capillary waves. at the interfaces begin to grow. In a horizontal film with symmetry at the midplane. unstable waves from adjacent interfaces grow towards the center of the film. As the film drains and becomes thinner, unstable waves osculate and cause the film to rupture, Uncertainty sterns from a number of sources including the theories used to predict film drainage and corrugation growth dynamics. In the early studies, (lie linear stability of small amplitude waves was investigated in the Context of the quasi-static approximation in which the dynamics of wave growth and film thinning are separated. The zeroth order wave growth equation of Vrij predicts faster wave growth rates than the first order equation derived by Sharma and Ruckenstein. It has been demonstrated in an accompanying paper that film drainage rates and times measured by numerous investigations are bounded by the predictions of the Reynolds equation and the more recent theory of Manev, Tsekov, and Radoev. Solutions to combinations of these equations yield simple scaling laws which should bound the critical rupture thickness of foam and emulsion films, In this paper, critical thickness measurements reported in the literature are compared to predictions from the bounding scaling equations and it is shown that the retarded Hamaker constants derived from approximate Lifshitz theory underestimate the critical thickness of foam and emulsion films, The non-retarded Hamaker constant more adequately bounds the critical thickness measurements over the entire range of film radii reported in the literature. This result reinforces observations made by other independent researchers that interfacial interactions in flexible liquid films are not adequately represented by the retarded Hamaker constant obtained from Lifshitz theory and that the interactions become significant at much greater separations than previously thought. (c) 2005 Elsevier B.V. All rights reserved.

What is second-order vision for? Discriminating illumination versus material changes

The human visual system is sensitive to second-order modulations of the local contrast (CM) or amplitude (AM) of a carrier signal. Second-order cues are detected independently of first-order luminance signals; however, it is not clear why vision should benet from second-order sensitivity. Analysis of the first-and second-order contents of natural images suggests that these cues tend to occur together, but their phase relationship varies. We have shown that in-phase combinations of LM and AM are perceived as a shaded corrugated surface whereas the anti-phase combination can be seen as corrugated when presented alone or as a flat material change when presented in a plaid containing the in-phase cue. We now extend these findings using new stimulus types and a novel haptic matching task. We also introduce a computational model based on initially separate first-and second-order channels that are combined within orientation and subsequently across orientation to produce a shading signal. Contrast gain control allows the LM + AM cue to suppress responses to the LM-AM when presented in a plaid. Thus, the model sees LM -AM as flat in these circumstances. We conclude that second-order vision plays a key role in disambiguating the origin of luminance changes within an image. © ARVO.

Organisational receptivity for change:combining context and capability to explain competitive advantage

This thesis explores efforts to conjoin organisational contexts and capabilities in explaining sustainable competitive advantage. Oliver (1997) argued organisations need to balance the need to conform to industry’s requirements to attain legitimization (e.g. DiMaggio & Powell, 1983), and the need for resource optimization (e.g. Barney, 1991). The author hypothesized that such balance can be viewed as movements along the homogeneity-heterogeneity continuum. An organisation in a homogenous industry possesses similar characteristics as its competitors, as opposed to a heterogeneous industry in which organisations within are differentiated and competitively positioned (Oliver, 1997). The movement is influenced by the dynamic environmental conditions that an organisation is experiencing. The author extended Oliver’s (1997) propositions of combining RBV’s focus on capabilities with institutional theory’s focus on organisational context, as well as redefining organisational receptivity towards change (ORC) factors from Butler and Allen’s (2008) findings. The authors contributed to the theoretical development of ORC theory to explain the attainment of sustainable competitive advantage. ORC adopts the assumptions from both institutional and RBV theories, where the receptivity factors include both organisational contexts and capabilities. The thesis employed a mixed method approach in which sequential qualitative quantitative studies were deployed to establish a robust, reliable, and valid ORC scale. The adoption of Hinkin’s (1995) three-phase scale development process was updated, thus items generated from interviews and literature reviews went through numerous exploratory factor analysis (EFA) and confirmatory factor analysis (CFA) to achieve convergent, discriminant, and nomological validities. Samples in the first phase (semi structured interviews) were hotel owners and managers. In the second phase, samples were MBA students, and employees of private and public sectors. In the third phase, samples were hotel managers. The final ORC scale is a parsimonious second higher-order latent construct. The first-order constructs comprises four latent receptivity factors which are ideological vision (4 items), leading change (4 items), implementation capacity (4 items), and change orientation (7 items). Hypotheses testing revealed that high levels of perceived environmental uncertainty leads to high levels of receptivity factor. Furthermore, the study found a strong positive correlation between receptivity factors and competitive advantage, and between receptivity factors and organisation performance. Mediation analyses revealed that receptivity factors partially mediate the relationship between perceived environmental uncertainty, competitive advantage and organisational performance.

Measure Refutations and Metrics on Statements of Experts (Logical Formulas) in the Models for Some Theory

* This work was financially supported by the Russian Foundation for Basic Research, project no. 04-01-00858a.

Representing "Recursive" Default Logic in Modal Logic

The "recursive" definition of Default Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the "recursive" fixed-point equation of Default Logic with an initial set of axioms and defaults if and only if the meaning of the fixed-point is logically equivalent to a particular modal functor of the meanings of that initial set of sentences and of the sentences in those defaults. This is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and because unlike the original "recursive" definition of Default Logic, it is easily generalized to the case where quantified variables may be shared across the scope of the components of the defaults.

On the Relationships Among Quantified Autoepistemic Logic, its Kernel, and Quantified Reflective Logic

A Quantified Autoepistemic Logic is axiomatized in a monotonic Modal Quantificational Logic whose modal laws are slightly stronger than S5. This Quantified Autoepistemic Logic obeys all the laws of First Order Logic and its L predicate obeys the laws of S5 Modal Logic in every fixed-point. It is proven that this Logic has a kernel not containing L such that L holds for a sentence if and only if that sentence is in the kernel. This result is important because it shows that L is superfluous thereby allowing the ori ginal equivalence to be simplified by eliminating L from it. It is also shown that the Kernel of Quantified Autoepistemic Logic is a generalization of Quantified Reflective Logic, which coincides with it in the propositional case.

Methods for Solving Necessary Equivalences

Nonmonotonic Logics such as Autoepistemic Logic, Reflective Logic, and Default Logic, are usually defined in terms of set-theoretic fixed-point equations defined over deductively closed sets of sentences of First Order Logic. Such systems may also be represented as necessary equivalences in a Modal Logic stronger than S5 with the added advantage that such representations may be generalized to allow quantified variables crossing modal scopes resulting in a Quantified Autoepistemic Logic, a Quantified Autoepistemic Kernel, a Quantified Reflective Logic, and a Quantified Default Logic. Quantifiers in all these generalizations obey all the normal laws of logic including both the Barcan formula and its converse. Herein, we address the problem of solving some necessary equivalences containing universal quantifiers over modal scopes. Solutions obtained by these methods are then compared to related results obtained in the literature by Circumscription in Second Order Logic since the disjunction of all the solutions of a necessary equivalence containing just normal defaults in these Quantified Logics, is equivalent to that system.

Admissible Substitutions in Sequent Calculi

For first-order classical logic a new notion of admissible substitution is defined. This notion allows optimizing the procedure of the application of quantifier rules when logical inference search is made in sequent calculi. Our objective is to show that such a computer-oriented sequent technique may be created that does not require a preliminary skolemization of initial formulas and that is efficiently comparable with methods exploiting the skolemization. Some results on its soundness and completeness are given.

Representing Reflective Logic in Modal Logic

The nonmonotonic logic called Reflective Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the fixed-point equation of Reflective Logic with an initial set of axioms and defaults if and only if the meaning of that set of sentences is logically equivalent to a particular modal functor of the meanings of that initial set of sentences and of the sentences in those defaults. This result is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and because unlike the original Reflective Logic, it is easily generalized to the case where quantified variables may be shared across the scope of the components of the defaults thus allowing such defaults to produce quantified consequences. Furthermore, this generalization properly treats such quantifiers since all the laws of First Order Logic hold and since both the Barcan Formula and its converse hold.

Representing Default Logic in Modal Logic

The nonmonotonic logic called Default Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the fixed-point equation of Default Logic with an initial set of axioms and defaults if and only if the meaning or rather disquotation of that set of sentences is logically equivalent to a particular modal functor of the meanings of that initial set of sentences and of the sentences in those defaults. This result is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and because unlike the original Default Logic, it is easily generalized to the case where quantified variables may be shared across the scope of the components of the defaults thus allowing such defaults to produce quantified consequences. Furthermore, this generalization properly treats such quantifiers since both the Barcan Formula and its converse hold.

Representing Autoepistemic Logic in Modal Logic

The nonmonotonic logic called Autoepistemic Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the fixed-point equation of Autoepistemic Logic with an initial set of axioms if and only if the meaning or rather disquotation of that set of sentences is logically equivalent to a particular modal functor of the meaning of that initial set of sentences. This result is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and unlike the original Autoepistemic Logic, it is easily generalized to the case where quantified variables may be shared across the scope of modal expressions thus allowing the derivation of quantified consequences. Furthermore, this generalization properly treats such quantifiers since both the Barcan formula and its converse hold.

Viability Kernels of Higher Order

AMS subject classification: Primary 34A60, Secondary 49K24.

On a Second Order Condition for Max-Semistable Laws

2000 Mathematics Subject Classification: 62G32, 62G20.

Evaluation of 100G DP-QPSK long-haul transmission performance using second order co-pumped Raman laser based amplification

We present, for the first time, a detailed investigation of the impact of second order co-propagating Raman pumping on long-haul 100G WDM DP-QPSK coherent transmission of up to 7082 km using Raman fibre laser based configurations. Signal power and noise distributions along the fibre for each pumping scheme were characterised both numerically and experimentally. Based on these pumping schemes, the Q factor penalties versus co-pump power ratios were experimentally measured and quantified. A significant Q factor penalty of up to 4.15 dB was observed after 1666 km using symmetric bidirectional pumping, compared with counter-pumping only. Our results show that whilst using co-pumping minimises the intra-cavity signal power variation and amplification noise, the Q factor penalty with co-pumping was too great for any advantage to be seen. The relative intensity noise (RIN) characteristics of the induced fibre laser and the output signal, and the intra-cavity RF spectra of the fibre laser are also presented. We attribute the Q factor degradation to RIN induced penalty due to RIN being transferred from the first order fibre laser and second order co-pump to the signal. More importantly, there were two different fibre lasing regimes contributing to the amplification. It was random distributed feedback lasing when using counter-pumping only and conventional Fabry-Perot cavity lasing when using all bidirectional pumping schemes. This also results in significantly different performances due to different laser cavity lengths for these two classes of laser.