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

A novel intelligent verification platform based on a structured analysis model

science China(Information sciences) 2013年第6期56卷 167-180页

作者： XIE Zheng WANG XinAn LIAN ZhiBin LUO YongGui HU ZiYi Key Laboratory of Integrated Micro-system Science and Engineering Applications Peking University Shenzhen Graduate School EDA Center of Chinese Academy of Sciences

An intelligent verification platform based on a structured analysis model is *** an abstract model mechanism with specific signal interfaces for user callback,the unified structured analysis data,shared by the electronic system level design,functional verification,and performance evaluation,enables efficient management review,auto-generation of code,and modeling in the transaction *** introduce the class tree,flow parameter diagram,structured flow chart,and event-driven finite state machine as structured analysis *** a sand table to carry maps from different perspectives and levels via an engine,this highly reusable platform provides the mapping topology to search for unintended consequences and the graph theory for comprehensive coverage and smart test *** results show that the engine generates efficient test sequences,with a sharp increase in coverage for the same vector count compared with a random test.

关键词： intelligent verification platform verification automation structured analysis model mapping topology graph theory algorithm

来源：评论

学校读者我要写书评

暂无评论

CS/Gel/MWCNTs Conductive Scaffolds Assisted by Electrical Stimulus for Skin Tissue engineering

引用

Biotechnology and Bioengineering 2025年 2025 May 15页

作者： Liu, Zixian Ma, Zijun Li, Nini Zhang, Jinyao Li, Meng Han, Lu Cheng, Rong Shen, Zhizhong Han, Dan Sang, Shengbo Shanxi Key Laboratory of Artificial Intelligence & Micro Nano Sensors College of Integrated Circuits Taiyuan University of Technology Shanxi Province Taiyuan China Key Lab of Advanced Transducers and Intelligent Control System of the Ministry of Education Taiyuan University of Technology Shanxi Province Taiyuan China College of chemistry and chemical Engineering North University of china Shanxi Province Taiyuan China Shanxi Research Institute of 6D Artificial Intelligence Biomedical Science Shanxi Province Taiyuan China

Hydrogel scaffolds show high potential in tissue engineering due to excellent mechanical properties and biocompatibility. However, an inherent lack of conductivity limits its application in areas requiring electrical stimulation. To address this issue, chitosan (CS)/gelatin (Gel) scaffolds were prepared with various concentrations of multi-walled carbon nanotubes (MWCNTs). Results indicated that MWCNT incorporation significantly improved both the electrical conductivity and mechanical strength of the scaffolds, with the CS/Gel/0.3% MWCNTs scaffold demonstrating superior biocompatibility compared to other formulations. Additionally, fibroblasts seeded onto the scaffolds responded positively to electrical stimulation, showing increased proliferation and elevated expression of type I and type III collagen. These findings highlight the potential of CS/Gel/MWCNTs scaffolds to enhance wound healing in skin tissue engineering. © 2025 Wiley Periodicals LLC.

关键词： Fiber bonding

来源：评论

学校读者我要写书评

暂无评论

GALS Architecture of H.264 Video Encoding system on DN-DualV6-PCIe-4 FPGA Platform

GALS Architecture of H.264 Video Encoding System on DN-DualV...

引用

2012 IEEE 11th International Conference on Signal Processing(ICSP 2012)

作者： Qihua Yang Teng Wang Xindong Su Lijia Wang Xin'an Wang Key Lab of Integrated Micro-Systems Science Engineering and Applications Peking University Shenzhen Graduate School

ISBN: (纸本)9781467321969

To manage the increasing complexity of modern digital systems, Globally-Asynchronous Locally-Synchronous (GALS) is considered a promising solution, which is now widely adopted in large FPGA designs. The GALS methodology can effectively maximize the performance-power-ratio of the electronic system along with great reuse capability. With multiple clock domains in a GALS system, the accuracy with data transmission between different clock domains counts for a lot. In this paper, a GALS architecture of H.264 video encoding system is implemented on the DN-DualV6-PCIe-4 FPGA platform from the Dini Group. The data rate conversion module among different clock domains is designed with a stream controller and asynchronous FIFOs, in which gray code is applied to avoid metastability. The experiment results show the correctness and effectiveness of the proposed implementation. Furthermore, the proposed GALS scheme can be applied as a configurable architecture for more complicated applications.

关键词： GALS H.264 video encoding FPGA prototyping data rate conversion

来源：评论

学校读者我要写书评

暂无评论

The design and implementation of a reconfigurable convolution operator based on APU

The design and implementation of a reconfigurable convolutio...

引用

2017 China Semiconductor Technology International Conference, CSTIC 2017

作者： Huang, Yuqian Huang, Jipan Wang, Xin'an Yang, Zhiqiang Lu, Haifang Tian, Miren Key Laboratory of Integrated Micro-System Science and Engineering Applications Peking University Shenzhen Graduate School China

ISBN: (纸本)9781509066940

In order to achieve fast IC design, reduce development cycle and cost, key lab. of integrated microsystems in Peking University proposed Array Processing for Unification Architecture(APU) which consists of four kinds of operators: computation, data path, control and MEM operators to replace the configurable logic block in current FPGA fabric. In this paper, a reconfigurable convolution operator based on APU, is presented which is used to convolutional neural network computing. The reconfigurable convolution operator is with more coarse-grain and function changeable than APU. And the process of operator synthesis is verified by simulation-based verification and formal verification separately. With the verification method proposed in this paper, certainty and completeness have been achieved. The results show that compared with the hardware design at the cost of resources based APU, this methodology can obtain hardware of suitable performance with regular structure with the cost of 34.08% less area and 25.26% lower power. © 2017 IEEE.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

A high-level description method of digital IC based on dataow driven operators

引用

Journal of Computational Information systems 2014年第15期10卷 6347-6361页

作者： Yong, Shanshan Wang, Xin'an Xie, Zheng Guo, Zhaoyang Key Lab of Integrated Micro-system Science and Engineering Applications Peking University Shenzhen Graduate School Shenzhen China

In this paper we propose a high-level description method of digital IC based on a new collection of circuit components, dataow driven operators (DFDOs), to short time-to-market with fewer costs. The complex period precision control design in synchronous digital IC, which requires most of design and verification effort, is replaced by the design of dataow that exists in original algorithm and circuit system architecture according to this method which is easily and effciently implementable. The synchronization problem is solved through the synchronization logic circuit, which implements handshake protocol instead of global synchronous clock, inside of each DFDO. DFDO is classified as four kinds, which are soundness to support all digital IC design as a new collection of circuit components like standard cells, and they are computation DFDO, datapath DFDO, controller DFDO and memory DFDO. A high-level abstract language APU C which combines ANSI C and verilog to do the dataow design is also proposed which is subject to higher design effciency with less code amount and verification effort. To fully quantify this method and the performance of circuits designed by this method, a 512-point radix-2 fixed-point FFT is presented. The result shows that our work has a comparable performance on area, speed and power. © 2014 Binary Information Press

关键词： Timing circuits

来源：评论

学校读者我要写书评

暂无评论

A Study on Sleep Position Recognition of Body Pressure Image based on KPCA and SVM

A Study on Sleep Position Recognition of Body Pressure Image...

引用

2019 IEEE International Conference on Power, Intelligent Computing and systems, ICPICS 2019

作者： Liu, Zhong Wang, Xin'an Le, Yang Sun, Jone School of Electronics Engineering and Computer Science Peking University China Key Laboratory of Integrated Micro-System Science and Engineering Applications Peking University Shenzhen Graduate School Shenzhen China IFutureLab Inc. United States

ISBN: (纸本)9781728137209

Sleep is an important part of life, and sleep position recognition is an important indicator which reflects sleep quality, warns diseases and prevents pressure sores. Actually, sleep quality is usually related to the body pressure, which affects muscle comfort and blood circulation during sleep. However, in order to regulate the body pressure, one vital step is to recognize the sleep position. Body pressure is a common indicator of the recognition of sleep position. This investigation put forward a body pressure recognition method combining with kernel principal component analysis (KPCA) and support vector machine. The feature extraction based on KPCA can well solve the nonlinear separable problems as well as dimension reduction processing of PCA, and reduce the system's complexity. Compared with the image recognition method and computer vision recognition method, it realized a higher recognition accuracy at a lower cost. Ultimately, the recognition accuracy of six common sleep positions reached 96.5%. © 2019 IEEE.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

A Method to Recognize Sleeping Position Using an CNN Model Based on Human Body Pressure Image

A Method to Recognize Sleeping Position Using an CNN Model B...

引用

2019 IEEE International Conference on Power, Intelligent Computing and systems, ICPICS 2019

作者： Liu, Zhong Wang, Xin'an Su, Mingliang Lu, Ken School of Electronics Engineering and Computer Science Peking University China Key Laboratory of Integrated Micro-System Science and Engineering Applications Peking University Shenzhen Graduate School Shenzhen China IFutureLab Inc. United States

ISBN: (纸本)9781728137209

Sleep is an important part of human life. Recognition of sleeping position is an important part of judging the quality of sleep, warning disease and prevention of pressure sores. At present, the body pressure is being used as a commonly method to recognize sleep gesture, and most of it is based on methods of extracting features, mainly based on local signs and global features. This paper proposes a deep learning method based on CNN deep learning method to deal with recognition of body pressure image. Compared with the previous methods, the method based on CNN neural network achieves higher accuracy of recognition at a lower cost and is suitable for complex application environments, which has good practical value. © 2019 IEEE.

关键词： Sleep research

来源：评论

学校读者我要写书评

暂无评论

Reconfigurable operators: New configuration logic blocks for novel FPGA

引用

Journal of Information and Computational science 2014年第12期11卷 4153-4166页

作者： Yong, Shanshan Wang, Xin'an Xie, Zheng Cao, Ying Key Lab. of Integrated Micro-System Science and Engineering Applications Peking University Shenzhen Graduate School Shenzhen China

For current FPGA architectures, the fine-grain programmable blocks are the most flexible ones. However, they bring in massive configuration bits-stream and much performance loss. In this paper, we propose new configuration logic blocks for the latest FPGA, a collection of Reconfigurable Operators (ReOps). A ReOp is a basic block which can process multiple bits data with a specific function set. Considering the flexibility and regularity, we divide ReOps into seven groups, which are arithmetic ReOps, shift ReOps, bitwise logic ReOps, Multiplier ReOps, Register ReOps, Multiplexer ReOps and Memory ReOps. The function set of ReOps is roundness for the arbitrary ASIC (Application Specific integrated Circuit) design. To build the development environment for this novel FPGA, we employ a new hardware design language and hardware compiler. To compare the performance between our work and other current FPGAs, we use configuration time and circuit delay as our evaluation measurements. And our experimental results show that our architecture achieves a great reduction on configuration bits-stream and comparable delay compared with Virtex5 FPGA. © 2014 Binary Information Press

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

A vision chip architecture for image recognition based on improved convolutional neural network

A vision chip architecture for image recognition based on im...

引用

IEEE Conference on Electron Devices and Solid-State Circuits

作者： Jijia Guo Xin'an Wang Jipan Huang Yue Tang Boyang Song Jipeng Liu Haifang Lu Zhiqiang Yang The Key Laboratory of Integrated Micro-system Science and Engineering Applications Peking University Shenzhen Graduate School Shenzhen China

ISBN: (纸本)9781509018314

In this paper, we propose a novel architecture of vision chip based on CNN (convolutional neural network) and improve the traditional LeNet-S algorithm. From the results of the experiment and performance, the accuracy of the proposed chip with LeNet-S increased to 97.29%. According to the characteristic of deep pipeline among independent layers of CNN, a 3-stage pipeline CCE (Convolutional Computing Element) is designed and also introduce the logical data flow in CCE array in detail. Finally the data compression and decompression circuit are added to the vision system to reduce the bandwidth of off-chip memory which is the highest cost in data transmission. The storage reduction is nearly to 30%, depending on the image processed.

关键词： Decision support systems Conferences Electron devices Solid state circuits Hafnium

来源：评论

学校读者我要写书评

暂无评论

DeePMD-kit v3: A Multiple-Backend Framework for Machine Learning Potentials

arXiv

引用

arXiv 2025年

作者： Zeng, Jinzhe Zhang, Duo Peng, Anyang Zhang, Xiangyu He, Sensen Wang, Yan Liu, Xinzijian Bi, Hangrui Li, Yifan Cai, Chun Zhang, Chengqian Du, Yiming Zhu, Jia-Xin Mo, Pinghui Huang, Zhengtao Zeng, Qiyu Shi, Shaochen Qin, Xuejian Yu, Zhaoxi Luo, Chenxing Ding, Ye Liu, Yun-Pei Shi, Ruosong Wang, Zhenyu Bore, Sigbjørn Løland Chang, Junhan Deng, Zhe Ding, Zhaohan Han, Siyuan Jiang, Wanrun Ke, Guolin Liu, Zhaoqing Lu, Denghui Muraoka, Koki Oliaei, Hananeh Singh, Anurag Kumar Que, Haohui Xu, Weihong Xu, Zhangmancang Zhuang, Yong-Bin Dai, Jiayu Giese, Timothy J. Jia, Weile Xu, Ben York, Darrin M. Zhang, Linfeng Wang, Han School of Artificial Intelligence and Data Science Unversity of Science and Technology of China Hefei China AI for Science Institute Beijing100080 China DP Technology Beijing100080 China Academy for Advanced Interdisciplinary Studies Peking University Beijing100871 China State Key Lab of Processors Institute of Computing Technology Chinese Academy of Sciences Beijing100871 China University of Chinese Academy of Sciences Beijing China Baidu Inc. Beijing China Department of Computer Science University of Toronto TorontoON Canada Department of Chemistry Princeton University PrincetonNJ08540 United States University of Chinese Academy of Sciences Beijing100871 China State Key Laboratory of Physical Chemistry of Solid Surfaces iChEM College of Chemistry and Chemical Engineering Xiamen University Xiamen361005 China College of Integrated Circuits Hunan University Changsha410082 China State Key Laboratory of Advanced Technology for Materials Synthesis and Processing Center for Smart Materials and Device Integration School of Material Science and Engineering Wuhan University of Technology Wuhan430070 China College of Science National University of Defense Technology Changsha410073 China Hunan Key Laboratory of Extreme Matter and Applications National University of Defense Technology Changsha410073 China ByteDance Research Beijing100098 China Ningbo Institute of Materials Technology and Engineering Chinese Academy of Sciences Ningbo315201 China College of Materials Science and Opto-Electronic Technology University of Chinese Academy of Sciences Beijing100049 China Key Laboratory of Theoretical and Computational Photochemistry of Ministry of Education College of Chemistry Beijing Normal University Beijing100875 China Department of Geosciences Princeton University PrincetonNJ08544 United States Department of Applied Physics and Applied Mathematics Columbia University New YorkNY10027 United States IKKEM Fujian Xiamen361005 China Graduate

In recent years, machine learning potentials (MLPs) have become indispensable tools in physics, chemistry, and materials science, driving the development of software packages for molecular dynamics (MD) simulations and related applications. These packages, typically built on specific machine learning frameworks such as TensorFlow, PyTorch, or JAX, face integration challenges when advanced applications demand communication across different frameworks. The previous TensorFlow-based implementation of DeePMD-kit exemplified these limitations. In this work, we introduce DeePMD-kit version 3, a significant update featuring a multi-backend framework that supports TensorFlow, PyTorch, JAX, and PaddlePaddle backends, and demonstrate the versatility of this architecture through the integration of other MLPs packages and of Differentiable Molecular Force Field. This architecture allows seamless backend switching with minimal modifications, enabling users and developers to integrate DeePMD-kit with other packages using different machine learning frameworks. This innovation facilitates the development of more complex and interoperable workflows, paving the way for broader applications of MLPs in scientific research. Copyright © 2025, The Authors. All rights reserved.

关键词： Molecular dynamics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：