25 resultados para Logic, Modern

em Cambridge University Engineering Department Publications Database


Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, a novel approach to Petri net modeling of programmable logic controller (PLC) programs is presented. The modeling approach is a simple extension of elementary net systems, and a graphical design tool that supports the use of this modeling approach is provided. A key characteristic of the model is that the binary sensory inputs and binary actuation outputs of the PLC are explicitly represented. This leads to the following two improvements: outputs are unambiguous, and interaction patterns are more clearly represented in the graphical form. The use of this modeling approach produces programs that are simple, lightweight, and portable. The approach is demonstrated by applying it to the development of a control module for a MonTech Positioning Station. © 2008 IEEE.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

CAD software can be structured as a set of modular 'software tools' only if there is some agreement on the data structures which are to be passed between tools. Beyond this basic requirement, it is desirable to give the agreed structures the status of 'data types' in the language used for interactive design. The ultimate refinement is to have a data management capability which 'understands' how to manipulate such data types. In this paper the requirements of CACSD are formulated from the point of view of Database Management Systems. Progress towards meeting these requirements in both the DBMS and the CACSD community is reviewed. The conclusion reached is that there has been considerable movement towards the realisation of software tools for CACSD, but that this owes more to modern ideas about programming languages, than to DBMS developments. The DBMS field has identified some useful concepts, but further significant progress is expected to come from the exploitation of concepts such as object-oriented programming, logic programming, or functional programming.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Climate change is becoming a serious issue for the construction industry, since the time scales at which climate change takes place can be expected to show a true impact on the thermal performance of buildings and HVAC systems. In predicting this future building performance by means of building simulation, the underlying assumptions regarding thermal comfort conditions and the related heating, ventilating and air conditioning (HVAC) control set points become important. This article studies the thermal performance of a reference office building with mixedmode ventilation in the UK, using static and adaptive thermal approaches, for a series of time horizons (2020, 2050 and 2080). Results demonstrate the importance of the implementation of adaptive thermal comfort models, and underpin the case for its use in climate change impact studies. Adaptive thermal comfort can also be used by building designers to make buildings more resilient towards change. © 2010 International Building Performance Simulation Association (IBPSA).