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

Towards Connecting Discrete Mathematics and Software Engineering

Tsinghua Science and technology 2020年第3期25卷 325-335页

作者： Tun Li Wanwei Liu Juan Chen Xiaoguang Mao Xinjun Mao the School of Computer National University of Defense Technology and are also with Laboratory of Software Engineering for Complex Systems

To enhance training in software development,we argue that students of software engineering should be exposed to software development activities early in the *** entails meeting the challenge of engaging students in software development before they take the software engineering *** this paper,we propose a method to connect courses in the software engineering curriculum by setting comprehensive development projects to students in prerequisite courses for software *** the Discrete Mathematics(DM)course as an example,we describe the implementation of the proposed method and teaching practices using several practical and comprehensive projects derived from topics in discrete *** descriptions of the sample projects,their application,and training results are *** and lessons learned from applying these practices show that it is a promising way to connect courses in the software engineering curriculum.

关键词： Discrete Mathematics(DM) software engineering proof checker database management system symbolic execution engine

来源：评论

学校读者我要写书评

暂无评论

Belief Roadmaps with Uncertain Landmark Evanescence

arXiv

引用

arXiv 2025年

作者： Fuentes, Erick Strader, Jared Fahnestock, Ethan Roy, Nicholas Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology CambridgeMA02139 United States Laboratory for Information and Decision Systems Massachusetts Institute of Technology CambridgeMA02139 United States

We would like a robot to navigate to a goal location while minimizing state uncertainty. To aid the robot in this endeavor, maps provide a prior belief over the location of objects and regions of interest. To localize itself within the map, a robot identifies mapped landmarks using its sensors. However, as the time between map creation and robot deployment increases, portions of the map can become stale, and landmarks, once believed to be permanent, may disappear. We refer to the propensity of a landmark to disappear as landmark evanescence. Reasoning about landmark evanescence during path planning, and the associated impact on localization accuracy, requires analyzing the presence or absence of each landmark, leading to an exponential number of possible outcomes of a given motion plan. To address this complexity, we develop BRULE, an extension of the Belief Roadmap. During planning, we replace the belief over future robot poses with a Gaussian mixture which is able to capture the effects of landmark evanescence. Furthermore, we show that belief updates can be made efficient, and that maintaining a random subset of mixture components is sufficient to find high quality solutions. We demonstrate performance in simulated and real-world experiments. Software is available at https://***/BRULE. © 2025, CC BY.

关键词： Motion planning

来源：评论

学校读者我要写书评

暂无评论

Coordination of networking and computing: toward new information infrastructure and new services mode

引用

Frontiers of Information technology & Electronic Engineering 2024年第5期25卷 629-632页

作者： Xiaoyun WANG Tao SUN Yong CUI Rajkumar BUYYA Deke GUO Qun HUANG Hassnaa MOUSTAFA Chen TIAN Shangguang WANG China Mobile Communications Corporation Beijing 100032China China Mobile Research Institute Beijing 100053China Department of Computer Science and Technology Tsinghua UniversityBeijing 100084China CLOUDS Lab School of Computing and Information SystemsUniversity of MelbourneMelbourneVIC 3010Australia National Key Laboratory of Information Systems Engineering National University of Defense TechnologyChangsha 410073China School of Computer Science Peking UniversityBeijing 100871China Intel Corporation Santa ClaraCA 95054USA State Key Laboratory for Novel Sofiware Technology Nanjing UniversityNanjing 210023China State Key Laboratory of Networking and Switching Technology Bejing University of Posts and TelecommunicationsBeijing 100876China

Computing,serving as the cornerstone of information processing,plays a pivotal role in the digital service ***"network"and"computing,"responsible for information transmission and processing respectively,traditionally belong to different stakeholders and have evolved ***,the recent trend toward the coordination and integration of computing and networks has garnered significant attention from both industry and *** such as"computility network"and"computing force network"have emerged,and the International Telecommunication Union-Telecommunication Standardization(ITU-T)has initiated efforts to develop standards for the coordination of networking and computing(CNC),focusing on the architecture and framework.

关键词： computing services network

来源：评论

学校读者我要写书评

暂无评论

Organic-Perovskite Bilayer Color Conversion Media for Full-Color Displays

Organic-Perovskite Bilayer Color Conversion Media for Full-C...

引用

International Conference on Display technology, 2024

作者： Liu, Siyang Ting Tam, Bryan Siu Zhu, Mingchao Ye, Fanghao Yan Yeung, Fion Sze Li, Guijun Dong, Shou-Cheng State Key Laboratory of Advanced Displays and Optoelectronics Technologies Department of Electronic and Computer Engineering Hong Kong University of Science and Technology Kowloon Hong Kong Key Laboratory of Optoelectronic Devices and Systems of Ministry of Education and Guangdong Province Shenzhen University Shenzhen China Institute for Advanced Study Hong Kong University of Science and Technology Kowloon Hong Kong Co. Ltd. Suzhou China

Color conversion media (CCM) are crucial for realizing cost-effective, high-resolution micro-LED and OLED displays. In this work, we developed green and red organic-perovskite bilayer CCM that combine the PLQY and color purity of perovskite quantum dots (PeQDs) and the strong blue absorption of perylene-based organic emitters. The bilayer with thickness of 300 nm showed over 99% blue absorption and PLQY of 77% and 61% for green and red CCM, respectively. © 2024 John Wiley and Sons Inc. All rights reserved.

关键词： Perovskite

来源：评论

学校读者我要写书评

暂无评论

Theoretical Characterization of the Electro-optical Properties of New Molecules for OLED Devices

Theoretical Characterization of the Electro-optical Properti...

引用

Innovative Research in Applied Science, Engineering and technology (IRASET),Conference on

作者： Imane El Mhamedi Zakariae El Madani Abdelhafid Yahya Zakaria El Malki Materials and Systems Control (MMSC) Computer Engineering and Intelligent Electrical Systems (2ISEI) Laboratory High School of Technology (ESTM) University Moulay Ismail Meknes Morocco

ISBN: (数字)9798331532970

ISBN: (纸本)9798331532987

This study focuses on the exploration of five novel π-conjugated organic compounds for potential incorporation into organic light-emitting diodes (OLEDs). The molecular structure of these compounds follows a D-Di-D setup, with a carbazole acting as the D component, and the specific Di component varying based on the donor utilized. Through analysis at the DFT/B3LYP/6-31G (d, p) level, including the determination of HOMO–LUMO energy values, after optimizing the molecules' ground state, the frontier molecular orbital (FMO) was studied using Egap band gap. Utilizing the TD-DFT and ZINDO method the optical properties like absorption (λmax) and emission (λem) were explored. Based on SILVACO-TCAD software, the estimated current-voltage (I-V) characteristics of the two most efficient molecules were obtained. The indices of the studied molecules calculated from these interactions indicates that the molecules have sufficient properties which allow these molecules to be considered promising candidates for use in OLED devices as high-performing active materials.

关键词： Photonic band gap Absorption Stimulated emission Stationary state Organic light emitting diodes Market research Software Orbits Optical devices Organic compounds

来源：评论

学校读者我要写书评

暂无评论

MONETA: Prior-free and Truthful Auctions with Adaptive Reserve Price for High Revenue in Dynamic Spectrum Access Networks

引用

Chinese Journal of Electronics 2023年第2期21卷 355-361页

作者： Xiaobing Wu Guihai Chen Department of Computer Science and Technology State Key Laboratory for Novel Software Technology Nanjing University Nanjing China Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiaotong University Shanghai China

Auction is efficient for spectrum allocation in future dynamic spectrum access networks. Truthful or strategy-proof auction is favorable since every bidder only needs to bid his true valuation and the auctioneer assigns spectra to bidders who value them most. Existing truthful spectrum auction schemes however either generate very low revenue for the auctioneer or need extra prior distribution information on the true valuation of bidders. Low revenue generation could discourage the auctioneers from leasing their spectra and it is usually hard to get prior information on bidders' true evaluations on the spectra. In this paper, we propose a class of truthful spectrum auction schemes which bring higher revenue for the spectrum owners and do not need any prior information at the same time. We present both theoretical and simulation results of our proposed auction schemes.

关键词： Upper bound Adaptive systems Simulation Dynamic spectrum access Probability Resource management Cost accounting

来源：评论

学校读者我要写书评

暂无评论

Initialization Approach for Nonlinear State-Space Identification via the Subspace Encoder Approach

引用

IFAC-PapersOnLine 2023年第2期56卷 5146-5151页

作者： Rishi Ramkannan Gerben I. Beintema Roland Tóth Maarten Schoukens Control System group Eindhoven University of Technology Eindhoven the Netherlands Systems and Control Laboratory Institute for Computer Science and Control Budapest Hungary

The SUBNET neural network architecture has been developed to identify nonlinear state-space models from input-output data. To achieve this, it combines the rolled-out nonlinear state-space equations and a state encoder function, both parameterised as neural networks The encoder function is introduced to reconstruct the current state from past input-output data. Hence, it enables the forward simulation of the rolled-out state-space model. While this approach has shown to provide high-accuracy and consistent model estimation, its convergence can be significantly improved by efficient initialization of the training process. This paper focuses on such an initialisation of the subspace encoder approach using the Best Linear Approximation (BLA). Using the BLA provided state-space matrices and its associated reconstructability map, both the state-transition part of the network and the encoder are initialized. The performance of the improved initialisation scheme is evaluated on a Wiener-Hammerstein simulation example and a benchmark dataset. The results show that for a weakly nonlinear system, the proposed initialisation based on the linear reconstructability map results in a faster convergence and a better model quality.

关键词： Nonlinear system Identification Machine Learning Neural Networks State-Space Best Linear Approximation

来源：评论

学校读者我要写书评

暂无评论

VGRISys: A Vision-Guided Robotic Intelligent System for Autonomous Instrument Calibration

VGRISys: A Vision-Guided Robotic Intelligent System for Auto...

引用

2023 IEEE International Conference on Robotics and Biomimetics, ROBIO 2023

作者： Li, Zhenqi Wang, Hewei Li, Yijie Dev, Soumyabrata Zuo, Guoyu Beijing University of Technology Beijing-Dublin International College Beijing100124 China University College Dublin School of Computer Science Dublin Ireland Beijing University of Technology Faculty of Information Technology Beijing100124 China Beijing Key Laboratory of Computing Intelligence and Intelligent Systems Beijing100124 China

ISBN: (纸本)9798350325706

With the increasing sophistication of musical instruments and the importance of precise tuning, a novel and efficient approach to instrument calibration is of significant necessity. This paper presents VGRISys, an innovative system leveraging robotics and artificial intelligence to facilitate the intricate process of instrument tuning. VGRISys incorporates a multi-axis robotic arm, meticulously engineered for fine-tuned physical interaction with various musical instruments, alongside an intelligent system that guides the robotic arm using real-time audio feedback analysis. In addition, it employs advanced signal processing and machine learning algorithms, allowing the system to identify pitch discrepancies and respond with appropriate corrective action. VGRISys remarkably reduces the time required for instrument tuning, thus improving efficiency and democratizing access to high-quality tuning. Furthermore, the system's machine learning capabilities allow it to refine its tuning process over repeated operations, providing a scalable solution to the ever-evolving complexities of instrument tuning. The exploration and development of VGRISys contribute significantly to the wider fields of robotics, artificial intelligence, and music technology. © 2023 IEEE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Gaussian-Process-based Adaptive Tracking Control with Dynamic Active Learning for Autonomous Ground Vehicles

arXiv

引用

arXiv 2025年

作者： Floch, Kristóf Péni, Tamás Tóth, Roland Systems and Control Laboratory HUN-REN Inst. for Computer Science and Control Budapest1111 Hungary Control Systems Group Eindhoven University of Technology Eindhoven6512 Netherlands

This article proposes an active-learning-based adaptive trajectory tracking control method for autonomous ground vehicles to compensate for modeling errors and unmodeled dynamics. The nominal vehicle model is decoupled into lateral and longitudinal subsystems, which are augmented with online Gaussian Processes (GPs), using measurement data. The estimated mean functions of the GPs are used to construct a feedback compensator, which, together with an LPV state feedback controller designed for the nominal system, gives the adaptive control structure. To assist exploration of the dynamics, the paper proposes a new, dynamic active learning method to collect the most informative samples to accelerate the training process. To analyze the performance of the overall learning tool-chain provided controller, a novel iterative, counterexample-based algorithm is proposed for calculating the induced L2 gain between the reference trajectory and the tracking error. The analysis can be executed for a set of possible realizations of the to-be-controlled system, giving robust performance certificate of the learning method under variation of the vehicle dynamics. The efficiency of the proposed control approach is shown on a high-fidelity physics simulator and in real experiments using a 1/10 scale F1TENTH electric car. © 2025, CC BY.

关键词： State feedback

来源：评论

学校读者我要写书评

暂无评论

Reasoning on Efficient Knowledge Paths: Knowledge Graph Guides Large Language Model for Domain Question Answering

Reasoning on Efficient Knowledge Paths: Knowledge Graph Guid...

引用

IEEE International Conference on Big Knowledge (ICBK)

作者： Boran Jiang Yuqi Wang Yi Luo Dawei He Peng Cheng Liangcai Gao The Institute of Computer Science and Technology Peking University Beijing China Organization State Key Laboratory of Media Convergence Production Technology and Systems Beijing China

ISBN: (数字)9798331508821

ISBN: (纸本)9798331508838

Large language models (LLMs), such as GPT3.5, GPT4 and LLAMA2 perform surprisingly well and outperform human experts on many tasks. However, in many domain-specific evaluations, these LLMs often suffer from hallucination problems due to insufficient training of relevant corpus. Furthermore, fine-tuning large models may face problems such as the LLMs are not open source or the construction of high-quality domain instruction is difficult. Therefore, structured knowledge databases such as knowledge graph can better provide domain background knowledge for LLMs and make full use of the reasoning and analysis capabilities of LLMs. In some previous works, LLM was called multiple times to determine whether the current triplet was suitable for inclusion in the subgraph when retrieving subgraphs through a question. Especially for the question that require a multi-hop reasoning path, frequent calls to LLM will consume a lot of computing power. Moreover, when choosing the reasoning path, LLM will be called once for each step, and if one of the steps is selected incorrectly, it will lead to the accumulation of errors in the following steps. In this paper, we proposed an method of reasoning on efficient knowledge paths (RoK). This method can integrated and optimized the pipeline for selecting reasoning paths from KG based on LLM, which can reduce the dependency on LLM. In addition, we propose a simple and effective subgraph retrieval method based on chain of thought (CoT) and page rank which can returns the paths most likely to contain the answer. We conduct experiments on three datasets: GenMedGPT-5k [14], WebQuestions [2], and CMCQA [21]. Finally, RoK can demonstrate that using fewer LLM calls can achieve the same results as previous SOTAs models.

关键词： Training Databases Large language models Pipelines Knowledge based systems Knowledge graphs Cognition Question answering (information retrieval) Faces

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：