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

Conference on Object-Oriented Programming systems, Languages, and Applications, OOPSLA 1993

作者： Yamashiro, Akihiro Nakano, Hiroko Yoshida, Kazuki Saito, Etsuo Research and Development Center Systems and Software Engineering Laboratory Toshiba Corporation Japan

来源：评论

学校读者我要写书评

暂无评论

Toward Coordination Control of Multiple Fish-Like Robots:Real-Time Vision-Based Pose Estimation and Tracking via Deep Neural Networks

引用

IEEE/CAA Journal of Automatica Sinica 2021年第12期8卷 1964-1976页

作者： Tianhao Zhang Jiuhong Xiao Liang Li Chen Wang Guangming Xie State Key Laboratory of Turbulence and Complex Systems Intelligent Biomimetic Design LaboratoryCollege of EngineeringPeking UniversityBeijing 100871China National Engineering Research Center of Software Engineering Peking UniversityBeijing 100871 Institute of Ocean Research Peking UniversityBeijing100871 Peng Cheng Laboratory Shenzhen 518055China

Controlling multiple multi-joint fish-like robots has long captivated the attention of engineers and biologists,for which a fundamental but challenging topic is to robustly track the postures of the individuals in real *** requires detecting multiple robots,estimating multi-joint postures,and tracking identities,as well as processing fast in real *** the best of our knowledge,this challenge has not been tackled in the previous *** this paper,to precisely track the planar postures of multiple swimming multi-joint fish-like robots in real time,we propose a novel deep neural network-based method,named *** TAB part fuses the top-down and bottom-up approaches for vision-based pose estimation,while the IOL part with long short-term memory considers the motion constraints among joints for precise pose *** satisfying performance of our TAB-IOL is verified by testing on a group of freely swimming fish-like robots in various scenarios with strong disturbances and by a deed comparison of accuracy,speed,and robustness with most state-of-the-art ***,based on the precise pose estimation and tracking realized by our TAB-IOL,several formation control experiments are conducted for the group of fish-like *** results clearly demonstrate that our TAB-IOL lays a solid foundation for the coordination control of multiple fish-like robots in a real working *** believe our proposed method will facilitate the growth and development of related fields.

关键词： Deep neural networks formation control multiple fish-like robots pose estimation pose tracking

来源：评论

学校读者我要写书评

暂无评论

The role of GPT in promoting inclusive higher education for people with various learning disabilities: a review

引用

PeerJ Computer Science 2025年 11卷 e2400-e2400页

作者： Gadekallu, Thippa Reddy Yenduri, Gokul Kaluri, Rajesh Rajput, Dharmendra Singh Lakshmanna, Kuruva Fang, Kai Chen, Junxin Wang, Wei Department of Electrical and Computer Engineering Lebanese American University Byblos Lebanon School of Computer Science Engineering and Information Systems Vellore Institute of Technology University Tamil Nadu India Zhongda Group Jiaxing China College of Information Science and Engineering Jiaxing University Jiaxing China Division of Research and Development Lovely Professional University Phagwara India School of Computer Science and Engineering VIT-AP University Andhra Pradesh Amaravati India School of Mathematics and Computer Science Zhejiang Agricultural and Forestry University Hangzhou China School of Software Dalian University of Technology Dalian China Guangdong-Hong Kong-Macao Joint Laboratory for Emotional Intelligence and Pervasive Computing Artificial Intelligence Research Institute Shenzhen MSU-BIT University Shenzhen China School of Medical Technology Beijing Institute of Technology Beijing China

The generative pre-trained transformer (GPT) is a notable breakthrough in the field of artificial intelligence, as it empowers machines to effectively comprehend and engage in interactions with humans. The GPT exhibits the capacity to enhance inclusivity and accessibility for students with learning disabilities in the context of higher education, hence potentially facilitating substantial advancements in the field. GPT can provide personalized and diverse solutions that successfully cater to the distinct requirements of students with learning disabilities. This motivated us to conduct an extensive review to assess the effectiveness of GPT in enhancing accessibility and inclusivity in higher education for students with learning disabilities. This review offers a comprehensive analysis of the GPT and its significance for enhancing inclusivity in the field of higher education. In this research, we also examined the possible challenges and constraints associated with the integration of GPT into inclusive higher education, along with potential solutions. Overall, this review is intended for educators, students with and without learning disabilities, policymakers, higher education institutes, researchers, and educational technology developers. This review aims to provide a comprehensive understanding of GPT in promoting inclusive higher education for people with various learning disabilities, its impacts on inclusive higher education, emerging challenges, and potential solutions. Copyright 2025 Gadekallu et al.

关键词： Contrastive Learning

来源：评论

学校读者我要写书评

暂无评论

Detecting Duplicate Contributions in Pull-Based Model CombiningTextual and Change Similarities

引用

Journal of Computer Science & Technology 2021年第1期36卷 191-206页

作者： Zhi-Xing Li Yue Yu Tao Wang Gang Yin Xin-Jun Mao Huai-Min Wang Key Laboratory of Parallel and Distributed Computing College of ComputerNational University of Defense Technology Changsha 410073China Laboratory of Software Engineering for Complex Systems College of ComputerNational University of Defense TechnologyChangsha 410073China

Communication and coordination between OSS developers who do not work physically in the same location have always been the challenging *** pull-based development model,as the state-of-art collaborative development mechanism,provides high openness and transparency to improve the visibility of contributors'***,duplicate contributions may still be submitted by more than one contributors to solve the same problem due to the parallel and uncoordinated nature of this *** not detected in time,duplicate pull-requests can cause contributors and reviewers to waste time and energy on redundant *** this paper,we propose an approach combining textual and change similarities to automatically detect duplicate contributions in pull-based model at submission *** a new-arriving contribution,we first compute textual similarity and change similarity between it and other existing *** then our method returns a list of candidate duplicate contributions that are most similar with the new contribution in terms of the combined textual and change *** evaluation shows that 83.4%of the duplicates can be found in average when we use the combined textual and change similarity compared to 54.8%using only textual similarity and 78.2%using only change similarity.

关键词： Pull-request Duplicate detection textual similarity change similarity

来源：评论

学校读者我要写书评

暂无评论

Evaluating the usage of fault localization in automated program repair:an empirical study

引用

Frontiers of Computer Science 2021年第1期15卷 53-67页

作者： Deheng YANG Yuhua QI Xiaoguang MAO Yan LEI College of Computer National University of Defense TechnologyChangsha 410073China Laboratory of Software Engineering for Complex Systems Changsha 410073China Beijing Institute of Tracking and Communication Technology Beijing 100094China School of Big Data&Software Engineering Chongqing UniversityChongqing 400044China

Fault localization techniques are originally proposed to assist in manual debugging by generally producing a rank list of suspicious *** the increasing popularity of automated program repair,the fault localization techniques have been introduced to effectively reduce the search space of automated program *** developers who mainly focus on the rank information,current automated program repair has two strategies to use the fault localization information:suspiciousness-first algorithm(SFA)based on the suspiciousness accuracy and rank-first algorithm(RFA)relying on the rank ***,despite the fact that the two different usages are widely adopted by current automated program repair and may result in different repair results,little is known about the impacts of the two strategies on automated program *** this paper we empirically compare the performance of SFA and RFA in the context of automated program ***,we implement the two strategies and six well-studied fault localization techniques into four state-of-the-art automated program repair tools,and then use these tools to perform repair experiments on 60 real-world bugs from *** study presents a number of interesting findings:RFA outperforms SFA in 70.02%of cases when measured by the number of candidate patches generated before a valid patch is found(NCP),while SFA performs better in parallel repair and patch diversity;the performance of SFA can be improved by increasing the suspiciousness accuracy of fault localization techniques;finally,we use SimFix that deploys SFA to successfully repair four extra Defects4J bugs which cannot be repaired by SimFix originally using *** observations provide a new perspective for future research on the usage and improvement of fault localization in automated program repair.

关键词： automated program repair fault localization empirical study

来源：评论

学校读者我要写书评

暂无评论

Detection of high-level execution patterns in reactive behavior of control programs

Detection of high-level execution patterns in reactive behav...

引用

2010 Workshop on Dynamic Analysis, WODA 2010

作者： Prähofer, Herbert Schatz, Roland Wirth, Christian Christian Doppler Laboratory for Automated Software Engineering Institute for Systems Software Johannes Kepler University Linz Austria

ISBN: (纸本)9781450301374

This paper presents an approach to extract high-level patterns from traces of programmable logic control (PLC) programs recorded with a deterministic replay debugging tool. Our deterministic replay debugging works by recording an application run in real-time with minimal overhead so that it can be reproduced afterwards. In a subsequent phase, the application is replayed in offline mode to produce a more detailed trace log with additional information about the application run. A software developer can replay the program in a debugger and use debugger features to analyze the program run and locate errors. However, due to the vast amount of data and the complex behavior of reactive control programs, a normal debugger is usually only a poor support in comprehending the program behavior. In this paper we present an approach to analyze recorded program runs of PLC applications. We present a technology to visualize the reactive behavior of a program run and find recurring high-level execution patterns in long-running applications. We give an overview of possible application scenarios to support program comprehension, testing, and debugging.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Heuristic Virtual Machine Allocation for Multi-Tier Ambient Assisted Living Applications in a Cloud Data Center

引用

China Communications 2016年第5期13卷 56-65页

作者： Jing Bi Haitao Yuan Ming Tie Xiao Song School of Software Engineering Beijing University of TechnologyBeijing 100124China Beijing Engineering Research Center for IoT Software and Systems Beijing 100124China School of Software Engineering Beijing Jiaotong UniversityBeijing 100044China Science and Technology on Space Physics Laboratory Beijing 100076China Beijing Institute of Near space Vehicle's Systems Engineering Beijing 100076China School of Automation Science and Electrical Engineering Beihang UniversityBeijing 100191China

Cloud computing provides the essential infrastructure for multi-tier Ambient Assisted Living(AAL) applications that facilitate people's lives. Resource provisioning is a critically important problem for AAL applications in cloud data centers(CDCs). This paper focuses on modeling and analysis of multi-tier AAL applications, and aims to optimize resource provisioning while meeting requests' response time constraint. This paper models a multi-tier AAL application as a hybrid multi-tier queueing model consisting of an M/M/c queueing model and multiple M/M/1 queueing models. Then, virtual machine(VM) allocation is formulated as a constrained optimization problem in a CDC, and is further solved with the proposed heuristic VM allocation algorithm(HVMA). The results demonstrate that the proposed model and algorithm can effectively achieve dynamic resource provisioning while meeting the performance constraint.

关键词： ambient assisted living cloud computing resource provisioning virtual machine heuristic optimization

来源：评论

学校读者我要写书评

暂无评论

MONACO - A domain-specific language supporting hierarchical abstraction and verification of reactive control programs

MONACO - A domain-specific language supporting hierarchical ...

引用

8th IEEE International Conference on Industrial Informatics, INDIN 2010

作者： Prähofer, Herbert Hurnaus, Dominik Christian Doppler Laboratory of Automated Software Engineering Institute for Systems Software Johannes Kepler University Linz Austria

ISBN: (纸本)9781424473007

Domain-specific languages aim to present software in the notations of domain experts and allow a straightforward mapping of application concepts to software solutions. In this paper, we present a domain-specific language for programming reactive control programs. The language differs from other approaches mainly by its hierarchical component approach, in which lower-level components provide elementary operations and upper components rely on the operations of their subordinates to implement higher control tasks. Moreover, the hierarchical component approach is leveraged in a hierarchical verification technique in which component implementations are verified against dynamic contracts of their subcomponents. We present the principles of the verification technique and discuss how it can be applied in a multi-stage development process. © 2010 IEEE.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Deterministic replay debugging of IEC 61131-3 SoftPLC programs

Deterministic replay debugging of IEC 61131-3 SoftPLC progra...

引用

8th IEEE International Conference on Industrial Informatics, INDIN 2010

作者： Prähofer, Herbert Schatz, Roland Wirth, Christian Mössenböck, Hanspeter Christian Doppler Laboratory for Automated Software Engineering Institute for Systems Software Johannes Kepler University Linz Austria

ISBN: (纸本)9781424473007

Deterministic Replay Debugging is an approach to finding field failures in application runs. It records an application run so that it can be replayed deterministically in a development system for debugging purposes without connection to a physical environment. In this paper, we present a solution for deterministic replay debugging of hard real-time SoftPLC applications written in the IEC 61131-3 languages. By taking advantage of the special properties of these programs and by careful engineering, our technique allows recording a SoftPLC application run with minimal overhead and obeying real-time constraints. In later phases, which are off-line, the original program run is reconstructed to be replayed for debugging. We present the conceptual basis of our approach, a tool chain including a time-traveling debugger, and an evaluation as well as an industrial case study for validating the approach. © 2010 IEEE.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

KASE project toward effective diagnosis system development

引用

Knowledge Acquisition 1992年第3期4卷 323-346页

作者： Araki, Dai Kojima, Shoichi Kohno, Takeshi Systems and Software Engineering Laboratory TOSHIBA Corporation Saiwai-ku Kawasaki 210 70 Yanagicho Japan

The Knowledge Acquisition Support Environment (KASE) and some case studies on expert system development are described. DiPROS is a diagnostic expert system building tool, which has a knowledge base editor and an inference engine specialized for diagnostic tasks. DiKAST is an interactive knowledge-acquisition (KA) tool, which guides repairs on defects in the knowledge base. In order to build this KA facility, many kinds of KA interview strategies were formalized. We applied KASE tools in building a defect diagnosis system for a color picture tube manufacturing plant. The prototype system was able to be developed in a short time by the domain experts alone, who had no previous experience in computer programming. © 1992.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：