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

Generating diverse clothed 3D human animations via a generative model

Computational Visual Media 2024年第2期10卷 261-277页

作者： Min Shi Wenke Feng Lin Gao Dengming Zhu School of Control and Computer Engineering North China Electric Power UniversityBeijing 102206China Institute of Computing Technology Chinese Academy of SciencesBeijing 100190China

Data-driven garment animation is a current topic of interest in the computer graphics *** approaches generally establish the mapping between a single human pose or a temporal pose sequence,and garment deformation,but it is difficult to quickly generate diverse clothed human *** address this problem with a method to automatically synthesize dressed human animations with temporal consistency from a specified human motion *** the heart of our method is a twostage ***,we first learn a latent space encoding the sequence-level distribution of human motions utilizing a transformer-based conditional variational autoencoder(Transformer-CVAE).Then a garment simulator synthesizes dynamic garment shapes using a transformer encoder-decoder *** the learned latent space comes from varied human motions,our method can generate a variety of styles of motions given a specific motion *** means of a novel beginning of sequence(BOS)learning strategy and a self-supervised refinement procedure,our garment simulator is capable of efficiently synthesizing garment deformation sequences corresponding to the generated human motions while maintaining temporal and spatial *** verify our ideas *** is the first generative model that directly dresses human animation.

关键词： Transformer garment animation conditional variational autoencoder(CVAE) computer graphics

来源：评论

学校读者我要写书评

暂无评论

Formal modelling of list based dynamic memory allocators

引用

Science China(Information Sciences) 2018年第12期61卷 81-96页

作者： Bin FANG Mihaela SIGHIREANU Geguang PU Wen SU Jean-Raymond ABRIAL Mengfei YANG Lei QIAO Shanghai Key Laboratory of Trustworthy Computing East China Normal University IRIF University Paris Diderot and CNRS School of Computer Engineering and Science Shanghai University Marseille Beijing Institute of Control Engineering

Existing implementations of dynamic memory allocators(DMA) employ a large spectrum of policies and techniques. The formal specifications of these techniques are quite complicated in isolation and very complex when combined. Therefore, the formal reasoning on a specific DMA implementation is difficult for automatic tools and mostly single-use. This paper proposes a solution to this problem by providing formal models for a full class of DMA, the class using various kinds of lists to manage the memory blocks controlled by the DMA. To obtain reusable formal models and tractable formal reasoning, we organise these models in a hierarchy ranked by refinement relations. We prove the soundness of models and the refinement relations using the modeling framework Event-B and the theorem prover Rodin. We demonstrate that our hierarchy is a basis for an algorithm theory for list based DMA: it abstracts various existing implementations of DMA and leads to new DMA implementations. The applications of this formalisation include model-based code generation, testing, and static analysis.

关键词： dynamic memory allocators formal methods refinement Event-B Rodin model-based design

来源：评论

学校读者我要写书评

暂无评论

Frustration Elimination and Excited State Search in Coherent Ising Machines

引用

Physical Review Letters 2025年第9期134卷 090401-090401页

作者： Zheng-Yang Zhou Clemens Gneiting J. Q. You Franco Nori Zhejiang Key Laboratory of Quantum State Control and Optical Field Manipulation Department of Physics Zhejiang Sci-Tech University 310018 Hangzhou China Theoretical Quantum Physics Laboratory Cluster for Pioneering Research RIKEN Wakoshi Saitama 351-0198 Japan Center for Quantum Computing RIKEN Wakoshi Saitama 351-0198 Japan Zhejiang Key Laboratory of Micro-Nano Quantum Chips and Quantum Control School of Physics and State Key Laboratory for Extreme Photonics and Instrumentation Zhejiang University Hangzhou 310027 China College of Optical Science and Engineering Zhejiang University Hangzhou 310027 China Physics Department The University of Michigan Ann Arbor Michigan 48109-1040 USA

Frustration, that is, the impossibility of satisfying the energetic preferences between all spin pairs simultaneously, underlies the complexity of many fundamental properties in spin systems, including the computational difficulty in determining their ground states. Coherent Ising machines (CIMs) have been proposed as a promising analog computational approach to efficiently find different degenerate ground states of large and complex Ising models. However, CIMs also face challenges in solving frustrated Ising models: frustration not only reduces the probability of finding good solutions, but it also prohibits the leveraging of quantum effects in doing so. To circumvent these detrimental effects of frustration, we show how frustrated Ising models can be mapped to frustration-free CIM configurations by including ancillary modes and modifying the coupling protocol used in current CIM designs. Such frustration elimination may empower current CIMs to benefit from quantum effects in dealing with frustrated Ising models. In addition, these ancillary modes can also enable error detection and searching for excited states.

关键词： Ising model

来源：评论

学校读者我要写书评

暂无评论

An introduction to CPU and DSP design in China

引用

Science China(Information Sciences) 2016年第1期59卷 58-65页

作者： Weiwu HU Yifu ZHANG Jie FU State Key Laboratory of Computer Architecture Institute of Computing TechnologyChinese Academy of Sciences Loongson Technology Corporation Limited School of Computer and Control Engineering University of Chinese Academy of Sciences Institute of Computing Technology Chinese Academy of Sciences

In recent years, China has witnessed considerable achievements in the production of domesticallydesigned CPUs and DSPs. Owing to fifteen years of hard work that began in 2001, significant progress has been made in Chinese domestic CPUs and DSPs, primarily represented by Loongson and Shen Wei *** parts of the CPU design techniques are comparable to the world’s most advanced designs. A special issue published in Scientia Sinica I nf ormationis in April 2015, is dedicated to exhibiting the technical advancements in Chinese domestically-designed CPUs and DSPs. The content in this issue describes the design and optimization of high performance processors and the key technologies in processor development; these include high-performance micro-architecture design, many-core and multi-core design, radiation hardening design, highperformance physical design, complex chip verification, and binary translation technology. We hope that the articles we collected will promote understanding of CPU/DSP progress in China. Moreover, we believe that the future of Chinese domestic CPU/DSP processors is quite promising.

关键词： Chinese domestic CPUs and DSPs Loongson CPU Shen Wei CPU YHFT DSP BWDSP

来源：评论

学校读者我要写书评

暂无评论

Real time object tracking with sparse prototypes

International Journal of Signal Processing, Image Processing...

引用

International Journal of Signal Processing, Image Processing and Pattern Recognition 2015年第4期8卷 279-296页

作者： Gao, Dongxu Cao, Jiangtao Ju, Zhaojie Ji, Xiaofei School of Information and Control Engineering Liaoning Shihua University China School of Computing University of Portsmouth United Kingdom School of Automation Shenyang Aerospace University China

Sparse representation (compressive sampling) has achieved impressive results in object tracking by looking for the best candidate with minimum reconstruction error using the target template. However, it may fail in some circumstances such as illumination changes, scale changes, the object color is similar with the surrounding region, and occlusion etc., in addition, high computational cost is required due to numerous calculations for solving an l1 norm related minimization problems. In order to resolve above problems, a novel method is introduced by exploiting an accelerated proximal gradient approach which aims to make the tracker runs in real time;moreover, both classic principal component analysis algorithm and sparse representation schemes are adapted for learning effective observation model and reduces the influence of appearance change. Both qualitative and quantitative evaluation demonstrate that the proposed tracking algorithm has favorably better performance than several state-of-the-art trackers using challenging benchmark image sequences, and significantly reduces the computing cost. © 2015 SERSC.

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

A novel requirement analysis approach for periodic control systems

引用

Frontiers of Computer Science 2013年第2期7卷 214-235页

作者： Zheng WANG Geguang PU Jiangwen LI Yuxiang CHEN Yongxin ZHAO Mingsong CHEN Bin GU Mengfei YANG Jifeng HE Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal UniversityChina Shanghai 200241 Beijing Institute of Control Engineering China Beijing 100080 School of Computing National University of SingaporeSingapore Singapore 119077 China Academy of Space Technology China Beijing 100094

Periodic control systems （PCSs） are widely used in real-time embedded system domain. However, traditional manual requirement analysis assumes the expert knowledge, which is laborious and error-prone. This paper proposes a novel requirement analysis approach, which supports the automated validation of the informal requirement specifi- cations. Based on the normalized initial requirement docu- ments, our approach can construct an intermediate SPARDL model with both formal syntax and semantics. To check the overall system behaviors, our approach can transform the SPARDL models into executable code for simulation. The derived prototype simulator from SPARDL models enables the testing-based system behavior validation. Moreover, our approach enables the analysis of the dataflow relations in SPARDL models. By revealing input/output and affecting re- lations, our dataflow analysis techniques can help software engineers to figure out the potential data dependencies be- tween SPARDL modules. This is very useful for the module reuse when a new version of the system is developed. A study of our approach using an industry design demonstrates the practicality and effectiveness of our approach.

关键词： SPARDL simulation dataflow analysis codegeneration

来源：评论

学校读者我要写书评

暂无评论

Unleashing the Potentials of IoT with Focus on Energy and Path Loss for Internet of Medical Things

引用

Journal of Circuits, Systems and Computers 2025年

作者： Hussain, Altaf Li, Shuaiyong Attar, Razaz Waheeb Al Dabel, Maryam M. Bashir, Ali Kashif Alhomoud, Ahmed Hussain, Tariq School of Computer Science and Technology Chongqing University of Posts and Telecommunications Chongqing400065 China Key Laboratory of Industrial Internet of Things and Networked Control Ministry of Education Chongqing University of Posts and Telecommunications Chongqing400065 China Management Department College of Business Administration Princess Nourah bint Abdulrahman University P.O. Box 84428 Riyadh11671 Saudi Arabia Department of Computer Science and Engineering College of Computer Science and Engineering University of Hafr Al Batin Saudi Arabia Department of Computing and Mathematics Manchester Metropolitan University United Kingdom Centre for Research Impact & Outcome Chitkara University Institute of Engineering and Technology Chitkara University Punjab Rajpura140401 India Department of Computer Science College of Science Northern Border University Arar91431 Saudi Arabia School of Computer Science and Technology Zhejiang Gongshang University Hangzhou310018 China

The Internet of Things (IoT) encompasses a broad platform of sensor networks incorporating independent wireless networks. With advancements in sensor technology and IoT-enabled networks, their applications in the medical field have led to the development of the Internet of Medical Things (IoMT). In IoMT, sensor nodes monitor and evaluate patient conditions such as heartbeat, blood sugar levels, blood pressure and temperature, and can also remotely track patient activities through remote analysis. These IoMT systems utilize tiny sensors with limited communication ranges to gather essential patient information. Wireless devices are equipped with a short range and need a direct communication path. However, transmitting data from the source node to the destination node ultimately results in energy consumption and path loss. Path loss models and energy consumption models are essential to address these issues. In this paper, we propose a novel routing protocol named Energy Efficient and Path Loss Preserving (EEPLP) for IoMT. The EEPLP protocol focuses on energy efficiency and path loss preservation based on the relay approach. Two models are being proposed, one for path loss and the other for energy consumption. Finally, both models are merged since the major contribution is to avoid path loss and enhance the protocol's energy efficiency. The EEPLP evaluates the state-of-the-art existing approaches of IoMT. The protocol is evaluated by simulating conditions and compared with other similar routing protocols already deployed in the IoMT;it has been observed that the EEPLP scheme has the potential to be maneuvered in IoMT structures with core targets of energy efficiency as well as path loss preservation techniques. © 2025 World Scientific Publishing Company.

关键词： Sensor nodes

来源：评论

学校读者我要写书评

暂无评论

Human action recognition in daily living

引用

Journal of Computational Information Systems 2011年第10期7卷 3599-3605页

作者： Yin, Jianqin Tian, Guohui Zhou, Fengyu Jiang, Haitao School of Control Science and Engineering Shandong University Jinan 250061 China Shandong Provincial Key Laboratory of Network Based Intelligent Computing School of Information Science and Engineering University of Jinan Jinan 250022 China

Human action recognition in daily living is a key to provide intelligent service for the service robot. But the real-time human action recognition in daily living is difficult to realize because of different views, sizes and duration time of the action. In order to solve these problems, a human action recognition scheme combined pose estimation, location and duration time is put forward in this paper. At first, Zernike moments of the object contours are extracted, and Principal Component Analysis (PCA) is used to reduce the dimension of the features. Then kNN is used to estimate the human pose on our defined pose sets. To depict the dynamic process of our pose the ratio of height and width of the object are fused;The pose index, the ratio of the height and width of the object and the location of the object are used as the observation sequence, and the Hidden Markov Models(HMMs) are designed to realize the recognition of the human action. Experimental results show that the method can efficiently solve the problems in daily living. © 2011 Binary Information Press.

关键词： Hidden Markov models

来源：评论

学校读者我要写书评

暂无评论

A Smarter Pavlovian Dog with Optically Modulated Associative Learning in an Organic Ferroelectric Neuromem

引用

Research 2021年第1期2021卷 1148-1157页

作者： Mengjiao Pei Changjin Wan Qiong Chang Jianhang Guo Sai Jiang Bowen Zhang Xinran Wang Yi Shi Yun Li National Laboratory of Solid-State Microstructures School of Electronic Science and EngineeringCollaborative Innovation Center of Advanced MicrostructuresNanjing UniversityNanjing 210093China School of Computing Tokyo Institute of TechnologyTokyo 152-8550Japan School of Microelectronics and Control Engineering Changzhou UniversityChangzhou 213164China

Associative learning is a critical learning principle uniting discrete ideas and percepts to improve individuals’***,enabling high tunability of the association processes as in biological counterparts and thus integration of multiple signals from the environment,ideally in a single device,is ***,we fabricate an organic ferroelectric neuromem capable of monadically implementing optically modulated associative *** approach couples the photogating effect at the interface with ferroelectric polarization switching,enabling highly tunable optical modulation of charge *** device acts as a smarter Pavlovian dog exhibiting adjustable associative learning with the training cycles tuned from thirteen to *** particular,we obtain a large output difference(>10^(3)),which is very similar to the all-or-nothing biological sensory/motor neuron spiking with decrementless *** proof-of-concept demonstrations,photoferroelectric coupling-based applications in cryptography and logic gates are achieved in a single device,indicating compatibility with biological and digital data processing.

关键词： ferroelectric associative proof

来源：评论

学校读者我要写书评

暂无评论

Tumor Detection, Segmentation and Classification Challenge on Automated 3D Breast Ultrasound: The TDSC-ABUS Challenge

arXiv

引用

arXiv 2025年

作者： Luo, Gongning Xu, Mingwang Chen, Hongyu Liang, Xinjie Tao, Xing Ni, Dong Jeong, Hyunsu Kim, Chulhong Stock, Raphael Baumgartner, Michael Kirchhoff, Yannick Rokuss, Maximilian Maier-Hein, Klaus Yang, Zhikai Fan, Tianyu Boutry, Nicolas Tereshchenko, Dmitry Moine, Arthur Charmetant, Maximilien Sauer, Jan Du, Hao Bai, Xiang-Hui Raikar, Vipul Pai Montoya-Del-Angel, Ricardo Martí, Robert Luna, Miguel Lee, Dongmin Qayyum, Abdul Mazher, Moona Guo, Qihui Wang, Changyan Awasthi, Navchetan Zhao, Qiaochu Wang, Wei Wang, Kuanquan Wang, Qiucheng Dong, Suyu School of Computer Science and Technology Harbin Institute of Technology Harbin150001 China Department of Mathematics Faculty of Science National University of Singapore Singapore National-Regional Key Technology Engineering Laboratory for Medical Ultrasound School of Biomedical Engineering Shenzhen University Medical School Shenzhen University Shenzhen China Laboratory Shenzhen University Shenzhen China School of Biomedical Engineering and Informatics Nanjing Medical University Nanjing China Pohang Korea Republic of Heidelberg Division of Medical Image Computing Heidelberg Germany Faculty of Mathematics and Computer Science Heidelberg University Germany Heidelberg Germany HIDSS4Health - Helmholtz Information and Data Science School for Health Karlsruhe Heidelberg Germany Pattern Analysis and Learning Group Department of Radiation Oncology Heidelberg University Hospital Germany Department of Biomedical Engineering and Health KTH Royal Institute of Technology Stockholm Sweden France FathomX Singapore Saw Swee Hock School of Public Health National University of Singapore Singapore Philips Research University of Girona Spain Department of Robotics and Mechatronics Engineering DGIST Korea Republic of Department of Interdisciplinary Studies of Artificial Intelligence DGIST Korea Republic of National Heart and Lung Institute Faculty of Medicine Imperial College London London United Kingdom Centre for Medical Image Computing Department of Computer Science University College London London United Kingdom Lab School of Communication and Information Engineering Shanghai University Shanghai China Faculty of Science Mathematics and Computer Science Informatics Institute University of Amsterdam Amsterdam1090 GH Netherlands Department of Biomedical Engineering and Physics Amsterdam UMC Amsterdam1081 HV Netherlands Xi’an Jiaotong-Liverpool University China Department of Ultrasound Harbin Medical University Cancer Hospital No. 150 Haping Road Nangang

Breast cancer is one of the most common causes of death among women worldwide. Early detection helps in reducing the number of deaths. Automated 3D Breast Ultrasound (ABUS) is a newer approach for breast screening, which has many advantages over handheld mammography such as safety, speed, and higher detection rate of breast cancer. Tumor detection, segmentation, and classification are key components in the analysis of medical images, especially challenging in the context of 3D ABUS due to the significant variability in tumor size and shape, unclear tumor boundaries, and a low signal-to-noise ratio. The lack of publicly accessible, well-labeled ABUS datasets further hinders the advancement of systems for breast tumor analysis. Addressing this gap, we have organized the inaugural Tumor Detection, Segmentation, and Classification Challenge on Automated 3D Breast Ultrasound 2023 (TDSC-ABUS2023). This initiative aims to spearhead research in this field and create a definitive benchmark for tasks associated with 3D ABUS image analysis. In this paper, we summarize the top-performing algorithms from the challenge and provide critical analysis for ABUS image examination. We offer the TDSC-ABUS challenge as an open-access platform at https://***/ to benchmark and inspire future developments in1algorithmic research. © 2025, CC BY.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：