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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 计算机科学与技术...
- 533 篇 软件工程
- 134 篇 电气工程
- 128 篇 土木工程
- 123 篇 机械工程
- 108 篇 控制科学与工程
- 87 篇 建筑学
- 71 篇 材料科学与工程（可...
- 67 篇 信息与通信工程
- 54 篇 力学（可授工学、理...
- 44 篇 交通运输工程
- 43 篇 安全科学与工程
- 42 篇 动力工程及工程热...
- 39 篇 化学工程与技术
- 37 篇 生物工程
- 34 篇 仪器科学与技术
- 33 篇 石油与天然气工程
- 31 篇 环境科学与工程（可...
- 26 篇 电子科学与技术（可...
354 篇 理学
- 210 篇 数学
- 60 篇 统计学（可授理学、...
- 57 篇 物理学
- 55 篇 系统科学
- 52 篇 生物学
- 27 篇 化学
212 篇 管理学
- 154 篇 管理科学与工程(可...
- 84 篇 工商管理
- 73 篇 图书情报与档案管...
42 篇 医学
- 33 篇 临床医学
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 篇 software
20 篇 machine learning
19 篇 task analysis
19 篇 computational mo...
17 篇 monitoring
17 篇 stochastic syste...
16 篇 database systems
16 篇 construction ind...
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 篇 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 条记录，以下是291-300 订阅

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

详细简洁

排序：

A tool for automated detection of hidden operation modes in building energy systems

A tool for automated detection of hidden operation modes in ...

引用

international Hybrid conference on Carbon Neutral Cities - Energy Efficiency and Renewables in the Digital Era (CISBAT)

作者： Storek, thomas Kriwet, Jonathan Kuempel, Alexander Mueller, Dirk Rhein Westfal TH Aachen EON Energy Res Ctr Inst Energy Efficient Bldg & Indoor Climate Mathieustr 10 D-52074 Aachen Germany

the integration of renewable energy sources into building energy systems and the progressive coupling between the thermal and electrical domains makes the analysis of these systems increasingly complex. At the same time, however, more and more building monitoring data is being collected. the manual evaluation of this data is time-consuming and requires expert knowledge. Hence, there is a strong need for tools that enable the automatic knowledge extraction from these huge data sets to support system integrators and favor the development of smart energy services, e.g., predictive maintenance. One crucial step in knowledge extraction is the detection of change points and hidden states in measurements. In this work, we present a tool for automated detection of hidden operation modes based on multivariate time series data deploying motif-aware state assignment (MASA). the tool is evaluated utilizing measurements of a heat pump and compared to two baseline algorithms, namely k-Means and k-Medoids. MASA performs particularly well on noisy data, where it shows only a small deviation in the number of detected change points compared to the ground truth with up to 77% accuracy. Furthermore, it almost always outperforms the baseline algorithms, which in turn require extensive preprocessing.

关键词： Extraction

来源：评论

学校读者我要写书评

暂无评论

Building Safer Work Environments for Hazard Detection in construction Sites with IoT and Cloud Server

Building Safer Work Environments for Hazard Detection in Con...

引用

international conference on Communications and Signal Processing

作者： H. Azath E. Sivanantham B. Suganthi E. Swarnalatha M. Suresh B Elango School of Computing Science and Engineering VIT Bhopal University Bhopal India Department of Electronics and Communication Engineering Rajalakshmi Institute of Technology Chennai Tamil Nadu India Department of Electronics and Communication Engineering RVS College of Engineering and Technology Coimbatore Tamil Nadu India Department of Electronics and Communication Engineering Guru Nanak Institute of Technology Ibrahimpatnam Hyderabad Telangana India Department of Computer Science and Engineering Vinayaka Missions Kirupananda Variyar Engineering College Vinayaka Missions Research Foundation (Deemed to be University) Salem Tamil Nadu India Department of Electronics and Communication Engineering Adhiparasakthi Engineering College Melmaruvathur Tamil Nadu India

ISBN: (数字)9798350353068

ISBN: (纸本)9798350353075

this research explores real-time Internet of things (IoT) methods to track and mitigate construction site hazards. the construction industry must innovate due to its high accident rate to protect workers. It uses IoT to create a system that watches the construction site and discovers real-time safety issues. the system uses sensors across the construction site to monitor worker location, equipment operation, ambient conditions, and structural integrity. In real-time, the IoT identifies potential threats from this data. Workers, supervisors, and other users receive timely alerts about dangers, enabling quick and focused mitigation. the system's proactive approach to building site safety reduces accidents, injuries, and deaths. With real-time IoT solutions, potential hazards can be discovered early and addressed quickly. Data collection and analysis allow the system to improve safety protocols and practices over time. It highlights the importance of real-time IoT technologies in construction site safety management. IoT devices improve hazard tracking and identification and safety culture by fostering proactive actions and informed decision-making. As buildings embrace digital transformation, this study enables safer and more efficient procedures.

关键词： Technological innovation Buildings Real-time systems Hazards Safety Sensors Internet of things

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

international conference on Big Data and Information Analytics (BigDIA)

作者： Yanxia Wang Kehui Liu Beijing Academy of Science and Technology Beijing China

ISBN: (数字)9798350354621

ISBN: (纸本)9798350354638

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.

关键词： Analytical models Disasters Pipelines Urban areas Water heating Bayes methods Accidents Fault trees Risk mitigation Resistance heating

来源：评论

学校读者我要写书评

暂无评论

10th international conference on New Trends in Model and Data Engineering, MEDI 2021 held with 4th international Workshop on Modeling, Verification and Testing of Dependable Critical systems, DETECT 2021, Symposium on Intelligent and Autonomous systems, SIAS 2021, 1st Workshop on Control Software: Methods, Models, and Languages, CSMML 2021, Workshop on Blockchain for Inter-Organizational Collaboration, BIOC 2021 and 1st international Health Data Workshop, HEDA 2021

10th International Conference on New Trends in Model and Dat...

引用

10th international conference on New Trends in Model and Data Engineering, MEDI 2021 held with 4th international Workshop on Modeling, Verification and Testing of Dependable Critical systems, DETECT 2021, Symposium on Intelligent and Autonomous systems, SIAS 2021, 1st Workshop on Control Software: Methods, Models, and Languages, CSMML 2021, Workshop on Blockchain for Inter-Organizational Collaboration, BIOC 2021 and 1st international Health Data Workshop, HEDA 2021

ISBN: (纸本)9783030876562

the proceedings contain 24 papers. the special focus in this conference is on New Trends in Model and Data Engineering. the topics include: Record Linkage for Auto-tuning of High Performance Computing systems;protecting Sensitive Data in Web of Data;COVID-DETECT: A Deep Learning Based Approach to Accelerate COVID-19 Detection;time Insertion Functions;static Checking Consistency of Temporal Requirements for Control Software;visual Language for Device Management in Telecommunication Product Line;Using Process-Oriented Structured Text for IEC 61499 Function Block Specification;the DibiChain Protocol: Privacy-Preserving Discovery and Exchange of Supply Chain Information;towards a Resource-Aware Formal Modelling Language for Workflow Planning;Development of Critical systems with UML/OCL and FoCaLiZe;systematic Literature Review of Methods for Maintaining Data Integrity;medical Data Engineering – theory and Practice;querying Medical Imaging Datasets Using Spatial Logics (Position Paper);evaluation of Anonymization tools for Health Data;usages of the ContSys Standard: A Position Paper;systematic Assessment of Formal Methods Based Models Quality Criteria;deriving Interaction Scenarios for Timed Distributed systems by Symbolic Execution;energy Efficient Real-Time Calibration of Wireless Sensor Networks for Smart Buildings;edge-to-Fog Collaborative Computing in a Swarm of Drones;Coverage Maximization in WSN Deployment Using Particle Swarm Optimization with Voronoi Diagram;EPSAAV: An Extensible Platform for Safety analysis of Autonomous Vehicles;bridging Trust in Runtime Open Evaluation Scenarios.

关键词：

来源：评论

学校读者我要写书评

暂无评论

10th international conference on Design, User Experience, and Usability, DUXU 2021, held as part of the 23rd international conference, HCI international 2021

10th International Conference on Design, User Experience, an...

引用

10th international conference on Design, User Experience, and Usability, DUXU 2021, held as part of the 23rd international conference, HCI international 2021

ISBN: (纸本)9783030782207

the proceedings contain 130 papers. the special focus in this conference is on Design, User Experience, and Usability. the topics include: Envisioning Educational Product User eXperience through Participatory Design Practice;operational Usability Heuristics: A Question-Based Approach for Facilitating the Detection of Usability Problems;integration of User Experience and Agile Techniques for Requirements analysis: A Systematic Review;is Your App Conducive to Behaviour Change? A Novel Heuristic Evaluation;understanding Customer Value Propositions through the Lens of Value Equations Method: A Systematic Approach;Developing and Validating a Set of Usability and Security Metrics for ATM Interfaces;challenges and Opportunities on the Application of Heuristic Evaluations: A Systematic Literature Review;consumer Experience Research Based on the Background of Experience Economy and Digital Economy;a Study on Scale construction of Adjective Pairs for Evaluating Audiovisual Effects in Video Games;A Framework Based on UCD and Scrum for the Software Development Process;a Review of Automated Website Usability Evaluation tools: Research Issues and Challenges;web Analytics for User Experience: A Systematic Literature Review;validation of a Questionnaire to Evaluate the Usability in the Peruvian Context;design Research on Visualization of Life Behavior and Rhythm;YERKISH: A Visual Language for Computer-Mediated Communication by an Ape;the Canadian Cultural Diversity Dashboard: Data Storytelling and Visualization for the Cultural Sector;visual Writing at the State-of-the-Art?;expressions of Data: Natural State, Specific Application, and General Pattern;pasigraphy: Universal Visible Languages;emojitaliano: A Social and Crowdsourcing Experiment of the Creation of a Visual international Language.

关键词：

来源：评论

学校读者我要写书评

暂无评论

10th international conference on Design, User Experience, and Usability, DUXU 2021, held as part of the 23rd international conference, HCI international 2021

10th International Conference on Design, User Experience, an...

引用

10th international conference on Design, User Experience, and Usability, DUXU 2021, held as part of the 23rd international conference, HCI international 2021

ISBN: (纸本)9783030782269

关键词：

来源：评论

学校读者我要写书评

暂无评论

10th international conference on Design, User Experience, and Usability, DUXU 2021, held as part of the 23rd international conference, HCI international 2021

10th International Conference on Design, User Experience, an...

引用

10th international conference on Design, User Experience, and Usability, DUXU 2021, held as part of the 23rd international conference, HCI international 2021

ISBN: (纸本)9783030782238

关键词：

来源：评论

学校读者我要写书评

暂无评论

analysis of Influencing Factors for Ship Target Motion Estimation Based on Space-Based Electronic Reconnaissance Information

Analysis of Influencing Factors for Ship Target Motion Estim...

引用

Information systems and Computing Technology (ISCTech), international conference on

作者： Qiuhong Wang Feng Fang Hongyi He Na Wu Institute of Spacecraft Application System Engineering China Academy of Space Technology Beijing China

With the development of electronic reconnaissance satellite technologies, the effectiveness of space-based electronic reconnaissance equipment has been promoted in recent years. In this paper, we focus on the application of electronic reconnaissance satellite for the analysis of moving ship targets. Based on the characteristics of the target information observed from space, we propose a parameter estimation algorithm for the ship's speed and heading direction based on the Kalman filter framework. the influencing factors introduced by space-based electronic reconnaissance data in the process of estimating the speed heading of radiation sources and the coupling relationship between the factors are analyzed in depth with respect to the relationship between the variables in the algorithm model. Several numerical simulations are carried out to verify the different factors that may impact the estimation error of speed and heading parameters. Different variable parameters such as satellite positioning accuracy, satellite revisit time and radiation source target motion state are fully investigated. Finally, some suggestions are provided for the system construction of subsequent electronic reconnaissance satellites.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An Adaptive Self-Loading FxLMS with DOA Estimation Strategy by Circular Error Sensor Array for Active Noise Control of Indoor Environment

An Adaptive Self-Loading FxLMS with DOA Estimation Strategy ...

引用

international conference on Computer and Communications (ICCC)

作者： Zhiwei Wang Wenzhao Zhu Ping Xie Lei Luo School of Electrical Engineering Yanshan University Qinhuangdao China Key Laboratory of Optoelectronic Technology and Systems Chongqing University China

ISBN: (数字)9798331507077

ISBN: (纸本)9798331507084

Traditional active noise control (ANC) uses FxLMS (Filtered-x Least Mean Square) method to achieve fast noise attenuation. However, in sound zone construction process, the FxLMS may fail to distinguish between sounds that need to be heard and unwanted noise. Which may lead to unstable of sound zone. thus, a new adaptive self-loading FxLMS (ASL-FxLMS) is proposed. the additional ASL filter will increase the ability to distinguish useful sounds from unwanted noise compared to FxLMS. Moreover, to distinguish useful sounds and unwanted noise, circular error sensor array (CESA) is also used instead of the single error sensor in single channel ANC. this will enhance direction recognition ability, thereby improving noise reduction capability. Furthermore, the updating equations is also influenced by the DOA (direction of arrival) strategy provided by the CESA. theoretical instantaneous residual output error (IROE) analysis and attenuation simulations prove the effectiveness of the proposed method.

关键词： Analytical models Adaptation models Direction-of-arrival estimation Noise Estimation Adaptive arrays Attenuation Mathematical models Robustness Sensor arrays

来源：评论

学校读者我要写书评

暂无评论

Advances in Automatic Software Verification: SV-COMP 2020 26th

Advances in Automatic Software Verification: SV-COMP 2020

引用

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

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

ISBN: (纸本)9783030452360;9783030452377

this report describes the 2020 Competition on Software Verification (SV-COMP), the 9th edition of a series of comparative evaluations of fully automatic software verifiers for C and Java programs. the competition provides a snapshot of the current state of the art in the area, and has a strong focus on replicability of its results. the competition was based on 11 052 verification tasks for C programs and 416 verification tasks for Java programs. Each verification task consisted of a program and a property (reachability, memory safety, overflows, termination). SV-COMP 2020 had 28 participating verification systems from 11 countries.

关键词： Formal Verification Program analysis Competition

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共171页 << < 26 27 28 29 30 31 32 33 34 35 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：