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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

7,500 篇 会议
328 篇 期刊文献
280 册 图书
1 篇 学位论文

馆藏范围

8,108 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

3,619 篇 工学
- 2,471 篇 计算机科学与技术...
- 1,825 篇 软件工程
- 636 篇 控制科学与工程
- 529 篇 信息与通信工程
- 342 篇 电气工程
- 304 篇 机械工程
- 291 篇 生物工程
- 258 篇 生物医学工程（可授...
- 235 篇 电子科学与技术（可...
- 198 篇 光学工程
- 149 篇 仪器科学与技术
- 149 篇 化学工程与技术
- 128 篇 材料科学与工程（可...
- 125 篇 动力工程及工程热...
- 99 篇 安全科学与工程
- 98 篇 力学（可授工学、理...
2,406 篇 理学
- 1,720 篇 数学
- 557 篇 物理学
- 463 篇 统计学（可授理学、...
- 355 篇 系统科学
- 322 篇 生物学
- 144 篇 化学
821 篇 管理学
- 538 篇 管理科学与工程(可...
- 310 篇 图书情报与档案管...
- 250 篇 工商管理
196 篇 医学
- 162 篇 临床医学
- 141 篇 基础医学(可授医学...
- 106 篇 药学(可授医学、理...
143 篇 教育学
- 129 篇 教育学
119 篇 法学
- 106 篇 社会学
97 篇 经济学
62 篇 农学
41 篇 文学
10 篇 艺术学
3 篇 哲学
3 篇 军事学

主题

2,049 篇 mathematical mod...
587 篇 computational mo...
457 篇 computer science
398 篇 equations
298 篇 mathematical mod...
247 篇 predictive model...
227 篇 optimization
183 篇 accuracy
178 篇 analytical model...
178 篇 feature extracti...
162 篇 data models
154 篇 neural networks
154 篇 training
146 篇 iterative method...
140 篇 approximation me...
131 篇 data mining
131 篇 algorithm design...
127 篇 software enginee...
127 篇 mathematical log...
124 篇 educational inst...

机构

23 篇 school of mathem...
21 篇 department of co...
20 篇 school of comput...
16 篇 state key labora...
14 篇 school of comput...
14 篇 lovely professio...
14 篇 school of comput...
13 篇 school of mathem...
12 篇 school of comput...
11 篇 school of comput...
11 篇 school of comput...
11 篇 institute of com...
10 篇 centre of resear...
10 篇 centre for mathe...
10 篇 school of mathem...
9 篇 computer electri...
9 篇 maharishi school...
9 篇 school of comput...
9 篇 novosibirsk stat...
9 篇 school of physic...

作者

20 篇 weickert joachim
11 篇 mohamed-slim alo...
8 篇 yi wang
8 篇 peter pascal
8 篇 dyvak mykola
8 篇 bo liu
7 篇 carl olsson
7 篇 vikram kumar
7 篇 nazir ahmad zafa...
7 篇 gasnikov alexand...
7 篇 shinji doki
6 篇 a l zolkin
6 篇 kulikov igor
6 篇 raman ramakrishn...
6 篇 masina olga n.
6 篇 ying sun
6 篇 ramakrishnan ram...
6 篇 mykola dyvak
6 篇 jinwen ma
6 篇 ma jinwen

语言

7,543 篇 英文
527 篇 其他
77 篇 中文
8 篇 俄文

检索条件"任意字段=Conference on Mathematical Methods in Computer Science"

共 8109 条记录，以下是51-60 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Research on Oracle Recognition Based on Convolutional Neural Network Modeling 7

Research on Oracle Recognition Based on Convolutional Neural...

引用

7th IEEE International conference on Information Systems and computer Aided Education, ICISCAE 2024

作者： Wang, Xinduo Taiyuan University of Science and Technology Taiyuan China

ISBN: (纸本)9798350350760

This paper is dedicated to solving the interference and mis-segmentation problems in oracle bone image segmentation. Through data preprocessing, feature extraction and model building, we propose methods such as threshold segmentation, median filter model, global threshold segmentation model, combined with Gaussian filtering and deep learning technology, to realize accurate segmentation and text restoration of oracle bone topography images. Through mathematical modeling and image processing techniques, we effectively deal with the interference factors of the oracle bone itself and the challenges posed by variant characters, and finally propose a convolutional neural network deep learning model that can automatically identify variant characters, which provides new methods and ideas for the study of oracle bone and the construction of digitization projects. These methods not only improve the accuracy and efficiency of oracle bone image processing, but also provide strong support for the further development of oracle bone research. ©2024 IEEE.

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

Control of Two-Wheel Self-Balancing Robot: LQR and MPC Performance Analysis

Control of Two-Wheel Self-Balancing Robot: LQR and MPC Perfo...

引用

2024 IEEE International Students' conference on Electrical, Electronics and computer science, SCEECS 2024

作者： Mishra, Ashutosh Bansal, Kritika Madhav Institute of Technolgy and Science Department of Electronics Engineering Gwalior India Gwalior India

ISBN: (纸本)9798350348460

This paper presents the design and comparative analysis of Linear Quadratic Control and Model Predictive Control strategies for a two-wheel self-balancing robot. A detailed mathematical model of the two-wheel self-balancing is provided. After that, the Linear Quadratic Regulator and Model Predictive Control law are designed. In Order to compare the performances of both the controllers, various performance indices such as settling time and peak overshoot value are evaluated. The robustness of these methods is tested against impulse and sinusoidal disturbance. The control signals from linear quadratic regulator and model predictive controllers are also examined. The simulation results are obtained using MATLAB wherein it is observed that model predictive control performed better in both tracing the set points and generating minimal control signal. © 2024 IEEE.

关键词： Control Strategies Linear Quadratic Control Model Predictive Control Self-balancing Robot Stability

来源：评论

学校读者我要写书评

暂无评论

A New Comprehensive mathematical Model for Heterogeneous Multi-service Hybrid Migration in Edge Computing 15

A New Comprehensive Mathematical Model for Heterogeneous Mul...

引用

15th International conference on Ambient Systems, Networks and Technologies Networks, ANT 2024 / The 7th International conference on Emerging Data and Industry 4.0, EDI40 2024

作者： Rezazadeh, Arshin Lutfiyya, Hanan Computer Science Department The University of Western Ontario 1151 Richmond Street LondonONN6A 3K7 Canada

Integrating cloud, fog, and edge computing with future Internet-of-Things (IoT) devices and their applications in 5G/6G networks will become more feasible soon. This research analyzes the effectiveness of the Hybrid-MiGrror and hybrid-copy migration methods in scenarios involving heterogeneous multiple VMs/containers. This research introduces mathematical models for the Hybrid-MiGrror approach and offers suggestions and comparisons for migrating services to be deployed as multiple services. The model's notable feature is its ability to use both average and non-average values for various parameters during migration, resulting in enhanced and more precise outcomes. In contrast, previous hybrid migration studies mostly rely only on average values. This study demonstrates that relying solely on average parameter values in hybrid migration can result in imprecise outcomes. © 2024 Elsevier B.V.. All rights reserved.

关键词： Edge computing

来源：评论

学校读者我要写书评

暂无评论

Analysis and Application of Intelligent computer Color Matching Optimization Model based on Genetic Algorithm 1

Analysis and Application of Intelligent Computer Color Match...

引用

1st International conference on Intelligent Systems and Computational Networks, ICISCN 2025

作者： Li, Zhen Shandong Vocational College of Science and Technology Shandong Weifang China

ISBN: (纸本)9798331529246

In response to the shortcomings of traditional computer color matching methods in color matching, visual coordination, and personalized needs, this paper introduces an intelligent color matching optimization model based on genetic algorithm. Firstly, a mathematical model of computer color matching optimization problem is constructed based on genetic algorithm, and a fitness function is defined to quantify the effect of color matching scheme. Then, the initial population is iteratively optimized by using the selection. Finally, by setting the termination condition, such as reaching the predetermined fitness value or after a certain number of generations of evolution. The optimal color matching comfort gradually increases from 0.72 to 0.89, which reflects that the algorithm gradually generates a color matching scheme that is more in line with visual comfort during the optimization process. The intelligent color matching optimization model based on genetic algorithm has strong practicality and innovation. © 2025 IEEE.

关键词： Optimization algorithms

来源：评论

学校读者我要写书评

暂无评论

Some Numerical Approaches for Bifurcation of Nonlinear Dynamic Systems 1

引用

4th International conference on Numerical Computations: Theory and Algorithms, NUMTA 2023

作者： Faydaoğlu, Şerife Department of Mathematics and Science Education Buca Faculty of Education Dokuz Eylul University Izmir Buca Turkey

ISBN: (数字)9783031812446

ISBN: (纸本)9783031812439

This paper introduces a novel application of frequency and amplitude formulation to determine the frequency of nonlinear Duffing oscillations. The formulation represents one of the simplest methods for estimating the relationship between frequency and amplitude. There is a pressing need for the swift calculation of the periodic properties of nonlinear oscillators in the applied sciences. Additionally, the paper addresses the challenge of identifying bifurcated solutions of the Duffing equation in space. A critical parameter value induces a bifurcation from a trivial solution to a nontrivial solution. The solutions obtained through the frequency-amplitude formulation are compared with results obtained through other perturbation methods documented in the literature. The proposed method has demonstrated its efficacy as a robust mathematical tool for various nonlinear oscillators, eliminating the necessity for linearization or perturbation. Furthermore, this method can be readily extended to address other nonlinear oscillating systems and nonlinear boundary value problems exhibiting bifurcations. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Perturbation techniques

来源：评论

学校读者我要写书评

暂无评论

Formal Model of ATM Based on Object Constraint Language (OCL) 10

Formal Model of ATM Based on Object Constraint Language (OCL...

引用

10th International conference on Engineering and Emerging Technologies, ICEET 2024

作者： Ahmed, Irfan Naseer, Sadia Umm - E - Habiba Mahmood, Jabar Chaudhry, Shehzad Ashraf Batool, Khadija University of Sialkot Department of Computer Science Sialkot Pakistan School of Cyber Science and Technology College of Computer Science and Technology Zhejiang University State Key Laboratory of Blockchain Hangzhou China College of Engineering Abu Dhabi University Department of Computer Science and Information Technology Abu Dhabi United Arab Emirates Gujranwala Pakistan

ISBN: (纸本)9798331532895

Formal methods (FM) are innovative methods which employ mathematical notations to specify explicit and precise requirements. This paper presents a formal model of an automated teller machine (ATM) using Object Constraint Language (OCL) to illustrate the benefits of employing FM to develop commercial applications. FM provide a mathematically rigorous framework for specifying, developing, and verifying software systems. It enhances reliability, robustness, and security. FM plays a crucial role in the context of ATM, which requires high levels of trust and correctness due to their financial and security-critical nature. Using OCL, we demonstrate how formal specifications can be applied to define an ATM system's precise behavior and constraints. It allows for the early detection and correction of errors, reducing development costs and improving overall system quality. This study argues that adopting FM in commercial applications not only boosts the reliability and security of the systems but also increases customer satisfaction and trust. Results of ATM development under OCL have been compared with traditional methods (TM), showing reductions such as 51 % in development time, 53 % in cost, 94 % in ambiguity and 97% in quality and customer trust. © 2024 IEEE.

关键词： Customer satisfaction

来源：评论

学校读者我要写书评

暂无评论

TAMER: Tree-Aware Transformer for Handwritten mathematical Expression Recognition 39

TAMER: Tree-Aware Transformer for Handwritten Mathematical E...

引用

39th Annual AAAI conference on Artificial Intelligence, AAAI 2025

作者： Zhu, Jianhua Zhao, Wenqi Li, Yu Hu, Xingjian Gao, Liangcai Wangxuan Institute of Computer Technology Peking University Beijing China

ISBN: (纸本)157735897X

Handwritten mathematical Expression Recognition (HMER) has extensive applications in automated grading and office automation. However, existing sequence-based decoding methods, which directly predict LaTeX sequences, struggle to understand and model the inherent tree structure of LaTeX and often fail to ensure syntactic correctness in the decoded results. To address these challenges, we propose a novel model named TAMER (Tree-Aware Transformer) for handwritten mathematical expression recognition. TAMER introduces an innovative Tree-aware Module while maintaining the flexibility and efficient training of Transformer. TAMER combines the advantages of both sequence decoding and tree decoding models by jointly optimizing sequence prediction and tree structure prediction tasks, which enhances the model's understanding and generalization of complex mathematical expression structures. During inference, TAMER employs a Tree Structure Prediction Scoring Mechanism to improve the structural validity of the generated LaTeX sequences. Experimental results on CROHME datasets demonstrate that TAMER outperforms traditional sequence decoding and tree decoding models, especially in handling complex mathematical structures, achieving state-of-the-art (SOTA) performance. Copyright © 2025, Association for the Advancement of Artificial Intelligence (***). All rights reserved.

关键词： Office automation

来源：评论

学校读者我要写书评

暂无评论

A GPU Numerical Implementation of a 2D Simplified Wildfire Spreading Model 10th

A GPU Numerical Implementation of a 2D Simplified Wildfire S...

引用

10th Latin American conference on High Performance Computing (CARLA)

作者： San Martin, Daniel Torres, Claudio E. Univ Tecn Federico Santa Maria Dept Informat Valparaiso Chile Univ Tecn Federico Santa Maria Ctr Cient Tecnol Valparaiso Valparaiso Chile

ISBN: (纸本)9783031521850;9783031521867

Wildfires are a latent problem worldwide that every year burns thousands of hectares, negatively impacting the environment. To mitigate the damage, there is software to support wildfire analysis. Many of these computational tools are based on different mathematical models, each with its own advantages and disadvantages. Unfortunately, only a few of the software are open source. This work aims to develop an open-source GPU implementation of a mathematical model for the spread of wildfires using CUDA. The algorithm is based on the Method of Lines, allowing it to work with a system of partial differential equations as a dynamical system. We present the advantages of a GPU versus C and an OpenMP multi-threaded CPU implementation for computing the outcome of several scenarios.

关键词： Wildfires Numerical methods GPU CUDA Scientific Computing

来源：评论

学校读者我要写书评

暂无评论

mathematical Evaluation of Medical Image Computing by Application of mathematical computer-Aided Interventions to Soft Tissues 5

Mathematical Evaluation of Medical Image Computing by Applic...

引用

5th IEEE International conference on Computing, Power, and Communication Technologies, IC2PCT 2024

作者： Chinoy, Danesh Dinyar Mavi, Renu Shrivastav, A.K. Jothi, Naresh Kumar Utsab, Tuhin Rajput, Akshay D y Patil Deemed to Be University School of Physiotherapy Dept of Kinesio Therapeutics and Diagnosis Department of Mathematics Department of Chemistry Navi Mumbai India Swami Vivekananda Subharti University Department of Chemistry Uttar Pradesh Meerut India Mmec Maharshi Markandashwar Department of Mathematics Haryana Ambala India R&d Institute of Science and Technology Department of Mathematics India St. Xavier's University Kolkata India Department of Computer Science & Engineering Dehradun India

ISBN: (纸本)9798350383522

Mini-invasive digestive surgery was seemingly one of the main disciplines where soft tissues were handled utilizing test systems, anatomical structure tracking, and specialized assistance robots. Yet, other therapeutic areas, such as urology, are concerned. Unquestionably, laparoscopic surgery, creative growth killing methods (e.g., HIFU, radiofrequency, or cryoablation), prior disease distinguishing proof, and the usage of interventional and diagnostic imaging modalities have of late acquainted new troubles with urologists and researchers keen on CAMI. This has driven in a significant flood in innovative work of computer-aided urology frameworks throughout recent years. In this study, we give a conversation of the main pressing issues related with computer-aided diagnostic and therapy of soft tissues, as well as an overview of the many kinds of help accessible to urologists: robotization, picture combination, and careful route. There is conversation of both exploration projects and functional modern frameworks. © 2024 IEEE.

关键词： computer Aided Medical Interventions Medical Image Computing

来源：评论

学校读者我要写书评

暂无评论

Deep K-median: a robust unsupervised image segmentation method

Deep K-median: a robust unsupervised image segmentation meth...

引用

2024 International conference on computer Application and Information Security, ICCAIS 2024

作者： Fan, Juntao Li, Qizhong Yang, Gaopan Li, Ning Li, Xiangyang Zhang, Wenbo Li, Yafeng Baoji Cigarette Factory Shaanxi Tobacco Industry Co. Ltd. Shaanxi Baoji721000 China School of Computer Baoji University of Arts and Science Shaanxi Baoji721000 China

ISBN: (纸本)9781510689312

Image segmentation is one of the most important tasks in the field of image processing. Although deep learning-based methods have achieved great success in image segmentation tasks, real-world images often contain mixed noise and lack segmentation labels. For such challenging problems, the segmentation accuracy of existing deep learning-based methods is significantly affected. We introduce the concept of depth K-median for the first time and propose an unsupervised image segmentation method based on depth K-median. This method integrates learning representations and clustering into a unified model while designing a novel unsupervised image segmentation algorithm. This algorithm alternately updates the parameters of the deep network and the clustering parameters. In an unsupervised setting, the new method not only effectively addresses the interference of mixed noise in image segmentation but also better learns the essential features of the data. To validate the effectiveness of the proposed method, extensive experiments on the general VOC 2012 and BSDS300 datasets, comparing existing deep learning-based methods and traditional machine learning methods, demonstrate the effectiveness and advantages of the new method. © The Authors.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共500页 << < 2 3 4 5 6 7 8 9 10 11 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：