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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,856 篇 会议
109 篇 期刊文献
2 册 图书

馆藏范围

2,967 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,280 篇 工学
- 1,412 篇 计算机科学与技术...
- 913 篇 软件工程
- 344 篇 机械工程
- 329 篇 控制科学与工程
- 289 篇 电气工程
- 270 篇 材料科学与工程（可...
- 248 篇 信息与通信工程
- 176 篇 电子科学与技术（可...
- 168 篇 化学工程与技术
- 152 篇 冶金工程
- 147 篇 动力工程及工程热...
- 134 篇 力学（可授工学、理...
- 109 篇 仪器科学与技术
- 109 篇 土木工程
- 98 篇 环境科学与工程（可...
- 95 篇 生物工程
- 91 篇 建筑学
- 82 篇 生物医学工程（可授...
- 69 篇 交通运输工程
- 55 篇 水利工程
1,041 篇 理学
- 612 篇 数学
- 287 篇 物理学
- 154 篇 化学
- 142 篇 统计学（可授理学、...
- 112 篇 生物学
- 98 篇 系统科学
440 篇 管理学
- 361 篇 管理科学与工程(可...
- 144 篇 工商管理
- 96 篇 图书情报与档案管...
68 篇 医学
56 篇 经济学
- 55 篇 应用经济学
54 篇 教育学
45 篇 法学
35 篇 农学
16 篇 文学
14 篇 军事学
7 篇 艺术学
2 篇 历史学

主题

159 篇 simulation
84 篇 computer simulat...
70 篇 computational mo...
56 篇 process control
47 篇 analytical model...
47 篇 mathematical mod...
44 篇 modelling
42 篇 numerical simula...
38 篇 computer softwar...
31 篇 genetic algorith...
30 篇 optimization
28 篇 data models
27 篇 finite element m...
24 篇 neural networks
22 篇 visualization
21 篇 matlab
21 篇 training
19 篇 modeling
19 篇 computer archite...
19 篇 computer aided d...

机构

8 篇 school of equipm...
6 篇 university of ch...
5 篇 wuhan university...
5 篇 beijing jiaotong...
5 篇 college of compu...
4 篇 army artillery a...
4 篇 northeastern uni...
4 篇 department of co...
4 篇 school of materi...
4 篇 ieee
4 篇 faculty of elect...
4 篇 automation and c...
4 篇 department of el...
3 篇 key laboratory o...
3 篇 department of co...
3 篇 changchun instit...
3 篇 school of comput...
3 篇 college of compu...
3 篇 school of comput...
3 篇 school of artifi...

作者

8 篇 wang lei
6 篇 li li
6 篇 li bin
5 篇 shamsuddin siti ...
5 篇 abdullah rosni
4 篇 lee kanghee
4 篇 li song
4 篇 yang yang
4 篇 zhang yan
4 篇 ludwig a.
4 篇 jo mansik
4 篇 schmid hj
4 篇 li xiaoxing
4 篇 liu wei
4 篇 ibdah yazan
4 篇 peukert w
4 篇 zhang jing
4 篇 li wei
3 篇 carron d
3 篇 khaled elleithy

语言

2,873 篇 英文
69 篇 其他
29 篇 中文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=2nd International Conference on Thermal Process Modelling and Computer Simulation"

共 2967 条记录，以下是341-350 订阅

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

详细简洁

排序：

Research on computer 3D simulation Construction System in Urban Landscape Design

Research on Computer 3D Simulation Construction System in Ur...

引用

Data Analytics, Computing and Artificial Intelligence (ICDACAI), international conference on

作者： Liu Wei Chongqing College of Architecture and Technology Chongqing China

In this paper, based on virtual reality, generation rules are used to represent the rules in landscape design. Secondly, formalized expression of the suitability rules and spatial layout rules of landscape greening is carried out, and corresponding knowledge base is constructed. Design the process of collecting landscape 3D image data. Three dimensional graphical simulation decision analysis method is used. Determine that the data is in conformity with the plan specification. Through the least number of objects, the motion vector, rotation matrix and scale coefficient are obtained, and the eigenvalues of the image are obtained. Finally, a new environmental impact simulation system is constructed. The test and simulation results show that the authenticity of the landscape design scheme is more than 95%.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Verification of Digital Twins through Statistical Model Checking 17

Verification of Digital Twins through Statistical Model Chec...

引用

17th IFIP WG 8.1 Working conference on the Practice of Enterprise Modeling Forum, 1st international Workshop on Models for simulation, M4S 2024, 2nd international Workshop on the Foundations and Applications of Capabilities in Enterprises, Transformations, and ESG Initiatives, FACETE 2024, Workshop on Advancing Enterprise modelling through Digital Transformation, FAIR Data Management, and Blockchain Integration, AEM 2024, Tools and Demos, PoEM-Companion 2024

作者： Gunasekaran, Raghavendran Haverkort, Boudewijn R. Tilburg University Tilburg School of Humanties and Digital Sciences Netherlands University of Twente Faculty for Electrical Engineering Mathematics and Computer Science Netherlands

Since its inception as abstract notion in 2002, Digital Twins (DTs) have received increased attention over the last 5 to 10 years, in both industry and academia. Most definitions of DTs focus on the existence of a virtual entity (VE) which faithfully represents a real-world physical entity (PE), and typically consist of a number of inter-connected models, undergoing changes continuously owing to the synchronization with its PE. During cosimulation, interactions between the various components making up a VE can be stochastic and time-critical in nature, which could lead to undesired (and unexpected) behavior. The continuous evolution of VE might further affect the nature of these interactions and corresponding model execution times, which could possibly affect its overall functioning during run-time. This creates a need to perform (continuous) verification of the VE, to ensure that it behaves consistently during execution by adhering to desired properties of interest such as timeliness, functional correctness, deadlock freeness and others. In this paper we propose to use statistical model checking (SMC) as a technique to verify a VE at runtime. For that purpose, we propose to use a stochastic timed automata (STA) model of the VE and its interacting components, and verify it using UPPAAL SMC. We present our observations and findings from applying this technique on the cosimulation of a DT of an autonomously driving truck. © 2024 Copyright for this paper by its authors.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

2nd international conference on Artificial Intelligence Logic and Applications, AILA 2022

2nd International Conference on Artificial Intelligence Logi...

引用

2nd international conference on Artificial Intelligence Logic and Applications, AILA 2022

ISBN: (纸本)9789811975097

The proceedings contain 20 papers. The special focus in this conference is on Artificial Intelligence Logic and Applications. The topics include: Generalized Convex Combinations of T-Norms on Bounded Lattices;a Transformation Model for Different Granularity Linguistic Concept Formal Context;paraconsistent Rough Set Algebras;a Generalization of Bounded Commutative Rl-Monoids;on the Weak Dominance Relation Between Conjunctors;new Modification to Toulmin Model as an Analytical Framework for Argumentative Essays;value-Based Preference Aggregation Argument Framework and Its Application;a New Fuzzy Analytic Hierarchy process Method for Software Trustworthiness Measurement;a Novel Trustworthiness Measurement Method for Software System Based on Fuzzy Set;Quantitative BAN Logic Based on Belief Degree;the Trustworthiness Measurement Model of Component-Based Software Based on Combination Weight;predicate Logic Network: Vision Concept Formation;approximate simulation for Transition Systems with Regular Expressions;on Interval Perturbation of the ɑ-Symmetric Implicational Algorithm;(α, β) - Colored Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy Logic;viewpoint-Driven Subspace Fuzzy C-Means Algorithm;TOPSIS Method Based on Intuitionistic Fuzzy Linguistic Concept;properties of Fuzzy λ-Approximate Context-Free Languages.

关键词：

来源：评论

学校读者我要写书评

暂无评论

simulation modelling for Assessing the Adequacy of Decision Support Models with Choosing a Product Offer 2nd

Simulation Modelling for Assessing the Adequacy of Decision ...

引用

2nd international conference on Information Systems and Design, ICID 2021

作者： Matveev, Mikhail Shmelev, Mikhail Budyakov, Andrey Voronezh State University Voronezh Russia JSC Gazprom Neft Saint Petersburg Russia

ISBN: (纸本)9783030954932

Electronic commerce has become an effective tool for information integration of sellers and buyers. The significant effect can be achieved by automating decision-making processes that are based on mathematical information modelling. Practical application of such models in e-commerce markets is constrained by the lack of the possibility of checking the adequacy of these models. Adequacy verification is possible on a simulation model, which should take into account specific features of the product market. When simulating random demand, it is necessary to take into account the mutual influence of product characteristics. The article discusses the problem of constructing a simulation model of demand. Special types of features can be displayed by the joint distribution of dependent characteristics and univariate distribution of independent characteristics. In the general case, the task is to construct a multidimensional distribution function of random characteristics that adequately reflects the features of their behavior. For interacting characteristics two-dimensional distribution is obtained on the basis of expert construction of a matrix of paired comparisons of values of these characteristics. It is shown that the eigenvector of the matrix of pairwise comparisons sets conditional probabilities of the distribution of one characteristic for given values of other. For an independent characteristic the expert indicates the required table distribution. With obtained discrete distributions, random values of characteristics are generated by the method of inverse functions. For given example, a simulation model of the generation of customer demand was built, which reflects features of the behavior of product characteristics. © 2022, Springer Nature Switzerland AG.

关键词： Eigenvalues and eigenfunctions

来源：评论

学校读者我要写书评

暂无评论

Study on The Importance of computer Big Data to Volleyball Match: Taking the Data Analysis and Application of Women's Volleyball Video Challenge of 2020 Tokyo Olympics as an example 2

Study on The Importance of Computer Big Data to Volleyball M...

引用

2nd international conference on Statistics, Applied Mathematics, and Computing Science, CSAMCS 2022

作者： Liu, Chenxi Ding, Yi Wang, Jun Faculty for Physical Education Shanghai International Studies University Shanghai China Faculty for Physical Education Fudan University Shanghai China

ISBN: (纸本)9781510663183

The Video Challenge System (VCS) was officially introduced at the 2016 Rio Olympics. Utilizing multiple on-site officiating tracking cameras and processing the captured images with back-end computers, this system was proven to provide fair and effective resolution for disputes. This paper adopts the following research methods: VCS review, and statistical analysis of data from the Women's Volleyball competition at the 2020 Tokyo Olympics. The author obtained the following results. Limited simulation of flight trajectory when a volleyball is in a close range to the net and limited amount of available data to generalize research findings. According to the Fédération internationale de Volleyball (FIVB), the most common challenges include touch, ball in/out, followed by faulty antennae. 1) VCS can produce accurate and transparent results and help minimize human judgment errors in the court owing to its extremely high prediction accuracy, and it can create an instant, objective, and direct 3D animation. 2) Mass data collection is required;the VCS analysis and application in the competition need further improvement. 3) The digitalization and intelligence process in the sports industry are facilitated through the interactions between Hawk-eye technology innovation and volleyball rules. 4) Greater granularity in volleyball sport development is stimulated by creating new challenges for athletes, coaches, and referees. © 2023 SPIE.

关键词： Big data

来源：评论

学校读者我要写书评

暂无评论

Motion Path Study Based on Dynamic simulation and Pitch Optimization Algorithm

Motion Path Study Based on Dynamic Simulation and Pitch Opti...

引用

Electrical, Automation and computer Engineering (ICEACE), international conference on

作者： Ying Shi Guoyue Liu Xiaohong Hao Suzhou City University Suzhou China Insnex Technologies Co.Ltd Suzhou China

ISBN: (数字)9798350368208

ISBN: (纸本)9798350368215

In this paper, the dynamic simulation and optimization strategy of complex motion are deeply studied. By constructing a motion model based on isometric spiral, the complex motion trajectory of the moving subject on a two-dimensional plane is accurately described. The model combines the solving methods of differential equation and nonlinear equation to ensure the accuracy of the motion trajectory. In addition, a dynamic collision detection mechanism is introduced to improve the practicability and safety of the motion simulation. Through the pitch optimization algorithm, the optimization scheme of the motion process is further discussed to ensure the stable motion under the condition of minimum pitch. The results show the validity and reliability of the mathematical model and the algorithm framework in the dynamic simulation of complex team sports.

关键词： Spirals Heuristic algorithms Wind speed Dynamics Mathematical models Trajectory Safety Collision avoidance Optimization Sports

来源：评论

学校读者我要写书评

暂无评论

COVID-19 supply chain resilience modelling for the dairy industry 2

COVID-19 supply chain resilience modelling for the dairy ind...

引用

2nd international conference on Industry 4.0 and Smart Manufacturing (ISM)

作者： Munien, Inderasan Telukdarie, Arnesh Univ Johannesburg Johannesburg South Africa

Precipitated by the COVID-19 pandemic, the extant global supply chain is transitioning from an efficiency fixated system to a system orientated on resilience. Key factors advancing this transformation include localisation and digitalisation. A system dynamics model is formulated to facilitate the investigation of the aforementioned factors impact on the cost structure of the dairy sector. A 3 level, 2 factor experiment reveals the confounding effect of the two factors to be a decrease in the mean cost across the system mediated primarily by the cascading benefits of digitalisation on innovation, continuous improvement and the concomitant efficiency enhancement. Analysis of the simulation results establishes that employment is augmented by digitalisation and localisation but constrained by skills scarcity. An extended model incorporating a more comprehensive description of the dairy sub-sector would be indispensable to informing policy and strategic and tactical decision making for resilience based designs. (C) 2021 The Authors. Published by Elsevier B.V.

关键词： localisation digitalisation cost resilience

来源：评论

学校读者我要写书评

暂无评论

simulation and Effectiveness Analysis of UAV Target Air Defense Combat Module

Simulation and Effectiveness Analysis of UAV Target Air Defe...

引用

Sensors, Electronics and computer Engineering (ICSECE), IEEE international conference on

作者： Junqian Li Wangxu Li Chengjun Xu Army Artillery and Air Defense Academy Hefei China

ISBN: (数字)9798350373646

ISBN: (纸本)9798350373653

This paper elaborates on the definition, role, and military applications of virtual unmanned aerial vehicle (UAV) targets. It provides a comprehensive overview of current research on virtual UAV target technology and tactical applications. The article further constructs a model to evaluate its effectiveness in air defense operations from four aspects. By using the Monte Carlo method, the paper simulates the air defense combat process of virtual UAV targets and provides in-depth calculation and analysis of their combat effectiveness.

关键词： Monte Carlo methods Atmospheric modeling Autonomous aerial vehicles Sensors Random variables

来源：评论

学校读者我要写书评

暂无评论

Volume Estimation of an Indoor Space with LiDAR Scanner 2nd

Volume Estimation of an Indoor Space with LiDAR Scanner

引用

2nd international conference on Optimization, Learning Algorithms and Applications (OL2A)

作者： Bierende, Jaqueline Braun, Joao Costa, Paulo Lima, Jose Pereira, Ana I. Inst Politecn Braganca Res Ctr Digitalizat & Intelligent Robot CeDRI Braganca Portugal Univ Tecnol Fed Parana UTFPR Curitiba Parana Brazil INESC Technol & Sci Porto Portugal Univ Porto Fac Engn Porto Portugal Inst Politecn Braganca Lab Sustentabilidade & Tecnol Regioes Montanha Su Braganca Portugal

ISBN: (纸本)9783031232350;9783031232367

Three-dimensional scanning is a task of great importance for our modern society and has brought significant advances in the precision of material inventory. These sensors map the material surface continuously, allowing real-time inventory monitoring. Most technologies are expensive because this process is complex, and even inexpensive ones are considerate smart investments for the average user. Therefore, this work presents the simulation of a low-cost time-of-flight based 3D scanning system that performs the volume estimation of an object-filled indoor space after a voxelization process. The system consists of a 2D LIDAR scanner that performs an azimuthal scan of 180. through its rotating platform and a motor that rotates the platform in angle inclination.

关键词： LiDAR Volume estimation simulation 3D scanning Voxelization Point cloud

来源：评论

学校读者我要写书评

暂无评论

Utilizing YOLOv5x for the Detection and Classification of Brain Tumors

Utilizing YOLOv5x for the Detection and Classification of Br...

引用

Disruptive Technologies (ICDT), international conference on

作者： Manoj Kumar Urmila Pilania Tanisha Bhayana Stuti Thakur Computer Science & Technology Manav Rachna University Faridabad India

Development in image processing and Deep Learning (DL) techniques have many applications in the medical field. In this work, YOLOv5x (You Only Look Once) has been used for brain tumor detection and classification in Magnetic Resonance Imaging (MRI) images. YOLOv5x is well recognized for its accuracy and speed in real-time object detection. The proposed work comprises training the YOLOv5x model on the Brats and Roboflow dataset of brain MRI images. It is trained to identify and classify types of brain tumors. With the proper training process, the accuracy and speed of detecting irregularities in several tumor cases can be improved. Performance metrics like precision, recall, mAP (Mean Average Precision), and F1-Score are utilized to measure the robustness and reliability of the model. For validation of the proposed work, simulation results are computed using two datasets. The results of the work hold significant potential for timely recognition and diagnosis of brain tumors.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共297页 << < 31 32 33 34 35 36 37 38 39 40 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：