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

Empirical Assessment of the Long-Term Impact of an Embedded Systems programming Requalification Programme

INFORMATION 2022年第1期13卷 16页

作者： Cunha, Joao Duraes, Joao Alves, Ana Coutinho, Fernanda Barreiros, Jorge Amaro, Jose Pedro Silva, Marco Santos, Frederico Coimbra Polytech ISEC Coimbra Inst Engn P-3030199 Coimbra Portugal

Digital transformation has increased the demand for skilled Information Technology (IT) professionals, to an extent that universities cannot satisfy it with newly graduated students. Furthermore, the economical downturn has created difficulties and scarcity of opportunities in other areas of activity. This combination of factors led to the need to consider requalification programmes that enable individuals with diverse specialisations and backgrounds to realign their careers to the IT area. This has led to the creation of many coding bootcamps, providing intensive full-time courses focused on unemployed people or unhappy with their jobs, and individuals seeking a career change. A multidisciplinary group of higher education teachers, in collaboration with several industry stakeholders, have designed and promoted an embedded systems programming course, using an intensive project-based learning approach comprising 6 months of daylong classes and a 9 months internship. Having finished two editions of the programme, a questionnaire was presented to the students that finished successfully, in order to evaluate the long-term benefits to graduates and companies. This paper presents a brief discussion of the programme organisation and pedagogical methodologies, as well as the results of the questionnaire, conducted following a Goal-Question-Metric (GQM) approach. The results demonstrate very positive outcomes, both for graduates and companies.

关键词： coding bootcamp professional requalification career change embedded systems real-time programming

来源：评论

学校读者我要写书评

暂无评论

Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages

引用

CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2013年第16期25卷 2227-2251页

作者： Lin, Shiyao Wellings, Andy Burns, Alan Univ York Dept Comp Sci York YO10 5DD N Yorkshire England

Lock-based resource sharing protocols for single processor systems are well understood and supported in programming languages such as Ada and the real-time Specification for Java, and in real-time Operating Systems, such as those that conform to the real-time POSIX standard. In contrast, multiprocessor resource sharing protocols are still in their infancy with no agreed best practices, and yet current real-time programming languages and operating systems claim to be suitable for multiprocessor applications. This paper reviews the currently available multiprocessor resource allocation policies and analyzes their applicability to the main industry standard real-time programming languages. It then proposes a framework that allows programmers to define and implement their own locking policy. A prototype implementation of the framework for Ada is presented and evaluated. Copyright (c) 2012 John Wiley & Sons, Ltd.

关键词： real-time programming lock-based synchronization multiprocessor

来源：评论

学校读者我要写书评

暂无评论

The Variety of Variables in Automated real-time Refinement

引用

Formal Aspects of Computing 2022年第2-3期15卷 258–279页

作者： Luke Wildman Colin Fidge David Carrington School of Information Technology and Electrical Engineering University of Queensland 4072 Queensland Australia

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

关键词： Computer-aided programming Program refinement theory real-time programming

来源：评论

学校读者我要写书评

暂无评论

Recent Advances in Array Antenna and Array Signal Processing for Radar

引用

INTERNATIONAL JOURNAL OF ANTENNAS AND PROPAGATION 2018年第6-7期2018卷 1-2页

作者： Giusti, Elisa Samczynski, Piotr Jarabo-Amores, Maria-Pilar Capria, Amerigo CNIT RaSS Natl Interuniv Consortium Telecommun Radar & Surveillance Syst Natl Lab Galleria Gerace 18 I-56124 Pisa Italy Warsaw Univ Technol Inst Elect Syst Nowowiejska 15-19 PL-00665 Warsaw Poland Univ Alcala Polytech Sch Signal Theory & Commun Dept Campus Univ S-N Madrid 28805 Spain

[...]the recent technological advances have made the realization of array systems (ground/air/space borne) and real-time processing possible. The algorithm makes use of the worst-case performance optimization (WCPO) for avoiding target self-nulling effect. [...]in the proposed approach, a modified objective function (with respect to D3 approach) is used to enhance the output signal to interference plus noise ratio (SINR) even in low SNR conditions. An analysis on pointing errors with respect to the number of array elements has shown that a MLC antenna with 2 or 3 elements provides significant improvement in the sea clutter echo DoA estimation. [...]the examination of the interelement spacing against performance shows that a spacing greater than the theoretical limits of half a wavelength is allowed.

关键词： Direction of arrival estimation (Signal processing) MIMO radar Passive radar real-time programming Software validation

来源：评论

学校读者我要写书评

暂无评论

real-time Image Content Assessment for Underwater Robot Manoeuvring Based on Structural Tensor Analysis 10th

Real-Time Image Content Assessment for Underwater Robot Mano...

引用

10th International Conference on Computer Recognition Systems (CORES)

作者： Nawala, Jakub Cyganek, Boguslaw AGH Univ Sci & Technol Al Mickiewicza 30 PL-30059 Krakow Poland

ISBN: (纸本)9783319591629

The paper presents an efficient method for real-time image analysis for manoeuvring of the underwater robot. Image analysis is done after computing the structural tensor components which unveil rich texture and texture-less areas. To allow a power efficient underwater operation in real-time the method is implemented on the Jetson TK1 self-standing graphics card using the CUDA compute architecture. The laboratory experimental results show that the system is capable of processing about 40 Full HD images per second while allowing orientation toward texture specific regions for obstacle avoidance.

关键词： Robot manoeuvring Structural tensor Underwater operation CUDA real-time programming

来源：评论

学校读者我要写书评

暂无评论

A New Human Eye Tracking Method Based on Tracking Module Feedback TLD Algorithm 20

A New Human Eye Tracking Method Based on Tracking Module Fee...

引用

20th IEEE International Conference on High Performance Computing and Communications (HPCC) / 16th IEEE International Conference on Smart City (SmartCity) / 4th IEEE International Conference on Data Science and Systems (DSS)

作者： Zhang, Jingyu Wu, Yefu Huang, Haojun Hou, Guolin Wuhan Univ Technol Sch Comp Sci & Technol Wuhan 430063 Hubei Peoples R China Wuhan Univ Technol Hubei Key Lab Transportat Internet Things Wuhan 430063 Hubei Peoples R China China Univ Geosci Sch Comp Wuhan 430074 Hubei Peoples R China Sci & Technol Near Surface Detect Lab Wuxi 214035 Jiangsu Peoples R China

ISBN: (纸本)9781538666142

Existing human eye tracking research is based on the off-line sample training cascade classifier and the traditional tracking algorithm. However, it is difficult to adapt to situations where human eye is partially blocked, gets morphological changes or scale changes and so on. In order to solve these problems, the tracking-learning-detection algorithm for online single-target long-term tracking is used and improved. A novel eye tracking method-the human eye tracking-learning-detection algorithm with tracking feedback is proposed. The detection area is adjusted adaptively and narrowed by the tracking feedback. Above problems are solved, the interference of similar targets is avoided, and the speed of human eye tracking is enhanced. The experimental results show that the algorithm has high tracking accuracy and frames per second.

关键词： human eye tracking tracking-learning-detection fatigue detection real-time programming

来源：评论

学校读者我要写书评

暂无评论

Automation of a Creep-testing Machine for Research Activities 19

Automation of a Creep-testing Machine for Research Activitie...

引用

19th International Conference on Research and Education in Mechatronics (REM)

作者： Trajin, Baptiste Balcaen, Yannick Alexis, Joel Univ Toulouse Lab Genie Prod LGP INP ENIT Tarbes France

ISBN: (纸本)9781538654132

This paper deals with automation of a creep-testing machine mainly dedicated to research activities. The requirements linked to the machine were established by the material science researchers. These requirements were then addressed to mechatronic researchers and teachers. In order to enhance the link between research activities and training in the engineering school linked to the research laboratory, students projects of Master degree driven by researchers were proposed. These projects were totally multi-disciplinary, mobilizing knowledge acquired by students during their cursus in the school. Several items were developed by students: automation, mechanics, power electronics and real-time programming.

关键词： Creep-testing machine Programmable Logic Controller Power Electronics real-time programming

来源：评论

学校读者我要写书评

暂无评论

ON/OFF Traffic Shaping in the Internet: Motivation, Challenges, and Solutions

引用

IEEE NETWORK 2017年第2期31卷 48-57页

作者： Zhao, Yongxiang Zhang, Baoxian Li, Cheng Chen, Changjia Beijing Jiaotong Univ Beijing Peoples R China Univ Chinese Acad Sci Res Ctr Ubiquitous Sensor Networks Beijing Peoples R China Mem Univ Newfoundland St John NF A1C 5S7 Canada

Tremendous traffic on the Internet exhibits ON/OFF patterns. In the past, the generation of such ON/OFF traffic was mainly attributed to TCP and application characteristics. Nowadays, however, much traffic is often intentionally shaped into an ON/OFF pattern for achieving certain optimized system performance or resulting from characteristics of some new applications. In this article, we present a comprehensive survey on the ON/OFF traffic shaping in the current Internet. We first introduce the motivations behind ON/OFF traffic shaping in different fields based on different system optimization objectives and application characteristics. We then introduce the impacts of ON/OFF traffic on packet drop probability, real-time applications, and also its interaction with TCP's congestion control mechanism. We further present a survey on existing mechanisms for mitigating these impacts in various aspects. We introduce how each of these mechanisms works, and discuss their merits and deficiencies. Finally, we conclude this article with some future directions for ON/OFF traffic shaping in the Internet.

关键词： INTERNET traffic real-time programming TRAFFIC congestion MOTIVATION (Psychology) NETWORK performance (Telecommunication) STREAMING technology (Telecommunications)

来源：评论

学校读者我要写书评

暂无评论

Assessing real-time sun protection decisions using audio diaries: feasibility and outcomes

引用

PSYCHO-ONCOLOGY 2017年第3期26卷 408-411页

作者： Fitzpatrick, Laura Pulinat, Joshua Shuk, Elyse Holland, Susan Burkhalter, Jack Hay, Jennifer L. Mem Sloan Kettering Canc Ctr 1275 York Ave New York NY 10021 USA

The article discusses a study that examined the feasibility and outcomes of audio diaries assessed within the interactive voice response system (IVRS). Topics discussed include high audio adherence, the emotional responses expressed, real-time audio diaries, and the need for future sun protection research to explore interactions between static decision factors and real-time decision factors that audio diaries can capture.

关键词： real-time programming EMOTIONAL conditioning INTERACTIVE voice response (Telecommunication) SUN DIARY (Literary form)

来源：评论

学校读者我要写书评

暂无评论

A Comparative Study of Reliability-Ignorant and Reliability-Aware Energy Management Schemes Using UPPAAL-SMC

引用

SCIENTIFIC programming 2017年第1期2017卷 1-12页

作者： Dai Shengxin Hong Mei Guo Bing Sichuan Univ Coll Comp Sci Chengdu 610065 Sichuan Peoples R China

Energy saving and high reliability are two key concerns in the design of real time systems. However, high reliability and low energy consumption are conflicting objects, and they are generally contrasted with temporal correctness. In this paper, we propose comparing reliability-ignorant and reliability-aware power management schemes with statistical model checking approach using UPPAAL-SMC. The power management schemes and the relevant components are modeled in the form of stochastic timed automata. And the analysis objectives are expressed as verification queries. With the model and queries as inputs, UPPAAL-SMC returns the probability of system failure and the expected value of energy consumption. In this analysis, we have considered three reliability-ignorant power management schemes and two reliability-aware power management schemes. Based on the comparative study, we provided guidelines for choosing the suitable scheme for a given system. One thing that should be emphasized is that our methodology is not limited to the schemes involved in this paper. The modeling and evaluating procedure can be applied to analyse other energy management schemes in practical application.

关键词： real-time computing real-time programming real-time control ENERGY conservation SYSTEM failures (Engineering) PROBABILISTIC automata

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：