As Dynamic System Oriented model based programming (DSO-MBP) platforms, such as Simulink, becomes more and more popular, more and more students desire to learn such kind of programming. However, college students in co...
详细信息
ISBN:
(纸本)9781424439294
As Dynamic System Oriented model based programming (DSO-MBP) platforms, such as Simulink, becomes more and more popular, more and more students desire to learn such kind of programming. However, college students in computer science or related disciplines cultivated with traditional text-basedprogramming, such as structured, procedural and OOP, find it frustrating to learn DSO-MBP. Our experience exhibited that it is the distinct programming paradigm of DSO-MBP that causes the trouble. This paper. reports our understanding on elements of DSO-MBP paradigm, including modelbased, block supported, GUI interfaced, Subsystem organized, time-variant signal driven, new parameter passing, call-back functioning, and more accessible look and feel. We point out their differences and similarities with respect to traditional programming paradigm elements. We hope our contribution can help newcomers easily switch from traditional programming paradigms to the DSO-MBP paradigm and learn DSO-MBP effectively.
Inverse of a matrix is considered as a computationally expensive matrix operation and design of floating point matrix inversion module for large matrices is still a research topic. In this paper, design and implementa...
详细信息
ISBN:
(数字)9781728123271
ISBN:
(纸本)9781728123271
Inverse of a matrix is considered as a computationally expensive matrix operation and design of floating point matrix inversion module for large matrices is still a research topic. In this paper, design and implementation of a floating-point matrix inversion module using modelbased design and novel architecture for FPGAs is proposed. The proposed module is designed to compute inverse up to a matrix size of 25x25 matrix and details about the scaling of proposed work for larger matrix sizes is also reported in the paper. The performance of proposed matrix inversion module is evaluated by its hardware implementation on a Zynq 7000 FPGA based ZED board and the results are reported.
Binary Phase Shift Keying (BPSK) is the simplest and most commonly used digital transmission technique for satellite telemetry link. Design and evaluation of FPGA based BPSK demodulator using model based programming f...
详细信息
ISBN:
(数字)9781728123271
ISBN:
(纸本)9781728123271
Binary Phase Shift Keying (BPSK) is the simplest and most commonly used digital transmission technique for satellite telemetry link. Design and evaluation of FPGA based BPSK demodulator using model based programming for satellite telemetry link is proposed is this paper. The system is designed using three approaches: Costas loop, square loop and comparator method. Two encoding schemes, NRZ-L and NRZ-S have been employed for the design. The performance of proposed design is evaluated by hardware implementation of the models on a Zynq 7000 FPGA based ZED board and the results are reported for various combinations of data rates and carrier frequencies.
As Dynamic System Oriented model based programming (DSO-MBP) platforms, such as Simulink, becomes more and more popular, more and more students desire to learn such kind of programming. However, college students in co...
详细信息
As Dynamic System Oriented model based programming (DSO-MBP) platforms, such as Simulink, becomes more and more popular, more and more students desire to learn such kind of programming. However, college students in computer science or related disciplines cultivated with traditional textbasedprogramming, such as structured, procedural and OOP, find it frustrating to learn DSO-MBP. Our experience exhibited that it is the distinct programming paradigm of DSO-MBP that causes the trouble. This paper reports our understanding on elements of DSO-MBP paradigm, including modelbased, block supported, GUI interfaced, Subsystem organized, time-variant signal driven, new parameter passing, call-back functioning, and more accessible look and feel. We point out their differences and similarities with respect to traditional programming paradigm elements. We hope our contribution can help newcomers easily switch from traditional programming paradigms to the DSO-MBP paradigm and learn DSO-MBP effectively.
In the paper a mobile services-related concept, situation dependent mobile services (SDS), is focused on. After introducing SDS and related researches, a SDS platform based on situation calculus and high level logic l...
详细信息
ISBN:
(纸本)9780769535715
In the paper a mobile services-related concept, situation dependent mobile services (SDS), is focused on. After introducing SDS and related researches, a SDS platform based on situation calculus and high level logic language Golog is proposed, which allows various mobile services to be easily embedded in. modelbased programs that capture procedural knowledge of SDS are realized by exploiting logic programming language Golog. The advantage of seamless integration of programming and planning is taken to generate personalized situation dependent services. An illustration of SDS prototype system is given in the paper. Finally, several research directions are proposed.
At 2000 m depth in the oceans, one can hear biological, seismological, meteorological, and anthropogenic activity. Acoustic monitoring of the oceans at a global scale and over long periods of time could bring importan...
详细信息
At 2000 m depth in the oceans, one can hear biological, seismological, meteorological, and anthropogenic activity. Acoustic monitoring of the oceans at a global scale and over long periods of time could bring important information for various sciences. The Argo project monitors the physical properties of the oceans with autonomous floats, some of which are also equipped with a hydrophone. These have a limited transmission bandwidth requiring acoustic data to be processed on board. However, developing signal processing algorithms for these instruments requires one to be an expert in embedded software. To reduce the need of such expertise, we have developed a programming language, called MeLa. The language hides several aspects of embedded software with specialized programming concepts. It uses models to compute energy consumption, processor usage, and data transmission costs early during the development of applications;this helps to choose a strategy of data processing that has a minimum impact on performances. Simulations on a computer allow for verifying the performance of the algorithms before their deployment on the instrument. We have implemented a seismic P wave detection and a blue whales D call detection algorithm with the MeLa language to show its capabilities. These are the first efforts toward multidisciplinary monitoring of the oceans, which can extend beyond acoustic applications.
Context-aware applications should consider the devices and networks engaged in the systems, as well as the complex control and data structures in the applications. This makes it not so straightforward to understand ap...
详细信息
ISBN:
(纸本)9780769549873
Context-aware applications should consider the devices and networks engaged in the systems, as well as the complex control and data structures in the applications. This makes it not so straightforward to understand applications and to achieve the quality of applications, without well-defined formal model adequate to the intended goals. In this paper, we propose a formal model for context aware system, which provides device behaviors with temporal features, enriched with commonly used categorization of context. Thus this model enables integrated management of the interconnected devices with context information for a context-aware system, so as to be employed for the critical purposes like safety enhancement.
Modern satellites and aircrafts employ several algorithms to cater for various requirements onboard including control system, image processing, target recognition, image compression, wireless communication and many mo...
详细信息
ISBN:
(纸本)9781665401791
Modern satellites and aircrafts employ several algorithms to cater for various requirements onboard including control system, image processing, target recognition, image compression, wireless communication and many more. All these algorithms employ matrix algebra including matrix inversion of a large scale floating point matrix. FPGAs are being employed in almost all onboard computers and systems of aircrafts and satellites. This has spearheaded research in the field of hardware implementation and evaluation of large scale floating point matrix inversion methods. In this paper, FPGA implementation of eight floating-point matrix inversion algorithms for an onboard computer is proposed using a novel combination of modelbased design with high level language programming for FPGA based designs. The proposed designs were evaluated for matrix size of 120x120 and can be easily scaled to larger matrix sizes.
Quadrature Phase Shift Keying (QPSK) is used in various applications such as GSM, LTE, WLAN, mobile WIMAX, CDMA, Cable TV and satellite communication. Design and implementation of QPSK modulator and demodulator for FP...
详细信息
ISBN:
(数字)9781728144993
ISBN:
(纸本)9781728144993
Quadrature Phase Shift Keying (QPSK) is used in various applications such as GSM, LTE, WLAN, mobile WIMAX, CDMA, Cable TV and satellite communication. Design and implementation of QPSK modulator and demodulator for FPGA based systems is proposed in this work. A novel comparator based method is employed for QPSK demodulation and the hardware implementation of the modules on a Zyng 7000 FPGA based ZED board is carried out using the concepts of modelbased design.
Context-aware applications are vulnerable to errors due to the devices and networks engaged in the systems, as well as the complex control and data structures in the applications. Although usually fault tolerant techn...
详细信息
ISBN:
(纸本)9780769548432;9781467330848
Context-aware applications are vulnerable to errors due to the devices and networks engaged in the systems, as well as the complex control and data structures in the applications. Although usually fault tolerant technologies and software verifications are widely used to prevent and remedy errors, we notice that programming languages used in developing context-aware applications also play important roles in generating less error-prone programs. In this paper we introduce our recent efforts devoted to devising a programming language supporting safety related features and formal semantics for context aware applications.
暂无评论