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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,601 篇 会议
62 篇 期刊文献
40 册 图书

馆藏范围

1,701 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

1,241 篇 工学
- 869 篇 计算机科学与技术...
- 531 篇 软件工程
- 134 篇 电气工程
- 128 篇 土木工程
- 123 篇 机械工程
- 108 篇 控制科学与工程
- 87 篇 建筑学
- 71 篇 材料科学与工程（可...
- 68 篇 信息与通信工程
- 54 篇 力学（可授工学、理...
- 46 篇 交通运输工程
- 45 篇 安全科学与工程
- 42 篇 动力工程及工程热...
- 39 篇 化学工程与技术
- 37 篇 生物工程
- 36 篇 仪器科学与技术
- 33 篇 石油与天然气工程
- 31 篇 环境科学与工程（可...
- 26 篇 电子科学与技术（可...
355 篇 理学
- 209 篇 数学
- 59 篇 统计学（可授理学、...
- 57 篇 物理学
- 55 篇 系统科学
- 52 篇 生物学
- 29 篇 化学
214 篇 管理学
- 156 篇 管理科学与工程(可...
- 84 篇 工商管理
- 73 篇 图书情报与档案管...
41 篇 医学
- 32 篇 临床医学
27 篇 法学
26 篇 经济学
- 25 篇 应用经济学
16 篇 教育学
10 篇 农学
3 篇 军事学
2 篇 文学
1 篇 历史学
1 篇 艺术学

主题

64 篇 model checking
48 篇 tools
29 篇 static analysis
28 篇 algorithm design...
26 篇 data mining
25 篇 real-time system...
24 篇 real time system...
23 篇 analytical model...
22 篇 software enginee...
21 篇 semantics
21 篇 machine learning
21 篇 software
19 篇 task analysis
19 篇 computational mo...
17 篇 monitoring
17 篇 stochastic syste...
17 篇 artificial intel...
16 篇 database systems
16 篇 construction ind...
16 篇 data analysis

机构

12 篇 ludwig maximilia...
7 篇 univ twente form...
7 篇 univ penn philad...
6 篇 univ illinois ur...
5 篇 tech univ munich...
4 篇 verimag ctr equa...
4 篇 rhein westfal th...
4 篇 carnegie mellon ...
4 篇 suny stony brook...
3 篇 saarland univ sa...
3 篇 university of wa...
3 篇 univ colorado bo...
3 篇 aalborg univ dep...
3 篇 school of constr...
3 篇 natl inst inform...
3 篇 carnegie mellon ...
3 篇 lviv polytechnic...
3 篇 chinese acad sci...
3 篇 univ oxford dept...
3 篇 iowa state univ ...

作者

13 篇 beyer dirk
8 篇 parker david
8 篇 hermanns holger
8 篇 katoen joost-pie...
7 篇 van de pol jaco
7 篇 kwiatkowska mart...
6 篇 yi w
5 篇 majumdar rupak
5 篇 podelski andreas
5 篇 alur rajeev
5 篇 pettersson p
5 篇 norman gethin
4 篇 behrmann gerd
4 篇 kroening daniel
4 篇 neele thomas
4 篇 bozga marius
4 篇 abdulla parosh a...
4 篇 mateescu radu
4 篇 sharygina natash...
4 篇 groote jan friso

语言

1,630 篇 英文
41 篇 其他
16 篇 德文
14 篇 中文
1 篇 捷克文
1 篇 葡萄牙文
1 篇 俄文
1 篇 乌克兰文

检索条件"任意字段=10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"

共 1703 条记录，以下是181-190 订阅

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

详细简洁

排序：

Retrofit of Masonry Walls with Composites to Reduce Vulnerability to Tsunami Loads 10th

Retrofit of Masonry Walls with Composites to Reduce Vulnerab...

引用

10th international conference on Fibre-Reinforced Polymer (FRP) Composites in Civil Engineering (CICE)

作者： Belliazzi, Stefano Lignola, Gian Piero Prota, Andrea Univ Naples Federico II Dept Struct Naples Italy

ISBN: (纸本)9783030881665;9783030881658

In the last years, tsunami events caused great damages in terms of buildings collapse and casualties. In general, a masonry wall, subjected to tsunami loads, could reach failure for out of plane mechanism (bending and overturning) or in plane collapse (sliding, cracking by diagonal tension and crushing by diagonal compression), depending on the direction of the flow, if it is parallel or perpendicular to the masonry wall plane. In Scientific literature, several solutions can be found on the improvement of structural response using Textile Reinforced Mortars (TRM). the advantages of designing retrofit interventions with innovative strengthening systems have been remarked continuously. this paper focuses on the behaviour of masonry walls and the impact of the strengthening solutions using innovative TRM systems. there is a significant improvement of the strength even applying a single layer of material to the sides of the walls. the typology of masonry has been found to significantly alter the wall performance. the same strengthening system is expected to be more efficient in the case of weaker masonry walls, compared to stronger masonry;this depends also on the failure mode of Un-Reinforced Masonry, URM. In particular conditions, high composite mechanical ratios could be useless. Another aim of the paper is to provide fast assessment tools for the effects of tsunami actions on masonry structures, assuming as main parameter the inundation depth, and to provide a comparably fast tool to design retrofit interventions with innovative strengthening systems, also by means of design charts. In addition, a critical discussion is proposed on the influence of the main mechanical and geometrical parameters of masonry wall and of the composite system on the structural response of the masonry wall cross section.

关键词： Large scale analysis Masonry Strengthening design Tsunami

来源：评论

学校读者我要写书评

暂无评论

10th international conference on Science, Technology and Innovation for Society, CITIS 2024

10th International Conference on Science, Technology and Inn...

引用

10th international conference on Science, Technology and Innovation for Society, CITIS 2024

ISBN: (纸本)9783031870644

the proceedings contain 45 papers. the special focus in this conference is on Science, Technology and Innovation for Society. the topics include: Random Walks Sampling on the Facebook Network of the Massachusetts Institute of Technology Using Ant Colonies;fuzzy Logic in Non-current Assets;hate Speech Detection During the 2023 Chilean Plebiscite Constitutional Reform;inverted Classroom Strategy Applied to Students of Higher Basic General Education with Learning Difficulties in Mathematics Considering the Use of Information and Communication Technologies;Multi-Method Spectral Predictive Models with FTIR-ATR in the Simultaneous Quantification of Ethanol and Legal Methanol Limits in Ecuadorian Clear Spirits;analysis of Students’ Emotions in Real-Time During Class Sessions through an Emotion Recognition System;optimization of a Rectangular Warehouse Design Using Heuristics Techniques;an Approach to Bibliometric analysis of Biosignal Acquisition systems to Determine Neurological and Physiological Aspects of Driving Stress;JointCare: An Integrated Platform for EMG Signal analysis in Knee Osteoarthritis Rehabilitation;determination of the Real Percentages of Fuel Expansion in the Automotive Sector Influenced by Ambient Temperatures in a City 50 m. Above Sea Level, Using thermographic tools;influence of the Acceleration Vector on Measured and Estimated Pollutant Emissions of Hybrid Vehicles, Focusing on Traction and Power Operating Parameters;comparison of Environmental Impact Between Hybrid Electric Vehicles: analysis of Pollutant Emissions in Real Driving Emissions Test;application of Topological Design to Brake Discs of Light Vehicles to Improve Heat Dissipation;a Model for Electric Vehicle Battery Aging: A Vehicle-to-Grid Perspective;developing a Methodology to Reduce Fuel Consumption and Classify Driving Styles for a Fleet of Vehicles;A Practical and Cost-Effective Combination of GPS Data and Machine Learning tools for Detecting Transportation Modes;comprehensive Mappin

关键词：

来源：评论

学校读者我要写书评

暂无评论

10th international conference on Networked systems, NETYS 2022

10th International Conference on Networked Systems, NETYS 20...

引用

10th international conference on Networked systems, NETYS 2022

ISBN: (纸本)9783031174353

the proceedings contain 20 papers. the special focus in this conference is on Networked systems. the topics include: An Eventually Perfect Failure Detector on ADD Channels Using Clustering;Making CSMA Collision-Free and Stable Using Collaborative Indexing;ProgDTN: Programmable Disruption-Tolerant Networking;distributed Oracle for Estimating Global Network Delay with Known Error Bounds;Mechanical Energy Minimization UAV-Mounted Base Station Path Plan for Public Safety Communication;dynamics analysis for a Duopoly Game with Bounded Rationality in Cognitive Radio Network;ioT Based Prediction of Active and Passive Earth Pressure Coefficients Using Artificial Neural Networks;applying Custom Patterns in Semantic Equality analysis;Verifying Reachability for TSO Programs with Dynamic thread Creation;varda: A Framework for Compositional Distributed Programming;chromatic and Spatial analysis of One-Pixel Attacks Against an Image Classifier;recycling Memory in Recoverable Mutex Locks;distributed Blockchain Price Oracle;FEBR: Expert-Based Recommendation Framework for Beneficial and Personalized Content;bird@Edge: Bird Species Recognition at the Edge;solvability of Byzantine Fault-Tolerant Causal Ordering Problems;relaxed Reliable Broadcast for Decentralized Trust;a Self-stabilizing Minimum Average Stretch Spanning Tree construction.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Prediction model for lifting performance in deep-sea mining based on flow patterns 10

Prediction model for lifting performance in deep-sea mining ...

引用

2024 10th international Forum on Manufacturing Technology and Engineering Materials, ICMTEM 2024

作者： Chen, Hailong Jiang, Pan Xiong, Ting Tang, Dingding College of Transportation and Logistics Engineering Wuhan University of Technology Wuhan China College of Transportation and Logistics Engineering Wuhan University of Technology State Key Laboratory of Maritime Technology and Safety Wuhan University of Technology Wuhan China China Construction Third Bureau Green Industry Investment Co. LTD. China

Utilizing the momentum theorem, flow pattern analysis, and the drift flux method, a comprehensive theoretical model for air lifting in gas-liquid-solid transportation within deep-sea mining has been developed. the results indicate that as the gas mass flow rates increase, there is an initial rapid rise in the particle mass flow rates, followed by stabilization. Concurrently, lifting efficiency shows an initial increase before declining, peaking at lower gas mass flow rates. Increasing the riser diameter or immersion ratio, as well as deepening the air injection port, significantly enhances both the particle mass flow rates and lifting efficiency, while expanding the range of highly efficient gas mass flow rates to improve system lifting capacity. this suggests that under high immersion rates or with larger injection port depths, an air lifting system can utilize a higher gas mass flow rate to enhance production capacity. this study not only provides effective theoretical support for air lifting systems in deep-sea mining but also introduces novel concepts and avenues for further research and engineering practice in related fields. © Published under licence by IOP Publishing Ltd.

关键词： Deep sea mining

来源：评论

学校读者我要写书评

暂无评论

GOBLINT: thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) 27th

GOBLINT: Thread-Modular Abstract Interpretation Using Side-E...

引用

27th international conference on tools and algorithms for construction and analysis of systems (TACAS)

作者： Saan, Simmo Schwarz, Michael Apinis, Kalmer Erhard, Julian Seidl, Helmut Vogler, Ralf Vojdani, Vesal Univ Tartu Tartu Estonia Tech Univ Munich Garching Germany

Goblint is a static analysis framework for C programs specializing in data race analysis. It relies on thread-modular abstract interpretation where thread interferences are accounted for by means of flow-insensitive g... 详细信息

ISBN: (纸本)9783030720124;9783030720131

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Use of AI/ML-Based systems in Healthcare Domain in Reference with COVID-19 Pandemic

Use of AI/ML-Based Systems in Healthcare Domain in Reference...

引用

international conference on Signal Processing and Communication (ICSC)

作者： Ayushi Singh Vishwajeet Dayalbagh Educational Institute Agra India Sharda University Greater Noida India

ISBN: (数字)9798331511890

ISBN: (纸本)9798331511906

Advanced technologies and day-to-day research have led to restructure of society in almost every domain, along with healthcare as well as medical sector, in respect to the last decade. Artificial intelligence (AI)/ Machine learning (ML) algorithms and technologies are being used to redesign and optimize wireless networks efficiently in prospects like measurement, estimation, and modeling of channels; research in the physical layer, etc. Multiple AI-based tools majorly assist the healthcare sector all over the globe. Automation of systems and devices has been established across the globe with the expansion of digitalisation. Automation offers and allows us to deal with the real- world problems smartly. Deep learning (DL) and AI-based systems and software allow precise analysis of the infection and counterbalance the shortage of time, resources, and staff required for imaging and diagnosis procedures. the current review is based on the application of Artificial intelligence as a principal idea in reference with the early disease detection and diagnosis with accuracy, timely treatment with precision, and moreover focuses on the prevention of various diseases through smart devices.

关键词： Deep learning Accuracy Automation Pandemics Wireless networks Surgery Medical services Software Medical diagnostic imaging Diseases

来源：评论

学校读者我要写书评

暂无评论

Exploring Behavioral Patterns in Chile's Higher Education: A Data-Driven Approach Using OLAP Techniques

Exploring Behavioral Patterns in Chile's Higher Education: A...

引用

international conference on systems and Informatics (ICSAI)

作者： Carlos Labarca Sebastian Antunez Billy Peralta Pablo Schwarzenberg Paulo Quinsacara Marcos Levano Facultad de Ingeniería Universidad Andres Bello Chile Departamento de Ingeniería Informática Universidad Católica de Temuco Chile

ISBN: (数字)9798331510138

ISBN: (纸本)9798331510145

Over the years, the issue of education in Chile has persisted, directly impacting national development, particularly in terms of the quality and quantity of professionals effectively integrating into society and contributing to the country's progress. Despite significant initiatives aimed at facilitating access to higher education, these measures seem to fall short of full effectiveness. To address this challenge, publicly available data from the Ministry of Education will be utilized, employing OLAP tools to identify behavioral patterns that can inform the construction of a predictive model regarding delays in graduation processes and dropout rates in higher education. the resulting data cube will be made publicly available to the scientific community, aiming to foster collaborative efforts in tackling these educational challenges.

关键词： Data analysis Education Collaboration Predictive models Delays Informatics

来源：评论

学校读者我要写书评

暂无评论

Comparative analysis of Generalized Multiscale Entropy Methods for Coarse-Grained Time Series construction in Assessing Autonomic Balance in Peripheral Arterial Disease Patients

Comparative Analysis of Generalized Multiscale Entropy Metho...

引用

18th international Joint conference on Biomedical Engineering systems and Technologies, BIOSTEC 2025

作者： Barquero-Pérez, O. Goya-Esteban, R. Sarabia-Cachadiña, E. Naranjo-Orellana, J. Dept. Signal Theory and Communications Universidad Rey Juan Carlos Madrid Fuenlabrada Spain Centro de Estudios Universitarios Cardenal Spínola CEU Sevilla Spain Departamento Deporte e Informática Universidad Pablo de Olavide Sevilla Spain

Peripheral Arterial Disease (PAD) is a chronic condition that significantly impacts autonomic balance, as reflected in Heart Rate Variability (HRV). However, the characterization of autonomic balance in PAD pa tients using HRV is still unclear. Generalized Multiscale Entropy (GMSE) is a nonlinear method capable of characterizing the complexity of HRV across multiple time scales, offering a more nuanced understanding of autonomic dysfunction in PAD patients. 14 healthy male subjects (60±5 years) and 14 male intermittent claudication patients (64±6 years) underwent 10 minutes of ECG recording from which RR interval time se ries were obtained. this study provides a comparative analysis of different GMSE methods for constructing coarse-grained time series, specifically using the mean, mean absolute deviation (MAD), standard deviation (σ), and variance (σ2) approaches. By applying these methods, we investigate their efficacy in differentiat ing between healthy individuals and PAD patients. Our results demonstrate that the variance coarse-grained method offers superior discriminatory power, revealing statistically significant differences. these findings suggest that the variance-based GMSE method is the most effective approach for assessing autonomic imbal ance in PAD patients, with potential applications in improving diagnostic tools and treatment strategies. © 2025 by SCITEPRESS– Science and Technology Publications, Lda.

关键词： Time series

来源：评论

学校读者我要写书评

暂无评论

Flexural analysis and Optimized Design Software for Reinforced Concrete Beams Strengthened with NSM or Externally Bonded FRP 10th

Flexural Analysis and Optimized Design Software for Reinforc...

引用

10th international conference on Fibre-Reinforced Polymer (FRP) Composites in Civil Engineering (CICE)

作者： Rasheed, Hayder A. Abouelleil, Alaaeldin Kansas State Univ Dept Civil Engn Manhattan KS 66506 USA AEDA LLC Adv Engn Design Apps Manhattan KS 66503 USA

ISBN: (纸本)9783030881665;9783030881658

the flexural strengthening techniques of reinforced concrete beams using Externally Bonded (EB) FRP sheets or Near Surface Mounted (NSM) FRP bars have been very well established. the technology transfer has taken place into engineering design practice for two decades now through the introduction of design guidelines. However, the lack of design software in the market as well as the limited academic education of present engineers has been an obstacle against the wide spread of this technology as a preferred alternative for repair and strengthening. Recently, a US-based group has responded to this need by developing professional interactive software to analyze and design structural elements strengthened with FRP. One of the very first products that came out of this effort was the development of a detailed analysis and design tool on strengthening of RC beams. this software complies with the provisions of ACI 440.2R-17 and is available interchangeably in SI and US customary unit systems. It is capable of analyzing rectangular, T and inverted L sections strengthened with externally bonded FRP or NSM bars. It allows for one compression layer and three tension layers of steel and provides strength and serviceability calculations. It has a graphics tool for to-scale drawing of sections, and it offers a detailed professional design report. the premium version is equipped with a graphics based optimized design feature that eliminates the need to perform design iterations. Its user-friendly interface is an asset to any design office.

关键词： Design tools Flexural strengthening RC beams FRP sheets NSM bars

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Attack Graph analysis Method based on Model Checking 10

A Hybrid Attack Graph Analysis Method based on Model Checkin...

引用

10th international conference on Advanced Cloud and Big Data (CBD)

作者： Ge, Yaogang Shen, Xiaomeng Xu, Bingfeng He, Gaofeng Nanjing Forestry Univ Coll Informat Sci & Technol Nanjing 210037 Peoples R China Nanjing Univ Aeronaut & Astronaut Minist Ind & Informat Technol Key Lab Safety Crit Software Nanjing 211106 Peoples R China Nanjing Univ Posts & Telecommun Sch Internet Things Nanjing 210003 Peoples R China

ISBN: (纸本)9798350309713

Attack graph is an essential tool for the security assessment of industrial Internet systems. Unfortunately, the traditional attack graph mainly focuses on discrete information and cannot handle continuous information such as temperature and humidity. these continuous data represent the states of the industrial Internet and are also indicators of attacks, which should be included in the attack graph. To this end, this paper presents a hybrid attack graph model, which can simultaneously describe the discrete and continuous information of the system. Based on the hybrid attack graph model, a security analysis method is presented. Firstly, the transformation rule from hybrid attack graph to timed automata is established. Secondly, the security attribute of the system is described by sequential logic of continuous interval, and then the model checker TACK is used to complete the analysis of the system. Finally, an example is analyzed and verified by a smart home system to illustrate the method's effectiveness. the method in this paper provides a new idea for attack graph construction and analysis for industrial Internet systems.

关键词： cyber security model checking hybrid attack graph timed automata model transformation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共171页 << < 15 16 17 18 19 20 21 22 23 24 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：