检索结果-南通市图书馆

Transforming Education with Photogrammetry:Creating Realistic 3D Objects for Augmented Reality Applications

Computer Modeling in Engineering & Sciences 2025年第1期142卷 185-208页

作者： Kaviyaraj Ravichandran Uma Mohan Department of Computational Intelligence School of ComputingSRM Institute of Science and TechnologyKattankulathur603203India

Augmented reality(AR)is an emerging dynamic technology that effectively supports education across different *** increased use of mobile devices has an even greater *** the demand for AR applications in education continues to increase,educators actively seek innovative and immersive methods to engage students in ***,exploring these possibilities also entails identifying and overcoming existing barriers to optimal educational ***,this surge in demand has prompted the identification of specific barriers,one of which is three-dimensional(3D)*** 3D objects for augmented reality education applications can be challenging and time-consuming for the *** address this,we have developed a pipeline that creates realistic 3D objects from the two-dimensional(2D)*** for augmented and virtual reality can then utilize these created 3D *** evaluated the proposed pipeline based on the usability of the 3D object and performance ***,with 117 respondents,the co-creation team was surveyed with openended questions to evaluate the precision of the 3D object created by the proposed photogrammetry *** analyzed the survey data using descriptive-analytical methods and found that the proposed pipeline produces 3D models that are positively accurate when compared to real-world objects,with an average mean score above *** study adds new knowledge in creating 3D objects for augmented reality applications by using the photogrammetry technique;finally,it discusses potential problems and future research directions for 3D objects in the education sector.

关键词： Augmented reality education immersive learning 3D object creation photogrammetry and StructureFromMotion

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Symbolic Algorithmic Analysis of Rectangular Hybrid Systems

引用

Journal of Computer Science & technology 2009年第3期24卷 534-543页

作者：张海宾段振华 institute of computing theory and technology Xidian University

This paper investigates symbolic algorithmic analysis of rectangular hybrid systems. To deal with the symbolic reachability problem, a restricted constraint system called hybrid zone is formalized for the representation and manipulation of rectangular automata state-spaces. Hybrid zones are proved to be closed over symbolic teachability operations of rectangular hybrid systems. They are also applied to model-checking procedures for verifying some important classes of timed computation tree logic formulas. To represent hybrid zones, a data structure called difference constraint matrix is defined. These enable us to deal with the symbolic algorithmic analysis of rectangular hybrid systems in an efficient way.

关键词： hybrid systems model checking automata temporal logic

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Extension of π-Calculus with Interval Action Prefixes

引用

Chinese Journal of Electronics 2016年第5期25卷 848-857页

作者： LUO Ling DUAN Zhenhua TIAN Cong institute of computing theory and technology Xidian University

This paper presents an extension of π-calculus, named p-π, with interval action prefixes. The syntax and operational semantics of p-π are formalized, and the algebraic and time-dependent properties are *** on them, how time-dependent behaviors of systems can be modeled with p-π is demonstrated. Finally, a case study is given to illustrate how p-π is used in practise.

关键词： π-Calculus Process algebra Interval action prefixes Specification Verification

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Model checking concurrent systems with MSVL

引用

Science China(Information Sciences) 2016年第11期59卷 224-226页

作者： Nan ZHANG Zhenhua DUAN Cong TIAN institute of computing theory and technology Xidian University

Model checking,proposed by Clarke and Emerson[1]as well as Queille and Sifakis[2],is an automatic verification approach for hardware and software ***,as Clarke pointed out[3],model checking suffers from(1)the state explosion problem,which is typically caused by models growing exponentially in the number of parallel components or data elements of an argument system;(2)different notations used to model a system and required properties;(3)the expressive

关键词： Model checking concurrent systems with MSVL VHDL Figure MSV

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Three-Stage Transfer Learning with AlexNet50 for MRI Image Multi-Class Classification with Optimal Learning Rate

引用

Computer Modeling in Engineering & Sciences 2025年第1期142卷 155-183页

作者： Suganya Athisayamani A.Robert Singh Gyanendra Prasad Joshi Woong Cho School of computing Sastra Deemed to be UniversityThanjavur613401India Department of Computational Intelligence SRM Institute of Science and TechnologyKattankulathur603203India Department of AI and Software Engineering Kangwon National UniversitySamcheok25913Republic of Korea Department of Electronics Information and Communication EngineeringKangwon National UniversitySamcheok25913Republic of Korea

In radiology,magnetic resonance imaging(MRI)is an essential diagnostic tool that provides detailed images of a patient’s anatomical and physiological *** is particularly effective for detecting soft tissue ***,radiologists manually interpret these images,which can be labor-intensive and time-consuming due to the vast amount of *** address this challenge,machine learning,and deep learning approaches can be utilized to improve the accuracy and efficiency of anomaly detection in MRI *** manuscript presents the use of the Deep AlexNet50 model for MRI classification with discriminative learning *** are three stages for learning;in the first stage,the whole dataset is used to learn the *** the second stage,some layers of AlexNet50 are frozen with an augmented dataset,and in the third stage,AlexNet50 with an augmented dataset with the augmented *** method used three publicly available MRI classification datasets:Harvard whole brain atlas(HWBA-dataset),the School of Biomedical Engineering of Southern Medical University(SMU-dataset),and The National institute of Neuroscience and Hospitals brain MRI dataset(NINS-dataset)for *** hyperparameter optimizers like Adam,stochastic gradient descent(SGD),Root mean square propagation(RMS prop),Adamax,and AdamW have been used to compare the performance of the learning ***-dataset registers maximum classification *** evaluated the performance of the proposed classification model using several quantitative metrics,achieving an average accuracy of 98%.

关键词： MRI tumors classification AlexNet50 transfer learning hyperparameter tuning optimizer

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

A comprehensive investigation on nonlinear vibration and bending characteristics of bio-inspired helicoidal laminated composite structures

引用

Applied Mathematics and Mechanics(English Edition) 2025年第1期46卷 81-100页

作者： S.SAURABH R.KIRAN D.SINGH R.VAISH V.S.CHAUHAN School of Mechanical and Materials Engineering Indian Institute of Technology Mandi

Bio-inspired helicoidal composite laminates, inspired by the intricate helical structures found in nature, present a promising frontier for enhancing the mechanical properties of structural designs. Hence, this study provides a comprehensive investigation into the nonlinear free vibration and nonlinear bending behavior of bio-inspired composite plates. The inverse hyperbolic shear deformation theory(IHSDT) of plates is employed to characterize the displacement field, with the incorporation of Green-Lagrange nonlinearity. The problem is modeled using the C0finite element method(FEM), and an in-house code is developed in the MATLAB environment to solve it numerically. Various helicoidal layup configurations including helicoidal recursive(HR), helicoidal exponential(HE), helicoidal semi-circular(HS), linear helicoidal(LH), and Fibonacci helicoidal(FH)with different layup sequences and quasi-isotropic configurations are studied. The model is validated, and parametric studies are conducted. These studies investigate the effects of layup configurations, side-to-thickness ratio, modulus ratios, boundary conditions, and loading conditions at different load amplitudes on the nonlinear vibration and nonlinear bending behaviors of bio-inspired composite plates. The results show that the laminate sequence exerts a substantial impact on both nonlinear natural frequencies and nonlinear bending behaviors. Moreover, this influence varies across different side-to-thickness ratios and boundary conditions of the bio-inspired composite plate.

关键词：

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

A Test Case Generation Approach Based on Sequence Diagram and Automata Models

引用

Chinese Journal of Electronics 2016年第2期25卷 234-240页

作者： ZHANG Chen DUAN Zhenhua YU Bin TIAN Cong DING Ming institute of computing theory and technology Xidian University School of Computer Science and technology Xidian University School of Information and technology Northwest University Xi’an Aeronautics computing Technique Research institute AVIC

To improve the test automation in software development process, following the researches on test cases generation technology from models, an incremental test case generation approach is proposed based on finite automata, and Event deterministic finite automata(ETDFA)are employed to describe the sequence diagram models of system interaction. By model checked with Propositional pro jection temporal logic(PPTL), the correctness of ETDFA is verified. Then we can get the composed automata by synthesis rules, and generate the test cases incrementally by test cases generation algorithm. Case studies are presented to show that this approach enables to improve test cases correctness, and reduce the complexity of test cases generation process.

关键词： Test model Model based testing Test scenario Test cases

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Single-cell omics: experimental workflow, data analyses and applications

引用

Science China Life Sciences 2025年第1期68卷 5-102页

作者： Fengying Sun Haoyan Li Dongqing Sun Shaliu Fu Lei Gu Xin Shao Qinqin Wang Xin Dong Bin Duan Feiyang Xing Jun Wu Minmin Xiao Fangqing Zhao Jing-Dong J.Han Qi Liu Xiaohui Fan Chen Li Chenfei Wang Tieliu Shi Department of Clinical Laboratory the Affiliated Wuhu Hospital of East China Normal University (The Second People's Hospital of Wuhu City) Pharmaceutical Informatics institute College of Pharmaceutical SciencesZhejiang University Key Laboratory of Spine and Spinal Cord Injury Repair and Regeneration (Tongji University) Ministry of EducationOrthopaedic DepartmentTongji HospitalBioinformatics DepartmentSchool of Life Sciences and TechnologyTongji University Frontier Science Center for Stem Cells School of Life Sciences and TechnologyTongji University Translational Medical Center for Stem Cell Therapy and institute for Regenerative Medicine Shanghai East HospitalBioinformatics DepartmentSchool of Life Sciences and TechnologyTongji University Research institute of Intelligent computing Zhejiang Lab Shanghai Research institute for Intelligent Autonomous Systems Center for Single-cell Omics School of Public HealthShanghai Jiao Tong University School of Medicine National Key Laboratory of Chinese Medicine Modernization Innovation Center of Yangtze River DeltaZhejiang University Center for Bioinformatics and Computational Biology Shanghai Key Laboratory of Regulatory Biologythe Institute of Biomedical Sciences and School of Life SciencesEast China Normal University Beijing institutes of Life Science Chinese Academy of Sciences Peking-Tsinghua Center for Life Sciences Academy for Advanced Interdisciplinary StudiesCenter for Quantitative Biology (CQB)Peking University Zhejiang Key Laboratory of Precision Diagnosis and Therapy for Major Gynecological Diseases Women's HospitalZhejiang University School of Medicine Key Laboratory of Advanced theory and Application in Statistics and Data Science-MOE School of StatisticsEast China Normal University

Cells are the fundamental units of biological systems and exhibit unique development trajectories and molecular features. Our exploration of how the genomes orchestrate the formation and maintenance of each cell, and control the cellular phenotypes of various organismsis, is both captivating and intricate. Since the inception of the first single-cell RNA technology, technologies related to single-cell sequencing have experienced rapid advancements in recent years. These technologies have expanded horizontally to include single-cell genome, epigenome,proteome, and metabolome, while vertically, they have progressed to integrate multiple omics data and incorporate additional information such as spatial sc RNA-seq and CRISPR screening. Single-cell omics represent a groundbreaking advancement in the biomedical field,offering profound insights into the understanding of complex diseases, including cancers. Here, we comprehensively summarize recent advances in single-cell omics technologies, with a specific focus on the methodology section. This overview aims to guide researchers in selecting appropriate methods for single-cell sequencing and related data analysis.

关键词： single-cell sequencing genome epigenome proteomics metabolomics multimodal spatial transcriptomics CRISPR screening

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Single-cell technologies: current and near future

引用

Science China Life Sciences 2025年第01期 1-4页

作者： Chenfei Wang Qi Liu Xiaohui Fan Tieliu Shi Key Laboratory of Spine and Spinal Cord Injury Repair and Regeneration Ministry of EducationOrthopedics DepartmentTongji HospitalBioinformatics DepartmentSchool of Life Sciences and TechnologyTongji University Frontier Science Center for Stem Cells School of Life Sciences and TechnologyTongji University Translational Medical Center for Stem Cell Therapy and institute for Regenerative Medicine Shanghai East HospitalBioinformatics DepartmentSchool of Life Sciences and TechnologyTongji University Research institute of Intelligent computing Zhejiang Lab Pharmaceutical Informatics institute College of Pharmaceutical SciencesZhejiang University National Key Laboratory of Chinese Medicine Modernization Innovation Center of Yangtze River DeltaZhejiang University Center for Bioinformatics and Computational Biology Shanghai Key Laboratory of Regulatory Biologythe Institute of Biomedical Sciences and School of Life SciencesEast China Normal University Key Laboratory of Advanced theory and Application in Statistics and Data Science (MOE) School of StatisticsEast China Normal University

Single-cell technologies enable the indepth exploration of multiple biological hierarchies at the scale of individual cells,which have deepened our knowledge of cellular diversity, tissue organization, and overall organism function(Sun et al.,2024). In 2009, single-cell RNA sequencing(sc RNA-seq) was first developed as a powerful tool to dissect gene expression and uncover transcriptional *** the rapid advancement of technology, single-cell approaches have expanded to encompass other omics, such as genomics, epigenomics, proteomics,and metabolomics.

关键词：

来源：

同方期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Multi-Scale Dilated Convolution Network for SPECT-MPI Cardiovascular Disease Classification with Adaptive Denoising and Attenuation Correction

引用

Computer Modeling in Engineering & Sciences 2025年第1期142卷 299-327页

作者： A.Robert Singh Suganya Athisayamani Gyanendra Prasad Joshi Bhanu Shrestha Department of Computational Intelligence SRM Institute of Science and TechnologyKattankulathur603203Tamil NaduIndia School of computing Sastra Deemed to be UniversityThanjavur613401Tamil NaduIndia Department of Artificial Intelligence&Software Kangwon National UniversitySamcheok25913Republic of Korea Department of Information Convergence System Graduate School of Smart ConvergenceKwangwoon UniversitySeoul01897Republic of Korea

Myocardial perfusion imaging(MPI),which uses single-photon emission computed tomography(SPECT),is a well-known estimating tool for medical diagnosis,employing the classification of images to show situations in coronary artery disease(CAD).The automatic classification of SPECT images for different techniques has achieved near-optimal accuracy when using convolutional neural networks(CNNs).This paper uses a SPECT classification framework with three steps:1)Image denoising,2)Attenuation correction,and 3)Image *** denoising is done by a U-Net architecture that ensures effective image *** correction is implemented by a convolution neural network model that can remove the attenuation that affects the feature extraction process of ***,a novel multi-scale diluted convolution(MSDC)network is *** merges the features extracted in different scales and makes the model learn the features more *** scales of filters with size 3×3 are used to extract *** three steps are compared with state-of-the-art *** proposed denoising architecture ensures a high-quality image with the highest peak signal-to-noise ratio(PSNR)value of *** proposed classification method is compared with the five different CNN models,and the proposed method ensures better classification with an accuracy of 96%,precision of 87%,sensitivity of 87%,specificity of 89%,and F1-score of 87%.To demonstrate the importance of preprocessing,the classification model was analyzed without denoising and attenuation correction.

关键词： SPECT-MPI CAD MSDC denoising attenuation correction classification

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：