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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,234 篇 工学
- 862 篇 计算机科学与技术...
- 532 篇 软件工程
- 134 篇 电气工程
- 128 篇 土木工程
- 122 篇 机械工程
- 107 篇 控制科学与工程
- 87 篇 建筑学
- 71 篇 材料科学与工程（可...
- 67 篇 信息与通信工程
- 54 篇 力学（可授工学、理...
- 44 篇 交通运输工程
- 43 篇 安全科学与工程
- 42 篇 动力工程及工程热...
- 39 篇 化学工程与技术
- 34 篇 仪器科学与技术
- 33 篇 石油与天然气工程
- 32 篇 生物工程
- 31 篇 环境科学与工程（可...
- 26 篇 电子科学与技术（可...
348 篇 理学
- 210 篇 数学
- 56 篇 物理学
- 56 篇 系统科学
- 55 篇 统计学（可授理学、...
- 47 篇 生物学
- 27 篇 化学
212 篇 管理学
- 154 篇 管理科学与工程(可...
- 84 篇 工商管理
- 73 篇 图书情报与档案管...
41 篇 医学
- 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
20 篇 machine learning
19 篇 task analysis
19 篇 computational mo...
19 篇 software
17 篇 monitoring
17 篇 stochastic syste...
17 篇 artificial intel...
16 篇 database systems
16 篇 construction ind...
15 篇 simulation

机构

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,606 篇 英文
60 篇 其他
15 篇 德文
14 篇 中文
1 篇 捷克文
1 篇 葡萄牙文
1 篇 俄文
1 篇 乌克兰文

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

共 1697 条记录，以下是331-340 订阅

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

详细简洁

排序：

MUST: Minimal Unsatisfiable Subsets Enumeration Tool 26th

MUST: Minimal Unsatisfiable Subsets Enumeration Tool

引用

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

作者： Bendik, Jaroslav Cerna, Ivana Masaryk Univ Fac Informat Brno Czech Republic

ISBN: (纸本)9783030451899;9783030451905

In many areas of computer science, we are given an unsatisfiable set of constraints with the goal to provide an insight into the unsatisfiability. One of common approaches is to identify minimal unsatisfiable subsets (MUSes) of the constraint set. the more MUSes are identified, the better insight is obtained. However, since there can be up to exponentially many MUSes, their complete enumeration might be intractable. therefore, we focus on algorithms that enumerate MUSes online, i.e. one by one, and thus can find at least some MUSes even in the intractable cases. Since MUSes find applications in different constraint domains and new applications still arise, there have been proposed several domain agnostic algorithms. Such algorithms can be applied in any constraint domain and thus theoretically serve as ready-to-use solutions for all the emerging applications. However, there are almost no domain agnostic tools, i.e. tools that both implement domain agnostic algorithms and can be easily extended to support any constraint domain. In this work, we close this gap by introducing a domain agnostic tool called MUST. Our tool outperforms other existing domain agnostic tools and moreover, it is even competitive to fully domain specific solutions.

关键词： Minimal unsatisfiable subsets Unsatisfiability analysis Infeasibility analysis MUS Diagnosis.

来源：评论

学校读者我要写书评

暂无评论

Prediction of Stirling-cycle-based heat pump performance and environmental footprint using exergy analysis and LCA 34

Prediction of Stirling-cycle-based heat pump performance and...

引用

34th international conference on Efficency, Cost, Optimization, Simulation and Environmental Impact of Energy systems, ECOS 2021

作者： Khan, Umara Zevenhoven, Ron Stougie, Lydia Tveit, Tor-Martin Åbo Akademi University Turku Finland Delft University of Technology Delft Netherlands Olvondo Technology Holmestrand Norway

ISBN: (纸本)9781713843986

Compared to other heat pump systems, the Stirling-cycle-based heat pump has several benefits. the use of Stirling-cycle-based heat pumps in high temperature applications, e.g., above 120°C, and waste heat recovery at an industrial scale is of increasing interest due to the promising role in producing thermal energy with zero CO2 emissions. this paper analyzes one such technology as developed by Olvondo Technology and installed at the pharmaceutical company AstraZeneca in Sweden. In this application, the heat pump uses roughly equal amounts of low temperature heat and electricity and generates 500 kW of steam at 10 bar. A scale-up to 750 kW with improved energy efficiency is ongoing. To develop and widen the use of a high-performance high temperature heat pump that is both economically and environmentally viable and attractive, various analysis tools such as exergy analysis and life cycle assessment (LCA) can be combined. the benefit of exergy analysis is that it not only quantifies losses of work potential but also identifies the source and location of these losses. To evaluate the performance of the Stirling-cycle-based heat pump the Total Cumulative Exergy Loss (TCExL) method is used. the TCExL method determines total exergy losses caused throughout the life cycle of the heat pump. Moreover, an LCA study using SimaPro is conducted, which provides insight into the different emissions and overall environmental footprint resulting from the construction, operation (for example, 1, 8, 15 years), and decommissioning phases of the heat pump. the combined results are compared with the results of a fossil fuel oil boiler (OB), bio-oil boiler (BOB), natural gas-fired boiler (NGB) and biogas boiler (BGB). the findings indicate that a Stirling-cycle-based heat pump is a sustainable alternative to fossil fuel-fired boilers. © ECOS 2021 - 34th international conference on Efficency, Cost, Optimization, Simulation and Environmental Impact of Energy systems.

关键词： Stirling cycle

来源：评论

学校读者我要写书评

暂无评论

Autonomous Integrity Monitoring of Shotcrete Tunnel Linings using Distributed Fiber Optic Sensing 10

Autonomous Integrity Monitoring of Shotcrete Tunnel Linings ...

引用

10th international conference on Structural Health Monitoring of Intelligent Infrastructure, SHMII 2021

作者： Monsberger, Christoph M. Buchmayer, Fabian Lienhart, Werner Institute of Engineering Geodesy and Measurement Systems Graz University of Technology Steyrergasse 30 Graz8010 Austria

Structural integrity assessment is essential in modern tunneling to ensure safe construction works. State-of-the-art monitoring approaches like displacements readings of geodetic prisms are often limited in the spatial as well as the temporal measurement resolution, which is why potential safety hazards might be overlooked. this paper introduces a large-scale distributed fiber optic sensing (DFOS) network inside shotcrete tunnel linings of a highway tunnel currently under construction in Austria. the tunnel construction site faces challenging geological conditions with loose rock excavation near to the surface with minimal covering. Fiber optic sensing cables were installed along both tunnel tubes to continuously monitor 13 cross-sections and about 200 m of the tunnel in longitudinal direction. Measurements are continuously evaluated and transferred to the geotechnical engineer on-site twice a day for further analysis. Alerts are additionally sent out automatically, if pre-defined thresholds are exceeded. the paper outcomes demonstrate that the innovative DFOS system immediately responds to structural modifications and, indeed, increases safety at the construction site. © 2021 international conference on Structural Health Monitoring of Intelligent Infrastructure: Transferring Research into Practice, SHMII. All rights reserved.

关键词： Structural health monitoring

来源：评论

学校读者我要写书评

暂无评论

GMCB: An Efficient and Light Graph analysis Model for Detecting Carpet Bombing DDoS Attacks

GMCB: An Efficient and Light Graph Analysis Model for Detect...

引用

international conference on Computer and Communications (ICCC)

作者： Zhen Huang Shang Liu Ke Zhao Yong Xiang Shenyang Institute of Computing Technology Chinese Academy of Sciences Shenyang Liaoning China University of Chinese Academy of Sciences Beijing China

ISBN: (数字)9798331507077

ISBN: (纸本)9798331507084

Carpet Bombing is a hard-to-detect and more damaging Distributed Denial of Service(DDoS) attack that has dramatically increased in recent years, posing a significant threat to various network infrastructures. Unlike traditional DDoS that attacks only a single IP address, Carpet Bombing attacks target multiple IP addresses within the same subnet. And the low rate but high number of Carpet Bombing usually makes it difficult for traditional DDoS detection systems to detect. In this paper, we propose a detection model for Carpet Bombing, which consists of three phases: graph construction, graph simplification and anomaly detection. In the first two stages, we classify the traffic flows and cluster them to form various graphs where vertices and edges contain the source IPs, destination IPs, and interaction patterns of the traffic flows. Moreover, we remove some vertices and edges in the graph to ensure that the model has high detection efficiency in detecting Carpet Bombing. In the last stage, we select the key vertices and then analyse the interaction patterns of various traffic flows and data distribution characteristics for anomaly detection. To test our model, we get a Carpet Bombing detection dataset by mixing the CICDDoS2019 and MAWI datasets with modifications. And experimental results show that our model significantly outperforms the state-of-the-art detectors for DDoS attacks, with AUC and F1 values of 0.9894 and 0.9927, respectively. Moreover, our model consumes less system resources(mainly memory and CPU) compared to other models.

关键词： Measurement Analytical models Image edge detection Computational modeling Memory management Detectors Denial-of-service attack IP networks Computer crime Anomaly detection

来源：评论

学校读者我要写书评

暂无评论

Fuzzy Set theory tools in Models of Uncertainties in Economics 10th

Fuzzy Set Theory Tools in Models of Uncertainties in Economi...

引用

10th international conference on theory and Application of Soft Computing, Computing with Words and Perceptions (ICSCCW)

作者： Chistyakov, A. D. Eletsky, N. D. Don State Tech Univ Gagarin Sq 1 Rostov Na Donu Russia Southern Univ Nagibin Av 33A-47 Rostov Na Donu Russia

ISBN: (纸本)9783030352493;9783030352486

the object of analysis is the applicability of the fuzzy sets theory tools for study the uncertainty of contemporary socio-economic structures. It's revealed the role of fuzzy set theory as formalizing instrument of macro- and microlevel interactions in uncertain economy conditions and decision-making taking into consideration the conflict of purposes. the article also illustrates the instrumental abilities of fuzzy set theory on the examples of the task adjusting the national budget's social component in conditions of modernization of the economy and the consumer choice optimization model. the budgetary opportunities of the consumer in this case will be reborn to "a budgetary surface". In its turn, the optimal consumer choice, based on the fuzzy set methodology, is formalized as a fuzzy set of options for the actual choice, taking into account fuzzy restrictions on income, time and information, and in relation to a fuzzy set of variable consumer sets of close integral utility. the equilibrium state of the market parameters reflected by the model acts as a "balance of uncertainties".

关键词： Economy of uncertainties Macro-and microfactors of uncertainty Fuzzy set theory Formalization of uncertainties Multifactorial decision-making algorithms Balance of uncertainties

来源：评论

学校读者我要写书评

暂无评论

Advances in Yoga Training tools: A CNN-RF Based Pose Identification System

Advances in Yoga Training Tools: A CNN-RF Based Pose Identif...

引用

international conference on Computing and Networking Technology (ICCNT)

作者： Satvik Vats Shiva Mehta Computer Science and Engineering Graphic Era Hill University Graphic Era Deemed to be University Dehradun India Chitkara University Institute of Engineering and Technology Chitkara University Punjab India

ISBN: (数字)9798350370249

ISBN: (纸本)9798350370270

A hybrid model that is presented in this article is called CNN-RF which uses convolutional Neural Networks in conjunction with Random Forest algorithms. there is a novel model that supports the task of yin yoga from the video motion data in real-time, with precision and speed. the model deals with the problem of accurate identification of body images in yoga due to the ease of its solution. It uses a deep learning approach in order to extract distinctive features, which are combined and further categorized by the ensemble learning algorithm. With these techniques, a situational quotient of 94 is reachable. 115%. the sum of the performance of the five two poses was excellent (the maximum accuracy of 94). Surprisingly, the MNEs have shifted the marketing of their goods and services according to China’s new domestic market (with a $75 \%$ market share), focusing on recall (with a $98 \%$ effectiveness rate). Support Vector Machine (SVM, 99% precision and 95% recall, scores around 98%), and F1-scores (above 94%), signifies its importance. the outcomes obtained at the confusion matrix prove we have a good classification accuracy and, mostly, observed confusion between postures that are similar is little. they call attention to the issues to improve the future services. Error rate showed a considerable decrease during the training stages, from the error rate of $18 \%$ dropping to $4 \%$, demonstrating very high quality of the training in 10 epochs. the model’s reliability in statistical and the speed of gaining training points makes it feasible to be applied in yoga training systems, health monitoring, and rehabilitation machines. this brings the essential e-bikes features, user motivation and accident reduction. the above work provides a solid basis for AI and physical wellness to merge by proposing an approximation method that can enhance safety and effectiveness in yoga training with the help of technology.

关键词： Training Support vector machines Accuracy Error analysis Streaming media Feature extraction Real-time systems Convolutional neural networks Random forests Monitoring

来源：评论

学校读者我要写书评

暂无评论

Impact of IoT Data Integration on Real-Time Analytics for Smart City Management

Impact of IoT Data Integration on Real-Time Analytics for Sm...

引用

international conference on Communications and Signal Processing

作者： D. Lakshmi J. Jeyarani R. Suguna P. Muneeshwari G.Mary Valantina Suganya Jayaraman Department of Computer Science and Engineering Panimalar Engineering College Chennai Tamil Nadu India Department of Electronics and Communication Engineering CARE College of Engineering Trichy Tamil Nadu India Department of Computer Science and Engineering Vel Tech Rangarajan Dr. Sagunthala R&D Institute of Science and Technology Avadi Chennai Tamil Nadu India Department of Computer Science and Engineering Rajalakshmi Engineering College Chennai Tamil Nadu India Department of Computer Science and Engineering Saveetha School of Engineering Saveetha Institute of Medical and Technical Sciences Saveetha University Chennai Tamil Nadu India Department of Electronics and Communication Engineering Adhiparasakthi Engineering College Melmaruvathur Tamil Nadu India

ISBN: (数字)9798350353068

ISBN: (纸本)9798350353075

the paper in illustration will emphasize the necessity for an IoT big data and analytics on time fusion as a futuristic smart city management approach. the framework deals with the main problems observed in data assimilation, analytics, security and scalability. As a result, cities will enjoy the services and operations utilization of the urban data with the precision. Our approach is based upon the data collection with the use of the edge technologies, preprocessing, integration, and analysis of the data resulting in the creation of the tools of machine learning and the adoption of interoperability standards. the results have especially brought to the limelight the fantastic performance of the live analytics pipeline when considered as a whole, and the impressive throughput of 5,000 events per second alongside the very low latency of 50 milliseconds, indicating how the urban information flow is processed in the blink of an eye. With AI therein creating the precision rate of 88.7%-95.2%, which therefore means this level of an urban situation can pronounce a traffic congestion and air quality fluctuations. the situation where security systems that involve encryption, access controls, and privacy-preserving protocols, among other mechanisms, have been used for the management of urban data in a safe manner, away from any unauthorized people and hackers, is factual. For the sake of achieving scalability, the replacement of certain bottlenecks is applied in the system by means of horizontal scaling and optimal performance procedures assisting smart cities handle their increasing quantity of data. Usually the results are factorized to bring out the fact that the particular methodology is strong and thus can be used in real practice to transform and enhance urban resilience level.

关键词： Smart cities Scalability Pipelines Machine learning Transforms throughput Real-time systems

来源：评论

学校读者我要写书评

暂无评论

construction of hybrid intellectual monitoring and decision-making systems 4

Construction of hybrid intellectual monitoring and decision-...

引用

4th international Scientific and Technical conference on Mechanical Science and Technology Update (MSTU)

作者： Juraev, Z. Sh Muhamediyeva, D. T. Sotvoldiev, D. M. Tashkent Univ Informat Technol Amir Temur St 108 Tashkent 100200 Uzbekistan

the development of algorithms for constructing hybrid intelligent monitoring and decision-making systems, optimization of problem solving with fuzzy initial information, analysis of the correspondence model of complex difficult to formalize processes is considered. the main difference between the proposed development and the traditional ones is the use of modern intelligent information technologies for the development of algorithmic tools for constructing hybrid intelligent monitoring and decision-making systems.

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

Software Verification with PDR: An Implementation of the State of the Art 26th

Software Verification with PDR: An Implementation of the Sta...

引用

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

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

ISBN: (纸本)9783030451899;9783030451905

Property-directed reachability (PDR) is a SAT/SMT-based reachability algorithm that incrementally constructs inductive invariants. After it was successfully applied to hardware model checking, several adaptations to software model checking have been proposed. We contribute a replicable and thorough comparative evaluation of the state of the art: We (1) implemented a standalone PDR algorithm and, as improvement, a PDR-based auxiliary-invariant generator for k-induction, and (2) performed an experimental study on the largest publicly available benchmark set of C verification tasks, in which we explore the effectiveness and efficiency of software verification with PDR. the main contribution of our work is to establish a reproducible baseline for ongoing research in the area by providing a well-engineered reference implementation and an experimental evaluation of the existing techniques.

关键词： Software verification Program analysis Invariant generation Property-directed reachability (PDR) IC3 k-Induction VVT CPAchecker

来源：评论

学校读者我要写书评

暂无评论

Revisiting Underapproximate Reachability for Multipushdown systems 26th

Revisiting Underapproximate Reachability for Multipushdown S...

引用

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

作者： Akshay, S. Gastin, Paul Krishna, S. Roychowdhury, Sparsa Indian Inst Technol Mumbai Maharashtra India ENS Paris Saclay Paris France

ISBN: (纸本)9783030451899;9783030451905

Boolean programs with multiple recursive threads can be captured as pushdown automata with multiple stacks. this model is Turing complete, and hence, one is often interested in analyzing a restricted class that still captures useful behaviors. In this paper, we propose a new class of bounded underapproximations for multi-pushdown systems, which subsumes most existing classes. We develop an efficient algorithm for solving the under-approximate reachability problem, which is based on efficient fix-point computations. We implement it in our tool BHIM and illustrate its applicability by generating a set of relevant benchmarks and examining its performance. As an additional takeaway BHIM solves the binary reachability problem in pushdown automata. To show the versatility of our approach, we then extend our algorithm to the timed setting and provide the first implementation that can handle timed multipushdown automata with closed guards.

关键词： Multipushdown systems Underapproximate Reachability Timed pushdown automata.

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共170页 << < 30 31 32 33 34 35 36 37 38 39 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：