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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

34,057 篇 会议
630 册 图书
559 篇 期刊文献

馆藏范围

35,242 篇 电子文献
5 种 纸本馆藏

日期分布

学科分类号

15,533 篇 工学
- 9,772 篇 计算机科学与技术...
- 5,969 篇 软件工程
- 2,942 篇 电气工程
- 2,524 篇 控制科学与工程
- 2,148 篇 机械工程
- 1,765 篇 信息与通信工程
- 1,496 篇 电子科学与技术（可...
- 883 篇 材料科学与工程（可...
- 764 篇 动力工程及工程热...
- 682 篇 生物医学工程（可授...
- 670 篇 仪器科学与技术
- 652 篇 力学（可授工学、理...
- 616 篇 生物工程
- 590 篇 土木工程
- 555 篇 化学工程与技术
- 522 篇 建筑学
- 482 篇 交通运输工程
- 353 篇 航空宇航科学与技...
- 342 篇 安全科学与工程
5,940 篇 理学
- 3,423 篇 数学
- 1,689 篇 物理学
- 1,011 篇 系统科学
- 839 篇 统计学（可授理学、...
- 766 篇 生物学
- 604 篇 化学
2,665 篇 管理学
- 2,252 篇 管理科学与工程(可...
- 837 篇 工商管理
- 478 篇 图书情报与档案管...
605 篇 医学
- 469 篇 临床医学
- 345 篇 基础医学(可授医学...
330 篇 经济学
330 篇 法学
240 篇 教育学
188 篇 农学
124 篇 军事学
95 篇 文学
77 篇 艺术学
1 篇 哲学
1 篇 历史学

主题

11,550 篇 computational mo...
5,203 篇 computer simulat...
2,233 篇 analytical model...
2,121 篇 mathematical mod...
1,783 篇 simulation
1,751 篇 computer archite...
1,510 篇 computer science
1,276 篇 solid modeling
1,128 篇 biological syste...
1,047 篇 circuit simulati...
1,013 篇 computer network...
907 篇 application soft...
856 篇 predictive model...
851 篇 hardware
714 篇 integrated circu...
684 篇 modeling
660 篇 testing
616 篇 data models
603 篇 humans
565 篇 load modeling

机构

62 篇 department of el...
46 篇 department of el...
43 篇 school of comput...
41 篇 department of co...
27 篇 school of comput...
27 篇 department of co...
26 篇 school of comput...
20 篇 school of comput...
18 篇 school of automa...
18 篇 department of co...
18 篇 beihang univ sch...
17 篇 department of el...
17 篇 ibm thomas j. wa...
16 篇 school of electr...
16 篇 college of compu...
16 篇 department of el...
16 篇 department of co...
14 篇 college of compu...
14 篇 department of el...
14 篇 university of mi...

作者

24 篇 bernady o. apduh...
22 篇 leifsson leifur
22 篇 jun wang
18 篇 wei li
16 篇 jing zhang
16 篇 li li
16 篇 ryszard tadeusie...
15 篇 kang li
15 篇 ming li
14 篇 mengchu zhou
13 篇 bin he
13 篇 jian wang
13 篇 marina l. gavril...
13 篇 b. he
13 篇 li zhang
13 篇 dimitrios soudri...
13 篇 yang yang
12 篇 yong meng teo
12 篇 lei wang
12 篇 zhang lin

语言

34,194 篇 英文
805 篇 其他
292 篇 中文
20 篇 俄文
2 篇 捷克文
1 篇 法文

检索条件"任意字段=International Conference on Computer Modeling and Simulation"

共 35246 条记录，以下是4091-4100 订阅

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

详细简洁

排序：

Thermal Conductivities Determination of Synthetic Wood with Recyclable Waste Using Advanced Experimental Method and Numerical simulation

Thermal Conductivities Determination of Synthetic Wood with ...

引用

international conference on Applied Mathematics & computer Science (ICAMCS)

作者： Loredana Judele Ana-Raluca Rosu Eduard Proaspat Gabriel Sandulache Daniel Lepadatu Faculty of Civil Engineering and Building Services Gherghe Asachi Technical University of Iaşi Iasi Romania Faculty of Architecture and Urban Planning Technical University of Moldova Chisinau Republic of Moldova Faculty of Hydrotechnique Geodesy and Environmental Engineering Gherghe Asachi Technical University of Iaşi Iasi Romania

The global economy is at a turning point when the raw material is less and less about demand and harder to obtain. Moreover, the reduction of dioxide emissions carbon is mandatory in the context of climate change. At the same time, the waste in construction and other economic areas is increasingly difficult to manage because its sorting and recycling are not yet in line with the rules imposed by the European community and assumed by each state. In the current context of the need to reduce carbon dioxide emissions more and more, materials used for thermal protection of buildings must be obtained if possible from recyclable materials with low thermal conductivity and minimum energy consumption. In this paper, we propose a comparative analysis of the thermal conductivity obtained experimentally of some synthetic wood boards with variable content of recyclable waste (polystyrene, fly ash, sunflower husks, cement, polymer, etc ) using a double-climate chamber, with those obtained by numerical modeling using the finite element method. Experimental planning of synthetic wood boards was carried out with the help of the design of the experiment method which allowed a decrease in the number of experiments necessary for such investigations but with maximum efficiency on the results of the physicomechanical characteristics obtained. The results obtained by the two methods were very conclusive surrounding this material in the category of insulating ones with thermal conductivity between 0.071 and 0.107. We can say that synthetic wood obtained with variable addition of different compatible waste can contribute to more efficient use of this and implicitly to the decrease of the effect on the environment.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Rainfall Prediction in Tengger Indonesia: A System Dynamics Approach

Rainfall Prediction in Tengger Indonesia: A System Dynamics ...

引用

international conference on Cyber Physical, computer and Automation Systems, CPCAS 2019

作者： Wahyuni, Ida Adipraja, Philip Faster Eka Mahmudy, Wayan Firdaus Iriany, Atiek Department of Computer Science Brawijaya University Malang Indonesia Department of Informatics Institut Teknologi dan Bisnis Asia Malang Indonesia

ISBN: (纸本)9789813340619

Commonly, rainfall prediction uses historical data or the time series data. But there are many factors can affect rainfall such as temperature and humidity. Therefore, an approach is needed that can model forecasting rainfall not only uses time series data but also includes other supporting variables. System dynamics is an approach for modeling and simulation of the data. By modeling the rainfall data from the previous year which includes temperature and humidity data using system dynamics, prediction of rainfall can be simulated. The prediction results using systems dynamics approach generate root mean square error (RMSE) smaller than previous studies. The result of RMSE with system dynamics for Puspo area is 6.767. It is smaller than the RMSE results with a hybrid Tsukamoto FIS with genetic algorithm method which is 7.30. © 2021, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Rain

来源：评论

学校读者我要写书评

暂无评论

Formal modeling and Verification of the Sequential Kernel of an Embedded Operating System 18

Formal Modeling and Verification of the Sequential Kernel of...

引用

18th international computer conference on Wavelet Active Media Technology and Information Processing, ICCWAMTIP 2021

作者： Haitao, Zhang Lirong, Chen Lei, Luo University of Electronic Science and Technology of China School of Computer Science and Engineering Chengdu611731 China

ISBN: (纸本)9781665413640

A formal computational model is presented for the sequential kernel of an automotive embedded real-time operating system, which provides infrastructural mechanism to support the isolation between applications and the operating system, as well as the isolation between executive entities such as tasks and ISRs (Interrupt Service Routines) in applications. The target embedded system is modeled at the granularity of isolated memory regions and stacks. Tasks, nested ISRs and the preempt-able part of the operating system (i.e. system services) are concurrent entities executing on dedicated memory regions and stacks determined by the sequential kernel. States of these entities can be correctly saved and restored in isolated stacks and in the kernel data structures, such that the control flow changes among them can be correctly made. The implementation correctness theorem of the kernel is established along with the corresponding simulation relationship and implementation invariants. According to the features of the model and the related implementation languages, the kernel is formally verified with the theorem prover Isabelle/HOL. © 2021 IEEE.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Collision detection and response approaches for computer muscle modelling

Collision detection and response approaches for computer mus...

引用

IEEE international Scientific conference on Informatics

作者： Ondrej Havlicek Martin Cervenka Josef Kohout Department of Computer Science and Engineering Faculty of Applied Sciences University of West Bohemia Pilsen Czech Republic NTIS - New Technologies for the Information Society Faculty of Applied Sciences University of West Bohemia Pilsen Czech Republic

computer muscle modelling is used for many pur-poses, from injury recovery and treatment of chronic diseases to disease prediction. These predictions often involve computing the muscle's internal forces to determine further how fast something may happen (e.g. how quickly the muscle joint wears out). During the simulation of such a model, collisions of soft and rigid bodies inevitably occur. This paper tests various state-of-the-art collision handling methods: voxelisation, one using Signed Distance Fields and one based on Bounding Volume Hierarchies. These methods are tested in the context of muscle modelling with the previously proposed position-based dynamics approach. Compared to the other options, using the Discregrid library for Signed Distance Field generation shows the best results, mainly due to its accuracy to the speed of execution ratio. In contrast to the current system, visually pleasant improvements are significant.

关键词： Solid modeling Analytical models Computational modeling Muscles Predictive models Libraries Informatics

来源：评论

学校读者我要写书评

暂无评论

An Efficient Approach to Decision-making in the Education Process: Markov Chain for Fuzzy States

An Efficient Approach to Decision-making in the Education Pr...

引用

international conference on Control Systems, Mathematical Modelling, Automation and Energy Efficiency (SUMMA)

作者： Anna E. Loskutova Mikhail G. Matveev Peter A. Meleshenko Computer Science Department Voronezh State University Voronezh Russia

ISBN: (数字)9798350309126

ISBN: (纸本)9798350309133

This paper reports on an efficient approach within the control of the school education process. Namely, we use the discrete Markov chain for a system with fuzzy states that based on processing data from time series (a set of student’s grades within some time period). In this case, the transition matrix has stochastic nature. Such an approach makes it possible to obtain stationary states of the system that characterize its status at a certain given time interval. This result can be used in a decision support system for targeted status changes. A feature of the resulting Markov chain for fuzzy states of a system is the ability to take into account the dynamics of changes in system states when calculating average status values, in contrast to the widely used averaging based on calculating arithmetic averages.

关键词： Decision support systems Education Stationary state Time series analysis Process control Markov processes Numerical simulation

来源：评论

学校读者我要写书评

暂无评论

Energy Efficient Dynamic Improved Optimization Method for Resource Management in Cellular Networks

Energy Efficient Dynamic Improved Optimization Method for Re...

引用

Integrated Circuits and Communication Systems (ICICACS), IEEE international conference on

作者： Rana Veer Samara Sihman Bharattej R Haideer Alabdeli Piyush Kumar Pareek Meenakshi S S Jeyanthi Doctorate of Business Administration National Louis University Chicago IL USA Department of Computers Techniques Engineering College of Technical Engineering The Islamic University Najaf Iraq Department of Artificial Intelligence and Machine Learning Nitte Meenakshi Institute of Technology Bengaluru India Department of Electronics and Communication Engineering Dhanalakshmi Srinivasan College of Engineering Technology Mamallapuram India Department of Computer Applications New Prince Shri Bhavani College of Engineering and Technology Chennai India

ISBN: (数字)9798331508456

ISBN: (纸本)9798331508463

The dense deployment of small cell networks is primary feature of next generation mobile networks assigned to offer essential ability. The small cells are deployed in regions covered through macro-Base Stations (eNBs) for supplying required local capacity depended on hierarchical networks. Additionally, small cell networks utilize high capacity backhaul links on millimeter wave bands for developing multi-hop topologies to overcome data broadcasting costs. In this manuscript, developed the dynamic improved optimization method for reducing energy consumption of 5G networks and offers significant capacity and coverage. By optimizing the carrier allocation and power usage, developed algorithm determined when to turn ON or OFF small cells to meet constraints of Quality of Service (QoS) of users with greatest level of energy efficiency. Moreover, developed the multi-hop backhauling strategy for effective utilization of existing architecture of small-cell networks for continuous dual-hop transmissions. In accordance with simulation outcomes, the energy efficiency and data rates of system effectively enhanced.

关键词： Heuristic algorithms Optimization methods Quality of service Spread spectrum communication Microcell networks Dynamic scheduling Energy efficiency Resource management Integrated circuit modeling Backhaul networks

来源：评论

学校读者我要写书评

暂无评论

Research on Intelligent Construction under the Intelligent Management Scenario: Investigation, simulation and Evaluation Algorithm 23

Research on Intelligent Construction under the Intelligent M...

引用

Proceedings of the 2023 4th international conference on computer Science and Management Technology

作者： Yaxuan Yi Department of Industrial Engineering Tsinghua University China

ISBN: (纸本)9798400709517

In recent years, with the continuous development of society, there has been rapid progress in intelligent buildings and their associated technologies. Among these, the application of intelligent construction products and new technologies can significantly enhance the efficiency of construction operations, ensure the safety of on-site personnel, and improve the accuracy of construction data. Consequently, intelligent construction products have become a focal issue for the majority of enterprises. Addressing this market demand, this paper simulates a technology company which specializing in intelligent building products, and investigates various innovative technologies and products related to intelligent construction. Simultaneously, a series of market surveys were conducted to analyze the current understanding and awareness of intelligent buildings among the public. Then we analyze construction techniques under smart management scenarios, presents the design of a smart construction management software based on BIM (Building Information modeling) technology. Finally, this paper innovatively proposes an intelligent construction evaluation method based on genetic algorithms, integrated with BIM technology. This algorithm provides intuitive and clear forecasts for construction time and cost, and selects the most appropriate construction plan according to predefined rules.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Centralized and Reliable Digital Twin Models for Smart City's Buildings Protection during Disaster

Centralized and Reliable Digital Twin Models for Smart City'...

引用

Computational Modelling, simulation and Optimization (ICCMSO), international conference on

作者： Md.Sameeruddin Khan R. Chinnaiyan S Balachandar S.Jafar Ali Ibrahim N.S.Kalyan Chakravarthy C. Kalaiarasan R Divya Dean School of CSE & IS Presidency University Bengaluru INDIA Professor School of CSE&IS Presidency University Bengaluru INDIA VTU-RC Department of MCA CMR Institute of Technology Bengaluru INDIA Department of IoT School of Computer Science and Engineering Vellore Institute of Technology Vellore Tamilnadu India School of CSE QIS College of Engineering & Technology Ongole AP Associate Dean School of CSE & IS Presidency University Bengaluru INDIA

Digital Twin is one of the fast-growing technology digitalization space which needs to complete Smart City's problem areas. Digital twin is virtual representation of physical things or assets or process in a connected network. The data from Physical asset or things IOT Devices, Sensors, Cameras needs to be collected in a large cloud store which contains the engineering data like machine diagrams or flow charts, building blueprint, building electrical map or waterline map, Building information Model, 3D images, computer Aided Design (CAD), controls data IOT Sensors, IOT Gateway, Drones, Cameras, etc. and supporting data. This research paper narrates the different types of digital twin with a use case of Smart Building and how it should be protected during disaster time with different technologies and dataset

关键词： Solid modeling Three-dimensional displays Smart buildings Computational modeling Urban areas Data models Digital twins

来源：评论

学校读者我要写书评

暂无评论

Utilizing Digital Twin simulation Technologies to Build ICS Cyber Ranges 2nd

Utilizing Digital Twin Simulation Technologies to Build ICS ...

引用

2nd international conference on Network simulation and Evaluation, NSE 2023

作者： Zhou, Haifeng Li, Mohan Sun, Yanbin Cyberspace Institute of Advanced Technology GuangzhouUniversity Guangzhou China Guangdong Key Laboratory of Industrial Control System Security Guangzhou China

ISBN: (纸本)9789819745180

With the integration of IT and OT, cyberattacks against ICS have been on the rise recently, and more and more advanced methods are resorted to by attackers to break down the physical system. To do further research in cybersecurity on ICS, building a cyber range is an economical, practical, and necessary approach considering the requirements of availability for the onsite production devices. Using all physical devices to build a cyber range is unrealistic and inflexible due to the high cost while pure software simulation lacks authenticity. Meanwhile, digital twin, a prevalent concept in recent years, shows its potential in ICS cyber ranges for its authenticity and flexibility due to the improvements in modeling methods and network communication. Therefore, the framework, implementation methods, and applications of using digital twin technology to build an ICS cyber range are discussed in this paper. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

Towards a model driven approach for integrating NWN models in CINCO

Towards a model driven approach for integrating NWN models i...

引用

international conference on New Technologies of Information and Communication (NTIC)

作者： Amel Dembri Mohammed Redjimi Dpt. of Computer Science Université 20 Août 1955- LICUS Laboratory Skikda Algeria

In this paper, we propose a model driven approach to facilitate the integration of Nets within Nets (NWN) modeling language in CINCO modeling tool. Despite that, NWN has a sophisticated modeling-simulation tool called Renew, moving NWN models from a platform to another has been a challenge for programmers. The development of our tool is heavily benefits from being implemented with CINCO; a full generation of the application code is provided, a powerful tool is developed with a few efforts and facilities are provided to add semantic to the platform. Combine formal method with a sophisticated model driven tool simplifies the prototypical of domain specific systems, promotes the interoperability capabilities between different technologies and assists designer in the validation of the correctness of the modeled system.

关键词： Productivity Analytical models Codes Semantics Petri nets Task analysis Interoperability

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 406 407 408 409 410 411 412 413 414 415 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：