60,662 research outputs found
Research on an expert system for database operation of simulation-emulation math models. Volume 1, Phase 1: Results
The results of the first phase of Research on an Expert System for Database Operation of Simulation/Emulation Math Models, is described. Techniques from artificial intelligence (AI) were to bear on task domains of interest to NASA Marshall Space Flight Center. One such domain is simulation of spacecraft attitude control systems. Two related software systems were developed to and delivered to NASA. One was a generic simulation model for spacecraft attitude control, written in FORTRAN. The second was an expert system which understands the usage of a class of spacecraft attitude control simulation software and can assist the user in running the software. This NASA Expert Simulation System (NESS), written in LISP, contains general knowledge about digital simulation, specific knowledge about the simulation software, and self knowledge
Improving soft FEC performance for higher-order modulations via optimized bit channel mappings
Soft forward error correction with higher-order modulations is often
implemented in practice via the pragmatic bit-interleaved coded modulation
paradigm, where a single binary code is mapped to a nonbinary modulation. In
this paper, we study the optimization of the mapping of the coded bits to the
modulation bits for a polarization-multiplexed fiber-optical system without
optical inline dispersion compensation. Our focus is on protograph-based
low-density parity-check (LDPC) codes which allow for an efficient hardware
implementation, suitable for high-speed optical communications. The
optimization is applied to the AR4JA protograph family, and further extended to
protograph-based spatially coupled LDPC codes assuming a windowed decoder. Full
field simulations via the split-step Fourier method are used to verify the
analysis. The results show performance gains of up to 0.25 dB, which translate
into a possible extension of the transmission reach by roughly up to 8%,
without significantly increasing the system complexity.Comment: This paper was published in Optics Express and is made available as
an electronic reprint with the permission of OSA. The paper can be found at
the following URL on the OSA website:
http://www.opticsinfobase.org/oe/abstract.cfm?uri=oe-22-12-1454
Translating expert system rules into Ada code with validation and verification
The purpose of this ongoing research and development program is to develop software tools which enable the rapid development, upgrading, and maintenance of embedded real-time artificial intelligence systems. The goals of this phase of the research were to investigate the feasibility of developing software tools which automatically translate expert system rules into Ada code and develop methods for performing validation and verification testing of the resultant expert system. A prototype system was demonstrated which automatically translated rules from an Air Force expert system was demonstrated which detected errors in the execution of the resultant system. The method and prototype tools for converting AI representations into Ada code by converting the rules into Ada code modules and then linking them with an Activation Framework based run-time environment to form an executable load module are discussed. This method is based upon the use of Evidence Flow Graphs which are a data flow representation for intelligent systems. The development of prototype test generation and evaluation software which was used to test the resultant code is discussed. This testing was performed automatically using Monte-Carlo techniques based upon a constraint based description of the required performance for the system
Automated Verification of Quantum Protocols using MCMAS
We present a methodology for the automated verification of quantum protocols
using MCMAS, a symbolic model checker for multi-agent systems The method is
based on the logical framework developed by D'Hondt and Panangaden for
investigating epistemic and temporal properties, built on the model for
Distributed Measurement-based Quantum Computation (DMC), an extension of the
Measurement Calculus to distributed quantum systems. We describe the
translation map from DMC to interpreted systems, the typical formalism for
reasoning about time and knowledge in multi-agent systems. Then, we introduce
dmc2ispl, a compiler into the input language of the MCMAS model checker. We
demonstrate the technique by verifying the Quantum Teleportation Protocol, and
discuss the performance of the tool.Comment: In Proceedings QAPL 2012, arXiv:1207.055
- …