Representing time has been considered a general problem for artificial intelligence research for many years. More recently, the question of representing time has become increasingly important in representing human decision making process through connectionist expert systems. Because most human behaviors unfold over time, any attempt to represent expert performance, without considering its temporal nature, can often lead to incorrect results. A temporal feedforward neural network model that can be applied to a number of neural network application areas, including connectionist expert systems, has been introduced. The neural network model has a multi-layer structure, i.e. the number of layers is not limited. Also, the model has the flexibility of defining output nodes in any layer. This is especially important for connectionist expert system applications. A temporal backpropagation algorithm which supports the model has been developed. The model along with the temporal backpropagation algorithm makes it extremely practical to define any artificial neural network application. Also, an approach that can be followed to decrease the memory space used by weight matrix has been introduced. The algorithm was tested using a medical connectionist expert system to show how best we describe not only the disease but also the entire course of the disease. The system, first, was trained using a pattern that was encoded from the expert system knowledge base rules. Following then, series of experiments were carried out using the temporal model and the temporal backpropagation algorithm. The first series of experiments was done to determine if the training process worked as predicted. In the second series of experiments, the weight matrix in the trained system was defined as a function of time intervals before presenting the system with the learned patterns. The result of the two experiments indicate that both approaches produce correct results. The only difference between the two results was that compressing the weight matrix required more training epochs to produce correct results. To get a measure of the correctness of the results, an error measure which is the value of the error squared was summed over all patterns to get a total sum of squares.

Design of intelligent systems that can learn from the environment and adapt to the change in the environment has been pursued by many researchers in this age of information technology. The Group Method of Data Handling (GMDH) algorithm to be implemented is a multilayered neural network. Neural network consists of neurons which use information acquired in training to deduce relationships in order to predict future responses. Most software tool during the simulation of the neural network based algorithms in a sequential, single processor machine like Pascal, C or C++ takes several hours or even days. But in this thesis, the GMDH algorithm was modified and implemented into a software tool written in Verilog HDL and tested with specific application (XOR) to make the simulation faster. The purpose of the development of this tool is also to keep it general enough so that it can have a wide range of uses, but robust enough that it can give accurate results for all of those uses. Most of the applications of neural networks are basically software simulations of the algorithms only but in this thesis the hardware design is also developed of the algorithm so that it can be easily implemented on hardware using Field Programmable Gate Array (FPGA) type devices. The design is small enough to require a minimum amount of memory, circuit space, and propagation delay. / by Mukul Gupta. / Thesis (M.S.C.S.)--Florida Atlantic University, 2010. / Includes bibliography. / Electronic reproduction. Boca Raton, Fla., 2010. Mode of access: World Wide Web.

Network architectures are described by the International Standard for Organization (ISO), which contains seven layers. The internet uses four of these layers, of which three are of interest to us. These layers are Internet Protocol (IP) or Network Layer, Transport Layer and Application Layer. We need to protect against attacks that may come through any of these layers. In the world of network security, systems are plagued by various attacks, internal and external, and could result in Denial of Service (DoS) and/or other damaging effects. Such attacks and loss of service can be devastating for the users of the system. The implementation of security devices such as Firewalls and Intrusion Detection Systems (IDS), the protection of network traffic with Virtual Private Networks (VPNs), and the use of secure protocols for the layers are important to enhance the security at each of these layers.We have done a survey of the existing network security patterns and we have written the missing patterns. We have developed security patterns for abstract IDS, Behavior–based IDS and Rule-based IDS and as well as for Internet Protocol Security (IPSec) and Transport Layer Security (TLS) protocols. We have also identified the need for a VPN pattern and have developed security patterns for abstract VPN, an IPSec VPN and a TLS VPN. We also evaluated these patterns with respect to some aspects to simplify their application by system designers. We have tried to unify the security of the network layers using security patterns by tying in security patterns for network transmission, network protocols and network boundary devices. / Includes bibliography. / Dissertation (Ph.D.)--Florida Atlantic University, 2014. / FAU Electronic Theses and Dissertations Collection

Web Service Business Process Execution Language (BPEL) has become a standard language in the world of Service Oriented Architecture (SOA) for specifying interactions between internet services. This standard frees developers from low-level concerns involving platform, implementation, and versioning. These freedoms risk development of less robust artifacts that may even become part of a mission-critical system. Model checking a BPEL artifact for correctness with respect to temporal logic properties is computationally complex, since it requires enumerating all communication and synchronization amongst various services with itself. This entails modeling BPEL features such as concurrency, hierarchy, interleaving, and non-deterministic choice. The thesis will provide rules and procedures for translating these features to a veriable model written in Promela. We will use these rules to build a program which automates the translation process, bringing us one step closer to push button verification. Finally, two BPEL artifacts will be translated, manually edited, verified, and analyzed. / by Augusto Varas. / Thesis (M.S.C.S.)--Florida Atlantic University, 2009. / Includes bibliography. / Electronic reproduction. Boca Raton, Fla., 2009. Mode of access: World Wide Web.

A prática deliberada de corrida promove uma melhora no padrão de movimento do corredor, porém ainda é incerto quais são as contribuições da experiência de corrida na mecânica do corpo. No curso de dar luz a essas contribuições nos deparamos com uma questão básica anterior: o que é um corredor experiente? Apesar de existir uma regra dos \"dez anos\" de prática para se tornar especialista, não há uma definição clara do que é ser experiente em corrida e, quantificar o nível da experiência é uma tarefa desafiadora. Uma alternativa para essa tarefa envolve a criação de um sistema de apoio à decisão para classificação do fenômeno utilizando um sistemas linguísticos fuzzy. O uso desses sistemas é indicado para tratar de fenômenos com características de incerteza de identificação. Os objetivos do estudo foram: (i) desenvolver um sistema de apoio à decisão para a classificação da experiência do corredor de longa distância não federado por meio de um modelo fuzzy; e (ii) desenvolver uma prova que avalie a capacidade do corredor em controlar o ritmo durante a corrida, como forma de qualificar a experiência nessa modalidade. Para o primeiro objetivo, dois subsistemas tipo Mamdani foram desenvolvidos a partir do julgamento de três técnicos especialistas em corrida. No primeiro subsistema as variáveis linguísticas de frequência e volume de treino foram combinadas tendo como saída conjuntos que definiram a qualidade da prática. O segundo subsistema combinou à saída do 1º sistema, o número de provas e o tempo de prática e determinou o nível de experiência em corrida, em cinco conjuntos de saída. Os resultados do modelo foram altamente consistentes com a avaliação dos três especialistas em corrida que o criaram (r > O,88, p < O,OOl) e altamente consistentes com a avaliação de cinco outros especialistas (r > O,86, p < O,OOl). Para o segundo objetivo, como os especialistas descreveram de forma contundente que o controle de ritmo durante a corrida é uma característica presente e marcante em corredores experientes, desenvolvemos uma prova para testar essa capacidade do corredor e para que esta ferramenta pudesse ser utilizada como padrão de comparação com os resultados da avaliação do modelo fuzzy. Duas provas de 1000 m e 3200 m foram desenvolvidas. A primeira foi aplicada em 100 e a segunda em 42 corredores de longa distância não federados, onde tinham um tempo alvo para completar a prova baseado no tempo da última prova de 5km ou 10km que tivessem realizado. Os tempos parciais foram mensurados a cada 200m para identificar o ritmo. Foi possível identificar algumas distribuições de ritmo típicas ao longo dos testes, todavia, elas não se relacionaram com o nível de experiência dos corredores, o mesmo ocorreu entre o grau de acurácia em reproduzir os tempos solicitados e o nível de experiência. No geral, pode-se dizer que a classificação de experiência baseada num sistema fuzzy foi consistente como se pode depreender do grau de correlação do modelo com os julgamentos dos especialistas. A ausência de relações significantes entre o modelo e o controle de ritmo pode ser atribuída ao segundo, já que não há consenso na literatura sobre qual seria um teste de ritmo objetivo, fidedigno e válido. O controle de ritmo por si já está imbuído de um grau de incerteza (várias combinações temporais levam ao mesmo resultado final) o que corrobora com a utilização da lógica fuzzy para o entendimento do fenômeno e demanda estudos específicos. É importante destacar que a aplicação do modelo permitiu identificar que um alto nível de experiência não está balizado pela \"regra dos 10 anos de prática\" o que provavelmente tem a ver com o tipo de atividade estudada aqui, depende de uma habilidade mais motora e menos cognitiva. Isso indica que na corrida há outros fatores balizadores, como a frequência e o volume de treinos e a participação em provas. O sistema fuzzy de apoio a decisão para classificação do nível de experiência do praticante de corrida de fundo mostrou-se capaz de identificar e classificar a experiência em corrida com confiabilidade / The deliberate practice of running enhances the runner\'s movement pattern, but it is yet uncertain what are the contributions of running experience to body mechanics. In the course to unravel such contributions one is faced with a more basic question: what is an experienced runner? In spite of the well known rule of \"ten years of practice\" to become an expertise, there is no clear definition of what it is to be an experienced runner, hence to quantify the experience levei is a challenging task. One alternative to this task entails the development a system to support decision-making to classify the phenomenon using Fuzzy Linguistic Systems. The use of such systems is indicated to deal with phenomena that have an uncertain characterization because its identification allows different configurations. The goals of the study were: (i) to develop a fuzzy decision support system for classifying the running experience of non- elite long distance runners; (ii) to develop a running test to assess the runner\'s ability to pace control during running and that might be associated to experience levels. For the first goal, two Mamdani subsystems were developed from the judgements of three expert running coaches. In the first subsystem, the linguistic variables of training frequency and volume were combined and the output defined the quality of running practice. The second subsystem determined the running experience levei from the five output sets of the first subsystem combined with the number of races and practice time. The results of the model were highly consistent with the evaluation done by the three expert running coaches who created it (r > O,88, p < O,OOl) as well as with that of other five expert running coaches (r > O,86, p < O,OOl). For the second goal, considering that the running experts were quite confident that pace control is a marked ability of experienced runners, a running test was developed to assess the runner\'s ability to exert such control and that might be a reference for comparison with the experience levei defined by the fuzzy system based classification. Two running tests, 1000 and 3200 meters races, were developed and applied in a sample of 142 non-elite long distance runners in which they had a goal time to complete the test based on their personal last time in 10km or 5km races. Splits times we-re taken at each 200 m to identify the pace. Although it was possible to identify some typical pace distributions in the tests, they were not correlated to experience levels and also to the accuracy with which the goal time were attained. Overall, the classification of running experience based in a fuzzy system was consistent as one considers the degree of correlation between the model and the judgments made by the expert coaches. The lack of correlation with the pace control might be due to the fact that the test might not be appropriated. There is no consensus in the literature about what would be an objective, reliable and valid running pace control testo Pace control is in itself an uncertain process (many temporal combinations can yield the same final result) which agrees with the use fuzzy logic to unravel it, hence it warrants a set of particular investigations. It is important to remark that with the application of the model it was possible to verify that a high running experience levei is not constrained by \"the ten years of practice\" rule, which is likely to related to the activity studied here. This indicates that in running there are other constraints for experience such as training frequency, volume and participation in races. The fuzzy decision support system to classify the experience levei of the non-elite long distance runner proved to be capable to identify and classify the running experience with reliability

Dans le cours des dernières années, la traçabilité s’est positionnée au cœur de plusieurs enjeux fondamentaux pour les entreprises. Cependant, cette notion est encore aujourd’hui vue comme une contrainte, servant uniquement à respecter des impositions légales et à rappeler des produits non-conformes. Dans ce projet, nous nous sommes attachés à élargir la définition de traçabilité aux domaines de la prévision et de la protection, pour qu’elle ne soit plus perçue comme une obligation supplémentaire à assumer, mais comme un véritable argument d’avantage concurrentiel. Ces travaux de recherche sont consacrés à l’exploitation des informations de traçabilité par l’utilisation des techniques d’intelligence artificielle et de recherche opérationnelle, afin de proposer des actions d’amélioration en production et en logistique. Ils ont été menés en collaboration avec la société ADENTS International, experte en traçabilité. Ce projet est composé de deux principaux axes de travail : l’un portant sur le diagnostic de la criticité d’une production, en fonction des informations de traçabilité et l’autre sur les actions à entreprendre par rapport à ce diagnostic. Dans le premier, nous remarquons l’importance de la notion de dispersion de matières premières et des composants, ainsi que celle des écarts en termes de qualité et de sécurité. Dans le second, nous nous intéressons d’avantage à la notion de rappel de produits, visant une gestion de transformations adaptée en aval de la production, afin de minimiser ces rappels. Pour la mise en place de ces deux grandes activités, nous nous sommes engagés à proposer des modèles et des méthodes flexibles et réactives, pouvant s’adapter à la versatilité ontologique des flux d’informations de traçabilité / The recent product traceability requirements demonstrate an industrial need to improve the information management strategies within traceability systems in order to evolve from reactivity to proactivity. The aim of this work is to exploit the recently available real-time access to traceability information. We propose the utilization of artificial intelligence and operational research techniques to analyse the information and therefore suggest improvement actions. This research project is composed of two main activities: first, the diagnosis of the criticality value associated to a production regarding the traceability information and second, the actions to undertake as a result of this diagnosis. One of the issues studied in this thesis is the problem of minimizing the size of products recall. Initially the problem of raw materials dispersion minimization is analysed. Then a result of the dispersion rate along with other production criteria are evaluated in order to determine a risk level criterion in terms of quality and security that we name “production criticality”. This criterion is used subsequently to optimize deliveries dispatch with the purpose of minimizing the number of batch recalls in case of crisis. This is achieved by implementing flexible and reactive tools

Esta tese propõe a utilização de sistemas inteligentes para, automaticamente, realizar diagnósticos e localizar falhas na instalação e na operação de redes de comunicação industrial que utilizam o protocolo Profibus DP. Para tais tarefas, uma série de análises é realizada a partir dos sinais transmitidos pela camada física, de telegramas transmitidos pela camada de enlace e de funções da camada de usuário do protocolo Profibus DP. Para a análise da camada física, amostras dos sinais elétricos transmitidos são processadas e apresentadas a algumas Redes Neurais Artificiais para que sejam classificadas de acordo com a sua forma de onda. Caso estes sinais apresentem alguma deformação, o sistema indica uma provável causa para o problema, afinal, os problemas das redes Profibus originam padrões específicos e característicos impressos nas formas de onda do sinal digital. Ainda através da análise das amostras dos sinais oriundos da camada física, algumas fontes de problemas são detectadas a partir da análise do nível médio de tensão do sinal que um determinado dispositivo está transmitindo. Tal análise é realizada a partir de um Sistema Especialista. Também utilizando Sistemas Especialistas, os telegramas transmitidos pela camada de enlace deste protocolo são analisados e a partir destes, falhas de configuração são detectadas. Por fim, é proposto um sistema nebuloso responsável por indicar ao usuário um valor próximo ao ideal para a variável de tempo denominada target rotation time. A proposta foi testada e validada a partir de dados obtidos de redes Profibus estabelecidas em laboratório e de alguns dados sintéticos originados por software. Os resultados obtidos foram suficientes para a comprovação da tese de que sistemas computacionais inteligentes podem contribuir de maneira efetiva no diagnóstico de problemas em redes Profibus DP e até mesmo em outros tipos de rede. / This thesis proposes the use of intelligent systems to automatically perform diagnostics and locate faults during the installation and operation of industrial communication networks that use the Profibus DP protocol. For such tasks, some analyzes are performed from the signals transmitted by the physical layer, from telegrams transmitted by the data link layer and from some user layer functions of the Profibus DP protocol. For physical layer analysis, the transmitted electrical signals samples are processed and submitted for some artificial neural networks that classifies each signal according to its waveshape. If these signals have some deformation, the system indicates a probable cause for the problem, after all, the Profibus problems originate specific and characteristic patterns printed on the digital signal waveform. Still analyzing the physical layer signal samples, some problems sources are detected from the signal voltage analysis. Such analysis is performed from an Expert System. Also using expert systems, the data link layer telegrams are analyzed and configuration faults are detected. Finally, it is proposed a fuzzy system responsible for specify a value close to ideal for the target rotation time variable. The proposal has been tested and validated with data from Profibus networks established in laboratory. Besides, some synthetic data were generated by software. The results were sufficient to prove the thesis that intelligent computational systems can contribute effectively to diagnose problems in Profibus DP networks and even in other types of networks.

O objetivo deste trabalho consiste em apresentar o projeto de um sistema especialista que visa auxiliar nos procedimentos envolvidos com a especificação de pára-raios de óxido de zinco para proteção de transformadores frente às descargas atmosféricas, bem como permitir que a análise do comportamento dos surtos de tensão de origem atmosférica que incidem em determinada área de concessão possa ser executada de forma detalhada e sistemática. Para tanto, o sistema especialista desenvolvido faz a integração eficiente de abordagens e técnicas que levam em consideração os aspectos característicos das descargas atmosféricas, as análises experimentais representativas do fenômeno e os modelos matemáticos que permitam mapear todo o processo de desencadeamento das descargas atmosféricas. / The objective of this study consists of presenting an expert system that assists the procedures involved with the protection specification of transformers against atmospheric discharges, allowing also to analyze in a detailed and systematic way the behavior of the respective voltage transients that are generated at the supplying area. For such purpose, the expert system developed in this research makes the efficient integration of approaches and techniques that take into account the characteristic aspects of the atmospheric discharges, the experimental analyses that represent the phenomenon and the mathematical models that allow to map the process involved with the formation of the lightning.

by Luk Kar-shun. / Thesis (M.B.A.)--Chinese University of Hong Kong, 1992. / Includes bibliographical references (leaves 58). / ABSTRACT --- p.ii / TABLE OF CONTENTS --- p.iv / LIST OF ILLUSTRATIONS --- p.vi / ACKNOWLEDGEMENT --- p.vii / SECTIONS / Chapter 1. --- INTRODUCTION --- p.1 / Chapter 1.1 --- Company Background --- p.1 / Chapter 1.2 --- Environmental Changes --- p.2 / Chapter 1.3 --- Datapak Services --- p.3 / Chapter 1.4 --- Knowledge Based Diagnostic System --- p.4 / Chapter 1.5 --- Project Objectives --- p.5 / Chapter 1.6 --- Research Methodologies --- p.6 / Chapter 2. --- THE OPERATING ENVIRONMENT --- p.7 / Chapter 2.1 --- Organization Structure And Work Flow --- p.7 / Chapter 2.2 --- Problem Areas --- p.9 / Chapter 2.3 --- Operation Support System (OSS) --- p.9 / Chapter 3. --- DDN Diagnostic System --- p.11 / Chapter 3.1 --- Digital Data Network (DDN) --- p.11 / Chapter 3.2 --- Kappa PC --- p.13 / Chapter 3.3 --- Development Process --- p.14 / Chapter 4. --- POST IMPLEMENTATION EVALUATION --- p.17 / Chapter 4.1 --- Functionality & Performance --- p.17 / Chapter 4.2 --- User Survey --- p.18 / Chapter 4.3 --- Interpretation Of Results --- p.22 / Chapter 4.4 --- Summary --- p.23 / Chapter 5. --- AREAS FOR IMPROVEMENTS --- p.24 / Chapter 5.1 --- Development Methodology --- p.24 / Chapter 5.2 --- Relationship Between End-User And Expert System --- p.26 / Chapter 5.3 --- New System Requirements --- p.29 / Chapter 5.4 --- Human Resources --- p.29 / Chapter 6. --- SYSTEM DESIGN --- p.31 / Chapter 6.1 --- Overall System Architecture --- p.31 / Chapter 6.2 --- Change In Work Flow --- p.32 / Chapter 7. --- CONCLUSION --- p.34 / ILLUSTRATIONS --- p.36 / APPENDIX --- p.43 / BIBLIOGRAPHY --- p.58

Yau Mei-yee. / Thesis (M.Phil.)--Chinese University of Hong Kong, 1993. / Includes bibliographical references (leaves 79-[84]). / Chapter 1 --- Introduction --- p.1 / Chapter 1.1 --- Hong Kong Building Regulations --- p.2 / Chapter 1.2 --- Introduction to Architectural Design --- p.3 / Chapter 1.2.1 --- Related Works of Design Expert System --- p.3 / Chapter 1.2.2 --- Application of Model-based Reasoning to Design Expert System --- p.4 / Chapter 1.3 --- Model-based Reasoning System --- p.5 / Chapter 1.3.1 --- Related Works of Model-based Reasoning --- p.6 / Chapter 2 --- Framework for FPDX System --- p.8 / Chapter 2.1 --- Overview of FPDX --- p.8 / Chapter 2.2 --- Graphics User Interface --- p.10 / Chapter 2.2.1 --- A Library of Floor Plan Design Elements --- p.11 / Chapter 2.3 --- Floor Plan Compiler --- p.15 / Chapter 2.3.1 --- Diffculties in acquisting the Semantic Knowledge from AutoCAD files --- p.15 / Chapter 2.4 --- Inference Engine of FPDX --- p.16 / Chapter 2.4.1 --- Design Data Base --- p.16 / Chapter 2.4.2 --- Knowledge Base of Government Regulations --- p.19 / Chapter 2.4.3 --- Inference Mechanism --- p.21 / Chapter 3 --- Model-based Expert System --- p.24 / Chapter 3.1 --- Advantages of Applying Model-based System to FPDX --- p.25 / Chapter 3.2 --- Modelling Designs --- p.26 / Chapter 3.3 --- Reasoning A Design --- p.30 / Chapter 3.3.1 --- Reasoning at the Component Level --- p.30 / Chapter 3.3.2 --- Reasoning at the Subsystem Level --- p.33 / Chapter 3.4 --- Prolog Programming Environment --- p.34 / Chapter 4 --- Frame-based Knowledge System --- p.35 / Chapter 4.1 --- Benefits of Hierarchical Frames --- p.35 / Chapter 4.2 --- Knowledge Representation of FPDX --- p.36 / Chapter 4.2.1 --- Reasons of Applying Frames to FPDX --- p.36 / Chapter 4.2.2 --- Advantages of Using Frames in FPDX --- p.37 / Chapter 4.3 --- Syntactic Knowledge and Semantic Knowledge --- p.38 / Chapter 4.3.1 --- Syntactic Knowledge --- p.38 / Chapter 4.3.2 --- Semantic Knowledge --- p.40 / Chapter 4.4 --- Illustration of Frames of FPDX --- p.40 / Chapter 4.4.1 --- AKO and APO Inter-relationships --- p.41 / Chapter 4.4.2 --- Different Types of Inheritance in FPDX --- p.43 / Chapter 5 --- An Example --- p.45 / Chapter 6 --- Conclusions --- p.54 / Appendices --- p.55 / Chapter A --- Illustration of Graphical Design Elements --- p.56 / Chapter B --- Hierarchy of Frames of FPDX Elements --- p.61 / Chapter C --- Part of the AutoLISP Program on Regulations --- p.66 / Chapter D --- Prolog Predicates of FPDX --- p.68 / Chapter E --- A Glossary of Building Regulations --- p.76 / Bibliography