Spelling suggestions: "subject:"alterações formais.""
1 |
Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos / A conceptual model for smart environments based on formal interactions in physical spacesNoriega Guerra, Crhistian Alberto 22 November 2012 (has links)
Neste trabalho apresentamos um modelo para ambientes inteligentes baseado em organizações de agentes, onde interações entre entidades são associadas a espaços físicos, pessoas carregam dispositivos e se movimentam entre diferentes espaços físicos e cada espaço físico contém definições de interações (comportamentos definidos por normas) próprias do seu contexto. São definidos três componentes deste modelo: (1) modelo conceitual, (2) linguagem de especificação e (3) ambiente de execução. A separação do modelo nestes três componentes traz como principais conseqüências: (1) a ativação de um ambiente inteligente é feita através de um mecanismo de alto nível, (2) a especificação de um ambiente inteligente é independente do domínio de aplicação e (3) as especificações podem ser executadas em mecanismos diferentes de execução. / We introduce a conceptual model for smart environments based on agent organizations where interactions between entities are associated with physical spaces, people (carrying mobile devices) move between different physical spaces and these physical spaces contain definitions of interactions (behaviors defined by norms) related to each context. This model defines three components: (1) conceptual model, (2) language specification, and (3) execution environment. The separation in these three components brings as main consequences: (1) activation of a smart environment is performed through a high-level mechanism, (2) specification of a smart environment is independent of the application domain, and (3) specifications can be performed on different mechanisms of execution.
|
2 |
Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos / A conceptual model for smart environments based on formal interactions in physical spacesCrhistian Alberto Noriega Guerra 22 November 2012 (has links)
Neste trabalho apresentamos um modelo para ambientes inteligentes baseado em organizações de agentes, onde interações entre entidades são associadas a espaços físicos, pessoas carregam dispositivos e se movimentam entre diferentes espaços físicos e cada espaço físico contém definições de interações (comportamentos definidos por normas) próprias do seu contexto. São definidos três componentes deste modelo: (1) modelo conceitual, (2) linguagem de especificação e (3) ambiente de execução. A separação do modelo nestes três componentes traz como principais conseqüências: (1) a ativação de um ambiente inteligente é feita através de um mecanismo de alto nível, (2) a especificação de um ambiente inteligente é independente do domínio de aplicação e (3) as especificações podem ser executadas em mecanismos diferentes de execução. / We introduce a conceptual model for smart environments based on agent organizations where interactions between entities are associated with physical spaces, people (carrying mobile devices) move between different physical spaces and these physical spaces contain definitions of interactions (behaviors defined by norms) related to each context. This model defines three components: (1) conceptual model, (2) language specification, and (3) execution environment. The separation in these three components brings as main consequences: (1) activation of a smart environment is performed through a high-level mechanism, (2) specification of a smart environment is independent of the application domain, and (3) specifications can be performed on different mechanisms of execution.
|
Page generated in 0.0618 seconds