205 resultados para Modal logics


Relevância:

20.00% 20.00%

Publicador:

Resumo:

In attempting to build intelligent litigation support tools, we have moved beyond first generation, production rule legal expert systems. Our work integrates rule based and case based reasoning with intelligent information retrieval. When using the case based reasoning methodology, or in our case the specialisation of case based retrieval, we need to be aware of how to retrieve relevant experience. Our research, in the legal domain, specifies an approach to the retrieval problem which relies heavily on an extended object oriented/rule based system architecture that is supplemented with causal background information. We use a distributed agent architecture to help support the reasoning process of lawyers. Our approach to integrating rule based reasoning, case based reasoning and case based retrieval is contrasted to the CABARET and PROLEXS architectures which rely on a centralised blackboard architecture. We discuss in detail how our various cooperating agents interact, and provide examples of the system at work. The IKBALS system uses a specialised induction algorithm to induce rules from cases. These rules are then used as indices during the case based retrieval process. Because we aim to build legal support tools which can be modified to suit various domains rather than single purpose legal expert systems, we focus on principles behind developing legal knowledge based systems. The original domain chosen was theAccident Compensation Act 1989 (Victoria, Australia), which relates to the provision of benefits for employees injured at work. For various reasons, which are indicated in the paper, we changed our domain to that ofCredit Act 1984 (Victoria, Australia). This Act regulates the provision of loans by financial institutions. The rule based part of our system which provides advice on the Credit Act has been commercially developed in conjunction with a legal firm. We indicate how this work has lead to the development of a methodology for constructing rule based legal knowledge based systems. We explain the process of integrating this existing commercial rule based system with the case base reasoning and retrieval architecture.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The use of Wireless Sensor Networks (WSNs) for vibration-based Structural Health Monitoring (SHM) has become a promising approach due to many advantages such as low cost, fast and flexible deployment. However, inherent technical issues such as data asynchronicity and data loss have prevented these distinct systems from being extensively used. Recently, several SHM-oriented WSNs have been proposed and believed to be able to overcome a large number of technical uncertainties. Nevertheless, there is limited research verifying the applicability of those WSNs with respect to demanding SHM applications like modal analysis and damage identification. Based on a brief review, this paper first reveals that Data Synchronization Error (DSE) is the most inherent factor amongst uncertainties of SHM-oriented WSNs. Effects of this factor are then investigated on outcomes and performance of the most robust Output-only Modal Analysis (OMA) techniques when merging data from multiple sensor setups. The two OMA families selected for this investigation are Frequency Domain Decomposition (FDD) and data-driven Stochastic Subspace Identification (SSI-data) due to the fact that they both have been widely applied in the past decade. Accelerations collected by a wired sensory system on a large-scale laboratory bridge model are initially used as benchmark data after being added with a certain level of noise to account for the higher presence of this factor in SHM-oriented WSNs. From this source, a large number of simulations have been made to generate multiple DSE-corrupted datasets to facilitate statistical analyses. The results of this study show the robustness of FDD and the precautions needed for SSI-data family when dealing with DSE at a relaxed level. Finally, the combination of preferred OMA techniques and the use of the channel projection for the time-domain OMA technique to cope with DSE are recommended.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The problem of modal choice between rail and air arises as public awareness of carbon dioxide (CO2) emissions by the transportation sector rises. In this paper, we answer this question quantitatively by performing an efficiency benchmarking analysis that takes into account life-cycle CO2 emission due to transport service provision. The paper employs nonparametric efficiency estimation methods, namely a slacks-based inefficiency measure, as well as a more conventional directional distance function approach. We apply them to a panel data set for three major railway companies and the aviation sector in Japan for the period from 1999 to 2007. Results shows that, contrary to the common argument, air transport can still be more socially efficient than rail transport, even when the environmental load due to CO2 emission is incorporated. This is due to the aviation sector's extremely low user cost, measured in terms of in-vehicle time. In other words, aviation is a necessary transportation mode for those with a very high willingness to pay for their time.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The data-oriented empirical research on the Chinese adverb “ke” has led to the conclusion that the semantics of the word as a modal adverb is always two-fold: it marks both “contrast” and “emphasis”. “Adversativity” as used in literature on “ke” is but one type of contrast marked by “ke”. Other types of contrast marked by “ke” in declarative sentences include: a) what is assumed by the hearer and what the truth of a matter is; b) what the sentence literally talks about and what it also implicitly conveys; and c) the original wishful nature of the stated action and its final realization. In all declarative sentences, what the adverb emphasizes is the “factuality” of what is stated. Chinese Abstract [提要] 对外汉语教学的实践表明,汉语副词“可”是教学中的难点,这跟我们对其语义内涵缺乏全面准确的认识有关。为了全面揭示副词“可”的核心语义,本作者以电视连续剧《渴望》前二十集为主要语料,并结合其他一些电视剧、电视节目以及文献里已有的语料,对出现在各种语境中的“可”进行了大量的考察和归纳性研究。研究结果表明,作为语气副词的“可”其核心语义不是单一的,它总是在标示“对比”(即“不同”)的同时表示强调。它所强调的是所述内容的“事实性”或“终然性”。由于篇幅所限,本文仅对陈述句中的语气副词“可”加以讨论

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This thesis examines the question why the automotive mode and the large technological system it creates, continues to dominate urban transport systems despite the availability of more cost-efficient alternatives. A number of theoretical insights are developed into the way these losses evolve from path dependent growth, and lead to market failure and lock-in. The important role of asymmetries of influence is highlighted. A survey of commuters in Jakarta Indonesia is used to provide a measure of transport modal lock-in (TML) in a developing country conurbation. A discrete choice experiment is used to provide evidence for the thesis central hypothesis that in such conurbations there is a high level of commuter awareness of the negative externalities generated by TML which can produce a strong level of support for its reversal. Why TML nevertheless remains a strong and durable feature of the transport system is examined with reference to the role of asymmetries of influence.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Non-rigid image registration is an essential tool required for overcoming the inherent local anatomical variations that exist between images acquired from different individuals or atlases. Furthermore, certain applications require this type of registration to operate across images acquired from different imaging modalities. One popular local approach for estimating this registration is a block matching procedure utilising the mutual information criterion. However, previous block matching procedures generate a sparse deformation field containing displacement estimates at uniformly spaced locations. This neglects to make use of the evidence that block matching results are dependent on the amount of local information content. This paper presents a solution to this drawback by proposing the use of a Reversible Jump Markov Chain Monte Carlo statistical procedure to optimally select grid points of interest. Three different methods are then compared to propagate the estimated sparse deformation field to the entire image including a thin-plate spline warp, Gaussian convolution, and a hybrid fluid technique. Results show that non-rigid registration can be improved by using the proposed algorithm to optimally select grid points of interest.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper examines the issue of face, speaker and bi-modal authentication in mobile environments when there is significant condition mismatch. We introduce this mismatch by enrolling client models on high quality biometric samples obtained on a laptop computer and authenticating them on lower quality biometric samples acquired with a mobile phone. To perform these experiments we develop three novel authentication protocols for the large publicly available MOBIO database. We evaluate state-of-the-art face, speaker and bi-modal authentication techniques and show that inter-session variability modelling using Gaussian mixture models provides a consistently robust system for face, speaker and bi-modal authentication. It is also shown that multi-algorithm fusion provides a consistent performance improvement for face, speaker and bi-modal authentication. Using this bi-modal multi-algorithm system we derive a state-of-the-art authentication system that obtains a half total error rate of 6.3% and 1.9% for Female and Male trials, respectively.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper addresses less recognised factors which influence the diffusion of a particular technology. While an innovation’s attributes and performance are paramount, many fail because of external factors which favour an alternative. This paper, with theoretic input from diffusion, lock-in and path-dependency, presents a qualitative study of external factors that influenced the evolution of transportation in USA. This historical account reveals how one technology and its emergent systems become dominant while other choices are overridden by socio-political, economic and technological interests which include not just the manufacturing and service industries associated with the automobile but also government and market stakeholders. Termed here as a large socio-economic regime (LSER),its power in ensuring lock-in and continued path-dependency is shown to pass through three stages, weakening eventually as awareness improves. The study extends to transport trends in China, Korea, Indonesia and Malaysia and they all show the dominant role of an LSER. As transportation policy is increasingly accountable to address both demand and environmental concerns and innovators search for solutions, this paper presents important knowledge for innovators, marketers and policy makers for commercial and societal reasons, especially when negative externalities associated with an incumbent transportation technology may lead to market failure.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Structural damage detection using modal strain energy (MSE) is one of the most efficient and reliable structural health monitoring techniques. However, some of the existing MSE methods have been validated for special types of structures such as beams or steel truss bridges which demands improving the available methods. The purpose of this study is to improve an efficient modal strain energy method to detect and quantify the damage in complex structures at early stage of formation. In this paper, a modal strain energy method was mathematically developed and then numerically applied to a fixed-end beam and a three-story frame including single and multiple damage scenarios in absence and presence of up to five per cent noise. For each damage scenario, all mode shapes and natural frequencies of intact structures and the first five mode shapes of assumed damaged structures were obtained using STRAND7. The derived mode shapes of each intact and damaged structure at any damage scenario were then separately used in the improved formulation using MATLAB to detect the location and quantify the severity of damage as compared to those obtained from previous method. It was found that the improved method is more accurate, efficient and convergent than its predecessors. The outcomes of this study can be safely and inexpensively used for structural health monitoring to minimize the loss of lives and property by identifying the unforeseen structural damages.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Menopausal transition can be challenging for many women. This study tested the effectiveness of an intervention delivered in different modes in decreasing menopausal symptoms in midlife women. The Women's Wellness Program (WWP) intervention was delivered to 225 Australian women aged between 40 and 65 years through three modes (i.e., on-line independent, face-to-face with nurse consultations, and on-line with virtual nurse consultations). All women in the study were provided with a 12-week Program Book outlining healthy lifestyle behaviors while women in the consultation groups were supported by a registered nurse who provide tailored health education and assisted with individual goal setting for exercise, healthy eating, smoking and alcohol consumption. Pre- and post-intervention data were collected on menopausal symptoms (Greene Climacteric Scale), health related quality of life (SF12), and modifiable lifestyle factors. Linear mixed-effect models showed an average 0.87 and 1.23 point reduction in anxiety (p < 0.01) and depression scores (p < 0.01) over time in all groups. Results also demonstrated reduced vasomotor symptoms (β = −0.19, SE = 0.10, p = 0.04) and sexual dysfunction (β = −0.17, SE = 0.06, p < 0.01) in all participants though women in the face-to-face group generally reported greater reductions than women in the other groups. This lifestyle intervention embedded within a wellness framework has the potential to reduce menopausal symptoms and improve quality of life in midlife women thus potentially enhancing health and well-being in women as they age. Of course, study replication is needed to confirm the intervention effects.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Many researchers in the field of civil structural health monitoring have developed and tested their methods on simple to moderately complex laboratory structures such as beams, plates, frames, and trusses. Field work has also been conducted by many researchers and practitioners on more complex operating bridges. Most laboratory structures do not adequately replicate the complexity of truss bridges. This paper presents some preliminary results of experimental modal testing and analysis of the bridge model presented in the companion paper, using the peak picking method, and compares these results with those of a simple numerical model of the structure. Three dominant modes of vibration were experimentally identified under 15 Hz. The mode shapes and order of the modes matched those of the numerical model; however, the frequencies did not match.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Background As the increasing adoption of information technology continues to offer better distant medical services, the distribution of, and remote access to digital medical images over public networks continues to grow significantly. Such use of medical images raises serious concerns for their continuous security protection, which digital watermarking has shown great potential to address. Methods We present a content-independent embedding scheme for medical image watermarking. We observe that the perceptual content of medical images varies widely with their modalities. Recent medical image watermarking schemes are image-content dependent and thus they may suffer from inconsistent embedding capacity and visual artefacts. To attain the image content-independent embedding property, we generalise RONI (region of non-interest, to the medical professionals) selection process and use it for embedding by utilising RONI’s least significant bit-planes. The proposed scheme thus avoids the need for RONI segmentation that incurs capacity and computational overheads. Results Our experimental results demonstrate that the proposed embedding scheme performs consistently over a dataset of 370 medical images including their 7 different modalities. Experimental results also verify how the state-of-the-art reversible schemes can have an inconsistent performance for different modalities of medical images. Our scheme has MSSIM (Mean Structural SIMilarity) larger than 0.999 with a deterministically adaptable embedding capacity. Conclusions Our proposed image-content independent embedding scheme is modality-wise consistent, and maintains a good image quality of RONI while keeping all other pixels in the image untouched. Thus, with an appropriate watermarking framework (i.e., with the considerations of watermark generation, embedding and detection functions), our proposed scheme can be viable for the multi-modality medical image applications and distant medical services such as teleradiology and eHealth.