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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,597 篇 会议
61 篇 期刊文献
40 册 图书

馆藏范围

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

日期分布

学科分类号

1,237 篇 工学
- 866 篇 计算机科学与技术...
- 531 篇 软件工程
- 134 篇 电气工程
- 128 篇 土木工程
- 123 篇 机械工程
- 108 篇 控制科学与工程
- 87 篇 建筑学
- 71 篇 材料科学与工程（可...
- 66 篇 信息与通信工程
- 54 篇 力学（可授工学、理...
- 44 篇 交通运输工程
- 43 篇 安全科学与工程
- 42 篇 动力工程及工程热...
- 39 篇 化学工程与技术
- 37 篇 生物工程
- 34 篇 仪器科学与技术
- 33 篇 石油与天然气工程
- 30 篇 环境科学与工程（可...
- 26 篇 电子科学与技术（可...
352 篇 理学
- 209 篇 数学
- 59 篇 统计学（可授理学、...
- 57 篇 物理学
- 55 篇 系统科学
- 51 篇 生物学
- 27 篇 化学
211 篇 管理学
- 154 篇 管理科学与工程(可...
- 84 篇 工商管理
- 72 篇 图书情报与档案管...
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
24 篇 real time system...
24 篇 real-time system...
23 篇 analytical model...
22 篇 software enginee...
21 篇 semantics
21 篇 software
20 篇 machine learning
19 篇 task analysis
18 篇 computational mo...
17 篇 stochastic syste...
16 篇 database systems
16 篇 construction ind...
16 篇 monitoring
16 篇 artificial intel...
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 篇 katoen joost-pie...
7 篇 van de pol jaco
7 篇 hermanns holger
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,637 篇 英文
30 篇 其他
15 篇 德文
14 篇 中文
1 篇 捷克文
1 篇 葡萄牙文
1 篇 俄文
1 篇 乌克兰文

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

共 1698 条记录，以下是41-50 订阅

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

详细简洁

排序：

Accident Evolution and Causal analysis in Urban Utility Tunnels Using Bayesian Networks and Fault Tree Models 10

Accident Evolution and Causal Analysis in Urban Utility Tunn...

引用

10th international conference on Big Data and Information Analytics

作者： Wang, Yanxia Liu, Kehui Beijing Acad Sci & Technol Beijing Peoples R China

ISBN: (纸本)9798350354638;9798350354621

With the advancement of resilient city construction and urban renewal initiatives, the progress of underground utility tunnels has emerged as a significant trend in urban infrastructure. these tunnels play a crucial role in enhancing the comprehensive load-bearing capacity of underground pipelines while optimizing both above-ground and subterranean urban space. Given the concentration of various municipal pipelines such as water, electricity, gas and heat alongside numerous ancillary facilities,the systems within these utility tunnels are extensive and intricate, with numerous safety-related factors. In the event of a disaster, these factors can easily trigger a complex cascade of events. A bidirectional analysis of the evolution and causes of incidents within these tunnels not only aids in pre-emptively mitigating potential risks but also facilitates effective post-incident tracing and management. Current evaluation models, including classification statistics and qualitative-quantitative analysis, offer some theoretical support but often emphasize unidirectional analysis, which fails to capture the full complexity and variability of such incidents. To address this limitation, this paper proposes an innovative evaluation approach that integrates Bayesian network and fault tree analysis. By applying boolean operations on the fault tree, this method thoroughly investigates the root causes of accidents, while the Bayesian network model quantitatively assesses the likelihood of primary accidents and secondary derivative disasters within underground utility tunnels. this approach enables a comprehensive and bidirectional analysis of tunnel accidents, offering a novel perspective and methodology for risk assessment, thereby supporting the safe and stable operation of these critical urban infrastructures.

关键词： Utility Tunnels Accident evolution and cause analysis Bayesian network Fault tree model

来源：评论

学校读者我要写书评

暂无评论

Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) 29th

Mopsa-C: Modular Domains and Relational Abstract Interpretat...

引用

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

作者： Monat, Raphael Ouadjaout, Abdelraouf Mine, Antoine Univ Lille INRIA CNRS Cent LilleUMR 9189CRIStAL F-59000 Lille France Sorbonne Univ LIP6 F-75005 Paris France

ISBN: (纸本)9783031308192;9783031308208

Mopsa is a multilanguage static analysis platform relying on abstract interpretation. It is able to analyze C, Python, and programs mixing these two languages;we focus on the C analysis here. It provides a novel way to combine abstract domains, in order to offer extensibility and cooperation between them, which is especially beneficial when relational numerical domains are used. the analyses are currently flow-sensitive and fully context-sensitive. We focus only on proving programs to be correct, as our analyses are designed to be sound and terminating but not complete. We present our first participation to SV-Comp, where Mopsa earned a bronze medal in the Softwaresystems category.

关键词： Static analysis Abstract interpretation Competition on Software Verification SV-Comp

来源：评论

学校读者我要写书评

暂无评论

Correlation analysis over Big Multidimensional Datasets: A Powerful Paradigm for Next-Generation Big Data Analytics Research−Definitions, Models, Implementations 10

Correlation Analysis over Big Multidimensional Datasets: A P...

引用

10th international conference on Fuzzy systems and Data Mining, FSDM 2024

作者： Cuzzocrea, Alfredo iDEA Lab University of Calabria Rende Italy Department of Computer Science University of Paris City Paris France

ISBN: (纸本)9781643685694

Correlation analysis has been a powerful paradigm to discover and analyze hidden properties and patterns of large-scale datasets for decades. At now, correlation analysis turns to be a perfect tool for supporting big multidimensional data analysis and mining, with a wide range of relevant properties, including the amenity of supporting meaningfully exploration and discovery of multidimensional ranges kept in such kind of datasets. these operators are thus the basis for several multidimensional big data analytical tools that can be designed and implemented on top of the foundations defined by correlation functions. In line this this scientific area, the talk will provide introduction and motivations, models and algorithms, and, finally, best-practices guidelines for effective and efficient implementations of correlation-analysis-based tools over big multidimensional datasets. © 2024 the Authors.

关键词： Advanced big data analytics Big data Big data analytics Correlation analysis

来源：评论

学校读者我要写书评

暂无评论

10th international conference on Decision Support System Technology, ICDSST 2024

10th International Conference on Decision Support System Tec...

引用

10th international conference on Decision Support System Technology, ICDSST 2024

ISBN: (纸本)9783031593758

the proceedings contain 10 papers. the special focus in this conference is on Decision Support System Technology. the topics include: MCDA Calculator: A Streamlined Decision Support System for Multi-criteria Decision analysis;research on Cost Estimation of Launch Vehicle Based on Grey Neural Network;a Decision Support Tool for Paratransit systems Planning;data Driven Approach to Support the Design of Road Safety Plans in Portuguese Municipalities;performance of Holistic Evaluation for Multi-criteria Decisions Comparing Selection or Elimination of Alternatives;A Comprehensive Examination of User Experience in AI-Based Symptom Checker Chatbots;framework for Understanding Consumer Perceptions and Attitudes to Support Decisions on Cultured Meat: A theoretical Approach and Future Directions;if Digital tools are the Solution to Knowledge Transfer, What is the Problem?.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Pioneering Sustainable Transportation: SRM Motor Optimization for Enhanced Electric Vehicle Dynamics 10

Pioneering Sustainable Transportation: SRM Motor Optimizatio...

引用

10th international conference on Electrical Energy systems, ICEES 2024

作者： Cheri, Jayabalu Sundaramoorthy, Prabhu Mohan Babu University Department of Electrical and Electronics Engineering Tirupati India

ISBN: (纸本)9798350353778

the SRM motor exhibits several advantageous features, including simple construction, high torque density, low production costs, and high operating efficiency. However, it is not without its drawbacks, such as the torque ripple effect, noise generation, and difficulties in control. To comprehensively evaluate its performance, a comparative investigation was conducted among various configurations, including the standard SRM, SRM with electromagnetic analysis, SRM with thermal analysis, vibrational analysis, and electromagnetic material optimization. the parameters examined encompassed currents, torque, flux linkage on load, E-NVH model, time harmonics-1D, force density vs mechanical angle characteristics, space order vs rotation angle characteristics, B-H curve, loss characteristics, torque angle characteristics, and harmonic order vs harmonic amplitude characteristics. Additionally, a polar plot was employed in the analysis. All these machines were modeled and analyzed under a common set of specifications, including a supply voltage of 60V, rated current of 15A, rated power of 3KW, and rated speed of *** results of the comparative analysis indicate that the SRM stands out as superior compared to other motors, making it well-suited for electric vehicle (EV) applications. © 2024 IEEE.

关键词： Vibration analysis

来源：评论

学校读者我要写书评

暂无评论

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

2024 10th International Forum on Manufacturing Technology an...

引用

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

the proceedings contain 146 papers. the topics discussed include: research on automatic welding process of mid-diameter pipeline construction;scheme design and structural safety analysis of lifting net cage;structural design and analysis of underwater survival capsule for pumped-storage power station;study on lightweight optimization of battery pack box structure for electric vehicle;design and analysis of anchor installation device based on CREO and ANSYS;research and exploration of rubber band ejection system for small vehicles;optimization of the powertrain rubber suspension structure;experimental study on laser welding lap joint of 321 stainless steel sheet;research on reliability prediction methods for aircraft nacelle systems based on FMEA and FTA;and study on forming and controlling technology of iron oxide for low carton free cutting steel rod.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Core Loss analysis of Power Transformers with Different Core Steps Using Finite Element Method 10

Core Loss Analysis of Power Transformers with Different Core...

引用

10th international conference on Electrical Energy systems, ICEES 2024

作者： Hashemi, Mohammad Hassan Akkus, Alper ELTAS Transformers Research and Development Department Izmir Turkey

ISBN: (纸本)9798350353778

In this study, the impact of core steps on transformer performance and core losses is thoroughly analyzed using the Finite Element Method (FEM). Four different core structures, consisting of 5, 7, 9, and 13 steps, are simulated to assess their effects. the analysis is applied to a 3150 kVA, 20/0.4 kV power transformer. the core material utilized is Cold Rolled Grain Oriented (CRGO) steel with a lamination thickness of 0.23 mm. the results of the simulations indicate that the best performance is obtained when 13 steps are used in the construction of the transformer core. Specifically, it is observed that as the number of core steps increases, the core losses are reduced, leading to improved efficiency. this comprehensive study provides valuable insights into optimizing transformer design by adjusting core step configurations to minimize energy losses and enhance overall performance. © 2024 IEEE.

关键词： core losses finite element method power transformer steel materials transformer core

来源：评论

学校读者我要写书评

暂无评论

A Robust End-To End Framework for Automated Modal Identification for Infrastructure Monitoring 10th

A Robust End-To End Framework for Automated Modal Identifica...

引用

10th international Operational Modal analysis conference (IOMAC)

作者： Imperiale, Alessandro Ferrara, Mario Imposa, Giacomo Germano, Federico Geroso, Simone Bertagnoli, Gabriele Politecn Torino Dept Struct Geotech & Buildng Engn DISEG Corso Duca Abruzzi 24 I-10129 Turin Italy Kistler Instrumente AG Eulachstr 22 CH-8408 Winterthur Switzerland Kistler Italia SRL Via Ludovico di Breme 78 I-20156 Milan Italy Siemens Digital Ind Software St Drosso 49 I-10135 Turin Italy

ISBN: (纸本)9783031614279;9783031614255;9783031614248

the idea that the majority of bridges have reached the end of their service life has become widely accepted. the need for continuous monitoring of a large number of structures has become both a duty and a burden for administrations and operators. While technological advancements enable the acquisition of numerous structural parameters, effectively harnessing the vast amount of data generated is not a straightforward task. therefore, an automated tool that can conduct end-to-end analysis with minimal effort and cost is crucial. the presented solution is applied to two different bridges, both in reinforced concrete and instrumented with tailored monitoring systems, from sensors to the cloud-based dashboard. Modal parameters such as vibration modes, modal shapes, and damping are determined using the OMA algorithm, specifically PolyMAX, in an automated process. the analysis are performed through robust software provided by Siemens, e.g. Test Lab. Finally, by enhancing the potential of the cloud for measurement data storage, the implementation of advanced data management tools is being considered as interesting emerging prospects.

关键词： Structural Health Monitoring bridge protection automated Operational Mod-al analysis dynamic identification PolyMAX

来源：评论

学校读者我要写书评

暂无评论

Pediatric Pneumonia Detection in Chest X-ray Images: A Deep Feature analysis Approach Enhanced with LightGBM 10

Pediatric Pneumonia Detection in Chest X-ray Images: A Deep ...

引用

10th IEEE international conference on Electronics, Computing and Communication Technologies (IEEE CONECCT)

作者： Godbin, A. Beena Jasmine, S. Graceline Vellore Inst Technol Sch Comp Sci & Engn Chennai Tamil Nadu India

ISBN: (纸本)9798350385939;9798350385922

Pediatric pneumonia remains a significant concern for public health, underscoring the need for efficient and precise diagnostic tools to enable timely intervention. In this research, we introduce a novel approach for detecting pediatric pneumonia in chest X-ray images. Our method leverages deep features extracted from DenseNet169, MobileNet, and EfficientNetB0 Neural Networks, which capture intricate patterns and textures indicative of pneumonia presence. these extracted features are then inputted into LightGBM, enabling effective learning of complex data patterns and relationships for classification purposes. We evaluated the effectiveness of our technique using a dataset comprising 5856 chest X-ray images from patients. Our approach achieved a remarkable accuracy of 96.16% with EfficientNet in binary classification (Pneumonia, Normal). Our method boasts several advantages, including robustness to variations in image quality, scalability, and interpretability. We evaluated our model's performance based on metrics such as accuracy, sensitivity, precision, specificity, and F1-score, highlighting the potential of combining deep learning and gradient boosting techniques for pediatric pneumonia detection. this paves the way for improved clinical decision support systems in pediatric healthcare settings.

关键词： Pneumonia Machine Learning Deep Learning CNN Transfer Learning Chest X-Rays

来源：评论

学校读者我要写书评

暂无评论

10th EAI international conference on Advancements of Science and Technology, EAI ICAST 2022

10th EAI International Conference on Advancements of Science...

引用

10th EAI international conference on Advancements of Science and Technology, EAI ICAST 2022

ISBN: (纸本)9783031411724

the proceedings contain 19 papers. the special focus in this conference is on Advancements of Science and Technology. the topics include: Preface;effects of Initial Moisture Content and Storage Duration on Physical and Chemical Characteristics of Stored Maize (Zea mays L.) Grain;design and Numerical analysis of a Sorghum Reaper Machine;characteristics of Supply Chain Integration of Manufacturing Firms in Ethiopia;performance Evaluation of Grain Pro Collapsible Natural Convection Solar Dryer for Maize Grain Drying in Ethiopia;effect of threshing and Storage Conditions on Mold Contamination of Stored Maize Grain (Zea mays L.);formulation and Evaluation of Firefly and Artificial Bee Colony algorithms for Maximum Power Extraction of Photovoltaic systems Under Partial Shade;evaluation of three Irrigation Management tools for Improving Crop and Water Productivity of Wheat (Triticum aestivum) in Koga Irrigation Scheme;participatory Evaluation and Demonstration of Handheld Maize Sheller;assessment of the Causes of Non-revenue Water in Urban Water Distribution systems: the Case of Bahir Dar City, Ethiopia;production and Characterization of Ink from the Milky Fluid of Ficus vasta and Euphorbia abyssinica;Yeast Bioremediation of Cr (VI) from Tannery Wastewater;Application of FACTS Devices for Transient Stability Enhancement in the Adama II Grid-Connected Wind Farm;digital Clinical Decision Support System for Screening of Eye Diseases;development of an Interpretable Deep Learning System for the Identification of Patients with Alzheimer’s Disease;Impact of Parametric Uncertainties on the Steady-State Performances of DFIG-Based WECS;Review on Water Automatic Teller Machine (Water ATM) Technologies.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共170页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：