检索结果-内蒙古大学图书馆

IEEE International Symposium on IT in Medicine and Education

作者： Wang, Jinling Duan, Huichuan Shandong Normal Univ Sch Informat Sci & Engn Jinan 250014 Peoples R China

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-based programming, 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 model based, 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.

关键词： model based programming programming paradigm programming learning dynamic system Simulink

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of a Floating point matrix Inversion Module using model based programming 16

Design and Implementation of a Floating point matrix Inversi...

引用

16th IEEE-India-Council International Conference (INDICON)

作者： Chetan, S. Lekshmi, V Sudhakar, S. Manikandan, J. PES Univ Crucible Res & Innovat CORI 100 Feet Ring RdBSK Stage 3 Bangalore 560085 Karnataka India PES Univ Dept ECE & CORI 100 Feet Ring RdBSK Stage 3 Bangalore 560085 Karnataka India ISRO Satellite Ctr ISAC Control Syst Grp Old Airport Rd Bangalore Karnataka India

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 model based 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.

关键词： FPGA Floating point Matrix Inversion Matrix Operation model based programming Gauss Jordan

来源：评论

学校读者我要写书评

暂无评论

Design and Evaluation of BPSK Demodulator using model based programming 16

Design and Evaluation of BPSK Demodulator using Model based ...

引用

16th IEEE-India-Council International Conference (INDICON)

作者： Sourabh, K. S. Deepika, R. Lekshmi, V Sudhakar, S. Manikandan, J. PES Univ Crucible Res & Innovat CORI 100 Feet Ring RdBSK Stage 3 Bangalore 560085 Karnataka India PES Univ Dept ECE & CORI 100 Feet Ring RdBSK Stage 3 Bangalore 560085 Karnataka India Bangalore Inst Technol Dept ECE KR Rd Bangalore Karnataka India ISRO Satellite Ctr ISAC Control Syst Grp Old Airport Rd Bangalore Karnataka India

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.

关键词： FPGA BPSK Demodulator Telemetry Data Satellite model based programming

来源：评论

学校读者我要写书评

暂无评论

Learning Dynamic System Oriented model based programming

Learning Dynamic System Oriented Model Based Programming

引用

2009 IEEE International Symposium on IT in Medicine & Education( IEEE 教育与医药信息化国际会议)

作者： Jinling Wang Huichuan Duan School of Information Science and Engineering Shandong Normal University Jinan 250014China School of Information Science and Engineering Shandong Normal University Jinan 250014 China

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 textbased programming, 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 model based, 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.

关键词： model based programming programming paradigm programming learning dynamic system Simulink

来源：评论

学校读者我要写书评

暂无评论

Research on Situation Dependent Services Using model-based programming

Research on Situation Dependent Services Using Model-Based P...

引用

1st WRI Global Congress on Intelligent Systems (GCIS 2009)

作者： Zeng, Wei Huazhong Univ Sci & Technol Inst Syst Engn Wuhan 430074 Peoples R China

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. model based 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.

关键词： situation dependent service Golog situation calculus model based programming

来源：评论

学校读者我要写书评

暂无评论

MeLa: A programming Language for a New Multidisciplinary Oceanographic Float

引用

SENSORS 2020年第21期20卷 6081页

作者： Bonnieux, Sebastien Cazau, Dorian Mosser, Sebastien Blay-Fornarino, Mireille Hello, Yann Nolet, Guust Univ Cote dAzur Observ Cote dAzur IRD CNRS F-06560 Valbonne France Univ Cote dAzur I3S CNRS F-06900 Valbonne France ENSTA Bretagne Lab STICC CNRS UMR 6285 F-29238 Brest France Univ Quebec Montreal Dept Informat Montreal PQ H3C 3P8 Canada Princeton Univ Dept Geosci Princeton NJ 08544 USA

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.

关键词： acoustic monitoring oceanography model Driven Engineering model based programming Domain Specific Language embedded system embedded software Digital Signal Processing

来源：评论

学校读者我要写书评

暂无评论

An Integrated Formal model for Context-Aware Systems

An Integrated Formal Model for Context-Aware Systems

引用

IEEE 37th Annual Computer Software and Applications Conference (COMPSAC)

作者： Cho, Eun-Sun Yoon, Tae-Seob Choi, Joong-Hyun Paik, Joon-Young Helal, Sumi Chungnam Natl Univ Dept Comp Sci & Engn Taejon South Korea Univ Florida Comp & Informat Sci & Engn Dpet Gainesville FL 32611 USA

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.

关键词： context-aware systems programming languages model based programming conflict analysis formal semantics

来源：评论

学校读者我要写书评

暂无评论

Design and Evaluation of Large Sized Floating Point Matrix Inversion Modules for Onboard Computer 5

Design and Evaluation of Large Sized Floating Point Matrix I...

引用

5th IEEE International Conference on Aerospace Electronics and Remote Sensing Technology (ICARES)

作者： Chetan, S. Manikandan, J. Lekshmi, V Sudhakar, S. PES Univ Crucible Res & Innovat CORI Bangalore Karnataka India ISRO UR Rao Satellite Ctr Control Syst Grp Bangalore Karnataka India

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 model based 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.

关键词： Aerospace FPGA High level synthesis Matrix Inverse model based programming Onboard Computer

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of a novel QPSK demodulator for FPGA based system design 5

Design and Implementation of a novel QPSK demodulator for FP...

引用

5th IEEE International Women in Engineering (WIE) Conference on Electrical and Computer Engineering (IEEE WIECON-ECE)

作者： Deepika, R. Sourabh, K. S. Manikandan, J. Bangalore Inst Technol Dept ECE KR Rd Bangalore Karnataka India Crucible Res & Innovat CORI 100 Feet Ring RdBSK Stage 3 Bangalore 560085 Karnataka India PES Univ Dept ECE 100 Feet Ring RdBSK Stage 3 Bangalore 560085 Karnataka India PES Univ CORI 100 Feet Ring RdBSK Stage 3 Bangalore 560085 Karnataka India

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 model based design.

关键词： FPGA QPSK Comparators model based programming Modulation Demodulation

来源：评论

学校读者我要写书评

暂无评论

A Lingustic Approach for Robustness in Context Aware Applications

A Lingustic Approach for Robustness in Context Aware Applica...

引用

IEEE 9th International Conference on Ubiquitous Intelligence and Computing (UIC) / IEEE 9th International Conference on Autonomic and Trusted Computing (ATC)

作者： Min, Young-Mok Paik, Joon-Young Cho, Eun-Sun KSEEK Co Ltd Taejon South Korea Chungnam Natl Univ Dept Comp Sci & Engn Daejeon South Korea

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.

关键词： context-aware systems programming languages model based programming conflict analysis formal semantics

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：