检索结果-南通市图书馆

A new approach of conditions on δ2s(Φ) for s-sparse recovery

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2014年第4期57卷 107-113页

作者： CEN YiGang ZHAO RuiZhen miao zhenjiang CEN LiHui CUI LiHong School of Computer & Information Technology Beijing Jiaotong University School of Information Science and Engineering Central South University Key Laboratory of System Control and Information Processing Ministry of Education Department of Mathematics Beijing University of Chemical Technology

In this paper,we provide a unified expression to obtain the conditions on the restricted isometry constantδ2s(Φ).These conditions cover the important results proposed by Candes et *** each of them is a sufficient condition for sparse signal *** the noiseless case,whenδ2s(Φ)satisfies any one of these conditions,the s-sparse signal can be exactly recovered via(l1)constrained minimization.

关键词： concentration of mutilated vector in kerΦ s-largest mutilated vector restricted isometry constant δ2s(Φ) exact recovery of s-sparse signals via(l1) maximum value of single variable function

Markerless human motion capture by Markov random field and dynamic graph cuts with color constraints

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science in China(Series F) 2009年第2期52卷 252-259页

作者： LI Jia WAN ChengKai ZHANG DianYong miao zhenjiang YUAN BaoZong Institute of Information Science Beijing Jiaotong University Beijing 100044 China

Currently, many vision-based motion capture systems require passive markers attached to key loca- tions on the human body. However, such systems are intrusive with limited application. The algorithm that we use for human motion capture in this paper is based on Markov random field （MRF） and dynamic graph cuts. It takes full account of the impact of 3D reconstruction error and integrates human motion capture and 3D reconstruction into MRF-MAP framework. For more accurate and robust performance, we extend our algorithm by incorporating color constraints into the pose estimation process. The advantages of incorporating color constraints are demonstrated by experimental results on several video sequences.

关键词： human motion capture Markov random field dynamic graph-cut color constrains

Enhancing Defect-Induced Dipole Polarization Strategy of SiC@MoO_(3)Nanocomposite Towards Electromagnetic Wave Absorption

在线全文

学校读者我要写书评

暂无评论

Nano-Micro Letters 2024年第12期16卷 406-426页

作者： Ting Wang Wenxin Zhao Yukun miao Anguo Cui Chuanhui Gao Chang Wang Liying Yuan Zhongning Tian Alan Meng zhenjiang Li Meng Zhang College of Chemical Engineering Qingdao University of Science and TechnologyQingdao 266042People’s Republic of China College of Materials Science and Engineering Qingdao University of Science and TechnologyQingdao 266042People’s Republic of China Shandong Engineering Laboratory for Preparation and Application of High-Performance Carbon-Materials College of Electromechanical EngineeringQingdao University of Science and TechnologyQingdao 266061People’s Republic of China Key Laboratory of Optic-Electric Sensing and Analytical Chemistry for Life Science MOEShandong Key Laboratory of Biochemical AnalysisCollege of Chemistry and Molecular EngineeringQingdao University of Science and TechnologyQingdao 266042People’s Republic of China

Defect engineering in transition metal oxides semiconductors(TMOs)is attracting considerable interest due to its potential to enhance conductivity by intentionally introducing defects that modulate the electronic structures of the ***,achieving a comprehensive understanding of the relationship between micro-structures and electromagnetic wave absorption capabilities remains elusive,posing a substantial challenge to the advancement of TMOs *** current research describes a process for the deposition of a MoO_(3)layer onto SiC nanowires,achieved via electro-deposition followed by high-temperature ***,intentional creation of oxygen vacancies within the MoO_(3)layer was carried out,facilitating the precise adjustment of electromagnetic properties to enhance the microwave absorption performance of the ***,the SiC@MO-t4 sample exhibited an excellent minimum reflection loss of-50.49 dB at a matching thickness of 1.27 ***,the SiC@MO-t6 sample exhibited an effective absorption bandwidth of 8.72 GHz with a thickness of 2.81 mm,comprehensively covering the entire Ku *** results not only highlight the pivotal role of defect engineering in the nuanced adjustment of electromagnetic properties but also provide valuable insight for the application of defect engineering methods in broadening the spectrum of electromagnetic wave absor ption ***@MO-t samples with varying concentrations of oxygen vacancies were prepared through in-situ etching of the SiC@MoO_(3)*** presence of oxygen vacancies plays a crucial role in adjusting the band gap and local electron distribution,which in turn enhances conductivity loss and induced polarization loss *** finding reveals a novel strategy for improving the absorption properties of electromagnetic waves through defect engineering.

关键词： Defect engineering Oxygen vacancies SiC@MoO_(3)nanocomposite Electromagnetic wave absorption Induced dipole polarization

在线全文

学校读者我要写书评

暂无评论

基于模型的无标识人体运动捕捉研究

北京交通大学学报 2014年第2期38卷 42-49页

作者：张殿勇苗振江北京交通大学计算机与信息技术学院北京100044

无标识人体运动捕捉因其广泛的应用价值和学术价值一直是计算机视觉领域的研究热点.基于模型的无标识人体运动捕捉技术的研究目的,就是从单目或者多目摄像机图像中获得人体的运动姿态和人体模型的三维信息描述.本文从模型的构建、人体... 详细信息

无标识人体运动捕捉因其广泛的应用价值和学术价值一直是计算机视觉领域的研究热点.基于模型的无标识人体运动捕捉技术的研究目的,就是从单目或者多目摄像机图像中获得人体的运动姿态和人体模型的三维信息描述.本文从模型的构建、人体姿态估计和跟踪方法等几个方面分析了基于模型的运动捕捉的研究现状,最后阐述了该领域面临的难点问题及发展趋势.

关键词：运动捕捉人体模型计算机视觉

Refinement modeling and verification of secure operating systems for communication in digital twins

在线全文

学校读者我要写书评

暂无评论

Digital Communications and Networks 2024年第2期10卷 304-314页

作者： zhenjiang Qian Gaofei Sun Xiaoshuang Xing Gaurav Dhiman School of Computer Science and Engineering Changshu Institute of TechnologySuzhou215500China University Centre for Research and Development Department of Computer Science and EngineeringChandigarh UniversityMohali140413India Department of Computer Science and Engineering Graphic Era Deemed to be UniversityDehradun248002India

In traditional digital twin communication system testing,we can apply test cases as completely as possible in order to ensure the correctness of the system implementation,and even then,there is no guarantee that the digital twin communication system implementation is completely *** verification is currently recognized as a method to ensure the correctness of software system for communication in digital twins because it uses rigorous mathematical methods to verify the correctness of systems for communication in digital twins and can effectively help system designers determine whether the system is designed and implemented *** this paper,we use the interactive theorem proving tool Isabelle/HOL to construct the formal model of the X86 architecture,and to model the related assembly *** verification result shows that the system states obtained after the operations of relevant assembly instructions is consistent with the expected states,indicating that the system meets the design expectations.

关键词： Theorem proving Isabelle/HOL Formal verification System modeling Correctness verification

Enhanced Hoek-Brown(H-B)criterion for rocks exposed to chemical corrosion

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

International Journal of Mining Science and Technology 2024年第5期34卷 609-630页

作者： Hao Li Leo Pel zhenjiang You David Smeulders Department of Mechanical Engineering Eindhoven University of TechnologyEindhoven 5600 MBthe Netherlands Department of Applied Physics Eindhoven University of TechnologyEindhoven 5600 MBthe Netherlands Center for Sustainable Energy and Resources School of EngineeringEdith Cowan UniversityJoondalupWA 6027Australia School of Chemical Engineering The University of QueenslandBrisbaneQLD 4072Australia Gas and Energy Transition Research Centre The University of QueenslandBrisbaneQLD 4072Australia

Underground constructions often encounter water environments,where water–rock interaction can increase porosity,thereby weakening engineering ***,the failure criterion for chemically corroded rocks becomes essential in the stability analysis and design of such *** study enhances the applicability of the Hoek-Brown(H-B)criterion for engineering structures operating in chemically corrosive conditions by introducing a kinetic porosity-dependent instantaneous mi(KPIM).A multiscale experimental investigation,including nuclear magnetic resonance(NMR),X-ray diffraction(XRD),scanning electron microscopy(SEM),pH and ion chromatography analysis,and triaxial compression tests,is employed to quantify pore structural changes and their linkage with the strength responses of limestone under coupled chemical-mechanical(C-M)*** employing ion chromatography and NMR analysis,along with incorporating the principles of free-face dissolution theory accounting for both congruent and incongruent dissolution,a kinetic chemical corrosion model is *** model aims to calculate the kinetic porosity alterations within rocks exposed to varying H+concentrations and ***,utilizing the generalized mixture rule(GMR),the kinetic porositydependent mi is *** of the KPIM-enhanced H-B criterion using compression test data from 5 types of rocks demonstrated a high level of consistency between the criterion and the experimental results,with a coefficient of determination greater than 0.96,a mean absolute percentage error less than 4.84%,and a root-mean-square deviation less than 5.95 ***,the physical significance of the porosity-dependent instantaneous mi is clarified:it serves as an indicator of a rock’s capacity to leverage the confining pressure effect.

关键词： Hoek-Brown(H-B)criterion Instantaneous mi Kinetic porosity-dependency Chemical corrosion Compressive strength

Human Body Motion Capture via 3D Graph-cuts

在线全文

学校读者我要写书评

暂无评论

Human Body Motion Capture via 3D Graph-cuts

2006 8th International Conference on Signal Processing

作者： Chengkai Wan Baozong Yuan Yunda Sun zhenjiang miao Institute of Information Science Beijing Jiaotong University

＜正＞In this paper,we propose a new algorithm for markerless vision-based human body motion capture. In our method,motion capture or pose estimation is considered as an energy minimization problem,and the energy function construction is converted to a 3D graph *** this procedure,a human model with a certain pose will be taken into account. At last Powell algorithm will be used to optimize the result of the energy function.

关键词： motion capture graph-cuts energy minimization

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

一种基于扩散几何的非刚体三维形状分割方法

计算机辅助设计与图形学学报 2015年第4期27卷 605-613页

作者：苏梦万丽莉苗振江北京交通大学计算机与信息技术学院信息科学研究所北京100044 北京交通大学现代信息科学与网络技术北京市重点实验室北京100044 北京航空航天大学虚拟现实技术与系统国家重点实验室北京100191

三维形状分割是三维形状分析中的一个重要问题.为了使分割结果能适应非刚体丰富的姿态变化,提出一种基于扩散几何的三维网格分割方法.该方法采用波核特征的局部极值点作为非刚体网格模型表面的显著特征点;进而将显著特征点作为初始聚类... 详细信息

三维形状分割是三维形状分析中的一个重要问题.为了使分割结果能适应非刚体丰富的姿态变化,提出一种基于扩散几何的三维网格分割方法.该方法采用波核特征的局部极值点作为非刚体网格模型表面的显著特征点;进而将显著特征点作为初始聚类中心,采用K-均值聚类算法来获得分割结果.实验结果表明,文中方法不仅对处于不同姿态的非刚体三维形状具有良好的分割一致性,而且对噪声、孔洞等具有较好的鲁棒性.

关键词：三维形状分割网格分割非刚体扩散几何 K-均值聚类

WSN中基于簇头路径转换的定向扩散路由协议

在线全文

学校读者我要写书评

暂无评论

吉林大学学报（理学版） 2017年第4期55卷 957-963页

作者：于淼谭振江吉林师范大学计算机学院"数值模拟"吉林省重点实验室吉林四平136000

针对定向扩散协议中兴趣泛洪时巨大的能量开销以及最优路径后续维护等问题,提出一种无线传感器网络中基于簇头路径转换的定向扩散路由协议.该协议首先通过结合非均匀分簇将网络分簇,在兴趣扩散时将兴趣消息扩散到簇头,减少能量消耗;其次... 详细信息

针对定向扩散协议中兴趣泛洪时巨大的能量开销以及最优路径后续维护等问题,提出一种无线传感器网络中基于簇头路径转换的定向扩散路由协议.该协议首先通过结合非均匀分簇将网络分簇,在兴趣扩散时将兴趣消息扩散到簇头,减少能量消耗;其次,通过在簇头之间选择优先级最高的下一跳簇头节点形成最优路径,进行后续数据的传输.直到最优路径上某个簇头所剩能量接近设定的阈值时,该簇头采用基于时间的回溯迭代查询机制选择继任的传输节点,进行最优路径的转换,继续传输数据.仿真结果表明,该协议能有效延长网络生存周期,提高能量利用率,均衡网络能量消耗.

关键词：无线传感器网络非均匀分簇路径转换定向扩散路由协议