检索结果-南通市图书馆

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

Application Specified Soft-Error Failure Rate Analysis Using Sequential Equivalence Checking Techniques

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2020年第1期25卷 103-116页

作者： tun li Qinhan Yu Hai Wan Sikun li School of Computer Science National University of Defense TechnologyChangsha 410073China the Laboratory of Software Engineering for Complex Systems National University of Defense TechnologyChangsha 410073China. School of Software Tsinghua UniversityBeijing 100084China

Soft errors have become a critical challenge as a result of technology scaling. Existing circuit-hardening techniques are commonly associated with prohibitive overhead of performance, area, and power. However,evaluating the influence of soft errors in Flip-Flops(FFs) on the failure of circuit is a difficult verification ***, we proposed a novel flip-flop soft-error failure rate analysis methodology using a formal method with respect to application behaviors. Approach and optimization techniques to implement the proposed methodology based on the given formula using Sequential Equivalence Checking(SEC) are introduced. The proposed method combines the advantage of formal technique-based approaches in completeness and the advantage of application behaviors in accuracy to differentiate vulnerability of components. As a result, the FFs in a circuit are sorted by their failure rates, and designers can use this information to perform optimal hardening of selected sequential components against soft errors. Experimental results of an implementation of a SpaceWire end node and the largest ISCAS’89 benchmark sequential circuits indicate the feasibility and potential scalability of our approach. A case study on an instruction decoder of a practical 32-bit microprocessor demonstrates the applicability of our method.

关键词： soft error failure rate analysis Sequential Equivalence Checking(SEC) application specified

Equivalent damping of SDOF structure with Maxwell damper

在线全文

学校读者我要写书评

暂无评论

Earthquake Engineering and Engineering Vibration 2018年第3期17卷 627-639页

作者： li Chuangdi li tun Ban Dingwei Ge Xinguang School of Civil Engineering Guangxi University of Science and Technology

To predict the maximum earthquake response of an SDOF structure with a Maxwell fluid damper or supplemental brace-viscous damper system using the seismic design response spectrum technique,a new approach is presented to determine the first-and second-order equivalent viscous damping and stiffness,the peak responses,and the damper force of the above *** on the fact that the dynamic characteristics of a general linear viscoelastically damped structure are fully determined by its free vibration properties and the relaxation time constants of a Maxwell fluid damper and supplemental brace-viscous damper system in engineering practice are all small,the method of improved multiple time scales and the equivalent criterion in which all free vibration properties are the same are used to obtain the first-and second-order equivalent viscous damping and stiffness of the above structure in closed *** accuracy of the proposed method is higher and significantly better than that of the modal strain energy ***,in the parametric range of the requirements of the Chinese ＂Code for Seismic Design of Buildings＂,the error of the proposed second-order equivalent system for the abovementioned engineering structure is not more than 0.5%.

关键词： Maxwell damper supplemental brace-viscous damper system equivalent viscous damping response spectrum method maximum response of damper force

ICS-SVM:A user retweet prediction method for hot topics based on improved SVM

在线全文

学校读者我要写书评

暂无评论

Digital Communications and Networks 2022年第2期8卷 186-193页

作者： Tianji Dai Yunpeng Xiao Xia liang Qian li tun li School of Software Engineering Chongqing University of Posts and TelecommunicationsChongqing400065China

In social networks,many complex factors affect the prediction of user forwarding *** paper proposes an improved SVM prediction method for user forwarding behavior of hot topics to improve prediction ***,we consider that the improved Cuckoo Search algorithm can select the optimal penalty parameters and kernel function parameters to optimize the SVM and thus predict the user's forwarding ***,this paper considers the factors that affect the user forwarding behavior comprehensively from the user's own factors and external ***,based on the characteristics of the user's forwarding behavior changing over time,the time-slicing method is used to predict the trend of hot *** show that the method can accurately predict the user's forwarding behavior and can sense the trend of hot topics.

关键词： Cuckoo search algorithm Support vector machine Hot topic User behavior prediction

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

Software testing without the oracle correctness assumption

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2020年第3期14卷 221-224页

作者： tun li Wanwei liU Xinrui GUO Ji WANG School of Computer National University of Defense TechnologyChangsha 410073China Laboratory of Software Engineering for Complex Systems Changsha 410073China Microsoft STCA Beijing 100080China

1 Introduction When testing programs,the oracle correctness assumption(OCA)implies that there are no errors in the test oracles,such as the expected outputs are always correctly designed and written in unit testing ***'s work[1]is the first piece of work that investigated the influences on fault localization caused by errors in test oracles and proposed a method to identify potential incorrect ***,no systematic discussions are availed.

关键词： oracle testing Software

A malware propagation prediction model based on representation learning and graph convolutional networks

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Digital Communications and Networks 2023年第5期9卷 1090-1100页

作者： tun li Yanbing liu Qilie liu Wei Xu Yunpeng Xiao Hong liu College of Computer Science and Technology Chongqing University of Posts and TelecommunicationsChongqing400065China

The traditional malware research is mainly based on its recognition and detection as a breakthrough point,without focusing on its propagation trends or predicting the subsequently infected *** complexity of network structure,diversity of network nodes,and sparsity of data all pose difficulties in predicting *** paper proposes a malware propagation prediction model based on representation learning and Graph Convolutional Networks(GCN)to address the aforementioned ***,to solve the problem of the inaccuracy of infection intensity calculation caused by the sparsity of node interaction behavior data in the malware propagation network,a mechanism based on a tensor to mine the infection intensity among nodes is proposed to retain the network structure *** influence of the relationship between nodes on the infection intensity is also ***,given the diversity and complexity of the content and structure of infected and normal nodes in the network,considering the advantages of representation learning in data feature extraction,the corresponding representation learning method is adopted for the characteristics of infection intensity among *** can efficiently calculate the relationship between entities and relationships in low dimensional space to achieve the goal of low dimensional,dense,and real-valued representation learning for the characteristics of propagation spatial *** also design a new method,Tensor2vec,to learn the potential structural features of malware ***,considering the convolution ability of GCN for non-Euclidean data,we propose a dynamic prediction model of malware propagation based on representation learning and GCN to solve the time effectiveness problem of the malware propagation *** experimental results show that the proposed model can effectively predict the behaviors of the nodes in the network and discover the influence of different characteristics of nodes on the mal

关键词： Malware Representation learning Graph convolutional networks(GCN) Tensor decomposition Propagation prediction

在线全文

学校读者我要写书评

暂无评论

片上系统高层等价性检验研究进展

计算机辅助设计与图形学学报 2016年第3期28卷 371-380页

作者：胡健李暾李思昆国防科学技术大学计算机学院长沙410073

针对近年来SoC领域的工作,首先分析了高层等价性检验的难点;然后从算法类型归类角度对各种高层等价性检验方法进行了概述评论,同时分析了各类算法的优缺点和现有算法的主要技术手段;最后讨论了SoC高层等价性检验方法目前面临的挑战,并... 详细信息

针对近年来SoC领域的工作,首先分析了高层等价性检验的难点;然后从算法类型归类角度对各种高层等价性检验方法进行了概述评论,同时分析了各类算法的优缺点和现有算法的主要技术手段;最后讨论了SoC高层等价性检验方法目前面临的挑战,并对该领域今后的研究方向进行了展望.

关键词：等价性检验带数据通路的有限状态机符号模拟形式化方法

在线全文

学校读者我要写书评

暂无评论

形式化等价性检查指导的软错误敏感点筛选

计算机辅助设计与图形学学报 2011年第3期23卷 465-470页

作者：朱丹李暾李思昆国防科学技术大学计算机学院长沙410073

由于经典的基于故障模拟的软错误可靠性分析方法不完备,而已有的基于形式化技术的方法虽然完备却又需要经验和专家支持.为此,提出一种由故障传播特征和等价性检查技术指导的软错误可靠性分析方法.首先提出故障传播时序依赖图,并利用它... 详细信息

由于经典的基于故障模拟的软错误可靠性分析方法不完备,而已有的基于形式化技术的方法虽然完备却又需要经验和专家支持.为此,提出一种由故障传播特征和等价性检查技术指导的软错误可靠性分析方法.首先提出故障传播时序依赖图,并利用它来提取软错误的传播行为特征;然后基于得到的故障传播行为特征对时序单元发生软错误后的电路与原电路进行等价性检查,以识别电路中对软错误敏感的时序单元.实验结果表明,文中方法不仅可以筛选出电路中所有的软错误敏感点,还可以用于检测容错逻辑的有效性.

关键词：软错误可靠性分析时序等价性检查