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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是81-90 订阅

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

详细简洁

排序：

Finite Element analysis Between Standed Wire and Grip 10th

Finite Element Analysis Between Standed Wire and Grip

引用

10th international conference on Mechanical, Automotive and Materials Engineering, CMAME 2023

作者： Wan, Jiancheng Jia, Ning Qin, Jian An, Ning China Electric Power Research Institute Beijing100055 China State Grid Gansu Electric Power Company Lanzhou730000 China

ISBN: (纸本)9789819748051

With the increase of the construction of transmission lines, the phenomenon of wire breakage occurs in the construction of wire clamping device. It seriously affects the smooth progress of construction and poses a threat to personal safety. To solve this problem, this paper carried out finite element analysis and calculation applicable to 400 mm2 standed wire and grip. By applying 30%RTS and 30%RTS respectively to the standed wire end for dynamic simulation calculation, it was concluded that when the tension of standed wire increased from 30%RTS to 60%RTS, the damage effect on the strand of standed wire increased nonlinearly. It shows that when large load tension is applied to the standed wire and grip, the strand layer of the standed wire will be produced excessive deformation and damaged. © the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： Wire

来源：评论

学校读者我要写书评

暂无评论

Novel Strategies for Road Network Disruption analysis 16

Novel Strategies for Road Network Disruption Analysis

引用

16th IEEE/ACM international conference on Utility and Cloud Computing (UCC) / 10th IEEE/ACM international conference on Big Data Computing, Applications and Technologies (BDCAT)

作者： Ficara, Annamaria Fiumara, Giacomo Fazio, Maria Celesti, Antonio Villari, Massimo Univ Messina Messina Italy GNCS INdAM Rome Italy

ISBN: (纸本)9798400702341

Road (or street) networks refer to interconnected systems of streets, roads, and pathways which constitute the transportation infrastructure within a city or urban area. these networks play a crucial role in urban planning and design, as they influence various aspects of city life. there are several key elements to be considered in the study of street networks: hierarchy, grid and patterns, connectivity, walkability, transit integration, traffic flow, land use and zoning, and smart mobility solutions. In this study, we use social network analysis tools to identify the most effective strategies to simulate and assess the impact of road network disruption. Our scenario has been constructed by building a road network based on a portion of the geographic map data of Messina (Italy) and implementing random and targeted attacks based on edge centrality measures and street types. the impact of our strategies on the road network structure is evaluated in terms of connectivity.

关键词： network science graph theory complex network road network street network network disruption

来源：评论

学校读者我要写书评

暂无评论

Online Confirmation-Augmented Probabilistic Topic Modeling in Cyber-Physical Social Infrastructure systems 23

Online Confirmation-Augmented Probabilistic Topic Modeling i...

引用

10th ACM international conference on systems for Energy-Efficient Buildings, Cities, and Transportation (BuildSys)

作者： Xie, Jiajia Salley, Christin J. Mohammadi, Neda Taylor, John E. Georgia Inst Technol Atlanta GA 30332 USA

ISBN: (纸本)9798400702303

Online probabilistic topic models serve as essential analytical tools within Cyber-Physical Social Infrastructure systems (CPSIS), enabling the analysis of real-time data streams. these models empower operators and decision-makers with actionable insights, anomaly detection, predictions, optimized resource allocation, user engagement, and social feedback, all critical for responding to evolving CPSIS conditions. While these models use inferred topic-assignment distributions to create lower-dimensional representations, applying them to online user-generated streams, like social media and community apps, has historically posed challenges due to sparse relevant content, leading to suboptimal performance. Our study proposes a novel and expanded version of topic models that integrates the variational lower bound with a linear reward function, supervised by a label associated with the confidence of relevant content presence. We introduce a learning algorithm designed for these augmented topic models. Our empirical experiments, conducted on real-world datasets, provide compelling evidence that our approach uniquely enhances the potential of any topic model in CPSIS for downstream tasks in information management. these enhancements encompass improved topic interpretability, enhanced data labeling precision, and the refinement of similarity metrics, reinforcing the effectiveness of our online confirmation-augmented probabilistic topic modeling approach in processing and analyzing CPSIS real-time data streams.

关键词： information augmentation online machine learning topic models variational bayes

来源：评论

学校读者我要写书评

暂无评论

Comparative analysis of PV Simulation Software by Analytic Hierarchy Process 10

Comparative Analysis of PV Simulation Software by Analytic H...

引用

10th IEEE international conference on Power systems, ICPS 2023

作者： Islam, Md Ashraful Islam, Zia Muniandi, Balakumar Naushad Ali, M.M. Rahman, Md Ashiqur Lipu, Molla Shahadat Hossain Shihavuddin, Asm Rahman, Tuhibur Islam, Md.Tariqul Green University of Bangladesh Dept. of Electrical and Electronic Engineering Narayanganj1461 Bangladesh Lawrence Technological University Dept. of Electrical and Computer Engineering United States

ISBN: (纸本)9798350318739

this study employs the Analytic Hierarchy Process (AHP) methodology to evaluate and compare four prominent PV simulation software tools: PVsyst, HOMER, PVGIS, and SAM. With the urgent need to transition to renewable energy due to escalating global warming concerns, the evaluation of simulation software becomes pivotal. Each software tool is assessed based on criteria such as availability and cost, solar database access, input data requirements, output presentation, updateability, and limitations. A comprehensive AHP hierarchy is established and pair-wise comparisons are performed to assign relative priorities. the weights of each criterion are determined, leading to an overall rating for each software. the results reveal that SAM is the most suitable choice for Bangladesh due to its cost-effectiveness, extensive solar database, efficient input requirements, comprehensive output analysis, and adaptability. this research provides valuable insights for decision-makers in selecting an appropriate PV simulation software tool to promote renewable energy adoption and planning. © 2023 IEEE.

关键词： Analytic hierarchy process

来源：评论

学校读者我要写书评

暂无评论

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 10th

Determination of the Real Percentages of Fuel Expansion i...

引用

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

作者： Fierro, Pablo Renato Martínez, Leonel Guevara, Cristian Guayaquil Ecuador Madrid Spain

ISBN: (纸本)9783031870644

In this article, a study is carried out in a city of 50 m. Above sea level, on the volumetric expansion of 87 and 92-octane gasoline and diesel fuel (named: Ecopais, Super, and Diesel) inside the tanks. the aim is to determine the volume variations due to temperature changes. the justification is based on the lack of specific information on the subject. the proposed methodology includes a mathematical model supported by thermographic analysis experiments to visualize the dilatation of fuels. A volume variation of up to 0.55% was evidenced in the fuel tanks as a result of ambient temperature fluctuations. However, the use of thermographic tools as a measurement method does not facilitate the detection of this volumetric variation in the tanks;it depends on the volume and camera capacities. Using Pearson’s index shows that the correlation is direct, and the influence of temperature affects the perception of volume. © the Author(s) 2025.

关键词： Expansion fuel Infrared thermography Temperature

来源：评论

学校读者我要写书评

暂无评论

Progress on Software Verification: SV-COMP 2022 28th

Progress on Software Verification: SV-COMP 2022

引用

28th international conference on tools and algorithms for the construction and analysis of systems (TACAS) Held as Part of the 25th European Joint conferences on theory and Practice of Software (ETAPS)

作者： Beyer, Dirk Ludwig Maximilians Univ Munchen Munich Germany

ISBN: (纸本)9783030995270;9783030995263

the 11th edition of the Competition on Software Verification (SV-COMP 2022) provides the largest ever overview of tools for software verification. the competition is an annual comparative evaluation of fully automatic software verifiers for C and Java programs. the objective is to provide an overview of the state of the art in terms of effectiveness and efficiency of software verification, establish standards, provide a platform for exchange to developers of such tools, educate PhD students on reproducibility approaches and benchmarking, and provide computing resources to developers that do not have access to compute clusters. the competition consisted of 15 648 verification tasks for C programs and 586 verification tasks for Java programs. Each verification task consisted of a program and a property (reachability, memory safety, overflows, termination). the new category on data-race detection was introduced as demonstration category. SV-COMP 2022 had 47 participating verification systems from 33 teams from 11 countries.

关键词： Formal verification Program analysis Competition Software verification Verification tasks Benchmark C language Java language SV-Benchmarks BENCHEXEC COVERITEAM

来源：评论

学校读者我要写书评

暂无评论

Permutation-based Time-Series Correlation analysis for Customer Phase Identification from Low-Voltage Measurements 10

Permutation-based Time-Series Correlation Analysis for Custo...

引用

10th international conference on Power and Energy systems Engineering, CPESE 2023

作者： Choi, Ji-Hyun Lim, Han-Min Lee, Haesung Lee, Byungsung Ahn, Hyun Hanshin University Dept. of Information and Communication Osan Korea Republic of Korea Electric Power Research Institute Smart Power Distribution Lab. Daejeon Korea Republic of

ISBN: (纸本)9798350327625

To prevent phase imbalance and ensure reliable distribution system operation, effective management of customer phase connectivity in a distribution network is essential. However, in many cases, obtaining accurate phase connectivity information is expensive and time-consuming as it inevitably requires either manual intervention or the use of costly advanced diagnostic tools. Considering cases where reference phase connections in three-phase power systems are unreliable, we propose a phase estimation method based on the correlation between voltage time series collected at the data central unit (DCU) and advanced metering infrastructure (AMI). In particular, our method represents phase connection estimates as permutations and efficiently finds the best phase connection configuration by considering only the important permutations. Experimental results show that the proposed method effectively identifies customer phase connections while reducing the search space by excluding insignificant permutations. © 2023 IEEE.

关键词： Correlation methods

来源：评论

学校读者我要写书评

暂无评论

Finding a Greener, Cost-Effective and Colour-Based Partial or Complete Replacement to White Portland Cement for Cast Stone Production Using TOPSIS 1

引用

10th international conference on Sustainable Design and Manufacturing, KES-SDM 2023

作者： Mudgal, Devanshu Pagone, Emanuele Salonitis, Konstantinos Cranfield University BedfordMK43 0AL United Kingdom

ISBN: (数字)9789819981595

ISBN: (纸本)9789819981588

As per recent research, the use of White Portland Cement (WPC) in the production of cast stone results in significant carbon emissions. this study aims to identify alternatives to WPC that have lower carbon emissions and are cost-effective. A literature review was performed, and data were gathered on WPC and its alternatives. Based on the literature review, five alternatives were identified. An investigation was conducted to determine the most suitable replacement for WPC based on four criteria. Automatically weighted TOPSIS which is a Multi-Criteria Decision analysis (MCDA) was used to identify the optimal substitute for WPC. the results of the analysis were used to make a final recommendation. Overall, this study provides valuable insights into the potential substitutes for WPC in the production of cast stone, which could help to reduce carbon emissions and promote greater sustainability in the construction industry. © the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： construction industry

来源：评论

学校读者我要写书评

暂无评论

Derivation of Critical Infrastructure Accessibility Index Using GIS-MCDA and Network analysis: Case Study of Sarajevo 10

Derivation of Critical Infrastructure Accessibility Index Us...

引用

10th international conference on Geographical Information systems theory, Applications and Management, GISTAM 2024

作者： Marić, Ivan Avdić, Aida Avdić, Boris University of Zadar Department of Geography Center for Geospatial Technologies Zadar Croatia University of Sarajevo Faculty of Science Department of Geography Sarajevo Bosnia and Herzegovina

ISBN: (纸本)9789897586941

this study explores the accessibility of critical infrastructures (CRITIS) in urban planning, focusing on the City of Sarajevo. CRITIS, essential for societal functioning, encompasses diverse services vital to social, economic, political, health, educational, and administrative systems. the authors leverage geographic information system (GIS) tools to construct an accessibility model for Sarajevo, analysing the spatial availability of critical functions. Six groups of CRITIS indicators, composed of 29 CRITIS elements, were used in the derivation of critical infrastructure accessibility index. the methodological framework was based on implementation of network GIS analysis, interpolation method (IDW) and GIS multi-criteria analysis, which could be applicable to similar research studies. Local communities concentrated in the strict urban core (Ferhadija, Baščaršija) have the best accessibility of CRITIS, while peripheral local communities with a large area, such as Mošćanica and Reljevo, have the lowest. Results suggest a zonal categorization of the urban area, providing valuable insights for spatial planning and future urban development management. the study reveals that the highest value of CRITIS accessibility doesn't necessarily align with the most densely populated areas at local community level. © 2024 by SCITEPRESS – Science and Technology Publications, Lda.

关键词： Geographic information systems

来源：评论

学校读者我要写书评

暂无评论

JointCare: An Integrated Platform for EMG Signal analysis in Knee Osteoarthritis Rehabilitation 10th

JointCare: An Integrated Platform for EMG Signal Analysis in...

引用

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

作者： Cárdenas-Guaraca, Tatiana Dolores Molina-Vidal, Danilo Andrés Robles-Bykbaev, Vladimir Espartaco Universidad Politécnica Salesiana Grupo de Investigación de Inteligencia Artificial – GIIATA Cuenca Ecuador Federal University of Rio de Janeiro Rio de Janeiro Brazil

ISBN: (纸本)9783031870644

Knee osteoarthritis represents a medical care challenge, requiring tools that improve the accuracy of monitoring during rehabilitation. the tools found present limitations for a complete analysis. In this perspective, we developed a platform to analyze electromyography (EMG) signals stored on file or captured online by an acquisition module. To evaluate the platform, an EMG acquisition of four leg muscles of a healthy subject was performed. Also, EMG signals from the database were used to visualize and calculate typical values used for EMG rehabilitation analysis. the interface allowed online capture and processing of 4 EMG channels. Using the database signals, we applied the envelope, histogram, Fourier transform, rectified, gain, and mean frequency. the values found are in the range found in the literature. the results suggest the user interface can be used for monitoring knee osteoarthritis rehabilitation or other muscle diseases requiring EMG-biofeedback. © the Author(s) 2025.

关键词： Electromyography

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共170页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：