Intelligent Decision-Making System Frameworks for a Digital Plan of Work: A Theoretical Investigation for the Construction Industry

The construction industry is characterised by fragmentation and suffers from lack of collaboration, often adopting adversarial working practices to achieve deliverables. For the UK Government and construction industry, BIM is a game changer aiming to rectify this fragmentation and promote collaboration. However it has become clear that there is an essential need to have better controls and definitions of both data deliverables and data classification. Traditional methods and techniques for collating and inputting data have shown to be time consuming and provide little to improve or add value to the overall task of improving deliverables. Hence arose the need in the industry to develop a Digital Plan of Work (DPoW) toolkit that would aid the decision making process, providing the required control over the project workflows and data deliverables, and enabling better collaboration through transparency of need and delivery. The specification for the existing Digital Plan of Work (DPoW) was to be, an industry standard method of describing geometric, requirements and data deliveries at key stages of the project cycle, with the addition of a structured and standardised information classification system. However surveys and interviews conducted within this research indicate that the current DPoW resembles a digitised version of the pre-existing plans of work and does not push towards the data enriched decision-making abilities that advancements in technology now offer. A Digital Framework is not simply the digitisation of current or historic standard methods and procedures, it is a new intelligent driven digital system that uses new tools, processes, procedures and work flows to eradicate waste and increase efficiency. In addition to reporting on conducted surveys above, this research paper will present a theoretical investigation into usage of Intelligent Decision Support Systems within a digital plan of work framework. Furthermore this paper will present findings on the suitability to utilise advancements in intelligent decision-making system frameworks and Artificial Intelligence for a UK BIM Framework. This should form the foundations of decision-making for projects implemented at BIM level 2. The gap identified in this paper is that the current digital toolkit does not incorporate the intelligent characteristics available in other industries through advancements in technology and collation of vast amounts of data that a digital plan of work framework could have access to and begin to develop, learn and adapt for decision-making through the live interaction of project stakeholders.

La variación semántica en el marco de la Lingüística Cognitiva: un estudio diacrónico del verbo pisar

Este trabajo trata cuestiones teóricas y descriptivas relacionadas con el análisis de la semántica histórica según los postulados de la Lingüística Cognitiva. La primera parte del trabajo contiene un breve recorrido descriptivo de los marcos teóricos más significativos que dicha perspectiva lingüística sostiene para el análisis del cambio semasiológico. A continuación, de forma más específica, se aplican los postulados teóricos de la semántica cognitiva diacrónica al análisis semántico del verbo pisar. El presente trabajo de fin de grado da muestra de la posibilidad de aplicar los axiomas teóricos de esta perspectiva lingüística para dar luz a los cambios semánticos que a lo largo de la historia de su uso presenta el verbo polisémico pisar.

Mecanización de semántica de lenguajes de programación: teoría, implementación y desarrollo.

El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.

Anselmo, crítico de Roscelino

Anselmo foi, como o seria um pouco mais tarde Abelardo, um dos mais eminentes adversários de Roscelino de Compiègne, considerado geralmente como o iniciador da posição dita vocalista no que diz respeito ao estatuto ontológico dos termos universais. É sobretudo no De incarnatione verbi que Anselmo desenvolve os seus argumentos contra as implicações teológicas e trinitárias das doutrinas de Roscelino, «herético da dialéctica», que defende que «as substâncias universais são simples palavras» (flatus vocis). Distante embora dos termos em que, desde o final do século XI, se configura a chamada «querela dos universais» (tributária do corpus da logica vetus, e designadamente das Categorias e do Peri hermeneias de Aristóteles, a que se juntam as Institutiones de Prisciano), a crítica de Anselmo a Roscelino, em si mesma e nos seus pressupostos, incide no entanto sobre alguns dos aspectos, dialécticos e semânticos, a que o debate nas escolas dará maior relevo. A essa luz, analisaremos aqui a crítica anselmiana à posição de Roscelino – que não distingue «o cavalo da sua cor», e que «não compreende como vários homens são um único homem na espécie» –, em particular no que diz respeito à relação entre substância e acidente (ou qualidade, segundo a gramática de Prisciano) e à semântica do nome.

Algunas alternancias casuales

En nuestro dialecto se registra un fenómeno con algunos verbos; consiste en que un verbo ditransitivo pasa a comportarse como transitivo, más precisamente, el primer objeto (OD) se elide y el segundo (OI) se expresa en acusativo: 1) Le robaron dinero a Juan; 2) Lo robaron a Juan. La hipótesis que formulamos para intentar explicar este cambio tiene varios aspectos: Se trata de un fenómeno que se presenta en nuestro dialecto debido a que admite doblado de clíticos acusativos. Se produciría un cambio en la estructura argumental del verbo, dando lugar a dos elementos léxicos distintos. Desde el punto de vista de Jaume Mateu i Fontanals (2002)1 tendríamos dos constructos semánticos con diferencias sintácticas y semánticas. Cambia el grado de afectación de los argumentos, si consideramos que el evento expresado por los verbos ditransitivos relaciona tres entidades, una entidad Causante, una afectada directamente y una tercera afectada en forma indirecta. Este cambio se origina en el hecho de que en español solo la 3ra. persona tiene marca de caso para acusativo (lo/la) distinta del dativo (le), mientras que en 1ra. y 2da. persona la misma forma expresa ambos casos, me y te, respectivamente. 3) Me/te robaron dinero; 4) Me/te robaron

Causación y ergatividad en la semántica relacional

En el marco de la gramática contrastiva entre inglés y castellano, asumimos la perspectiva generativista, según la cual la sintaxis humana resulta de procesos derivacionales que combinan, por medio de mecanismos innatos, elementos capaces de codificar significados primitivos. Trabajamos con datos, ya sea reales o inventados, que ilustran los distintos tipos de oraciones ?gramaticales? posibles en una lengua natural. Nos centramos en la noción de ?ergatividad?, utilizada por distintas teorías para explicar fenómenos sintácticos y semánticos no siempre coincidentes. Desde el Funcionalismo/Cognitivismo norteamericano, Scott DeLancey (2001) compara distintas lenguas y distingue morfológicamente los sujetos ?agentivos? en estructuras causadas de los sujetos ?afectados? en estructuras no causadas. Según la Lingüística Sistémica Funcional (Halliday 1985, 2004), la ergatividad abarca, no sólo la presencia o ausencia de Causa en un proceso particular, sino también la relación causal que vincula distintos procesos entre sí. El esquema ergativo de Halliday incluye, además de pares constituidos por eventos de cambio de estado no causados y de causa externa, eventos inergativos de causa externa, y eventos transitivos instigados por otro proceso, expresado lingüísticamente o bien inferido. Desde la perspectiva de la Semántica Relacional (Mateu, 2002), reducimos el número de ?constructos primitivos? disponibles de tres a dos. Consideramos dos alternancias: la ergativo-transitiva y la causa interna/externa con inergativos. No vinculamos ni sintáctica ni derivacionalmente las construcciones transitivas con los eventos inferidos que las instigan. Justificamos la relación derivacional que vincula las construcciones pasivas estáticas con las construcciones ergativas de verbos naturalmente alternantes, por un lado, y, con las construcciones transitivas de verbos de ?locatum? y de inergativos, por el otro. Reanalizamos, respecto de la bibliografía canónica, la naturaleza del clítico ?se? en las construcciones ergativas españolas. Este análisis orienta de manera teórica el abordaje de las construcciones pertinentes, y ofrece equivalencias posibles que pueden resultar útiles para la traducción

Algunas alternancias casuales

En nuestro dialecto se registra un fenómeno con algunos verbos; consiste en que un verbo ditransitivo pasa a comportarse como transitivo, más precisamente, el primer objeto (OD) se elide y el segundo (OI) se expresa en acusativo: 1) Le robaron dinero a Juan; 2) Lo robaron a Juan. La hipótesis que formulamos para intentar explicar este cambio tiene varios aspectos: Se trata de un fenómeno que se presenta en nuestro dialecto debido a que admite doblado de clíticos acusativos. Se produciría un cambio en la estructura argumental del verbo, dando lugar a dos elementos léxicos distintos. Desde el punto de vista de Jaume Mateu i Fontanals (2002)1 tendríamos dos constructos semánticos con diferencias sintácticas y semánticas. Cambia el grado de afectación de los argumentos, si consideramos que el evento expresado por los verbos ditransitivos relaciona tres entidades, una entidad Causante, una afectada directamente y una tercera afectada en forma indirecta. Este cambio se origina en el hecho de que en español solo la 3ra. persona tiene marca de caso para acusativo (lo/la) distinta del dativo (le), mientras que en 1ra. y 2da. persona la misma forma expresa ambos casos, me y te, respectivamente. 3) Me/te robaron dinero; 4) Me/te robaron

Causación y ergatividad en la semántica relacional

En el marco de la gramática contrastiva entre inglés y castellano, asumimos la perspectiva generativista, según la cual la sintaxis humana resulta de procesos derivacionales que combinan, por medio de mecanismos innatos, elementos capaces de codificar significados primitivos. Trabajamos con datos, ya sea reales o inventados, que ilustran los distintos tipos de oraciones ?gramaticales? posibles en una lengua natural. Nos centramos en la noción de ?ergatividad?, utilizada por distintas teorías para explicar fenómenos sintácticos y semánticos no siempre coincidentes. Desde el Funcionalismo/Cognitivismo norteamericano, Scott DeLancey (2001) compara distintas lenguas y distingue morfológicamente los sujetos ?agentivos? en estructuras causadas de los sujetos ?afectados? en estructuras no causadas. Según la Lingüística Sistémica Funcional (Halliday 1985, 2004), la ergatividad abarca, no sólo la presencia o ausencia de Causa en un proceso particular, sino también la relación causal que vincula distintos procesos entre sí. El esquema ergativo de Halliday incluye, además de pares constituidos por eventos de cambio de estado no causados y de causa externa, eventos inergativos de causa externa, y eventos transitivos instigados por otro proceso, expresado lingüísticamente o bien inferido. Desde la perspectiva de la Semántica Relacional (Mateu, 2002), reducimos el número de ?constructos primitivos? disponibles de tres a dos. Consideramos dos alternancias: la ergativo-transitiva y la causa interna/externa con inergativos. No vinculamos ni sintáctica ni derivacionalmente las construcciones transitivas con los eventos inferidos que las instigan. Justificamos la relación derivacional que vincula las construcciones pasivas estáticas con las construcciones ergativas de verbos naturalmente alternantes, por un lado, y, con las construcciones transitivas de verbos de ?locatum? y de inergativos, por el otro. Reanalizamos, respecto de la bibliografía canónica, la naturaleza del clítico ?se? en las construcciones ergativas españolas. Este análisis orienta de manera teórica el abordaje de las construcciones pertinentes, y ofrece equivalencias posibles que pueden resultar útiles para la traducción

Causación y ergatividad en la semántica relacional

En el marco de la gramática contrastiva entre inglés y castellano, asumimos la perspectiva generativista, según la cual la sintaxis humana resulta de procesos derivacionales que combinan, por medio de mecanismos innatos, elementos capaces de codificar significados primitivos. Trabajamos con datos, ya sea reales o inventados, que ilustran los distintos tipos de oraciones ?gramaticales? posibles en una lengua natural. Nos centramos en la noción de ?ergatividad?, utilizada por distintas teorías para explicar fenómenos sintácticos y semánticos no siempre coincidentes. Desde el Funcionalismo/Cognitivismo norteamericano, Scott DeLancey (2001) compara distintas lenguas y distingue morfológicamente los sujetos ?agentivos? en estructuras causadas de los sujetos ?afectados? en estructuras no causadas. Según la Lingüística Sistémica Funcional (Halliday 1985, 2004), la ergatividad abarca, no sólo la presencia o ausencia de Causa en un proceso particular, sino también la relación causal que vincula distintos procesos entre sí. El esquema ergativo de Halliday incluye, además de pares constituidos por eventos de cambio de estado no causados y de causa externa, eventos inergativos de causa externa, y eventos transitivos instigados por otro proceso, expresado lingüísticamente o bien inferido. Desde la perspectiva de la Semántica Relacional (Mateu, 2002), reducimos el número de ?constructos primitivos? disponibles de tres a dos. Consideramos dos alternancias: la ergativo-transitiva y la causa interna/externa con inergativos. No vinculamos ni sintáctica ni derivacionalmente las construcciones transitivas con los eventos inferidos que las instigan. Justificamos la relación derivacional que vincula las construcciones pasivas estáticas con las construcciones ergativas de verbos naturalmente alternantes, por un lado, y, con las construcciones transitivas de verbos de ?locatum? y de inergativos, por el otro. Reanalizamos, respecto de la bibliografía canónica, la naturaleza del clítico ?se? en las construcciones ergativas españolas. Este análisis orienta de manera teórica el abordaje de las construcciones pertinentes, y ofrece equivalencias posibles que pueden resultar útiles para la traducción

Algunas alternancias casuales

En nuestro dialecto se registra un fenómeno con algunos verbos; consiste en que un verbo ditransitivo pasa a comportarse como transitivo, más precisamente, el primer objeto (OD) se elide y el segundo (OI) se expresa en acusativo: 1) Le robaron dinero a Juan; 2) Lo robaron a Juan. La hipótesis que formulamos para intentar explicar este cambio tiene varios aspectos: Se trata de un fenómeno que se presenta en nuestro dialecto debido a que admite doblado de clíticos acusativos. Se produciría un cambio en la estructura argumental del verbo, dando lugar a dos elementos léxicos distintos. Desde el punto de vista de Jaume Mateu i Fontanals (2002)1 tendríamos dos constructos semánticos con diferencias sintácticas y semánticas. Cambia el grado de afectación de los argumentos, si consideramos que el evento expresado por los verbos ditransitivos relaciona tres entidades, una entidad Causante, una afectada directamente y una tercera afectada en forma indirecta. Este cambio se origina en el hecho de que en español solo la 3ra. persona tiene marca de caso para acusativo (lo/la) distinta del dativo (le), mientras que en 1ra. y 2da. persona la misma forma expresa ambos casos, me y te, respectivamente. 3) Me/te robaron dinero; 4) Me/te robaron

Open-Source Computerized Patient-Reported Outcomes: Case Studies Illustrating Fifteen Years of Evolution

Thesis (Master's)--University of Washington, 2016-06

Managing change and time in dynamic workflow processes

Business environments have become exceedingly dynamic and competitive in recent times. This dynamism is manifested in the form of changing process requirements and time constraints. Workflow technology is currently one of the most promising fields of research in business process automation. However, workflow systems to date do not provide the flexibility necessary to support the dynamic nature of business processes. In this paper we primarily discuss the issues and challenges related to managing change and time in workflows representing dynamic business processes. We also present an analysis of workflow modifications and provide feasibility considerations for the automation of this process.

Data flow and validation in workflow modelling

A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, their scope, the order of execution that maintains the overall business process logic, the rules governing the discipline of work list scheduling to performers, identification of time constraints and more. The goal of this paper is to address an important issue in workflows modelling and specification, which is data flow, its modelling, specification and validation. Researchers have neglected this dimension of process analysis for some time, mainly focussing on structural considerations with limited verification checks. In this paper, we identify and justify the importance of data modelling in overall workflows specification and verification. We illustrate and define several potential data flow problems that, if not detected prior to workflow deployment may prevent the process from correct execution, execute process on inconsistent data or even lead to process suspension. A discussion on essential requirements of the workflow data model in order to support data validation is also given..

Complexidade, Espiritualidade e Educação: por uma educabilidade do espírito humano

O tema desta pesquisa, Complexidade, Espiritualidade e Educação: por uma educabilidade do espírito humano, sugere que a problemática do conhecimento sobre o espírito e a espiritualidade humanos está enraizada não apenas nos redutos religiosos, mas também no próprio interstício da ciência e também no coração da sociedade moderna. Apostamos neste tema não apenas pela sua atualidade, mas porque vem assumindo nestes últimos anos o status de indispensável no conjunto dos saberes, das realizações e do ethos humanos. Mas, para nos infiltrarmos neste assunto, é preciso uma nova lente epistemológica capaz de fazer uma leitura crítica, complexa e multidimensional a respeito da espiritualidade humana. A gênese do problema levantada para esta pesquisa parte do conflito entre as várias percepções sobre a condição humana, que ocorre a partir mesmo da crise experimentada hoje por muitos matizes científicos. A aproximação entre a teoria da complexidade, a espiritualidade humana com a educação, nos permite criar um cenário enriquecedor que acrescenta qualidade aos discursos e práticas educacionais na escola, na família, nas pastorais, na educação religiosa e ainda, em outras atividades afins. A nossa pergunta nuclear e que servirá de norte para o esforço desta pesquisa, é a seguinte: o espírito humano existe e, se existe, é educável? Para um melhor aproveitamento e compreensão desta dissertação, a pesquisa foi dividida em três capítulos, sistematizados da seguinte forma: No primeiro capítulo fizemos a exposição de algumas dificuldades de infiltração na temática sobre o espírito e da espiritualidade humanos. Essa exposição foi feita em dois momentos: o primeiro discute alguns pressupostos conceituais e semânticos sobre o espírito humano e, em seguida, aponta a necessidade de superar o conhecimento fragmentado em favor da recomposição do cariz humano. No segundo momento, discorremos sobre a rasoura científica que tem deixado de lado algumas dimensões humanas, sob pesado ônus para a existência humana como um todo. No segundo capítulo discutimos a atualidade do tema, que também pode ser visto em duas partes: na primeira dialogamos com algumas teorias sobre a complexidade e a multidimensionalidade da condição humana. Em seguida, focamos a partir dos novos humores antropológicos a dimensão simbólica e espiritual do humano. Na segunda parte, pontuamos sobre o desencantamento e crise da sociedade prometéica e a emergência e interfaces dos assuntos sobre a espiritualidade humana nestas últimas décadas. No terceiro e último capítulo, discorremos sobre as funções do espírito e as possibilidades reais de uma educação para o espírito humano. Semelhantemente, dividimos o capítulo em dois momentos de discussão: no primeiro, fazemos uma abordagem sobre a dimensão do espírito e a expressão da consciência como função de sentido. No segundo e último momento, levantamos a questão da educação do espírito humano. Seguindo este raciocínio, propomos uma pedagogia voltada também para o espírito humano. Deixamos por fim algumas sugestões que sinalizam uma educação para a ecologia do humano.

A Cultura Caiçara do Litoral Norte Paulista mostrada na revista Beach&Co Estereótipos do caiçara das cidades de Caraguatatuba, São Sebastião, Ubatuba e Ilhabela em um veículo regional impresso

Estudo dos estereótipos que a revista regional Beach&Co fez do caiçara - povo nativo que mantém uma cultura relacionada ao mar e a mata nas cidades de Caraguatatuba, São Sebastião, Ubatuba e Ilhabela, no Litoral Norte Paulista. Aplicou-se uma metodologia de caráter híbrido que mesclou os Estudos Culturais com base nas obras de Douglas Kellner, Stuart Hall e Raymond Williams com a Análise de Discurso nas obras de Dominique Maingueneau, Eni Orlandi, Patrick Charaudeau e Audre Alberguine. Também foram resgatados os estudos da Cultura Caiçara feitos por Carlos Diegues, Gioconda Mussolini, Emilio Willems, e por fim redefiniu-se o gênero jornalístico Reportagem e contextualizou-se o Jornalismo Regional de Revista. Posteriormente, analisou-se a primeira década da revista Beach&Co, totalizando 120 edições publicadas de janeiro de 2002 a junho de 2012, no qual foram mostradas as diversas abordagens que a publicação fez do caiçara, bem como a evolução da própria revista nos aspectos editoriais, comercial e de design gráfico. Em seguida, selecionou-se 23 reportagens nas editorias de turismo, gastronomia, esportes e outras relacionadas à Cultura Caiçara, que tiveram seus discursos semânticos e os elementos valorativos de linguagens analisados. Nas conclusões, constatou-se que a cobertura jornalística da Beach&Co privilegia as áreas do turismo e do desenvolvimento do Litoral Norte e Baixada Santista; que a revista passou por readaptações e esquematismos dominantes na produção jornalística e encontrou mercado nas especificidades do Litoral Paulista; a Beach&Co se consolidou como uma revista regional profissional, de qualidade e criativa, distante do amadorismo, do bairrismo e da mimetização simplista; apesar de muitas vezes ter usado o caiçara para adjetivar os aspectos turísticos e gastronômicos do Litoral Norte, a revista trabalhou a produção simbólica do caiçara de forma ampla e retratou vários aspectos da Cultura Caiçara, reforçando o poder desta revista regional, como retroalimentando os sotaques do Litoral Paulista nas demais regiões do país onde a publicação também é lida.