检索结果-南通市图书馆

Post-layout simulation driven analog circuit sizing

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第4期67卷 289-300页

作者： Xiaohan GAO Haoyi zHANG Siyuan YE Mingjie LIU David z.pan Linxiao SHEN Runsheng WANG Yibo LIN Ru HUANG School of Integrated Circuits Peking University School of Computer Science Peking University Department of Electrical and Computer Engineering University of Texas at Austin Institute of Electronic Design Automation Peking University

Post-layout simulation provides accurate guidance for analog circuit design, but post-layout performance is hard to be directly optimized at early design stages. Prior work on analog circuit sizing often utilizes pre-layout simulation results as the optimization objective. In this work, we propose a post-layoutsimulation-driven(post-simulation-driven for short) analog circuit sizing framework that directly optimizes the post-layout simulation performance. The framework integrates automated layout generation into the optimization loop of transistor sizing and leverages a coupled Bayesian optimization algorithm to search for the best post-simulation performance. Experimental results demonstrate that our framework can achieve over 20% better post-layout performance in competitive time than manual design and the method that only considers pre-layout optimization.

关键词： analog EDA transistor sizing Bayesian optimization post-layout simulation

Local closed world reasoning:a personal view on current status and trends

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of zhejiang University-Science C(Computers and Electronics) 2012年第4期13卷 250-252页

作者： Jeff z.pan Department of Computing Science University of Aberdeen

1 Introduction In computer science and artificial intelligence,an ontology is a model of (some aspect of) the world that introduces the vocabulary of a particular domain,and specifies the meaning (semantics) of ***'s ontologies are based on the description logics (DLs).With the help of DL reasoners,implicit knowledge can be inferred from explicit knowledge in an *** from the relational database or logic programming,ontologies impose the open world assumption (OWA) instead of the closed world assumption (CWA).In CWA,a proposition will be regarded as false,if there is no evidence for it being *** in OWA,a proposition will be regarded as false if and only if there is *** for it being *** two assumptions seem to contradict with each ***,in real world applications,it is usually desired to combine OWA and *** example,a restaurant should not close the class ‘Vegetarian Customer’ because whether a new customer is vegetarian or not is unknown to the restaurant unless explicitly asserted by the ***,it can close the class ‘Vegetarian Food Menu’ because it has the complete knowledge about its own *** raises the challenge of doing local closed world reasoning (LCWR) with *** the following sections of this extended abstract,we review the state of the art regarding this *** also propose several emerging topics in this research area and discuss possible technical directions.

关键词：封闭世界假设推理机局部封闭知识本体计算机科学关系数据库人工智能描述逻辑

Finding Data Tractable Description Logics for Computing a Minimum Cost Diagnosis Based on ABox Decomposition

在线全文

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2010年第6期15卷 623-632页

作者：杜剑峰漆桂林 Jeff z.pan Guangdong University of Foreign Studies State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences School of Computer Science and Engineering Southeast University Department of Computing Science the University of Aberdeen

Ontology diagnosis, a well-known approach for handling inconsistencies in a description logic （DL） based ontology, computes a diagnosis of the ontology, i.e., a minimal subset of axioms in the ontology whose removal restores consistency. However, ontology diagnosis is computationally hard, especially computing a minimum cost diagnosis （MCD） which is a diagnosis such that the sum of the removal costs attached to its axioms is minimized. This paper addresses this problem by finding data tractable DLs for computing an MCD which allow computing an MCD in time polynomial in the size of the ABox of a given ontology. ABox decomposition is used to find a sufficient and necessary condition to identify data tractable DLs for computing an MCD under the unique name assumption （UNA） among all fragments of that are at least as expressive as without inverse roles. The most expressive, data tractable DL identified is without inverse roles or qualified existential restrictions.

关键词： ontology diagnosis minimum cost diagnosis description logics data tractability

Design for manufacturability and reliability in extreme-scaling VLSI

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2016年第6期59卷 96-118页

作者： Bei YU Xiaoqing XU Subhendu ROY Yibo LIN Jiaojiao OU David z.pan CSE Department The Chinese University of Hong Kong ECE Department University of Texas at Austin Cadence Design Systems Inc.

In the last five decades, the number of transistors on a chip has increased exponentially in accordance with the Moore’s law, and the semiconductor industry has followed this law as long-term planning and targeting for research and development. However, as the transistor feature size is further shrunk to sub-14 nm nanometer regime, modern integrated circuit(IC) designs are challenged by exacerbated manufacturability and reliability issues. To overcome these grand challenges, full-chip modeling and physical design tools are imperative to achieve high manufacturability and reliability. In this paper, we will discuss some key process technology and VLSI design co-optimization issues in nanometer VLSI.

关键词： design for manufacturability design for reliability VLSI CAD

A Knowledge Graph Based Approach to Social Science Surveys

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Data Intelligence 2021年第4期3卷 477-506页

作者： Jeff z.pan Elspeth Edelstein Patrik Bansky Adam Wyner School of Informatics University of EdinburghEdinburgh EH89YLUK Department of Computing Science University of AberdeenAberdeen AB243FXUK School of Language LiteratureMusic and Visual CultureUniversity of AberdeenAberdeen AB243FXUK School of Law and Department of Computer Science Swansea UniversitySwanseaWest Glamorgan SA28PPUK

Recent success of knowledge graphs has spurred interest in applying them in open science,such as on intelligent survey systems for ***,efforts to understand the quality of candidate survey questions provided by these methods have been ***,existing methods do not consider the type of on-the-fly content planning that is possible for face-to-face surveys and hence do not guarantee that selection of subsequent questions is based on response to previous questions in a *** address this limitation,we propose a dynamic and informative solution for an intelligent survey system that is based on knowledge *** illustrate our proposal,we look into social science surveys,focusing on ordering the questions of a questionnaire component by their level of acceptance,along with conditional triggers that further customise participants’*** main findings are:(i)evaluation of the proposed approach shows that the dynamic component can be beneficial in terms of lowering the number of questions asked per variable,thus allowing more informative data to be collected in a survey of equivalent length;and(ii)a primary advantage of the proposed approach is that it enables grouping of participants according to their responses,so that participants are not only served appropriate follow-up questions,but their responses to these questions may be analysed in the context of some initial *** believe that the proposed approach can easily be applied to other social science surveys based on grouping definitions in their *** knowledge-graph-based intelligent survey approach proposed in our work allows online questionnaires to approach face-to-face interaction in their level of informativity and responsiveness,as well as duplicating certain advantages of interview-based data collection.

关键词： Intelligent survey system Dynamic and informative system Knowledge graph Linguistic grammaticality judgements

Challenges and opportunities toward fully automated analog layout design

在线全文

学校读者我要写书评

暂无评论

Journal of Semiconductors 2020年第11期41卷 71-80页

作者： Hao Chen Mingjie Liu Xiyuan Tang Keren zhu Nan Sun David z.pan Department of Electrical and Computer Engineering The University of Texas at AustinAustin 78712USA

Realizing the layouts of analog/mixed-signal(AMS)integrated circuits(ICs)is a complicated task due to the high design flexibility and sensitive circuit *** with the advancements of digital IC layout automation,analog IC layout design is still heavily manual,which leads to a more time-consuming and error-prone *** recent years,significant progress has been made in automated analog layout design with emerging of several open-source *** paper firstly reviews the existing state-of-the art AMS layout synthesis frameworks with focus on the different approaches and their individual *** then present recent research trends and opportunities in the ***,we summaries the paper with open questions and future directions for fully-automating the analog IC layout.

关键词： VLSI integrated circuit ASIC EDA analog ic design physical design

Knowledge extraction from Chinese wiki encyclopedias

在线全文

学校读者我要写书评

暂无评论

Journal of zhejiang University-Science C(Computers and Electronics) 2012年第4期13卷 268-280页

作者： zhi-chun WANG zhi-gang WANG Juan-zi LI Jeff z.pan Department of Computer Science and Technology Tsinghua UniversityBeijing 100084China Department of Computer Science University of AberdeenAberdeen AB243UEUK

The vision of the Semantic Web is to build a 'Web of data' that enables machines to understand the semantics of information on the *** Linked Open Data(LOD) project encourages people and organizations to publish various open data sets as Resource Description Framework(RDF) on the Web,which promotes the development of the Semantic *** various LOD datasets,DBpedia has proved a successful structured knowledge base,and has become the central interlinking-hub of the Web of data in ***,in the Chinese language,there is little linked data published and linked to *** hinders the structured knowledge sharing of both Chinese and cross-lingual *** paper deals with an approach for building a large-scale Chinese structured knowledge base from Chinese wiki resources,including Hudong and Baidu *** proposed approach first builds an ontology based on the wiki category system and infoboxes,and then extracts instances from wiki *** Hudong as our source,our approach builds an ontology containing 19 542 concepts and 2381 properties.802 593 instances are extracted and described using the concepts and properties in the extracted ontology and 62 679 of them are linked to equivalent instances in *** from Baidu Baike,our approach builds an ontology containing 299 concepts,37 object properties,and 5590 data type properties.1 319 703 instances are extracted from Baidu Baike,and 84 343 of them are linked to instances in *** provide RDF dumps and SPARQL endpoint to access the established Chinese knowledge *** knowledge bases built using our approach can be used not only in Chinese linked data building,but also in many useful applications of large-scale knowledge bases,such as question-answering and semantic search.

关键词： Semantic Web Linked Data Ontology Knowledge base

在线全文

学校读者我要写书评

暂无评论

MSRD:多模态网络谣言检测方法

计算机研究与发展 2020年第11期57卷 2328-2336页

作者：刘金硕冯阔 Jeff z.pan 邓娟王丽娜空天信息安全与可信计算教育部重点实验室武汉大学国家网络安全学院武汉430072 阿伯丁大学苏格兰阿伯丁AB243FX

图像和文本相结合的多模态网络谣言由于更具迷惑性和煽动性,对国家安全和社会稳定的危害性更严重.目前网络谣言检测工作充分考虑了谣言中配文的文本内容而忽略了图像内容以及图像中的内嵌文本内容,因此,提出了一种基于深度神经网络针对... 详细信息

图像和文本相结合的多模态网络谣言由于更具迷惑性和煽动性,对国家安全和社会稳定的危害性更严重.目前网络谣言检测工作充分考虑了谣言中配文的文本内容而忽略了图像内容以及图像中的内嵌文本内容,因此,提出了一种基于深度神经网络针对图像、图像内嵌文本以及配文文本内容的多模态网络谣言检测方法MSRD.该方法使用VGG-19网络提取图像内容特征,使用DenseNet提取图像内嵌文本内容,使用LSTM网络提取文本内容特征,与图像特征串接后,通过完全连接层获取图像与文本共享表示的均值与方差向量,借助从高斯分布中采样的随机变量以形成重新参数化的多模态特征并作为谣言检测器的输入进行谣言检测.实验表明:该方法在Twitter和微博两大数据集上达到了68.5%和79.4%的准确率.

关键词：多模态谣言检测图像内嵌文本自然语言处理深度神经网络

Generative Learning in VLSI Design for Manufacturability: Current Status and Future Directions

在线全文

学校读者我要写书评

暂无评论

Journal of Microelectronic Manufacturing 2019年第4期2卷 1-12页

作者： Mohamed Baker Alawieh Yibo Lin Wei Ye David z.pan Electrical and Computer Engineering University of Texas at AustinAustinUSA78712 School of Electronics Engineering and Computer Science Peking UniversityBeijingChina100871

With the continuous scaling of integrated circuit technologies,design for manufacturability(DFM)is becoming more critical,yet more ***,recent advances in machine learning have provided a new computing paradigm with promising applications in VLSI *** particular,generative learning-regarded among the most interesting ideas in present-day machine learning-has demonstrated impressive capabilities in a wide range of *** paper surveys recent results of using generative learning in VLSI manufacturing modeling and ***,we examine the unique features of generative learning that have been leveraged to improve DFM efficiency in an unprecedented way;hence,paving the way to a new data-driven DFM *** state-of-the-art methods are presented,and challenges/opportunities are discussed.

关键词： Design for Manufacturability Generative Learning Machine Learning Lithography