Software development in robotics is a complex task due to the existing heterogeneity in terms of hardware, communications, and programming languages that are used in current robotic systems. In this work a general env...
详细信息
ISBN:
(纸本)9781424468508
Software development in robotics is a complex task due to the existing heterogeneity in terms of hardware, communications, and programming languages that are used in current robotic systems. In this work a general environment for the interaction between the human operator and different elements in a robotized cell is presented, such that all the involved elements can be easily managed from a unique interface. The aim of the developments is to provide a common frame that can be ported to different operating systems and can be easily extended or adapted to new devices.
Uneven growth rates of data links will inevitably leads to a "narrow" places in the info-communications network and thus to congestion, especially when connecting network access layer to the transport networ...
详细信息
ISBN:
(纸本)9783319237664;9783319237657
Uneven growth rates of data links will inevitably leads to a "narrow" places in the info-communications network and thus to congestion, especially when connecting network access layer to the transport network. Traditional protocols queue management and congestion can't cope with the traffic management of high density and non-linear load, which can lead to congestion that causes a decrease in the effective data rate and degrades quality parameters, such as the percentage of packet loss, delay, and delay variation. Most often in data networks is using a passive mechanism of droping the packets when the queue is become full. When sending TCP traffic, this mechanism leads to the appearance the phenomenon of global synchronization. In order to early prevention of queue overflow, have been developed mechanisms for early detection congestion. This article describes the principles of building a simulation model for active queue management algorithms. The algorithms and program listings performing discrete-event simulation. These algorithms are used to perform simulation using high-level languages. Increasing complexity of modern telecommunication technologies creates a problem in the application of analytical techniques to evaluate the performance of designed systems and networks, and causes extensive use of simulation. In this paper in order to control congestion the nodes packet-switched networks using active queue management algorithms. The relevant service system, which simulates the work of a network node, each incoming packet can be dropped with a certain probability, even if the buffer is not yet fully filled. Probability of dropping depends on the length of the queue at the time of income the package. The paper presents the principles of simulation of discrete-event simulation algorithms of active queue management. The algorithms which perform simulation algorithms for highlevel languages are considered.
There has been a recent proliferation of high quality anthropoid robots. Unfortunately, the control systems of these machines share very little in terms of computer software, hardware, or system data. In this paper, t...
详细信息
ISBN:
(纸本)9789806560468
There has been a recent proliferation of high quality anthropoid robots. Unfortunately, the control systems of these machines share very little in terms of computer software, hardware, or system data. In this paper, the author takes the position that horizontal (inter-institution) integration of anthropoid control systems is essential to efficient production of future advanced robots. He reviews several existing designs, then discusses techniques for achieving systems convergence. He proposes the creation of a generally accepted, high quality, reusable anthropoid robot control platform, with organizational support to promulgate it.
Quipper is the most recently developed quantum programming language. In this work, we provide brief background information about Quipper and use its framework to demonstrate the implementation of five non-trivial reve...
详细信息
ISBN:
(纸本)9781509041718
Quipper is the most recently developed quantum programming language. In this work, we provide brief background information about Quipper and use its framework to demonstrate the implementation of five non-trivial reversible gates. Each gate works as a full adder gate. We will use a Quipper simulator to run a simulation for each gate on a classical computer.
The subject of "Fundamentals of programming" is the one that has the highest index of failure within the block of subjects of the first semester in several engineering careers at the Technological Institute ...
详细信息
ISBN:
(纸本)9781538659359
The subject of "Fundamentals of programming" is the one that has the highest index of failure within the block of subjects of the first semester in several engineering careers at the Technological Institute of Morelia, Mexico, what causes a high percentage in the abandonment of studies. In this paper, a computer tool that students can use to practice what is learned in the classroom wherever they are, at their own pace, individually or in a team, is presented. This software, which was carried out using Blended Learning, led to an improvement in the learning of programming. The results show an increase in the levels of motivation and in the students' learning (with an increase in their final grade), and a reduction in the dropout rate.
Many specification and programming languages have adopted term rewriting and pattern matching as a key feature. However, implementation techniques and observed performance greatly vary across languages and tools. To p...
详细信息
ISBN:
(数字)9783319998404
ISBN:
(纸本)9783319998404;9783319998398
Many specification and programming languages have adopted term rewriting and pattern matching as a key feature. However, implementation techniques and observed performance greatly vary across languages and tools. To provide for an objective comparison, we developed an open, experimental platform based upon the ideas of the three Rewrite Engines Competitions (2006, 2008, and 2010), which we significantly enhanced, extended, and automated. We used this platform to benchmark interpreters and compilers for a number of algebraic, functional, and object-oriented languages, and we report about the results obtained for CafeOBJ, Clean, Haskell, LNT, LOTOS, Maude, mCRL2, OCaml, Opal, Rascal, Scala, SML (MLton and SML-NJ), Stratego/XT, and Tom.
Solidity, like other programming languages, is evolving with many new features being introduced and deprecated features being removed. However, not every feature benefits developers and sometimes it may do more harm t...
详细信息
ISBN:
(纸本)9781665478366
Solidity, like other programming languages, is evolving with many new features being introduced and deprecated features being removed. However, not every feature benefits developers and sometimes it may do more harm than good. In the hope of knowing the actual use of language features and helping improving them, we summarize 41 common features, discuss their pros and cons, and conduct an empirical study. We design an extensible feature analysis tool to analyze their distribution in 172,645 real-world smart contracts. We further analyze the reason why some features are popular. We invite readers for a case study to understand the usage patterns and how seemingly benign features produce subtle bugs. It turns out that some features like high-level function invocations, visibility, events, and assertions are popular while developers cares little about some other features like function modifier overloading. After summarizing our findings, we give suggestions to different people in Solidity community.
Our work is developed in the context of spatiotemporal data modeling and more particularly of urban data modeling. Our goal is to propose a methodology describing the overall process of urban data modeling from the de...
详细信息
ISBN:
(纸本)9783642245732
Our work is developed in the context of spatiotemporal data modeling and more particularly of urban data modeling. Our goal is to propose a methodology describing the overall process of urban data modeling from the design phase to the implementation in an information system. For that, we propose, within a GIS, an approach based on a conceptual model specific to spatiotemporal data modeling MADS, and on an ODBMS for storing and manipulating data. MADS uses spatial and temporal types that are more precise than those of programming languages on which are based ODBMS. MADS is semantically richer than the object model, and the purpose of this paper is to present the transformation rules of this conceptual model into an object model that keeps (as close as possible) its semantics.
Memory leak detection for C programs is a significant while difficult research field. Based on executable formal semantics of C programming language, a new method is proposed in this paper for memory leak detection. B...
详细信息
ISBN:
(纸本)9781467376822
Memory leak detection for C programs is a significant while difficult research field. Based on executable formal semantics of C programming language, a new method is proposed in this paper for memory leak detection. By extending and modifying state Configuration and rules of memory manipulation and pointer manipulation in semantics, this method can employ the powerful expression and executive capacity of rewriting logic to describe both behaviors of memory operation such as malloc, free, pointer and unit of scope, and memory leak pattern of C programs in executable semantics. Because the modified state Configuration and rules are executable, the memory leak flaws can be matched and detected automatically by execution. Three typical memory leak flaws, namely unreleased allocated-memory, pointer reassigning and inconsistency between allocated space and released space, are tested with some code segments containing them to verify the method. The results and testing time show that the semantics-based method can detect memory leak flaws in C programs effectively.
暂无评论