this code define non-Deterministic finite automata using lisp
標簽： non-Deterministic automata define finite
上傳時間： 2017-09-11
上傳用戶：李彥東
The program simulates a NonDeterministic Multitape Turing Machine. It works as ordinary (Deterministic) Turing Machine as well.
標簽： NonDeterministic Determinist Multitape simulates
上傳時間： 2014-09-07
上傳用戶：hebmuljb
This book is intended for embedded system programmers, consultants and students interested in real-time operating systems. μC/OS-II is a high performance, Deterministic real-time kernel and can be embedded in commercial products (see Appendix F, Licensing). Instead of writing your own kernel, you should consider μC/OS-II. You will find, as I did, that writing a kernel is not as easy as it first looks.
標簽： consultants programmers interested intended
上傳時間： 2015-11-06
上傳用戶：l254587896
In this article, we present an overview of methods for sequential simulation from posterior distributions. These methods are of particular interest in Bayesian filtering for discrete time dynamic models that are typically nonlinear and non-Gaussian. A general importance sampling framework is developed that unifies many of the methods which have been proposed over the last few decades in several different scientific disciplines. Novel extensions to the existing methods are also proposed.We showin particular how to incorporate local linearisation methods similar to those which have previously been employed in the Deterministic filtering literature these lead to very effective importance distributions. Furthermore we describe a method which uses Rao-Blackwellisation in order to take advantage of the analytic structure present in some important classes of state-space models. In a final section we develop algorithms for prediction, smoothing and evaluation of the likelihood in dynamic models.
標簽： sequential simulation posterior overview
上傳時間： 2015-12-31
上傳用戶：225588
Digital Signal and Image Processing Using MATLAB The most important theoretical aspects of image and signal processing (ISP) for both Deterministic and random signals are covered in this guide to using MATLAB® . The discussion is also supported by exercises and computer simulations relating to real applications such as speech processing and fetal-heart–rhythm tracking, and more than 200 programs and functions for numerical experiments are provided with commentary.
標簽： theoretical Processing important Digital
上傳時間： 2016-07-08
上傳用戶：z1191176801
an analysis software with souce code for the time series with methods based on the theory of nonlinear Deterministic dynamical systems, or chaos theory.這套軟件源碼是根據H. Kantz and T. Schreiber, ``Nonlinear Time Series Analysis , Cambridge University Press, Cambridge (1997).
標簽： with the analysis software
上傳時間： 2013-12-10
上傳用戶：ve3344
A Matlab toolbox for exact linear time-invariant system identification is presented. The emphasis is on the variety of possible ways to implement the mappings from data to parameters of the data generating system. The considered system representations are input/state/output, difference equation, and left matrix fraction. KEYWORDS: subspace identification, Deterministic subspace identification, balanced model reduction, approximate system identification, MPUM.
標簽： identification time-invariant presented emphasis
上傳時間： 2013-12-28
上傳用戶：wfl_yy
Modeling and simulation of nonlinear systems provide communication system designers with a tool to predict and verify overall system performance under nonlinearity and complex communication signals. Traditionally, RF system designers use Deterministic signals (discrete tones), which can be implemented in circuit simulators, to predict the performance of their nonlinear circuits/systems. However, RF system designers are usually faced with the problem of predicting system performance when the input to the system is real-world communication signals which have a random nature.
標簽： Nonlinear_Distortion_in_Wireless_ Systems
上傳時間： 2020-05-31
上傳用戶：shancjb
This manual documents the Microcontroller profile of version 7 of the ARM? Architecture, the ARMv7-M architecture profile. For short definitions of all the ARMv7 profiles see About the ARMv7 architecture, and architecture profiles on page A1-20.ARMv7 is documented as a set of architecture profiles. The profiles are defined as follows: ARMv7-A The application profile for systems supporting the ARM and Thumb instruction sets, and requiring virtual address support in the memory management model. ARMv7-R The realtime profile for systems supporting the ARM and Thumb instruction sets, and requiring physical address only support in the memory management model ARMv7-M The microcontroller profile for systems supporting only the Thumb instruction set, and where overall size and Deterministic operation for an implementation are more important than absolute performance. While profiles were formally introduced with the ARMv7 development, the A-profile and R-profile have implicitly existed in earlier versions, associated with the Virtual Memory System Architecture (VMSA) and Protected Memory System Architecture (PMSA) respectively.
標簽： arm
上傳時間： 2022-06-02
上傳用戶：
移動通信網絡由于帶寬和技術的限制，遠遠不能滿足人們不斷高漲的無線上網需求。Wi-Fi作為無線接入技術MLAN的主流標準口益成熟，它能夠隨時隨地高速連接到Internet，極大地滿足了用戶對無線上網需求，受到消費者的青睞。因而越來越多的移動終端都集成了Wi-Fi功能，Wi-Fi和藍牙樣成為移動終端的標配。隨之而來的是wi-Fi和藍牙都工作在2.4CHZz ISM頻段而引發的互相 擾問題，導致數據吞吐量下降，語音質量惡化失真，極端狀況下甚至導致鏈路斷開而不能正常工作。因此，必須尋求有效的措施和方法，實現兩種技術在近距離的和諧共存，這已成為非常迫切的技術需要，也成為人們研究的一個熱點和難點。近距離WiFi和藍牙互相1擾的問題，目前已經形成了非常多的有效解決機制，包括基于Wi-Fi的PTA（Packet Traffic Arbitration）、AWMA（Alternating Wireless Medium Access）和DSE（Deterministic Spectral Excision），其中PTA和AWMA機制在Wi-Fi側MAC層實現，通過協調Wi-Fi和藍牙的幀發射時間來避免相互干擾：而DSE是在Wi-Fi側物理層PHY實現，通過一個可編程帶阻濾波器（Notch Filter）來阻止來白藍牙的窄帶干擾。還有基于藍牙側的AFH（Adaptive Frequency Hopping），它通過跳頻，自動避開被干擾的頻點，從而大大提高了藍牙傳輸性能。
上傳時間： 2022-06-20
上傳用戶：zhanglei193
