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.
In this paper, we consider a two-dimensional operator with an antisymmetric integral kernel, recently introduced by Z. Avetisyan and A. Karapetyants in connection to the study of general homogeneous operators. This is...
详细信息
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.
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 impact of brief group psychotherapy on the marital and sex roles of 5 volunteer couples who participated in 2, 15 session, model therapy groups conducted .apprx. 2 yr apart was studied. Assessments are based on Hi...
The impact of brief group psychotherapy on the marital and sex roles of 5 volunteer couples who participated in 2, 15 session, model therapy groups conducted .apprx. 2 yr apart was studied. Assessments are based on Hill Interaction Matrix (HIM) analysis of the style and content of marital partners'' verbal behavior during the sessions. Interactional correlates of traditional marital and sex role variations are attenuated;communication between spouses is improved and the therapeutic quality of verbal behavior is enhanced over the course of therapy. Apparently, the group psychotherapy model that was being evaluated is an effective mode of brief, precrisis intervention for married couples.
作者：
徐静波徐望人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.
作者：
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.
暂无评论