49 resultados para Formal logic

em CentAUR: Central Archive University of Reading - UK


Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Utilising a Bryce-Smith-Gilbert photoamination of benzene as a key step, a synthesis of ()-conduramine E was carried out. A highly regioselective dihydroxylation of a cyclic diene was effected utilising Sharpless AD-mix-b.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The last 30 years have seen a tide of interest sweeping across Europe in the development of nature in cities, and an increasing amount of landscape development in urban areas has involved the use of 'naturalistic' styles. This is an increasing attempt to find ways for urbanism and nature to co-exist. However, there have been considerable discussions among professionals regarding the advantages and disadvantages of 'naturalistic' styles in urban areas. This research examines professional attitudes to 'naturalistic' landscape styles in Britain, in contrast to more traditional, formal landscape styles, and aims to find out whether the interest in natural landscapes is really a fashion among landscape professionals. A self-administered postal survey was carried out using both quantitative and qualitative data collection techniques and analysis. The survey included 500 professionals from parks and recreation departments of local authorities, private landscape practices and conservation trusts, and resulted in a satisfactory response rate of 53 %. The results of this study suggested that professionals recognise most of the values attached to naturalistic landscapes in urban areas. However, possible benefits that natural areas may have for urban people are not attached to naturalistic landscapes alone. The study also revealed that the naturalistic style is highly popular among conservation trusts but is less so among professionals from local authorities and private landscape practices who seem to appreciate both styles and believe that these styles are not separable from each other and should co-exist in an urban environment. (C) 2006 Elsevier B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Asymmetric synthesis of densely functionalized bicyclic frameworks for entry into bacillariolides I/III and ent-bacillariolide II is reported. The key features are ring-closing metathesis of a pair of diastereomerically related dienes obtained through a stereodivergent route from a R-(+)-glyceraldehyde derivative, transformation of a nonstereoselective cyclopentene ester enolate alkylation process to a completely stereoselective one through alkylation of a bulky ester enolate with a bulky electrophile, and a remote silyloxymethyl group directed epoxidation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper describes the development and validation of a novel web-based interface for the gathering of feedback from building occupants about their environmental discomfort including signs of Sick Building Syndrome (SBS). The gathering of such feedback may enable better targeting of environmental discomfort down to the individual as well as the early detection and subsequently resolution by building services of more complex issues such as SBS. The occupant's discomfort is interpreted and converted to air-conditioning system set points using Fuzzy Logic. Experimental results from a multi-zone air-conditioning test rig have been included in this paper.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper offers general guidelines for the development of effective visual languages. That is, languages for constructing diagrams that can be easily and readily interpreted and manipulated by the human reader. We use these guidelines first to examine classical AND/OR trees as a representation of logical proofs, and second to design and evaluate a visual language for representing proofs in LofA: a Logic of Dependability Arguments, for which we provide a brief motivation and overview.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents a novel intelligent multiple-controller framework incorporating a fuzzy-logic-based switching and tuning supervisor along with a generalised learning model (GLM) for an autonomous cruise control application. The proposed methodology combines the benefits of a conventional proportional-integral-derivative (PID) controller, and a PID structure-based (simultaneous) zero and pole placement controller. The switching decision between the two nonlinear fixed structure controllers is made on the basis of the required performance measure using a fuzzy-logic-based supervisor, operating at the highest level of the system. The supervisor is also employed to adaptively tune the parameters of the multiple controllers in order to achieve the desired closed-loop system performance. The intelligent multiple-controller framework is applied to the autonomous cruise control problem in order to maintain a desired vehicle speed by controlling the throttle plate angle in an electronic throttle control (ETC) system. Sample simulation results using a validated nonlinear vehicle model are used to demonstrate the effectiveness of the multiple-controller with respect to adaptively tracking the desired vehicle speed changes and achieving the desired speed of response, whilst penalising excessive control action. Crown Copyright (C) 2008 Published by Elsevier B.V. All rights reserved.