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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Effectiveness analysis of Network Storage System in Information Warfare 10th

Effectiveness Analysis of Network Storage System in Informat...

引用

10th international conference on Frontier Computing, FC 2020

作者： Xing, Lipeng Tian, Balin Yang, Heng College of Information and Communication National University of Defense Technology Shaanxi Xi’an China

ISBN: (纸本)9789811601149

the advantage of information is the key to ensure the victory of the information warfare, while information storage systems are the basis for acquiring information advantages. With the development of information technology, we should consider the construction of network storage and build military network storage system or data center. In this paper, the OBS storage system model is proposed and its characteristics are analyzed. Based on the conceptual model of storage system and the analysis of its function, the influence of military storage system networking on information warfare is analyzed by using network value evaluation statistics method. Finally, in order to realize distributed storage and centralized management of military information resources, the idea of grid expansion of "island" storage system based on "long tail" effect is proposed. © 2021, the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Digital storage

来源：评论

学校读者我要写书评

暂无评论

Research on Public Sentiment Data Center Based on Key Technology of Big Data 10th

Research on Public Sentiment Data Center Based on Key Techno...

引用

10th international conference on Computer Engineering and Networks, CENet 2020

作者： Qi, Zhou Jian, Yin Zhang, Liangjun Open University of Guangdongy Guangzhou510630 China Sun Yat-Sen University Guangzhou510630 China Guangzhou Teddy Intelligent Technology Co. Ltd. Guangzhou510630 China

ISBN: (纸本)9789811584619

through the construction of public opinion data center as the research object, a series of data acquisition, monitoring and analysis and mining tasks based on public opinion information can provide natural language processing functions such as web data crawling and monitoring, web data parsing, text data preprocessing, text analysis and mining. Research shows that automatic summarization technology, event recognition technology, event context combing and emotion analysis technology can be based on text mining algorithm to achieve automatic keyword extraction, content simplification, similarity calculation, tracking and monitoring, and subjective text with emotional color analysis has a very good application value and efficiency. © 2021, the Editor(s) (if applicable) and the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Sentiment analysis

来源：评论

学校读者我要写书评

暂无评论

Automated Verification of Parallel Nested DFS 26th

Automated Verification of Parallel Nested DFS

引用

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

作者： Oortwijn, Wytse Huisman, Marieke Joosten, Sebastiaan J. C. van de Pol, Jaco Swiss Fed Inst Technol Dept Comp Sci Zurich Switzerland Univ Twente Formal Methods & Tools Enschede Netherlands Dartmouth Coll Hanover NH 03755 USA Aarhus Univ Dept Comp Sci Aarhus Denmark

ISBN: (纸本)9783030451899;9783030451905

Model checking algorithms are typically complex graph algorithms, whose correctness is crucial for the usability of a model checker. However, establishing the correctness of such algorithms can be challenging and is often done manually. Mechanising the verification process is crucially important, because model checking algorithms are often parallelised for efficiency reasons, which makes them even more error-prone. this paper shows how the VerCors concurrency verifier is used to mechanically verify the parallel nested depth-first search (NDFS) graph algorithm of Laarman et al. [25]. We also demonstrate how having a mechanised proof supports the easy verification of various optimisations of parallel NDFS. As far as we are aware, this is the first automated deductive verification of a multi-core model checking algorithm.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Ensemble-Based Explainable Approach for Rare Medicinal Plant Recognition and Conservation

Ensemble-Based Explainable Approach for Rare Medicinal Plant...

引用

Information and Network Technologies (ICINT), international conference on

作者： Shakil Khan Hamdadur Rahman Md. Ismail Hossain Siddiqui Zishad Hossain Limon Mahbub Alam Khan Rezaul Haque Md. Redwan Ahmed Ahmed Wasif Reza Shamim Hasnat Ripon Dept. of Management of Information System International American University CA USA Dept. of Engineering/Industrial Management Westcliff University Irvine CA USA Dept. of Business Analytics International American University CA USA Dept. of Computer Science Westcliff University Irvine CA USA Dept. of Management Information System Pacific State University CA USA Dept. of Computer Science and Engineering East West University Dhaka Bangladesh

ISBN: (数字)9798331536756

ISBN: (纸本)9798331536763

Accurate classification of medicinal plants, particularly those that are threatened, rare, or endangered, is crucial for biodiversity conservation and sustainable use. this study introduces a robust ensemble-based classification model that integrates various architectures, including EfficientNet-B7, ConvNeXt, NasNet, and XceptionNet. Data augmentation with normalization enabled a training process using 4,500 high-resolution leaf images from a balanced dataset while helping achieve improved performance metrics. Transparent insight into model decisions became possible through our integration of Explainable AI (XAI) techniques which provided interpretable information about how the model reached its output. this transparency enables researchers and conservationists to better understand the system’s outputs. the ensemble model achieved an impressive accuracy of 99.29%, surpassing the performance of individual models and demonstrating strong generalization capabilities. We also built a real-time web application that delivers useful biodiversity monitoring solutions and helps assess species for pharmaceutical research and conservation initiatives. the study demonstrates AI-driven potentials through its analysis but it reveals two main challenges including dataset scope boundaries and high computational costs of modeling. Developments in future research will concentrate on enhancing database size along with computational strategies to enable mobile applications as field identification tools. this research has developed a flexible and dependable system which unites artificial intelligence investigation with practical environmental protection necessities.

关键词： Medicinal plants Accuracy Biological system modeling Computational modeling Real-time systems Mobile applications Biodiversity Environmental management Monitoring Pharmaceuticals

来源：评论

学校读者我要写书评

暂无评论

How Refugees in South Africa Use Mobile Phones for Social Connectedness 21

How Refugees in South Africa Use Mobile Phones for Social Co...

引用

10th international conference on Communities and Technologies: Wicked Problems in the Age of Tech, C and T 2021

作者： Vuningoma, Sarah Lorini, Maria Rosa Chigona, Wallace University of Cape Town Information Systems South Africa

ISBN: (纸本)9781450390569

Refugees struggle to integrate into a host country due to a myriad of challenges. Mobile phones have become one of the main tools which refugees may use to promote their wellbeing and to support their integration into refugee communities. the main objective of this study was to examine how the use of mobile phones by refugees in South Africa contributes to their social connectedness. this research employed a qualitative method and an interpretivist epistemological perspective. Data were collected using semi-structured interviews and WhatsApp group chats, and analysed using thematic analysis. the interviewees comprised 27 refugees and the WhatsApp group had 15 members. the findings demonstrate that the refugees face a multitude of obstacles;these included language and culture barriers, the challenge of obtaining legal status, physical separation from their friends and family, and feelings of being judged, insecure, and excluded. Mobile phone usage offers refugees several benefits, especially through their affordances. these include accessing information, pursuing economic and institutional opportunities, enabling communication, and developing linguistic and cultural knowledge of the host country. this study adds to perspectives on utilising mobile phones to achieve social connectedness for two categories of refugees: newcomers and old-timers. © 2021 ACM.

关键词： Cellular telephones

来源：评论

学校读者我要写书评

暂无评论

Development of theory, Scope and tools for Entropy Signals and Data Processing 10

Development of Theory, Scope and Tools for Entropy Signals a...

引用

10th international conference on Advanced Computer Information Technologies (ACIT)

作者： Voronych, Artur Nykolaychuk, Lyubov Grynchyshyn, Taras Hryha, Volodymyr Melnychuk, Stepan Nykolaychuk, Yaroslav Ivano Frankivsk Natl Tech Univ Oil & Gas Dept Comp Syst & Networks Ivano Frankivsk Ukraine Ivano Frankivsk Natl Tech Univ Oil & Gas Dept Social Commun & Law Ivano Frankivsk Ukraine Natl Transport Univ Nadvirna Coll Dept Programming & Informat Technol 177 Soborna Str Nadvirna Ukraine Vasyl Stefanyk Natl Univ Dept Comp Engn & Elect Ivano Frankivsk Ukraine Ternopil Natl Econ Univ Dept Specialized Comp Syst Ternopol Ukraine

ISBN: (数字)9781728167602

ISBN: (纸本)9781728167602

there are presented theoretical bases of entropy calculation for random messages. the analytical expressions of known entropy estimates are classified. A comparative analysis of the information characteristics for the estimates of the probability and correlation measures of entropy is performed. there is also reviewed the scope of entropy analysis, software and hardware tools for entropy calculation. the characteristics of hardware and time complexity of circuit-technical solutions of special entropy calculation processors are developed. there is proposed an extension of Shannon's entropy estimation functionalities and development of special processors for the forming and receiving of crypto-protected entropy-manipulated signals in the environment of cyber-physical systems.

关键词： entropy theory methods and tools of entropy processing of signals and data cyber-physical systems

来源：评论

学校读者我要写书评

暂无评论

Informational expert system for minimizing the time in searching of ship electrical equipment failures 7

Informational expert system for minimizing the time in searc...

引用

7th international conference "Information Technology and Interactions", IT and I 2020

作者： Rozhkov, Sergiy Kondrashov, Kostyantyn Tereshchenkova, Oksana Falenkova, Maryna Kherson State Maritime Academy 20 Ushakova str. Kherson7300 Ukraine Petro Mohyla Black Sea National University 68-Desantnykiv St 10 Mykolaiv54003 Ukraine

analysis of the failure diagnostic tools used by the operator in real navigation conditions to find and eliminate the causes of malfunction of shipboard automated systems and mechanisms is an actual problem. Quick search and elimination of a defect affect the level of ship's safety. this article is devoted to obtaining and comprehensively studying methods and models for fault trees and decision trees construction for identifying a defect in specific diagnostic objects and their structural units, as well as methods used to defects finding. the basic subjective and objective conditions that affect the time spent by maintenance personnel on the readapting to work of the failed ship system are systematized and arranged. the article substantiates the need of the transition from existing paper documentation to electronic maintenance documentation using the expert system. © 2020 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 international (CC BY 4.0).

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

Enhancing Smart Grid Management: Load Forecasting, Power Grid Stability Assessment, and Fault Detection using Artificial Neural Networks

Enhancing Smart Grid Management: Load Forecasting, Power Gri...

引用

international conference on Advanced Computing and Communication systems (ICACCS)

作者： Sunkara Yamini Hanumantha Rao Sistla T Suman D Sravani N Rajeswaran M Deenababu Department of CSE (AIML) Institute of Aeronautical Engineering Hyderabad Telangana State India Department of ECE Shri Vishnu Engineering College for Women Bhimavaram Andhra Pradesh India School of Engineering Malla Reddy University Secunderabad Telangana State India Department of IT Malla Reddy Engg. College Secunderabad Telangana State India Department of EEE Malla Reddy College of Engg. Secunderabad Telanagana State India Department of IT Malla Reddy Engineering College Secunderabad Telanagana State India

ISBN: (数字)9798350384369

ISBN: (纸本)9798350384376

As the needs of electricity customers grow, the smart grid has emerged as an innovative technology for updating power systems. To ensure the smart grid's dependable and sustainable operation, effective management is essential. the current research introduces a novel method for managing the smart grid that combines load forecasting, evaluation of the grid's stability, and defect finding. In order for utilities to optimize energy generation and distribution, load forecasting is a crucial part of smart grid management. Accurate projections of future electricity demand are made possible by this. In this research, ANNs are used to forecast and simulate load patterns based on historical data, environmental parameters, and other pertinent variables. the resource allocation and energy efficiency of the ANN-based load forecasting model are enhanced. Assessment of the stability of the power grid is crucial for avoiding power outages and ensuring the system's resistance to disruptions. ANNs are used to analyze the power grid's dynamic behavior, spot possible stability problems, and forecast voltage and frequency fluctuations. Operators can promptly execute corrective actions and ensure a robust and dependable power supply by continuously monitoring grid stability. the smart grid's fault detection is yet another crucial component of system management. ANNs are used as effective pattern recognition tools to find anomalies and deviations in the behavior of the power system. the ANN-based fault detection system can quickly identify and isolate issues, minimizing downtime and boosting grid resilience, by comparing real-time data with past trends.

关键词： Load forecasting Fault detection Electricity Power system stability Electrical fault detection Stability analysis Smart grids Resource management Sustainable development Resilience

来源：评论

学校读者我要写书评

暂无评论

A System of systems Framework for Intelligence in Autonomy, Big Data Analytic, and Applications : Plenary Talk

A System of Systems Framework for Intelligence in Autonomy, ...

引用

international conference on Computational Cybernetics (ICCC)

作者： Mo M. Jamshidi Department of Electrical and Computer Engr University of Texas San Antonio TX USA

ISBN: (数字)9781665481779

ISBN: (纸本)9781665481786

Large data has been accumulating in all aspects of our lives for quite some time. Advances in sensor technology, the Internet, wireless communication, and inexpensive memory have all contributed to an explosion of “Big Data”. System of systems (SoS) are integration of independent operatable and non-homogeneous legacy systems to achieve a higher goal than the sum of the parts. Today’s SoS are also contributing to the existence of unmanageable “Big Data”. Recent efforts have developed promising approach, called “Data Analytics”, which uses machine learning tools from statistical and soft computing (SC) such as principal component analysis (PCA), clustering, fuzzy logic, neuro-computing, evolutionary computation, Bayesian networks, deep architectures and deep learning, etc. to reduce the size of “Big Data” to a manageable size and apply these tools to a) extract information, b) build a knowledge base using the derived data, and c) eventually develop a nonparametric model for the “Big Data”. this keynote attempts to construct a bridge between SoS and Data Analytics to develop reliable models for such systems. A photovoltaic energy-forecasting problem of a micro grid SoS, traffic jams forecasting, brain disease prediction, and a system of autonomous vehicles will be offered for case studies. these tools will be used to extract a nonlinear model for a SoS-generated BIG DATA. Videos for autonomous vehicles will be shown.

关键词： Analytical models Data analysis Computational modeling Big Data Brain modeling Data models Data mining

来源：评论

学校读者我要写书评

暂无评论

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.

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共171页 << < 29 30 31 32 33 34 35 36 37 38 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：