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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,114 篇 工学
- 853 篇 计算机科学与技术...
- 501 篇 软件工程
- 120 篇 电气工程
- 112 篇 控制科学与工程
- 83 篇 土木工程
- 77 篇 机械工程
- 74 篇 建筑学
- 67 篇 信息与通信工程
- 42 篇 动力工程及工程热...
- 41 篇 安全科学与工程
- 39 篇 材料科学与工程（可...
- 35 篇 仪器科学与技术
- 33 篇 交通运输工程
- 31 篇 化学工程与技术
- 31 篇 石油与天然气工程
- 29 篇 水利工程
- 23 篇 力学（可授工学、理...
- 22 篇 电子科学与技术（可...
- 22 篇 生物医学工程（可授...
316 篇 理学
- 194 篇 数学
- 63 篇 系统科学
- 55 篇 统计学（可授理学、...
- 43 篇 物理学
- 38 篇 化学
- 30 篇 生物学
198 篇 管理学
- 143 篇 管理科学与工程(可...
- 81 篇 工商管理
- 71 篇 图书情报与档案管...
35 篇 经济学
- 35 篇 应用经济学
28 篇 医学
26 篇 法学
- 24 篇 社会学
23 篇 教育学
9 篇 文学
7 篇 农学
3 篇 艺术学
2 篇 军事学

主题

60 篇 model checking
42 篇 tools
28 篇 static analysis
27 篇 data mining
24 篇 algorithm design...
23 篇 analytical model...
21 篇 stochastic syste...
20 篇 software enginee...
19 篇 artificial intel...
18 篇 semantics
17 篇 real time system...
17 篇 visualization
16 篇 hybrid systems
15 篇 computer archite...
15 篇 big data
15 篇 feature extracti...
15 篇 hardware
15 篇 mathematical mod...
14 篇 machine learning
14 篇 software

机构

12 篇 ludwig maximilia...
7 篇 univ illinois ur...
7 篇 univ twente form...
7 篇 univ penn philad...
6 篇 tech univ munich...
4 篇 verimag ctr equa...
4 篇 rhein westfal th...
4 篇 natl aerosp univ...
4 篇 department of co...
4 篇 suny stony brook...
3 篇 saarland univ sa...
3 篇 university of wa...
3 篇 vienna universit...
3 篇 univ colorado bo...
3 篇 university colle...
3 篇 rwth aachen univ...
3 篇 carnegie mellon ...
3 篇 chinese acad sci...
3 篇 univ oxford dept...
3 篇 iowa state univ ...

作者

13 篇 beyer dirk
8 篇 parker david
8 篇 katoen joost-pie...
8 篇 kwiatkowska mart...
6 篇 hermanns holger
6 篇 yi w
5 篇 majumdar rupak
5 篇 podelski andreas
5 篇 van de pol jaco
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,443 篇 英文
23 篇 其他
14 篇 德文
7 篇 中文
2 篇 俄文

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

共 1489 条记录，以下是31-40 订阅

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

详细简洁

排序：

CPACHECKER 2.3 with Strategy Selection (Competition Contribution) 30th

CPACHECKER 2.3 with Strategy Selection (Competition Contribu...

引用

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

作者： Baier, Daniel Beyer, Dirk Chien, Po-Chun Jankola, Marek Kettl, Matthias Lee, Nian-Ze Lemberger, thomas Lingsch-Rosenfeld, Marian Spiessl, Martin Wachowitz, Henrik Wendler, Philipp Ludwig Maximilians Univ Munchen Munich Germany

ISBN: (纸本)9783031572555;9783031572562

CPACHECKER is a versatile framework for software verification, rooted in the established concept of configurable program analysis. Compared to the last published system description at SV-COMP 2015, the CPACHECKER submission to SV-COMP 2024 incorporates new analyses for reachability safety, memory safety, termination, overflows, and data races. To combine forces of the available analyses in CPACHECKER and cover the full spectrum of the diverse program characteristics and specifications in the competition, we use strategy selection to predict a sequential portfolio of analyses that is suitable for a given verification task. the prediction is guided by a set of carefully picked program features. the sequential portfolios are composed based on expert knowledge and consist of bit-precise analyses using k-induction, data-flow analysis, SMT solving, Craig interpolation, lazy abstraction, and block-abstraction memoization. the synergy of various algorithms in CPACHECKER enables support for all properties and categories of C programs in SV-COMP 2024 and contributes to its success in many categories. CPACHECKER also generates verification witnesses in the new YAML format.

关键词： Data flow analysis

来源：评论

学校读者我要写书评

暂无评论

Comparative analysis of Neural Network-Based Acoustic Signal Feature Extraction Methods 12

Comparative Analysis of Neural Network-Based Acoustic Signal...

引用

12th international conference on Information systems and Computing Technology

作者： Hu, Ruilin Zhang, Xiaoyan Xue, Hongjun Zhang, Hongbao Northwestern Polytech Univ Xian Shaanxi Peoples R China

ISBN: (纸本)9798350379860;9798350379877

Noise recognition modeling is an indispensable part of acoustic signal recognition. In the research of non-speech sound recognition, such as noise, feature extraction methods are still primarily manual, which presents issues such as low recognition accuracy, high labor costs, heavy reliance on expert experience, and potential information loss during the feature extraction process. this paper proposes a neural network model for the recognition of non-speech sounds like noise. Compared with traditional machine learning algorithms, neural networks offer advantages such as simpler algorithms, higher sound classification accuracy, better generalization, and stronger robustness. In this study, three methods spectrogram features, MFCC, and LogFBank are employed to extract the acoustic features of construction site noise. A comparison of these feature extraction methods is conducted to determine the most suitable approach for non-speech sound recognition. Experimental analysis shows that using MFCC or LogFBank for non-speech sound recognition tasks is more appropriate and performs better than spectrogram features. Finally, the paper discusses future research directions for the application of neural networks in the field of acoustic signal recognition.

关键词： Simulation Speech Signal Feature Recognition Noise Feature Extraction

来源：评论

学校读者我要写书评

暂无评论

Multi-source analysis of AI Vulnerabilities: Methodology and algorithms of Data Collection 12

Multi-source Analysis of AI Vulnerabilities: Methodology and...

引用

12th IEEE international conference on Intelligent Data Acquisition and Advanced Computing systems: Technology and Applications, IDAACS 2023

作者： Neretin, Oleksii Kharchenko, Vyacheslav Fesenko, Herman National Aerospace University 'KhAI' Kharkiv61070 Ukraine

ISBN: (纸本)9798350358056

the initial stage of assessing the cybersecurity of artificial intelligence (AI) systems and tools for cyber-physical systems is the collecting, processing and integrating of vulnerability data from relevant and reliable information sources using Big Data tools. the article provides a classification of sources of information about vulnerabilities of AI systems. the possibilities of automatic scanning of these sources using software scanners are analyzed. the analysis methodology and data structures are proposed, and the necessary set of data for further storing and analyzing is selected. algorithms for direct collection of vulnerability data from various sources are developed. the directions of further research on the development of algorithms and software tools for aggregation, filtering, processing and integration of multisource data on vulnerabilities of AI systems are substantiated. © 2023 IEEE.

关键词： AI systems vulnerabilities assessing the cybersecurity of AI Big Data data collecting data integrating data processing

来源：评论

学校读者我要写书评

暂无评论

Multimodal data collection using mobile robotics for rapid structural assessment 12th

Multimodal data collection using mobile robotics for rapid s...

引用

12th international conference on Bridge Maintenance, Safety and Management, IABMAS 2024

作者： Luleci, Furkan Algadi, Abdulrrahman Catbas, F. Necati Department of Civil Environmental and Construction Engineering University of Central Florida United States

ISBN: (纸本)9781032770406

this study focuses on assessing civil engineering systems lacking documentation, a common challenge in assessing old systems. Using tools like cameras and LiDARs to generate 3D models of the structure is a useful implementation;however, it becomes difficult when these systems are off-limits due to disaster-induced structural risks. Using mobile robots emerges as a promising solution to this limitation. thus, this study employs a wheeled Unmanned Ground Vehicle (UGV) equipped with cameras, LiDARs, and other sensors (e.g., accelerometers) to collect multimodal data, including visual and monitoring. the study demonstrates using the UGV to collect data from a mechanical room of a building. the UGV navigates the room, collecting various data such as images, LiDAR scans, and vibration data while generating the interior mapping of the room in real-time. this study presents some of the collection results and highlights the significance of using mobile robotics for rapid assessments of civil systems. © 2024 the Editor(s).

关键词： Cameras

来源：评论

学校读者我要写书评

暂无评论

Context-Sensitive Meta-Constraint systems for Explainable Program analysis 29th

Context-Sensitive Meta-Constraint Systems for Explainable Pr...

引用

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

作者： Apinis, Kalmer Vojdani, Vesal Univ Tartu Inst Comp Sci Narva Mnt 18 EE-51009 Tartu Estonia

ISBN: (纸本)9783031308192;9783031308208

We show how to generate a constraint system of symbolic expressions as part of an inter-procedural constraint-system-based program analysis such that any chosen slice of the intended analysis may be computed through the evaluation of the symbolic constraints. thus, our method ensures that the computed expressions provide genuine explanations for the chosen analysis *** resulting system is then annotated with program location information, translated into closed-form expressions, and simplified to yield a human-readable justification for the analyzer's verdict. Justifications are given using program locations, constants from the program, abstract lattice operations, loops in the analysis, and computed results.

关键词： Program analysis Data-flow analysis Constraint systems Abstract domains Explainability

来源：评论

学校读者我要写书评

暂无评论

CESAR: Control Envelope Synthesis via Angelic Refinements 30th

CESAR: Control Envelope Synthesis via Angelic Refinements

引用

作者： Kabra, Aditi Laurent, Jonathan Mitsch, Stefan Platzer, Andre Carnegie Mellon Univ Pittsburgh PA 15213 USA Karlsruhe Inst Technol Karlsruhe Germany DePaul Univ Chicago IL USA

ISBN: (纸本)9783031572456;9783031572463

this paper presents an approach for synthesizing provably correct control envelopes for hybrid systems. Control envelopes characterize families of safe controllers and are used to monitor untrusted controllers at runtime. Our algorithm fills in the blanks of a hybrid system's sketch specifying the desired shape of the control envelope, the possible control actions, and the system's differential equations. In order to maximize the flexibility of the control envelope, the synthesized conditions saying which control action can be chosen when should be as permissive as possible while establishing a desired safety condition from the available assumptions, which are augmented if needed. An implicit, optimal solution to this synthesis problem is characterized using hybrid systems game theory, from which explicit solutions can be derived via symbolic execution and sound, systematic game refinements. Optimality can be recovered in the face of approximation via a dual game characterization. the resulting algorithm, Control Envelope Synthesis via Angelic Refinements (CESAR), is demonstrated in a range of safe control envelope synthesis examples with different control challenges.

关键词： Hybrid systems Program synthesis Differential game logic

来源：评论

学校读者我要写书评

暂无评论

Organization of Feedback in the Intelligent Learning systems 12

Organization of Feedback in the Intelligent Learning Systems

引用

12th IEEE international conference on Intelligent systems, IS 2024

作者： Kerimbayev, Nurassyl Adamova, Karlygash Jotsov, Vladimir Shadiev, Rustam Umirzakova, Zhanat Nurymova, Ainar Al-Farabi Kazakh National University Almaty Kazakhstan University of Library Studies and It Sofia Bulgaria College of Education Zhejiang University Hangzhou China Astana IT- University Astana Kazakhstan

ISBN: (纸本)9798350350982

this article examines the organisation of feedback in intelligent learning systems with a view to offering practical approaches to improving the educational process. Feedback is a crucial element in education, and in recent years its importance has increased significantly in light of the development of information technology and learning platforms. the paper presents an overview of the various methods and technologies employed to organise feedback in intelligent learning systems. Particular emphasis is placed on machine learning algorithms, adaptive learning systems and interactive communication tools that facilitate the creation of personalised educational environments for students. Based on the analysis of various educational practices and research, recommendations were formulated to optimize the feedback process in order to improve the quality of education and motivation of students. © 2024 IEEE.

关键词： Federated learning

来源：评论

学校读者我要写书评

暂无评论

External Business Drivers of Concession Period in Transport PPPs: An Empircal Investigation 16

External Business Drivers of Concession Period in Transport ...

引用

16th international conference on ENTERprise Information systems, CENTERIS 2024 - 12th international conference on Project MANagement, ProjMAN 2024 - 14th international conference on Health and Social Care Information systems and Technologies, HCist 2024

作者： Mangano, Giulio Castelblanco, Gabriel Ottaviani, Filippo Maria Ferrari, Andrea De Marco, Alberto Politecnico di Torino Corso Duca degli Abruzzi 24 Torino10129 Italy E. Rinker Sr. School of Construction Management University of Florida GainesvilleFL32611 United States

Despite the abundance of papers on establishing the optimal concession period for Public Private Partnerships (PPP) from the public procurement perspective, the impact of external factors influencing the duration of the concession period of PPP projects is scarcely explored in the PPP literature. In this context, this research conducts a statistical analysis using multivariate regression analysis (MRA) and analysis of variance (ANOVA) to evaluate if a set of key factors may influence the duration of the concession period of a PPP transportation project. the outcomes of the model show that the area of the world wherein the project is developed and the regulatory framework of the country significantly impact the definition of the concession period. the proposed study paves the way for understanding the crucial levers influencing the duration of the concession period to increase the value associated with a PPP initiative. © 2025 the Authors.

关键词： analysis of Variance Concession Period Multivariate Regression analysis PPP Public Private Partnership

来源：评论

学校读者我要写书评

暂无评论

Achievement analysis and Management System Based on Data Mining Algorithm 12

Achievement Analysis and Management System Based on Data Min...

引用

12th IEEE international conference on Communication systems and Network Technologies, CSNT 2023

作者： Sun, Shuang Shan, Sicong Jilin Engineering Vocational College Siping China

ISBN: (纸本)9781665462617

With the continuous development of education information demand, the curriculum construction of colleges and universities has produced a large number of management data which need to be processed and sublimated. In order to achieve the goal of improving PE teaching quality based on mining teaching data, the application scheme of decision tree algorithm in PE curriculum analysis and management is designed and implemented. By analyzing the method of data mining -C4.5 decision tree algorithm, combined with the framework of course analysis and management system and the design of database, through the NET development language, SQL Server database, Visual Studio development environment to realize the course management platform based on the teaching process data. the test results show that the proposed PE curriculum management platform can improve the efficiency and quality of PE curriculum management. the software module of decision tree algorithm is realized by using analysis Service. the running results show that the proposed system can provide valuable scientific basis for the management and analysis of student achievement based on data mining. © 2023 IEEE.

关键词： Decision trees

来源：评论

学校读者我要写书评

暂无评论

Bridging Hardware and Software analysis with Btor2C: A Word-Level-Circuit-to-C Translator 29th

Bridging Hardware and Software Analysis with Btor2C: A Word-...

引用

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

作者： Beyer, Dirk Chien, Po-Chun Lee, Nian-Ze Ludwig Maximilians Univ Munchen Munich Germany

ISBN: (纸本)9783031308192;9783031308208

Across the broad research field concerned with the analysis of computational systems, research endeavors are often categorized by the respective models under investigation. algorithms and tools are usually developed for a specific model, hindering their applications to similar problems originating from other computational systems. A prominent example of such a situation is the area of formal verification and testing for hardware and software systems. the two research communities share common theoretical foundations and solving methods, including satisfiability, interpolation, and abstraction refinement. Nevertheless, it is often demanding for one community to benefit from the advancements of the other, as analyzers typically assume a particular input format. To bridge the gap between the hardware and software analysis, we propose Btor2C, a translator from word-level sequential circuits to C programs. We choose the Btor2 language as the input format for its simplicity and bit-precise semantics. It can be deemed as an intermediate representation tailored for analysis. Given a Btor2 circuit, Btor2C generates a behaviorally equivalent program in the language C, supported by many static program analyzers. We demonstrate the use cases of Btor2C by translating the benchmark set from the Hardware Model Checking Competitions into C programs and analyze them by tools from the Intl. Competitions on Software Verification and Testing. Our results show that software analyzers can complement hardware verifiers for enhanced quality assurance: For example, the software verifier VeriAbs with Btor2C as preprocessor found more bugs than the best hardware verifiers ABC and AVR in our experiment.

关键词： Hardware compilation Word-level circuit Intermediate representation Formal verification Testing Btor2 SMT SAT

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：