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

Towards functional verifying a family of SystemC TLMs

Frontiers of computer Science 2020年第1期14卷 53-66页

作者： Tun LI Jun YE Qingping TAN College of Computer National University of Defense TechnologyChangsha 410073China Laboratory of Software Engineering for Complex Systems Changsha 410073China Jiangnan Institute of Computing Technology Wuxi 214083China

It is often the case that in the development of a system-on-a-chip(SoC)design,a family of SystemC transaction level models(TLM)is *** in the same family often share common functionalities but differ in their timing,implementation,configuration and performance in various SoC developing *** most cases,all the TLMs in a family must be verified for the follow-up design *** our previous work,we proposed to call such family TLM product line(TPL),and proposed feature-oriented(FO)design methodology for efficient TPL ***,developers can only verify TLM in a family one by one,which causes large portion of duplicated verification ***,in our proposed methodology,functional verification of TPL has become a *** this paper,we proposed a novel TPL verification method for FO *** our method,for the given property,we can exponentially reduce the number of TLMs to be verified by identifying mutefeature-modules(MFM),which will avoid duplicated *** proposed method is presented in informal and formal way,and the correctness of it is *** theoretical analysis and experimental results on a real design show the correctness and efficiency of the proposed method.

关键词： system-on-a-chip transaction level model SystemC feature-oriented functional verification

来源：评论

学校读者我要写书评

暂无评论

Autonomous Environmental Exploration and Target Tracking Control for Unmanned Surface Vehicles in Uncertain Environment

Autonomous Environmental Exploration and Target Tracking Con...

引用

IEEE International Conference on Real-time Computing and Robotics (RCAR)

作者： Kaiwei Zhu Shihan Kong Fang Wu Jinan Sun Junzhi Yu Department of Advanced Manufacturing and Robotics State Key Laboratory for Turbulence and Complex Systems College of Engineering Peking University Beijing China SPIC Nuclear Energy Co. Ltd. China National Engineering Research Center for Software Engineering Peking University Beijing China

ISBN: (数字)9798350372601

ISBN: (纸本)9798350372618

In this paper, a set of methods of autonomous obstacle exploration, avoiding, and target-tracking control in the uncertain environment is proposed. First, a secure and reliable obstacle exploration framework via multi-sensors information fusion is developed for USV to autonomously perceive obstacles in unknown environments. Second, a modified dynamic artificial potential field-based path planning method is proposed to dynamically generate a safe and feasible path even without complete prior obstacle position information. Third, a robust sliding mode control law with extended state observer is designed to track expectational target in the dynamical and uncertain environment. Finally, the target-tracking control law has been validated through the simulation experiments. Besides, the proposed methods of obstacle exploration, path planning, and target-tracking control are comprehensively evaluated through the simulation experiments in WEBOTS software, which is closer to the real world.

关键词： Target tracking Observers Path planning software Real-time systems Reliability Vehicle dynamics

来源：评论

学校读者我要写书评

暂无评论

Exploring Multi-Perspective Document Structures for News Discourse Profiling

IEEE Transactions on Audio, Speech and Language Processing

引用

IEEE Transactions on Audio, Speech and Language Processing 2025年 33卷 2349-2359页

作者： Hang Yang Dianbo Sui Yubo Chen Kang Liu Jun Zhao School of Faculty of Information Engineering and Automation Kunming University of Science and Technology Kunming China School of Computer Science and Software Engineering Harbin Institute of Technology Weihai China School of Artificial Intelligence University of Chinese Academy of Sciences Beijing China Key Laboratory of Cognition and Decision Intelligence for Complex Systems Institute of Automation Chinese Academy of Sciences Beijing China

Learning the discourse structures of news articles is vital for obtaining valuable structural information around main events, which has been shown useful for many natural language processing applications. This paper proposes the extraction of graphs explicitly representing the discourse structure, coreference structure, and semantic similarities within a document. Concept embeddings are then updated using a weighted combination of feature embeddings, modeled after capsule networks, and resulting in improved context-dependent representation of the content of each news article. Experimental tests on the NewsDiscourse dataset demonstrate the effectiveness of our proposed method.

关键词： Speech processing Routing Computational modeling Weapons Encoding Transformers Representation learning Natural language processing Context modeling Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Feature and Performance Comparison of FaaS Platforms

Feature and Performance Comparison of FaaS Platforms

引用

IEEE International Conference on software engineering and Service Sciences (ICSESS)

作者： Penghui Ma Peichang Shi Guodong Yi National Key Laboratory of Parallel and Distributed Processing College of Computer Science National University of Defense Technology Changsha China Key Laboratory of Software Engineering for Complex Systems College of Computer Science National University of Defense Technology Changsha China Xiangjiang Lab Changsha China School of Advanced Interdisciplinary Studies Hunan University Of Technology and Business Changsha China

With serverless computing offering more efficient and cost-effective application deployment, the diversity of serverless platforms presents challenges to users, including platform lock-in and costly migration. Moreover, due to the black box nature of function computing, traditional performance benchmarking methods are not applicable, necessitating new studies. This article presents a detailed comparison of six major public cloud function computing platforms and introduces a benchmarking framework for function computing performance. This framework aims to help users make comprehensive comparisons and select the most suitable platform for their specific needs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

科学研究的第五范式——以智能驱动的材料设计为例

引用

engineering 2023年第5期24卷 126-137,I0003,I0004页

作者： Can Leng Zhuo Tang Yi-Ge Zhou Zean Tian Wei-Qing Huang Jie Liu Keqin Li Kenli Li Science and Technology on Parallel and Distributed Processing Laboratory National University of Defense TechnologyChangsha 410073China Laboratory of Software Engineering for Complex Systems National University of Defense TechnologyChangsha 410073China National Supercomputing Center in Changsha Changsha 410082China College of Computer Science and Electronic Engineering Hunan UniversityChangsha 410082China Institute of Chemical Biology and Nanomedicine State Key Laboratory of Chemo/Biosensing and ChemometricsCollege of Chemistry and Chemical EngineeringHunan UniversityChangsha 410082China Department of Applied Physics School of Physics and ElectronicsHunan UniversityChangsha 410082China Department of Computer Science State University of New YorkNew PaltzNY 12561USA

科学正在进入一个新时代——第五范式——它被认为是知识整合到不同领域的主要特征,是基于无所不在的机器学习系统的计算社区中智能驱动的工作。在此,我们通过在天河一号超级计算机系统上构建的催化材料专门设计的典型平台案例,生动地... 详细信息

科学正在进入一个新时代——第五范式——它被认为是知识整合到不同领域的主要特征,是基于无所不在的机器学习系统的计算社区中智能驱动的工作。在此,我们通过在天河一号超级计算机系统上构建的催化材料专门设计的典型平台案例,生动地阐明了第五范式的本质,旨在促进第五范式在其他领域的培养。第五范式平台主要包括模型自动构建(原始数据提取)、指纹自动构建(神经网络特征选择)以及跨学科知识串联的重复迭代(“火山图”)。与分解一起进行的是对迭代中实现的体系结构的性能评估。通过讨论,第五范式的智能驱动平台可以极大地简化和改进研究中极其繁琐和具有挑战性的工作,并通过补偿机器学习中缺少样本和替代一些由于计算资源不足而导致的数值计算来实现数值计算与机器学习之间的相互反馈,从而加速探索过程。在数据驱动的学科中,跨学科专家的协同作用和对动态数据需求的急剧增长仍然是一个挑战。我们相信,对第五范式平台的一瞥可以为其在其他领域的应用铺平道路。

关键词：机器学习自动构建天河一号数据驱动神经网络动态数据知识整合科学研究

来源：评论

学校读者我要写书评

暂无评论

Dense Network-Based Spectral-Polarization Image Fusion: Multispectral Data Enhancement via Encoder-Decoder Approach 23

Dense Network-Based Spectral-Polarization Image Fusion: Mult...

引用

Proceedings of the 6th International Conference on Information Technologies and Electrical engineering

作者： Shahid Karim Geng Tong Jinyang Li Yiting Yu Muhammad Ibrar Faisal Mehmood Research & Development Institute of Northwestern Polytechnical University in Shenzhen College of Mechanical Engineering Key Laboratory of Micro/Nano Systems for Aerospace Ministry of Education and Shaanxi Province Key Laboratory of Micro and Nano Electro-Mechanical Systems Northwestern Polytechnical University China Software College Shenyang Normal University China School of Electronic and Computer Engineering Peking University ShenZhen Graduate School China

ISBN: (纸本)9798400708299

Images are obtained by perceiving the sunlight reflected by objects or scenes, and due to limited solar irradiance, spatial resolution certainly decreases. In contrast, multispectral sensors hold the spatial information of ground objects even though the obtained images only have a few bands, which means that the obtained images have high spatial but insufficient spectral resolution. To overcome these limitations, we have developed a spectral and polarization image fusion technique that improves several perspectives of image fusion, such as intensity, edges, textures, and substantial information. Our proposed method utilizes an encoder-decoder approach, which contains dense and convolutional blocks to simulate the source images. The polarization images have been used to develop DoLP images that help to improve fused images’ quality. We can perceive the visual quality of fused images from the experimental results.

关键词： Dense module Image fusion Polarization images Spectral images

来源：评论

学校读者我要写书评

暂无评论

CAMO: A High-Performance CIM-based Lightweight CNN Accelerator for Mobile Devices

CAMO: A High-Performance CIM-based Lightweight CNN Accelerat...

引用

IEEE International Symposium on Circuits and systems (ISCAS)

作者： Xin Ju Renyu Yang Mei Wen Junzhong Shen Tianyu Wang Zhaoyan Shen Zili Shao Bin Liang Key Laboratory of Advanced Microprocessor Chips and Systems National University of Defense Technology Changsha China College of Computer Science and Software Engineering Shenzhen University Shenzhen China School of Computer Science and Technology Shandong University China Department of Computer Science and Engineering The Chinese University of Hong Kong Hong Kong China

ISBN: (数字)9798350356830

ISBN: (纸本)9798350356847

Digital Compute-in-Memory (CIM) macros revolutionize the Von Neumann architecture by significantly reducing data movements between CPU and memory. However, when dealing with lightweight CNNs with various convolution types, existing GEMM (general matrix multiplication)-oriented solutions suffer from underutilization and large activation traffic, leading to unsatisfied energy and area efficiencies. In this context, we propose CAMO, in which the key contributions are: (1) A novel convolution mapping mechanism suitable for CIM macros, that maximizes data reuse and reduces activation traffic. (2) A convolution-capable CIM macro, that also supports small-scale GEMM. (3) A CIM-based architecture that supports multiple computing modes. The experimental results show that CAMO achieves up to 31.49× performance speedup and 77.5% activation traffic reduction compared to the baseline architecture.

关键词： Performance evaluation Convolution Circuits and systems computer architecture In-memory computing Common Information Model (computing) Mobile handsets Central Processing Unit Adders

来源：评论

学校读者我要写书评

暂无评论

Designing Consensus-Based Distributed Filtering over Directed Graphs

arXiv

引用

arXiv 2024年

作者： Lyu, Xiaoxu Wen, Guanghui Lv, Yuezu Duan, Zhisheng Shi, Ling Department of Electronic and Computer Engineering Hong Kong University of Science and Technology Clear Water Bay Kowloon Hong Kong Department of Systems Science School of Mathematics Southeast University Nanjing211189 China MIIT Key Laboratory of Complex-field Intelligent Sensing Beijing Institute of Technology Beijing100081 China State Key Laboratory for Turbulence and Complex Systems Department of Mechanics and Engineering Science College of Engineering Peking University Beijing100871 China

This paper proposes a novel consensus-on-only-measurement distributed filter over directed graphs under the collectively observability condition. First, the distributed filter structure is designed with an augmented leader-following measurement fusion strategy. Subsequently, two parameter design methods are presented, and the consensus gain parameter is devised utilizing local information exclusively rather than global information. Additionally, the lower bound of the fusion step is derived to guarantee a uniformly upper bound of the estimation error covariance. Moreover, the lower bounds of the convergence rates of the steady-state performance gap between the proposed algorithm and the centralized filter are provided with the fusion step approaching infinity. The analysis demonstrates that the convergence rate is, at a minimum, as rapid as exponential convergence under the spectral norm condition of the communication graph. The transient performance is also analyzed with the fusion step tending to infinity. The inherent trade-off between the communication cost and the filtering performance is revealed from the analysis of the steady-state performance and the transient performance. Finally, the theoretical results are substantiated through the validation of two simulation examples. Copyright © 2024, The Authors. All rights reserved.

关键词： Wiener filtering

来源：评论

学校读者我要写书评

暂无评论

Modeling Neural Networks Training Process with Markov Decision Process 2

Modeling Neural Networks Training Process with Markov Decisi...

引用

2nd International Conference on Artificial Intelligence and computer engineering, ICAICE 2021

作者： Bai, Yantao Liu, Wanwei Mao, Xinjun Liang, Zhen National University of Defense Technology Key Laboratory of Software Engineering for Complex Systems Changsha China College of Computer Science National University of Defense Technology Changsha China Institute for Quantum Information National University of Defense Technology State Key Laboratory of High Performance Computing Changsha China

ISBN: (纸本)9781665421867

With the development of computer technology, statistics-based machine learning method has made great break-throughs, and also improved the development of artificial intelligence. Nevertheless, as a very influential model, neural networks are still treated as 'black boxes'. The results of neural networks are extremely sensitive to the training samples, which lead to great challenges to the controllability of the algorithm. With the wide application of machine learning, demand for interpretability and controllability of neural networks algorithms is increasing. As a result, various scholars have tried to explain and verify neural networks algorithms based on formal methods in recent years. In this paper, a method (called MNNTP) is presented to model the training process of neural networks by using a Markov decision process (MDP). Through MNNTP, the neural networks are abstracted into the form of MDP, which makes notable contributions for verifying some mathematical properties of the neural networks. © 2021 IEEE.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

Generating Targeted Universal Adversarial Perturbation against Automatic Speech Recognition via Phoneme Tailoring

Generating Targeted Universal Adversarial Perturbation again...

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： Yujun Zhang Yanqu Chen Jiakai Wang Jin Hu Renshuai Tao Xianglong Liu State Key Laboratory of Complex & Critical Software Environment Beihang University China School of Computer Science and Engineering Beihang University China College of Computer Science Beijing University of Technology China Zhongguancun Laboratory China School of Computer and Information Technology Beijing Jiaotong University China Institute of Data Space Hefei Comprehensive National Science Center China

ISBN: (数字)9798350368741

ISBN: (纸本)9798350368758

There is a growing concern about adversarial attacks against automatic speech recognition (ASR) systems. Although research into targeted universal adversarial examples (AEs) has progressed, current methods are constrained by inefficient exploitation of audio features, demonstrating insufficient attack ability and robustness in the physical world. To solve this problem, we propose a phoneme-tailored attack (PTA) to improve the quality of the generated AEs. Specifically, to improve attack ability, we propose a Diverse Audio Composition Enrichment method, which enhances the utilization of audio features through phoneme-level slicing and recombination. To adapt AEs to complex environments, we propose a Natural Noise Pattern Guidance method to align AEs with natural noise patterns to improve their robustness. Experiments show that our method achieves an average accuracy of more than 72.34% and 98% with and without a norm constraint, and also demonstrates excellent performance in terms of generalization across datasets and resilience to MP3 compression.

关键词： Accuracy Target recognition Perturbation methods Noise Robustness Acoustics Speech processing Digital audio players Automatic speech recognition Resilience

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：