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

arXiv 2025年

作者： Waring, Jean-Baptiste Pere, Christophe Le Beux, Sébastien Dept. of Electrical & Computer Engineering Concordia University MontréalQC Canada Dept. of Computer Science & Software Engineering INTRIQ Laval University QuébecQC Canada PINQ2 Canada

Scalable quantum computing relies on high-quality, long-range entanglement, a challenge on noisy, near-term devices. The need for practical insights for near-term algorithm design calls for trade-offs exploration in implementing dynamic circuits on current hardware. In this work, we experimentally compare three CNOT implementations for generating Bell states across varying qubit separations on a 127-qubit IBM Quantum Eagle processor (ibm_ quebec): a unitary (SWAP-based) approach, a dynamic approach with mid-circuit measurements and classical feedforward, and a post-processed approach. We use Clauser-Horne-Shimony-Holt (CHSH) inequality violations to quantify entanglement quality. We observe that, beyond 10 qubits, dynamic circuits surpass the unitary approach, demonstrating improved distance-dependent entanglement preservation. The post-processed approach consistently yields the highest CHSH values, reaching |S| > 2 up to 13 qubits. Our results underscore the critical need for faster classical feedforward and higher readout fidelity. © 2025, CC BY-NC-SA.

关键词： Qubits

来源：评论

学校读者我要写书评

暂无评论

Performance improvement of software component with partial evaluation

引用

Journal of Harbin Institute of Technology(New Series) 2008年第1期15卷 95-99页

作者：毛宏燕黄林鹏李明禄 Software Engineering Institute of East China Normal University Dept.of Computer Science and Engineering Shanghai Jiaotong University

To avoid the complexity and inefficiency for specific applications of the current software architecture, a novel approach using partial evaluation is proposed to improve the running performance of components. The generic program was specialized into domain-specific realization for the known knowledge and environments. The syntax and semantic(adj.) were analyzed based on byte code instruction sequences, and partial evaluation rules depicted how to perform the specialization. The partial evaluation for object-oriented programs was implemented. The experimental results show that partial evaluation is effective to speed up the running efficiency. The more generality and scalability can be obtained by the integration of partial evaluation with the favorable design mechanisms and compiler optimization technology.

关键词： partial evaluation running efficiency component byte code instruction sequence

来源：评论

学校读者我要写书评

暂无评论

A FRAMEWORK FOR SOURCE CODE SEARCH USING PROGRAM PATTERNS

引用

IEEE TRANSACTIONS ON software engineering 1994年第6期20卷 463-475页

作者： PAUL, S PRAKASH, A Software Systems Research Laboratory Dept. of Electrical Engineering & Computer Science University of Michigan Ann Arbor MI 48105 USA

For maintainers involved in understanding and reengineering large software. locating source code fragments that match certain patterns is a critical task. Existing solutions to the problem are few, and they either involve manual, painstaking scans of the source code using tools based on regular expressions, or the use of large, integrated software engineering environments that include simple pattern-based query processors in their tool-kits. We present a framework in which pattern languages are used to specify interesting code features. The pattern languages are derived by extending the source programming language with pattern-matching symbols. We describe SCRUPLE, a finite state machine-based source code search tool, that efficiently implements this framework. We also present experimental performance results obtained from a SCRUPLE prototype, and the user interface of a source code browser built on top of SCRUPLE.

关键词： REVERSE engineering software MAINTENANCE software REengineering PROGRAM UNDERSTANDING PATTERN MATCHING QUERY LANGUAGE

来源：评论

学校读者我要写书评

暂无评论

Directions for peer-to-peer based mobile pervasive augmented reality gaming

Directions for peer-to-peer based mobile pervasive augmented...

引用

13th International Conference on Parallel and Distributed Systems, ICPADS

作者： Chao, Huang Harwood, Aaron Karunasekera, Shanika Dept. of Computer Science and Software Engineering University of Melbourne

ISBN: (纸本)9781424418909

Pervasive Augmented Reality Gaming and Mobile P2P are both attracting significant focus and much progress has occurred recently. Augmented reality games extend reality with virtual elements to enhance game experience and mobile P2P networks provide autonomous, self-organizing, scalable and robust communication platforms. We review the technological challenges in both mobile P2P computing and AR domains by investigating some existing related works. Then we propose possible directions of the mobile AR collaborative gaming over pip networks and show its advantages over other AR gaming and discuss the feasibility and future requirements regarding the support for this type of game. © 2007 IEEE.

关键词： Ubiquitous computing

来源：评论

学校读者我要写书评

暂无评论

Tagging and linking web forum posts

Tagging and linking web forum posts

引用

14th Conference on Computational Natural Language Learning, CoNLL 2010

作者： Kim, Su Nam Wang, Li Baldwin, Timothy Dept of Computer Science and Software Engineering University of Melbourne Australia

ISBN: (纸本)9781932432831

We propose a method for annotating post-to-post discourse structure in online user forum data, in the hopes of improving troubleshooting-oriented information access. We introduce the tasks of: (1) post classification, based on a novel dialogue act tag set;and (2) link classification. We also introduce three feature sets (structural features, post context features and semantic features) and experiment with three discriminative learners (maximum entropy, SVM-HMM and CRF).We achieve above-baseline results for both dialogue act and link classification, with interesting divergences in which feature sets perform well over the two sub-tasks, and go on to perform preliminary investigation of the interaction between post tagging and linking. © 2010 Association for Computational Linguistics.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

Using ChatGPT in Undergraduate computer science and software engineering Courses: A Students' Perspective

Using ChatGPT in Undergraduate Computer Science and Software...

引用

Frontiers in Education (FIE) Conference

作者： Noah Andersen-Kiel Panagiotis Panos Linos Computer Science and Software Engineering Dept. Butler University Indianapolis Indiana USA

ISBN: (数字)9798350351507

ISBN: (纸本)9798350363067

This innovative practice full paper presents an empirical study aimed at evaluating the potential of ChatGPT, an advanced AI-driven chatbot, as a supplementary educational tool in undergraduate computer science and software engineering (CSSE) courses. The study, initiated in the summer of 2023, focused on assessing ChatGPT's capabilities in generating accurate and complete computer code, identifying and rectifying code defects (bugs), and its scalability in handling larger programs. To achieve this, we conducted a series of experiments with ChatGPT. In one experiment, we introduced bugs into small programs from introductory CSSE courses. ChatGPT was tasked with detecting these defects and providing recommendations for fixing them. We evaluated ChatGPT's effectiveness in bug detection, the quality of its recommendations, and the completeness of the proposed solutions. We sought answers to questions such as whether ChatGPT found all injected defects, provided appropriate recommendations, and delivered high-quality solutions based on criteria like code completeness, size, complexity, and readability. In another experiment, ChatGPT was asked to generate code for assignments from previous CSSE courses, including Intro to computer science and Programming in C++, Intro to Python Programming, and Object-Oriented Programming and Data Structures using Java. We assessed the generated code's correctness and quality in comparison to student-written code. Similarly, in a third experiment, we evaluated ChatGPT's ability to generate larger programs using requirement specifications from an upper-division CSSE course on Agile software engineering. Analyzing both qualitative and quantitative data from these experiments during the summer, we determined that ChatGPT showed promise as an educational tool. Consequently, we developed a plan to integrate ChatGPT into select CSSE courses for the fall semester of 2023. Specifically, ChatGPT was integrated into two of our introductory CSSE cou

关键词： Surveys Codes Scalability computer bugs Project management Chatbots Object oriented programming Programming profession software engineering Python

来源：评论

学校读者我要写书评

暂无评论

3-Multi ranked encryption with enhanced security in cloud computing

引用

Digital Communications and Networks 2023年第2期9卷 313-326页

作者： YeEun Kim Junggab Son Reza M.Parizi Gautam Srivastava Heekuck Oh Major in Bio Artificial Intelligence Dept.of Computer Science and EngineeringHanyang UniversityAnsanRepublic of Korea Department of Computer Science Kennesaw State UniversityMariettaUSA Department of Software Engineering Kennesaw State UniversityMariettaUSA Department of Mathematics and Computer Science Brandon UniversityBrandonCanada Research Center for Interneural Computing China Medical UniversityTaichungTaiwanChina Dept.of Computer Science and Engineering Hanyang UniversityAnsanRepublic of Korea

Searchable Encryption(SE)enables data owners to search remotely stored ciphertexts selectively.A practical model that is closest to real life should be able to handle search queries with multiple keywords and multiple data owners/users,and even return the top-k most relevant search results when *** refer to a model that satisfies all of the conditions a 3-multi ranked search ***,SE schemes that have been proposed to date use fully trusted trapdoor generation centers,and several methods assume a secure connection between the data users and a trapdoor generation *** is,they assume the trapdoor generation center is the only entity that can learn the information regarding queried keywords,but it will never attempt to use it in any other manner than that requested,which is impractical in real *** this study,to enhance the security,we propose a new 3-multi ranked SE scheme that satisfies all conditions without these security *** proposed scheme uses randomized keywords to protect the interested keywords of users from both outside adversaries and the honest-but-curious trapdoor generation center,thereby preventing attackers from determining whether two different queries include the same ***,we develop a method for managing multiple encrypted keywords from every data owner,each encrypted with a different *** evaluation demonstrates that,despite the trade-off overhead that results from the weaker security assumption,the proposed scheme achieves reasonable performance compared to extant schemes,which implies that our scheme is practical and closest to real life.

关键词： Searchable encryption Multi-keyword search Multiple data owners/users Ranked search Enhanced security

来源：评论

学校读者我要写书评

暂无评论

Divide-and-query and subterm dependency tracking in the mercury declarative debugger 05

Divide-and-query and subterm dependency tracking in the merc...

引用

AADEBUG 2005: 6th International Symposium on Automated and Analysis-Driven Debugging

作者： MacLarty, Ian Somogyi, Zoltan Brown, Mark Dept. of Computer Science and Software Engineering University of Melbourne Australia NICTA Victoria Laboratory Dept. of Computer Science and Software Engineering University of Melbourne Australia

ISBN: (纸本)1595930507

We have implemented a declarative debugger for Mercury that is capable of finding bugs in large, long-running programs. This debugger implements several search strategies. We discuss the implementation of two of these strategies and the conditions under which each strategy is useful. The divide and query strategy tries to minimize the number of questions asked of the user, While divide and query can reduce the number of questions to roughly logarithmic in the size of the computation, implementing it presents practical difficulties for computations whose representations do not fit into memory. We discuss how we get around this problem, making divide and query practical. Our declarative debugger allows users to specify exactly which part of an atom is wrong. The subterm dependency tracking strategy exploits this extra information to jump directly to the part of the program that computed the wrong subterm. In many cases, only a few such jumps are required to arrive at the bug. Subterm dependency tracking can converge on the bug even more quickly than divide and query, and it tends to yield question sequences that are easier for users to answer. Copyright 2005 ACM.

关键词： Program debugging

来源：评论

学校读者我要写书评

暂无评论

SOLAS: Superpositioning an Optical Lens in Automotive Simulation

arXiv

引用

arXiv 2025年

作者： Jakab, Daniel Barthel, Julian Braun, Alexander Mohandas, Reenu Deegan, Brian Michael Kumbham, Mahendar Molloy, Dara Collins, Fiachra Scanlan, Anthony Eising, Ciarán Dept. of Electronic and Computer Engineering University of Limerick Castletroy Co. Limerick V94 T9PX Ireland Faculty of Electrical Engineering & Information Technology University of Applied Sciences Düsseldorf40476 Germany Dept. of Electrical and Electronic Engineering University of Galway GalwayH91 TK33 Ireland Valeo Vision Systems Tuam GalwayDY1 22DJ Ireland Lero the Science Foundation Ireland Research Centre for Software University of Limerick LimerickV94 T9PX Ireland

Automotive Simulation is a potentially cost-effective strategy to identify and test corner case scenarios in automotive perception. Recent work has shown a significant shift in creating realistic synthetic data for road traffic scenarios using a video graphics engine. However, a gap exists in modeling realistic optical aberrations associated with cameras in automotive simulation. This paper builds on the concept from existing literature to model optical degradations in simulated environments using the Python-based ray-tracing library KrakenOS. As a novel pipeline, we degrade automotive fisheye simulation using an optical doublet with +/-2◦ Field of View(FOV), introducing realistic optical artifacts into two simulation images from SynWoodscape and Parallel Domain Woodscape. We evaluate KrakenOS by calculating the Root Mean Square Error (RMSE), which averaged around 0.023 across the RGB light spectrum compared to Ansys Zemax OpticStudio, an industrial benchmark for optical design and simulation. Lastly, we measure the image sharpness of the degraded simulation using the ISO12233:2023 Slanted Edge Method and show how both qualitative and measured results indicate the extent of the spatial variation in image sharpness from the periphery to the center of the degradations. © 2025, CC BY.

关键词： Ray tracing

来源：评论

学校读者我要写书评

暂无评论

To the gates of HAL: A HAL tutorial 6th

To the gates of HAL: A HAL tutorial

引用

6th Fuji International Symposium on Functional and Logic Programming, FLOPS 2002

作者： de la Banda, María García Demoen, Bart Marriott, Kim Stuckey, Peter J. School of Computer Science and Software Engineering Monash University Australia Dept. of Computer Science K.U. Leuven Belgium Dept. of Computer Science and Software Engineering University of Melbourne Australia

ISBN: (纸本)3540442332

Experience using constraint programming to solve real-life problems has shown that finding an efficient solution to the problem often requires experimentation with different constraint solvers or even building a problem-specific constraint solver. HAL is a new constraint logic programming language expressly designed to facilitate this process. It provides semi-optional type, mode and determinism declarations. These allow natural constraint specification by means of type overloading, better compile-time error checking and generation of more efficient run-time code. Importantly, it provides type classes which can be used to specify solver interfaces, allowing the constraint programmer to support modelling of a constraint problem independent of a particular solver, leading to easy "plug and play" experimentation with different solvers. Other interesting features include mutable global variables for implementing a constraint store, and dynamic scheduling and Constraint Handling Rules (CHRs) for combining, extending and writing new constraint solvers. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Constraint programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：