Multimodal learning analytics have become increasingly important in enabling a deeper understanding of teaching and learning in educational research. However, in comparison to other multimodal learning data, there is ...
详细信息
In the present work, we outline a reverse engineering approach for UML specifications in form of class diagrams from Java bytecode. After a brief introduction to the subject we present some analyses which go beyond me...
详细信息
ISBN:
(纸本)1581138334
In the present work, we outline a reverse engineering approach for UML specifications in form of class diagrams from Java bytecode. After a brief introduction to the subject we present some analyses which go beyond mere enumeration of methods and fields. A glance onto some related work shows that there seems to be no pat solution for the reverse engineering of the more difficult class diagram elements. We sketch our method of determining association multiplicities, being, in a sense, representative of our approach in general: "intuitive" analyses, producing results that can be understood by a programmer when inspecting the source code of a given class. Finally, we introduce a tool that implements this work and we apply it onto a small real life example, discussing the results it gave.
Runtime verification is a special form of runtime testing, employing formal methods and languages. In this work, we utilize next-time free linear-time temporal logic (LTL\X) as formal framework. The discipline serves ...
详细信息
ISBN:
(纸本)1581138334
Runtime verification is a special form of runtime testing, employing formal methods and languages. In this work, we utilize next-time free linear-time temporal logic (LTL\X) as formal framework. The discipline serves the purpose of asserting certain design-time assumptions about object-oriented (OO) entities such as objects, methods, and so forth. In this paper we propose a linear-time logic over join-points [4], and introduce a lightweight runtime verification tool based on this logic, J2SE 5 metadata [3] and an AspectJ-based [2] runtime backend. Implementations have been proposed so far for imperative and functional languages [5]. To our knowledge our approach is the first to allow addressing of entire sets of states, also over subclass boundaries, thus exploiting the OO nature.
The most critical task of a social network is to identify a central node. Numerous methods for determining centrality are documented in the literature. It contributes to online commerce by disseminating news, advertis...
详细信息
The widespread integration of robotic technology across diverse sector’s necessitates solutions that embody both adaptability and speed. However, existing systems often exhibit a trade-off between these attributes, l...
详细信息
ISBN:
(数字)9798350387803
ISBN:
(纸本)9798350387810
The widespread integration of robotic technology across diverse sector’s necessitates solutions that embody both adaptability and speed. However, existing systems often exhibit a trade-off between these attributes, lacking swift adaptability. This paper introduces a novel self-reconfiguration system that addresses this challenge. Employing a scissor mechanism for rapid adjustment and an intelligent binocular vision driven by computer vision and reinforcement learning algorithms, the proposed system facilitates swift reconfiguration while effectively managing workload. Real-time perception and understanding of the surroundings enable the robot to promptly identify optimal dimensions and adjust its configuration accordingly. This capability empowers the robot to rapidly respond to new tasks without manual intervention, thereby augmenting its versatility and agility. Experimental validation demonstrates the system’s adeptness in navigating passages of varying widths in under a second, underscoring the efficacy of our approach in training the robot to adeptly adapt to diverse environmental conditions.
作者:
徐静波徐望人College of Electronic & Electrical Engineering
Shanghai University of Engineering Science Shanghai 200336 College of Information science and technology
Donghua University Shanghai 200051he totally coded method (TCM) reveals the same objective law which governs the gain calculating for signal flow graph as Mason formula does. This algorithm is carried out merely in the domain of code operation. Based on pure code algorithm it is more efficient because figure searching is no longer necessary. The code-series (CS) which are organized from node association table have the holoinformation nature so that both the content and the sign of each gain-term can be determined via the coded method. The principle of this method is obvious and it is suited for computer programming. The capability of the computeraided analysis for Switched Capacitor (SCN) can be enhanced.
The totally coded method (TCM) reveals the same objective law, which governs the gain calculating for signal flow graph as Mason formula does. This algorithm is carried out merely in the domain of code operation. Base...
详细信息
The totally coded method (TCM) reveals the same objective law, which governs the gain calculating for signal flow graph as Mason formula does. This algorithm is carried out merely in the domain of code operation. Based on pure code algorithm, it is more efficient because figure searching is no longer necessary. The code-series ( CS ), which are organized from node association table, have the holoinformation nature, so that both the content and the sign of each gain-term can be determined via the coded *** principle of this method is obvious and it is suited for computerprogramming. The capability of the computeraided analysis for Switched Capacitor (SCN) can be enhanced.
作者:
HARTLEY, SFCalifornia State University
Hayward Corresponding Author: Shirley Foster Hartley is Professor and former Chair of the Department of Sociology California State University Hayward. Books published include: Population: Quantity vs. Quality (Prentice-Hall) and Illegitimacy (University of California Press). Articles published and research interests vary from micro-analyses of interpersonal attraction role conflicts among clergy wives and marital satisfaction to macro studies of the status of women in various societies and population growth and development. ∗An earlier draft was prepared in conjunction with William J. Beaver whose expertise in computer programming greatly facilitated this analysis. The report on our pilot study was presented at the American Association for the Advancement of Science Pacific Division San Francisco CA June 13 197
作者:
SINGH, RDProfessor of Economics
Illinois State University Normal Illinois 61761 USA. The author wishes to thank JULIA SYKES for her excellent help in data collection and analysis PYENG BARK for his work in computer programming and Professor M. MOREY for his thoughful comments and advice on the econometric models and the results. The computer work for this study was done at the Illinois State University Computer Center. The author is grateful to the Journal Editor(s) and the referee(s) for their constructive and valuable comments and suggestions. However the author alone is responsible for any remaining shortcoming.
作者:
MITTURA, AKARP, MSPEAndrew Mittura:is currently a senior program engineer with SYSCON Corp. He began his career in the Combat System Installation and Integration Office of NavSea in 1978. He has worked as a system engineer on the Seafire program at NSWCDD
on the NATO Anti-air Warfare Program while at FMC Corporation and for the past four years on the Aegis Combat System with SYSCON. Current efforts include performance assessment studies of the Aegis combat system and combat system architecture and connectivity analysis. Mr. Mittura received a B.S. in electrical engineering from Penn State University in 1978 and an M.S. in engineering management from Catholic University of America in 1982. He is a licensed professional engineer with the State of Virginia. Mitchel S. Karp:cofounded K&K Software Engineering
Inc. in February 1970. He is currently secretary/treasurer and senior system engineer. His involvement in combat systems began with NTDS in 1963. He has been involved in the Aegis Program since 1968 and has worked in all aspects of combat system development including computer programming tactical analysis software development and management. He has given several seminars on real-time software development and documentation. He currently is working under contracts to NSWCDD in the areas of combat system architecture and connectivity configuration management and documentation. Mr. Karp received a B.S. in engineering physics from Lehigh University in 1958.
The Navy's focus has shifted from global war scenarios to preparedness for the prospect of involvement in regional, littoral contingencies and conflicts. Operationally, shipboard personnel will need the ability to...
The Navy's focus has shifted from global war scenarios to preparedness for the prospect of involvement in regional, littoral contingencies and conflicts. Operationally, shipboard personnel will need the ability to shift focus from the combat system multimission roles to that of only a single mission. From a development perspective, combat systems must accommodate a continual infusion of technology in a budget constrained environment. Combat system architecture is the single most important feature affecting combat system flexibility, from both an operational and developmental aspect. There is a fundamental partitioning of combat svstem functions into detect, command, and engage in a horizontal integration approach that enhances this needed flexibilitv. This fundamental partitioning is currently applied to individual weapon systems, but not to combat svstems as a whole. Instead, self-contained weapon systems are often developed and then vertically integrated to form a combat svstem, causing reduced flexibility. The battle organization is the principal driving requirement for combat system architecture. This paper shows that that the battle organization is best supported by a horizontally integrated combat system of detect, command, and engage. It concludes that a horizontally integrated combat svstem architecture of detect, command, and engage should be a candidate for future combat systems.
暂无评论