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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,173 篇 工学
- 869 篇 计算机科学与技术...
- 556 篇 软件工程
- 135 篇 电气工程
- 122 篇 控制科学与工程
- 92 篇 信息与通信工程
- 91 篇 土木工程
- 88 篇 机械工程
- 76 篇 建筑学
- 60 篇 安全科学与工程
- 58 篇 材料科学与工程（可...
- 40 篇 交通运输工程
- 37 篇 动力工程及工程热...
- 33 篇 化学工程与技术
- 28 篇 生物工程
- 27 篇 仪器科学与技术
- 25 篇 力学（可授工学、理...
- 22 篇 环境科学与工程（可...
329 篇 理学
- 226 篇 数学
- 75 篇 统计学（可授理学、...
- 68 篇 系统科学
- 43 篇 物理学
- 42 篇 生物学
- 27 篇 化学
216 篇 管理学
- 154 篇 管理科学与工程(可...
- 86 篇 图书情报与档案管...
- 79 篇 工商管理
31 篇 医学
- 24 篇 基础医学(可授医学...
- 23 篇 临床医学
30 篇 法学
- 27 篇 社会学
24 篇 经济学
- 23 篇 应用经济学
17 篇 教育学
15 篇 文学
10 篇 农学
6 篇 艺术学
5 篇 军事学

主题

68 篇 model checking
43 篇 tools
35 篇 algorithm design...
28 篇 software enginee...
28 篇 static analysis
26 篇 data mining
23 篇 stochastic syste...
20 篇 real time system...
20 篇 computational mo...
20 篇 analytical model...
17 篇 hybrid systems
17 篇 real-time system...
17 篇 machine learning
17 篇 testing
16 篇 software tools
16 篇 optimization
16 篇 computers
16 篇 sentiment analys...
16 篇 software
16 篇 data models

机构

26 篇 rhein westfal th...
13 篇 ludwig maximilia...
8 篇 univ penn philad...
7 篇 univ twente ensc...
7 篇 univ twente form...
7 篇 tech univ munich...
6 篇 univ illinois ur...
5 篇 saarland univ sa...
5 篇 rhein westfal th...
5 篇 chinese acad sci...
5 篇 suny stony brook...
5 篇 univ calif berke...
5 篇 univ texas austi...
4 篇 radboud univ nij...
4 篇 verimag ctr equa...
3 篇 university of wa...
3 篇 vienna universit...
3 篇 univ colorado bo...
3 篇 tu wien austria
3 篇 carnegie mellon ...

作者

22 篇 katoen joost-pie...
14 篇 beyer dirk
10 篇 junges sebastian
9 篇 parker david
9 篇 hermanns holger
8 篇 quatmann tim
7 篇 kwiatkowska mart...
6 篇 van de pol jaco
6 篇 yi w
6 篇 hartmanns arnd
5 篇 majumdar rupak
5 篇 podelski andreas
5 篇 bozga marius
5 篇 alur rajeev
5 篇 pettersson p
5 篇 cimatti alessand...
5 篇 norman gethin
4 篇 behrmann gerd
4 篇 latella diego
4 篇 ruys theo c.

语言

1,573 篇 英文
30 篇 其他
15 篇 德文
9 篇 中文
4 篇 葡萄牙文
3 篇 俄文
1 篇 捷克文

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

共 1634 条记录，以下是161-170 订阅

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

详细简洁

排序：

Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra systems 28th

Comparative Verification of the Digital Library of Mathemati...

引用

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)

作者： Greiner-Petter, Andre Cohl, Howard S. Youssef, Abdou Schubotz, Moritz Trost, Avi Dey, Rajen Aizawa, Akiko Gipp, Bela Univ Wuppertal Wuppertal Germany NIST Mission Viejo CA USA George Washington Univ Washington DC USA FIZ Karlsruhe Berlin Germany Brown Univ Providence RI 02912 USA Univ Calif Berkeley Berkeley CA 94720 USA Natl Inst Informat Tokyo Japan

ISBN: (纸本)9783030995249;9783030995232

Digital mathematical libraries assemble the knowledge of years of mathematical research. Numerous disciplines (e.g., physics, engineering, pure and applied mathematics) rely heavily on compendia gathered findings. Likewise, modern research applications rely more and more on computational solutions, which are often calculated and verified by computer algebra systems. Hence, the correctness, accuracy, and reliability of both digital mathematical libraries and computer algebra systems is a crucial attribute for modern research. In this paper, we present a novel approach to verify a digital mathematical library and two computer algebra systems with one another by converting mathematical expressions from one system to the other. We use our previously developed conversion tool (referred to as LACAST) to translate formulae from the NIST Digital Library of Mathematical Functions to the computer algebra systems Maple and Mathematica. the contributions of our presented work are as follows: (1) we present the most comprehensive verification of computer algebra systems and digital mathematical libraries with one another;(2) we significantly enhance the performance of the underlying translator in terms of coverage and accuracy;and (3) we provide open access to translations for Maple and Mathematica of the formulae in the NIST Digital Library of Mathematical Functions.

关键词： Presentation to Computation LaCASt LaTeX Semantic LaTeX Computer Algebra systems Digital Mathematical Library

来源：评论

学校读者我要写书评

暂无评论

Design and Application of Digital Twin System for Substation Based on BIM 11

Design and Application of Digital Twin System for Substation...

引用

11th China international conference on Electricity Distribution, CICED 2024

作者： Wang, Bin Li, Chaoqun You, Zhiwei State Grid Shanghai Municipal Electric Power Company Construction Department Shanghai China Shanghai Electric Power Design Institute Ltd. Distribution Network Division Shanghai China

ISBN: (纸本)9798350368345

the main and auxiliary equipment information of traditional substation is presented in a two-dimensional logic, with low degree of sharing, resulting in ineffective linkage between the main and auxiliary equipment, and the operation and maintenance mode is relatively lagging, making it difficult to meet the development needs of smart grid. Regarding the above-mentioned problems, A design scheme of digital twin system for substation based on BIM technology was proposed. the scheme uses the BIM model of substation and the real-time sensing data of monitoring system and auxiliary control system to build the mapping body of the realistic substation in the virtual space, namely the substation digital twin system, which makes the complex and abstract equipment operating information easier to display and more intuitive, and improves the digitalization and transparency of substation operation and maintenance management. It improves the panoramic real-time perception ability of operation and maintenance personnel on substation equipment and environment in a three-dimensional virtual environment. It can realize the functions of three-dimensional panoramic monitoring of substation, intelligent early warning, data statistical analysis, remote intelligent patrol, intelligent linkage between main and auxiliary systems, intelligent analysis, intelligent control and security control. the substation digital twin system has been widely used in the new 110kV and above smart substations in Shanghai power grid, which verified the effectiveness and advancement of the system. © 2024 IEEE.

关键词： Auxiliary equipment

来源：评论

学校读者我要写书评

暂无评论

VISUAL analysis OF ENVIRONMENTAL NOISE DATA 16

VISUAL ANALYSIS OF ENVIRONMENTAL NOISE DATA

引用

16th international conference on Computer Graphics, Visualization, Computer Vision and Image Processing, CGVCVIP 2022, 8th international conference on Connected Smart Cities, CSC 2022, 7th international conference on Big Data Analytics, Data Mining and Computational Intelligence, BigDaCI 2022, and 11th international conference on theory and Practice in Modern Computing, TPMC 2022 - Held at the 16th Multi conference on Computer Science and Information systems, MCCSIS 2022

作者： Moreno, Juan José Franco Alsina-Pages, Rosa Maria Alcocer, Pere Pau Vázquez Universitat Politècnica de Catalunya Spain Universitat Ramon Llull Spain

ISBN: (纸本)9789898704429

Smart cities generate a large amount of information that, if used properly, can help improve people's quality of life, while providing environmental support. Decreasing pollution generated by noise, is a prevailing concern, in today's society. A group of experts has collected data in different areas of l'Escaldes-Engordany, in Andorra. these areas have been separated according to traffic policies, i.e., the fully pedestrian ones, the fully vehicular ones, and the combined ones. Analyzing the resulting data may be a complex task, where optimal tools are not available;hence, we have developed a visualization application that allows comparisons and analysis. the main purpose is to improve the conditions in decision making, by having accurate information so that policymakers may have a better understanding of how different transit levels configure the noise landscape, and how contrasting sounds are distributed throughout time. To achieve this, we have developed a visualization application that allows overviewing, detailed individual analysis, and comparative views to parameterize the results of the policies adopted and be in a better position to improve them. © MCCSIS *** rights reserved.

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

Shallow Subsurface Detection with the Resonance Characteristics of Ambient Noise Recording 11

Shallow Subsurface Detection with the Resonance Characterist...

引用

11th international conference on Environmental and Engineering Geophysics, ICEEG 2024

作者： Wang, Guanchao Zhao, Guangmao Niu, Yongxiao Chen, Chengshen Li, Guohe Li, Peng China Railway Design Corporation Tianjin China Natl. Eng. Research Center of Digital Construction and Evaluation Technology of Urban Rail Transit Tianjin China National and Local Joint Engineering Laboratory of Rail Transit Survey & Design Tianjin China

Imaging near-surface structures, such as voids, tunnels, or high-contrast anomalies, is an essential and critical task in urban area underground engineering projects;the required accuracy is within a few meters vertically and horizontally, which poses considerable challenges to geophysical surveys in shallow subsurface detection. Geophysical methods like seismic are great tools for subsurface exploration with high resolution. Currently, since explosive sources are prohibited in urban areas, passive seismic methods that record the constant vibration signals generated by natural and human activities have become more desirable. thus, this abstract presents a novel nondestructive geophysical approach using ambient noise recording, namely seismo-acoustic resonance imaging. this approach is mainly based on the analysis of the resonance frequencies content information within the data, related to the mechanical properties of structures under investigation. these resonance frequencies will then be translated into depth-domain images using a kind of layer-stripping strategy;Further, the images are combined with results of other geophysical methods (GRP, surface wave analysis, autocorrelation, etc.) for necessary interpretation. In practice, as a low-cost single-station geophysical technique, resonance imaging is readily applicable to a broad range of scales, which meets the need for spatial suitability, and efficiency in engineering investigations. Two examples are presented in the paper, as the first is elaborated on a known metro tunnel, and the second is demonstrated in an unknown investigation site. the results of two experiments have shown resonance imaging to be very well adapted for shallow subsurface detection. © 2024 Institute of Physics Publishing. All rights reserved.

关键词： Cost engineering

来源：评论

学校读者我要写书评

暂无评论

A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic systems 29th

A Learner-Verifier Framework for Neural Network Controllers ...

引用

29th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2023, held as part of the 26th European Joint conferences on theory and Practice of Software, ETAPS 2023

作者： Chatterjee, Krishnendu Henzinger, thomas A. Lechner, Mathias Žikelić, Đorđe Klosterneuburg Austria CambridgeMA United States

ISBN: (纸本)9783031308222

Reinforcement learning has received much attention for learning controllers of deterministic systems. We consider a learner-verifier framework for stochastic control systems and survey recent methods that formally guarantee a conjunction of reachability and safety properties. Given a property and a lower bound on the probability of the property being satisfied, our framework jointly learns a control policy and a formal certificate to ensure the satisfaction of the property with a desired probability threshold. Both the control policy and the formal certificate are continuous functions from states to reals, which are learned as parameterized neural networks. While in the deterministic case, the certificates are invariant and barrier functions for safety, or Lyapunov and ranking functions for liveness, in the stochastic case the certificates are supermartingales. For certificate verification, we use interval arithmetic abstract interpretation to bound the expected values of neural network functions. © 2023, the Author(s).

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Data Mining to Achieve Quality of Life for Home Automation Users 11

Data Mining to Achieve Quality of Life for Home Automation U...

引用

11th IEEE international conference on Intelligent Data Acquisition and Advanced Computing systems - Technology and Applications (IDAACS)

作者： Zadoian, Myroslav Horichenko, Yulii Tulenkov, Artem Parkhomenko, Anzhelika Natl Univ Zaporizhzhia Polytech Software Tools Dept 64 Zhukovskogo Str Zaporizhzhia Ukraine

ISBN: (纸本)9781665426053

this work is devoted to studying the features of existing energy monitoring systems and data mining methods in home automation systems. the architecture of the intelligent monitoring subsystem of energy consumption is proposed and implemented. the intelligent analysis of data obtained from a real home automation system was carried out based on the search of association rules and machine learning algorithms.

关键词： home automation system monitoring of energy consumption data mining association rules machine learning algorithms

来源：评论

学校读者我要写书评

暂无评论

Identification of Traffic Bottlenecks in Central Dhaka through Spreading Graph-Based Congestion analysis 11

Identification of Traffic Bottlenecks in Central Dhaka Throu...

引用

11th international conference on Vehicle Technology and Intelligent Transport systems, VEHITS 2025

作者： Sarker, Manash Sakib, Kazi Nower, Naushin Institute of Information Technology University of Dhaka Dhaka Bangladesh

ISBN: (纸本)9789897587450

the persistent traffic congestion in Dhaka, Bangladesh, calls for innovative and efficient solutions tailored to its unique urban dynamics. this study introduces a novel approach to traffic bottleneck identification that combines congestion levels and their potential to spread, addressing the critical need for targeted traffic management. Our methodology integrates traffic data collection through Google Maps snapshots, congestion intensity mapping, congestion spreading graphs (CSG), maximal spanning trees (MST), and applying Naïve Bayes’ theorem to calculate congestion costs. these tools identify bottlenecks by quantifying both congestion impact and propagation costs within the urban road network. Key findings highlight three major bottlenecks: Kawran Bazar, Mohammadpur Bus Stand, and Dhanmondi 32 intersections, validated using the SUMO simulation platform. these points exhibit significant congestion spread and network-wide delays. the proposed methodology not only identifies critical bottlenecks effectively but also offers actionable insights for urban planners and policymakers to devise targeted interventions. this research bridges existing gaps, providing a cost-effective, adaptable framework for mitigating traffic challenges in resource-constrained cities like Dhaka. Copyright © 2025 by SCITEPRESS - Science and Technology Publications, Lda.

关键词： Traffic congestion

来源：评论

学校读者我要写书评

暂无评论

Software Verification: 10th Comparative Evaluation (SV-COMP 2021) 27th

Software Verification: 10th Comparative Evaluation (SV-COMP ...

引用

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

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

ISBN: (纸本)9783030720124;9783030720131

SV-COMP 2021 is the 10th edition of the Competition on Software Verification (SV-COMP), which is an annual comparative evaluation 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 reproducibility of its results. the competition was based on 15 201 verification tasks for C programs and 473 verification tasks for Java programs. Each verification task consisted of a program and a property (reachability, memory safety, overflows, termination). SV-COMP 2021 had 30 participating verification systems from 27 teams from 11 countries.

关键词： Formal Verification Program analysis Competition Software Verification Verification Tasks Benchmark C Language Java Language SV-Benchmarks

来源：评论

学校读者我要写书评

暂无评论

analysis of Bangla Transformation of Sentences Using Machine Learning 1

引用

4th international conference on Deep Learning, Artificial Intelligence and Robotics, ICDLAIR 2022

作者： Das, Rajesh Kumar Sammi, Samrina Sarkar Kobra, Khadijatul Ajmain, Moshfiqur Rahman khushbu, Sharun Akter Noori, Sheak Rashed Haider Daffodil International University Dhaka1341 Bangladesh

ISBN: (数字)9783031303968

ISBN: (纸本)9783031303951

In many languages, various language processing tools have been developed. the work of the Bengali NLP is getting richer day by day. Sentence pattern recognition in Bangla is a subject of attention. Additionally, our motivation was to work on implementing this pattern recognition concept into user-friendly applications. So, we generated an approach where a sentence (sorol, jotil and jougik) can be correctly identified. Our model accepts a Bangla sentence as input, determines the sentence construction type, and outputs the sentence type. the most popular and well-known six supervised machine learning algorithms were used to classify three types of sentence formation: Sorol Bakko (simple sentence), Jotil Bakko (complex sentence) and Jougik Bakko(compound sentence). We trained and tested our dataset, which contains 2727 numbers of data from various sources. We analyzed our dataset and got accuracy, precision, recall, f1-score and confusion matrix. We get the highest accuracy with the decision tree classifier, which is 93.72%. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Natural language processing systems

来源：评论

学校读者我要写书评

暂无评论

11th international conference on Recent Trends in Computing, ICRTC 2022

11th International Conference on Recent Trends in Computing,...

引用

11th international conference on Recent Trends in Computing, ICRTC 2022

ISBN: (纸本)9789811988240

the proceedings contain 70 papers. the special focus in this conference is on Recent Trends in Computing. the topics include: Content-based Image Retrieval in Cyber-Physical System Modeling of Robots;A Hybrid Spotted Hyena and Whale Optimization Algorithm-Based Load-Balanced Clustering Technique in WSNs;evaluating the Effect of Variable Buffer Size and Message Lifetimes in A Disconnected Mobile Opportunistic Network Environment;violence Recognition from Videos Using Deep Learning;unsupervised Machine Learning for Unusual Crowd Activity Detection;stock Price Prediction Using Machine Learning;brain Tumor Detection Using Deep Learning;brain Tumor Detection Using Deep Learning;A Novel High Gain Single Switch Flyback DC–DC Converter for Small-Scale Lightning;predicting Chances of Cardiovascular Diseases through Integration of Feature Selection and Ensemble Learning;Feedback analysis of Online Teaching Using SVM;DCGAN for Data Augmentation in Pneumonia Chest X-Ray Image Classification;Fair Quality of Voice Over WiMAX Coexisting of WiFi Networks for Video Streaming Applications;An Empirical Overview on DDoS: Taxonomy, Attacks, tools and Attack Detection Mechanism;histopathology Osteosarcoma Image Classification;information-Based Image Extraction with Data Mining Techniques for Quality Retrieval;fake News Detection System Using Multinomial Naïve Bayes Classifier;superconductivity-Based Energy Storage System for Microgrid Stabilization by Connecting and Disconnecting Loads;Deep Learning-Based Model for Face Mask Detection in the Era of COVID-19 Pandemic;learning-Based Model for Auto-Form Filling;efficient System to Predict Harvest Based on the Quality of the Crop Using Supervised Techniques and Boosting Classifiers;resNet: Solving Vanishing Gradient in Deep Networks;BRCA1 Genomic Sequence-Based Early Stage Breast Cancer Detection;face Recognition Using EfficientNet.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共164页 << < 13 14 15 16 17 18 19 20 21 22 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：