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

37th AAAI Conference on Artificial Intelligence, AAAI 2023

作者： Peng, Tianhao Liang, Yu Wu, Wenjun Ren, Jian Pengrui, Zhao Pu, Yanjun State Key Laboratory of Software Development Environment Beihang University China School of Computer Science and Engineering Beihang University China Beijing Engineering Research Center for IoT Software and Systems Beijing University of Technology China Institute of Artificial Intelligence Beihang University China

ISBN: (纸本)9781577358800

Modeling and predicting the performance of students in collaborative learning paradigms is an important task. Most of the research presented in literature regarding collaborative learning focuses on the discussion forums and social learning networks. There are only a few works that investigate how students interact with each other in team projects and how such interactions affect their academic performance. In order to bridge this gap, we choose a software engineering course as the study subject. The students who participate in a software engineering course are required to team up and complete a software project together. In this work, we construct an interaction graph based on the activities of students grouped in various teams. Based on this student interaction graph, we present an extended graph transformer framework for collaborative learning (CLGT) for evaluating and predicting the performance of students. Moreover, the proposed CLGT contains an interpretation module that explains the prediction results and visualizes the student interaction patterns. The experimental results confirm that the proposed CLGT outperforms the baseline models in terms of performing predictions based on the real-world datasets. Moreover, the proposed CLGT differentiates the students with poor performance in the collaborative learning paradigm and gives teachers early warnings, so that appropriate assistance can be provided. Copyright © 2023, Association for the Advancement of Artificial Intelligence (***). All rights reserved.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Propagation and Dispersion Characteristics of Scholte Wave in VTI Media with the Presence of Irregular Seabed

引用

Journal of Earth Science 2024年第2期35卷 722-725页

作者： Xiaobo Liu Yun Wang Jianlei Zhang Haifeng Chen Hua Zhang School of Ocean Sciences China University of GeosciencesBeijing 100083China Key Laboratory of Polar Geology and Marine Mineral Resources China University of GeosciencesBeijing 100083China School of Geophysics and Information Technology China University of GeosciencesBeijing 100083China Research&Development Center BGP IncCNPCZhuozhou 072751China National Engineering Research Center for Oil and Gas Exploration Computer Software Beijing 100080China

INTRODUCTION Surface waves propagating along the seafloor are general ly called Scholte waves,and were first discovered and studied in the early 1950s(Kugler et al.,2005;Buchen and Ben-Hador,1996).Scholte waves exhibit a dispersion phenomenon,which implies that their velocity varies with ***-frequency Scholte waves can propagate over long distances on the seabed with little attenuation(Bohlen et al.,2004).The particle mo tion of Scholte waves in a solid medium changes from a retro grade to a prograde ellipse(Klein et al.,2005;McMechan and Yedlin,1981).

关键词： seabed Dispersion implies

来源：评论

学校读者我要写书评

暂无评论

An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks 21st

An Automata-Theoretic Approach to Synthesizing Binarized Ne...

引用

21st International Symposium on Automated technology for Verification and Analysis, ATVA 2023

作者： Tao, Ye Liu, Wanwei Song, Fu Liang, Zhen Wang, Ji Zhu, Hongxu College of Computer Science and Technology National University of Defense Technology Changsha China School of Information Science and Technology ShanghaiTech University Shanghai China Institute of Software Chinese Academy of Sciences and University of Chinese Academy of Sciences Beijing China Automotive Software Innovation Center Shanghai China Institute for Quantum Information and State Key Laboratory for High Performance Computing National University of Defense Technology Changsha China

ISBN: (纸本)9783031453281

Deep neural networks, (DNNs, a.k.a. NNs), have been widely used in various tasks and have been proven to be successful. However, the accompanied expensive computing and storage costs make the deployments in resource-constrained devices a significant concern. To solve this issue, quantization has emerged as an effective way to reduce the costs of DNNs with little accuracy degradation by quantizing floating-point numbers to low-width fixed-point representations. Quantized neural networks (QNNs) have been developed, with binarized neural networks (BNNs) restricted to binary values as a special case. Another concern about neural networks is their vulnerability and lack of interpretability. Despite the active research on trustworthy of DNNs, few approaches have been proposed to QNNs. To this end, this paper presents an automata-theoretic approach to synthesizing BNNs that meet designated properties. More specifically, we define a temporal logic, called BLTL, as the specification language. We show that each BLTL formula can be transformed into an automaton on finite words. To deal with the state-explosion problem, we provide a tableau-based approach in real implementation. For the synthesis procedure, we utilize SMT solvers to detect the existence of a model (i.e., a BNN) in the construction process. Notably, synthesis provides a way to determine the hyper-parameters of the network before training. Moreover, we experimentally evaluate our approach and demonstrate its effectiveness in improving the individual fairness and local robustness of BNNs while maintaining accuracy to a great extent. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Deep neural networks

来源：评论

学校读者我要写书评

暂无评论

Test Generation for Mutation Testing by Symbolic Execution 23

Test Generation for Mutation Testing by Symbolic Execution

引用

23rd IEEE International Conference on software Quality, Reliability, and Security Companion, QRS-C 2023

作者： Su, Rui Zhang, Zhiyi Zhou, Yuqian Yao, Yongming Collage of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing China Nanjing University of Aeronautics and Astronautics Ministry Key Laboratory for Safety-Critical Software Development and Verification Nanjing China Army Engineering of PLA Nanjing China

ISBN: (纸本)9798350359398

Mutation testing is a crucial technique to assess the effectiveness of test suites, but it can be computationally expensive. Symbolic execution is a formal technique that generates high-coverage test cases, but its scalability is limited. In this paper, we present a novel approach to mutation testing that utilizes symbolic execution, which explores only program regions impacted by mutations, prioritizes paths containing mutant branches, and generates test cases aimed at mutations. We implemented our approach in MutSym and evaluated it on real-world programs, demonstrating its effectiveness and efficiency. Our approach enhances the quality and reliability of software systems by detecting and eliminating faults early in the development process. © 2023 IEEE.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Research on Quality Model for Quantum Simulator software

Research on Quality Model for Quantum Simulator Software

引用

software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD-Winter), ACIS International Winter Conference on

作者： Chao Wang Jingwei Chen JianXin Ge XueZhong Wu QianQian Qu Le Luo Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology Shanghai China QUDOOR Technologies Inc. Hefei China Software Engineering of Computer and Information Engineering College Shanghai Polytechnic University Shanghai China QUDOOR Technologies Inc. School of Physics and Astronomy Sun Yat-Sen University Zhuhai China

In recent years, the demand for arithmetic power from all walks of life is growing, especially the increasing popularity of AIGC, which makes people realize that huge technological progress cannot be made without the support of large arithmetic power. Quantum computing may bring a leap in computing power and become a ”trigger” and “catalyst” to accelerate the development of science and technology innovation, and its technical development trend and application prospects have become a hot issue of concern, and quantum simulators are a very important part of the development process. The development of quantum simulators is a very important part of the process. However, due to the lack of systematic evaluation theories and methods, it is difficult to quantify and analyze the quality of the increasing number of simulators on the market, which may hinder researchers from practicing their quantum algorithms objectively or developing quantum technologies. For these reasons, this paper proposes a quality model for quantum simulator software, which reflects the quality characteristics of simulators in seven aspects, such as functionality and performance efficiency, and selects some simulators for experimental validation of the proposed model to prove its rationality.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automatic Collaborative Testing of Applications Integrating Text Features and Priority Experience Replay

Automatic Collaborative Testing of Applications Integrating ...

引用

IEEE International Conference on software Quality, Reliability and Security (QRS)

作者： Lizhi Cai Jin Wang Mingang Chen Jilong Wang School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai Development Center of Computer Software Technology Shanghai China

With the popularity of deep reinforcement learning(DRL), people have great interest in using deep reinforcement learning for application automated testing. However, most automated testing methods based on reinforcement learning ignore text information, use random sampling in experience replay and ignore the characteristics of Android automated testing. To solve above problem, this paper proposes ITPRTesting(Integrated Text feature information and Priority experience in Testing). It extracts the text information in the interface and uses the BERT algorithm to generate sentence vectors. It fuses the interactive control feature diagram(ICFD), which is mentioned in the previous work, and text information as the state required by reinforcement learning. And in reinforcement learning, the priority experience replay is combined, also the traditional priority experience replay is improved. This paper has carried out experiments on 10 open source applications. The experimental results show that ITPRTesting is superior to other methods in statement coverage and branch coverage.

关键词： Deep learning Fuses Bit error rate Reinforcement learning software quality Feature extraction software reliability

来源：评论

学校读者我要写书评

暂无评论

Makespan and Security-Aware Workflow Scheduling for Cloud Service Cost Minimization Using Firefly Optimizer 22nd

Makespan and Security-Aware Workflow Scheduling for Cloud ...

引用

22nd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2022

作者： Zhou, Chengliang Wang, Tian Li, Liying Sun, Jin Zhou, Junlong School of Computer Science and Engineering Nanjing University of Science and Technology Nanjing210094 China State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing100190 China National Trusted Embedded Software Engineering Technology Research Center East China Normal University Shanghai200062 China

ISBN: (纸本)9783031226762

As efficient commercial information technology, cloud computing has attracted more and more users to submit their requests to the cloud platform and pay for them based on the amount and quality of services. One of the most important concerns of cloud service providers is to minimize the monetary cost for completing users’ requests while meeting constraints on the quality of services such as makespan and security. To solve this concern, this paper proposes a makespan and security-aware workflow scheduling method based on an improved firefly optimizer that consists of a new solution initialization scheme, a firefly position updating scheme, a firefly-to-solution mapping operator, and two task-to-virtual machine assignment schemes. We carry out extensive simulation experiments on real-world workflows to validate our proposed workflow scheduling method. The results reveal that the monetary cost reduction achieved by our method can be up to 54.0% compared to a baseline and two state-of-the-art approaches. © 2023, Springer Nature Switzerland AG.

关键词： Cloud computing

来源：评论

学校读者我要写书评

暂无评论

CRFs for Digital Signature and NIZK Proof System in Web Services 1

引用

22nd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2022

作者： Kang, Burong Zhang, Lei Yang, Yafang Meng, Xinyu Engineering Research Center of Software/Hardware Co-design Technology and Application Ministry of Education East China Normal University Shanghai200062 China Science and Technology on Communication Security Laboratory Sichuan610041 China Research Institute of China Telecom Corporation Limited Shanghai200062 China School of Computer Science Fudan University Shanghai200433 China

ISBN: (数字)9783031226779

ISBN: (纸本)9783031226762

Web services are service-oriented computing technology which allows computers running different operating domains to access and share each other’s databases. Each web service is an application (like online business) which may require the private information of users. Thus, it will be important to preserve these web users’ individual privacy. The traditional approaches to achieve this goal in web security is to use the cryptographic technologies, such as digital signature, NIZK proof system. Whereas, some recent research results indicate that these cryptographic technologies may suffer from the algorithm substitution attack (ASA). ASA means that the cryptographic technology would be embedded some backdoor in the process of its implementation by the attacker, and with the backdoor information the attacker can steal the user’s private information. To address this problem, the concept of cryptographic reverse firewall (CRF) has been introduced, which could sanitize the messages inputting and outputting the user’s computer. In this paper, we construct the CRFs for the efficient Pointcheval-Sanders (PS) signature as well as the NIZK proof system. © 2023, Springer Nature Switzerland AG.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

BDGSE: A Symbolic Execution Technique for High MC/DC 23

BDGSE: A Symbolic Execution Technique for High MC/DC

引用

23rd IEEE International Conference on software Quality, Reliability, and Security, QRS 2023

作者： Cai, Huangli Zhang, Zhiyi Jian, Yifan Li, Dan Huang, Zhiqiu Nanjing University of Aeronautics and Astronautics Collage of Computer Science and Technology Nanjing China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing China Nuclear Power Institute of China Science and Technology on Reactor System Design Technology Laboratory Chengdu China Nanjing University of Aeronautics and Astronautics Ministry Key Laboratory for Safety-Critical Software Development and Verification Nanjing China

ISBN: (纸本)9798350319583

Modified Condition/Decision Coverage (MC/DC) is a test coverage standard with excellent fault detection capability, which is widely used in testing safety-critical software. Symbolic execution generates test cases automatically to achieve high code coverage. However, since symbolic execution uses short-circuit evaluation to evaluate decisions, it fails to guarantee the consistency of other conditions in a decision required by the MC/DC criterion. As a result, it is incapable of generating MC/DC test cases to test safety-critical systems adequately. To solve this problem, we propose Branch Dependence Guided Symbolic Execution (BDGSE), a symbolic execution technique for high MC/DC. The approach utilizes static analysis to compute the branch dependencies, then guides symbolic execution to selectively explore paths and simplify test cases, and finally generates a small number of test cases to achieve high MC/DC coverage. Our experimental results show that BDGSE can generate high-quality test cases. Although BDGSE generates fewer test cases, it can achieve higher MC/DC coverage than SPF and random methods, and the fault detection capability of test cases generated by BDGSE is comparable to that of test cases generated by SPF. © 2023 IEEE.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Blocking Flow Shop Scheduling Based on a Multi-Group Collaborative Sparrow Search Algorithm

Blocking Flow Shop Scheduling Based on a Multi-Group Collabo...

引用

Chinese Control and Decision Conference, CCDC

作者： Kai Ma Yafei Geng Kan Xu Shiliang Guo Jie Yang School of Electrical Engineering Yanshan University Hebei China Shanghai Development Center of Computer Software Technology Shanghai China

ISBN: (纸本)9781665478977

The blocking flow shop scheduling problem (BFSP) prevails widely in the process manufacturing industry. In this paper, a multi-group collaborative sparrow search algorithm (MGCSSA) is proposed for minimizing the makespan for BFSP. Firstly, a collaborative initialization strategy is designed to generate initialized populations with certain quality. Second, an elite solution set and a multi-group collaboration mechanism are introduced to improve the adequacy of the global search, and the producer and scrounger position update formulas are improved to increase the population diversity. Then, three neighborhood heuristics are used to locally strengthen individuals in the elite solution set that enhance the ability of the algorithm to jump out of the local optimum. Finally, the proposed algorithm is evaluated experimentally in test cases. The experimental data and comparative results show that the proposed MGCSSA has superior performance and is highly competitive in solving BFSP.

关键词： Manufacturing industries Job shop scheduling Heuristic algorithms Sociology Collaboration Benchmark testing Search problems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：