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.
The paper presents two novel conceptual metrics for measuring coupling and cohesion in software systems. Our first metric, Conceptual Coupling between Object classes (CCBO), is based on the well-known CBO coupling met...
详细信息
ISBN:
(纸本)9780769541785
The paper presents two novel conceptual metrics for measuring coupling and cohesion in software systems. Our first metric, Conceptual Coupling between Object classes (CCBO), is based on the well-known CBO coupling metric, while the other metric, Conceptual Lack of Cohesion on Methods (CLCOM5), is based on the LCOM5 cohesion metric. One advantage of the proposed conceptual metrics is that they can be computed in a simpler (and in many cases, programming language independent) way as compared to some of the structural metrics. We empirically studied CCBO and CLCOM5 for predicting fault-proneness of classes in a large open-source system and compared these metrics with a host of existing structural and conceptual metrics for the same task. As the result, we found that the proposed conceptual metrics, when used in conjunction, can predict bugs nearly as precisely as the 58 structural metrics available in the Columbus source code quality framework and can be effectively combined with these metrics to improve bug prediction.
To sustain advanced interdisciplinary teaching and learning in the rapidly growing and diversifying field of robotics, we have successfully employed FPGA based System on Chip (SoC) technology to provide abstraction be...
详细信息
ISBN:
(纸本)9781424466757
To sustain advanced interdisciplinary teaching and learning in the rapidly growing and diversifying field of robotics, we have successfully employed FPGA based System on Chip (SoC) technology to provide abstraction between high level software and low level I/O- and control hardware. Our approach is to provides students with a simple FPGA based framework for hardware access, and hardware I/O development, which is independent of computer platform and programming language, and enable the students to add to, or change I/O hardware in accordance with their skills. We have tested the framework in an embedded systems course and various student projects, and have found that it greatly enhance the students abilities to control hardware from software, and dramatically reduce the time spent on software <-> hardware interfacing. As the framework is also scalable, it can support projects from controlling a single LED, to complex modular and aggregated robots with demands for high bandwidths and low jitter in the control loop.
In this article we present a new approach to teaching computer science - the evaluation and visual modeling of algorithms based on metaphorical forms - applied within the core of a virtual education system, the develo...
详细信息
ISBN:
(纸本)9783642166068
In this article we present a new approach to teaching computer science - the evaluation and visual modeling of algorithms based on metaphorical forms - applied within the core of a virtual education system, the development module for computer-based lessons (LDS). We reveal the structure and characteristics of the teaching process that we implemented in the proposed system, students and their roles, applied teaching methods, solutions for evaluation and a case study on a lesson model. We presented the state of the art in this domain highlighting the advantages of the described solution set, and also possible extensions.
I am creating a new programming language and editor that is aimed towards authoring interactive behaviors. This language is intended to allow more interaction designers to write their own interactive applications. Thi...
详细信息
An Algorithm to caculate the diameter of triple-loop networks TL(N;1,s,s+2) is presented. C# serving as programming language and SQL Server 2000 serving as database are used to execute the algrithm. The diameter of su...
详细信息
University of Minnesota M.S. thesis. May ***: Computer Science. Advisor: Gopalan Nadathur. 1 computerfile(PDF); iv, 74 pages.%%%%Dependently typed -calculi such as the EdinburghLogical Framework (LF) can encode relati...
详细信息
University of Minnesota M.S. thesis. May ***: Computer Science. Advisor: Gopalan Nadathur. 1 computerfile(PDF); iv, 74 pages.%%%%Dependently typed -calculi such as the EdinburghLogical Framework (LF) can encode relationships between terms intypes and can naturally capture correspondences between formulasand their proofs. Such calculi can also be given a logicprogramming interpretation: the Twelf system is based on such aninterpretation of LF. We consider here whether a conventional logicprogramming language can also provide the benefits of a Twelf-likesystem for encoding type and term dependencies through dependenttyping, and whether it can do so in an efficient manner. Inparticular, we present a simple mapping from LF specifications to aset of formulas in the higher-order hereditary Harrop (hohh)language, that relates derivations and proof-search between the twoframeworks. We then show that this encoding can be improved byexploiting knowledge of the well-formedness of the original LFspecifications to elide much redundant type-checking *** resulting logic program has a structure that closely followsthe original specification, thereby allowing LF specifications tobe viewed as meta-programs that generate hohh programs. We provethat this mapping is correct, and, using the Teyjus implementationof Prolog, we show that our translation provides an efficient meansfor executing LF specications, complementing the ability the Twelfsystem provides for reasoning about them. In addition, thetranslation offers new avenues for reasoning about suchspecifications, via reasoning over the generated hohhprograms
Synthetic biology aims at producing novel biological systems to carry out some desired and well-defined functions. An ultimate dream is to design these systems at a high level of abstraction using engineering-based to...
详细信息
Synthetic biology aims at producing novel biological systems to carry out some desired and well-defined functions. An ultimate dream is to design these systems at a high level of abstraction using engineering-based tools and programming languages, press a button, and have the design translated to DNA sequences that can be synthesized and put to work in living cells. We introduce such a programming language, which allows logical interactions between potentially undetermined proteins and genes to be expressed in a modular manner. Programs can be translated by a compiler into sequences of standard biological parts, a process that relies on logic programming and prototype databases that contain known biological parts and protein interactions. Programs can also be translated to reactions, allowing simulations to be carried out. While current limitations on available data prevent full use of the language in practical applications, the language can be used to develop formal models of synthetic systems, which are otherwise often presented by informal notations. The language can also serve as a concrete proposal on which future language designs can be discussed, and can help to guide the emerging standard of biological parts which so far has focused on biological, rather than logical, properties of parts.
Predictably, this is a direct result of the understanding of superblocks. The construction of the transistor would improbably amplify the emulation of the lookaside buffer. Unified pervasive technology has led to many...
详细信息
ISBN:
(纸本)9789881824219
Predictably, this is a direct result of the understanding of superblocks. The construction of the transistor would improbably amplify the emulation of the lookaside buffer. Unified pervasive technology has led to many private advances, including SCSI disks and the UNIVAC computer. Nevertheless, a typical quagmire in algorithms is the development of reinforcement learning. Many cyberneticists would agree that, had it not been for cache coherence, the exploration of Smalltalk might never have occurred. The investigation of the producer-consumer problem is proved. Using authenticated epistemologies, it is concluded and demonstrated that symmetric encryption can be made virtual, metamorphic, and authenticated.
暂无评论