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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 计算机科学与技术...
- 555 篇 软件工程
- 136 篇 电气工程
- 122 篇 控制科学与工程
- 93 篇 信息与通信工程
- 91 篇 土木工程
- 88 篇 机械工程
- 76 篇 建筑学
- 60 篇 安全科学与工程
- 58 篇 材料科学与工程（可...
- 40 篇 交通运输工程
- 37 篇 动力工程及工程热...
- 33 篇 化学工程与技术
- 28 篇 生物工程
- 27 篇 仪器科学与技术
- 25 篇 力学（可授工学、理...
- 22 篇 环境科学与工程（可...
330 篇 理学
- 227 篇 数学
- 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,572 篇 英文
31 篇 其他
15 篇 德文
9 篇 中文
4 篇 葡萄牙文
3 篇 俄文
1 篇 捷克文

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

共 1634 条记录，以下是171-180 订阅

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

详细简洁

排序：

Conceptual Identification Within the Decomposition of Fuzzy Homogeneous Classes of Objects 8

Conceptual Identification Within the Decomposition of Fuzzy ...

引用

8th international conference on Computational Linguistics and Intelligent systems. Volume III: Intelligent systems Workshop, ISW-CoLInS 2024

作者： Terletskyi, Dmytro O. Yershov, Sergey V. V. M. Glushkov Institute of Cybernetics of NAS of Ukraine Academician Glushkov avenue 40 Kyiv03187 Ukraine

Conceptual identification of fuzzy knowledge is one of the important knowledge-processing methods, which can be used for such tasks as concept matching, computation of concept similarity, re-engineering of conceptual hierarchies, etc. Since wildly used approaches to conceptual identification, which are based on the formal concept analysis and fuzzy formal concept analysis, do not consider the internal semantic dependencies among the attributes, it may lead to the construction of semantically inconsistent concepts. therefore, in this paper, we propose a new approach to the conceptual identification of fuzzy knowledge within the decomposition of nodes of fuzzy object-oriented dynamic networks. the decomposition of fuzzy homogeneous classes of objects is considered the space for the identifying their fuzzy sub-concepts within the corresponding identification lattice. To implement the proposed approach, we developed the algorithm for identifying semantically consistent subclasses of fuzzy homogeneous classes of objects. the algorithm constructs a semantically consistent lattice of fuzzy class subclasses and discovers all subclasses and superclasses for a selected fuzzy class subclass, creating a corresponding identification lattice. In addition, we introduce a notion of a subclass neighborhood within its identification lattice, which allows the consideration of a conceptual locus of the subclass instead of the subclass itself. It makes it possible to operate with subclasses of a fuzzy class in a broader sense, calculating their similarities and differences. To explain the proposed approach, we have provided a detailed example of the conceptual identification of a particular fuzzy homogeneous class of objects, demonstrating the application of the developed algorithm. © 2024 Copyright for this paper by its authors.

关键词： Formal concept analysis

来源：评论

学校读者我要写书评

暂无评论

Efficient Neural Network analysis with Sum-of-Infeasibilities 28th

Efficient Neural Network Analysis with Sum-of-Infeasibilitie...

引用

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)

作者： Wu, Haoze Zeljic, Aleksandar Katz, Guy Barrett, Clark Stanford Univ Stanford CA 94305 USA Hebrew Univ Jerusalem Jerusalem Israel

ISBN: (纸本)9783030995249;9783030995232

Inspired by sum-of-infeasibilities methods in convex optimization, we propose a novel procedure for analyzing verification queries on neural networks with piecewise-linear activation functions. Given a convex relaxation which over-approximates the non-convex activation functions, we encode the violations of activation functions as a cost function and optimize it with respect to the convex relaxation. the cost function, referred to as the Sum-of-Infeasibilities (Sol), is designed so that its minimum is zero and achieved only if all the activation functions are satisfied. We propose a stochastic procedure, DeepSol, to efficiently minimize the Sol. An extension to a canonical case-analysis-based complete search procedure can be achieved by replacing the convex procedure executed at each search state with DeepSol. Extending the complete search with DeepSol achieves multiple simultaneous goals: 1) it guides the search towards a counter-example;2) it enables more informed branching decisions;and 3) it creates additional opportunities for bound derivation. An extensive evaluation across different benchmarks and solvers demonstrates the benefit of the proposed techniques. In particular, we demonstrate that Sol significantly improves the performance of an existing complete search procedure. Moreover, the SoI-based implementation outperforms other state-of-the-art complete verifiers. We also show that our technique can efficiently improve upon the perturbation bound derived by a recent adversarial attack algorithm.

关键词： neural networks sum of infeasibilities convex optimization stochastic local search

来源：评论

学校读者我要写书评

暂无评论

Expedited Machine-Learning-Based Global Design Optimization of Antenna systems Using Response Features and Multi-fidelity EM analysis 24th

Expedited Machine-Learning-Based Global Design Optimization ...

引用

24th international conference on Computational Science (ICCS)

作者： Pietrenko-Dabrowska, Anna Koziel, Slawomir Leifsson, Leifur Gdansk Univ Technol Fac Elect Telecommun & Informat Narutowicza 11-12 PL-80233 Gdansk Poland Reykjavik Univ Engn Optimizat & Modeling Ctr Dept Engn Menntavegur 1 IS-102 Reykjavik Iceland Purdue Univ Sch Aeronaut & Astronaut W Lafayette IN 47907 USA

ISBN: (纸本)9783031637742;9783031637759

the design of antenna systems poses a significant challenge due to stringent performance requirements dictated by contemporary applications and the high computational costs associated with models, particularly full-wave electromagnetic (EM) analysis. Presently, EM simulation plays a crucial role in all design phases, encompassing topology development, parametric studies, and the final adjustment of antenna dimensions. the latter stage is especially critical as rigorous numerical optimization becomes essential for achieving optimal performance. In an increasing number of instances, global parameter tuning is necessary. Unfortunately, the use of nature-inspired algorithms, the prevalent choice for global design, is hindered by their poor computational efficiency. this article presents an innovative approach to cost-efficient global optimization of antenna input characteristics. Our methodology leverages response feature technology, ensuring inherent regularization of the optimization task by exploring the nearly-linear dependence between the coordinates of feature points and the antenna's dimensions. the optimization process is structured as a machine learning (ML) procedure, utilizing a kriging surrogate model rendering response features to generate promising candidate designs (infill points). this model is iteratively refined using accumulated EM simulation data. Further acceleration is achieved by incorporating multi-fidelity EM analysis, where initial sampling and surrogate model construction use low-fidelity EM simulations, and the ML optimization loop employs high-fidelity EM analysis. the multi-fidelity EM simulation data is blended into a single surrogate using co-kriging. Extensive verification of the presented algorithm demonstrates its remarkable computational efficiency, with an average running cost not exceeding ninety EM simulations per run and up to a seventy percent relative speedup over the single-fidelity procedure.

关键词： Antenna design global optimization computer-aided design response features bio-inspired algorithms variable-fidelity EM analysis

来源：评论

学校读者我要写书评

暂无评论

Human Motion Estimation Application for the Marker-Based Motion Capture systems

Human Motion Estimation Application for the Marker-Based Mot...

引用

Electrical, Electronic and Computing Engineering (IcETRAN), international conference on

作者： Branko Lukić Marija Radmilović Filip Bečanović School of Electrical Engineering University of Belgrade Belgrade Serbia Mihajlo Pupin Institute Belgrade Serbia

ISBN: (数字)9798350386998

ISBN: (纸本)9798350387001

Motion capture technology finds wide application in various fields such as entertainment, sports analysis, and biomechanics, enabling accurate digitization of real-world movements for replication in digital environments. there exist diverse motion capture systems utilizing different technologies, supported by software tools for marker movement extraction. Further processing of acquired data requires additional investment in software development. this paper presents the human motion estimator application developed using GUI in MATLAB App Designer. this application aims to generate human movement based on recorded marker data obtained from motion capture systems (MCS), currently supporting two MCSs: Vicon and ART. the developed application aims to become a universal tool for estimating human movements, supporting data from ART or Vicon MCS. the application provides visual instructions for mounting markers on the body and initialization position, while data processing is based on optimization algorithms for defined criteria functions. the application targets research institutions by providing essential software support for ART or Vicon MCSs, thus enhancing data analysis capabilities for estimating upper body movement. the application is a framework, a starting point, to be upgraded and future developed with additional MCS and features.

关键词： Visualization Motion estimation Subspace constraints Software algorithms Motion capture Software tools Optimization

来源：评论

学校读者我要写书评

暂无评论

Ontology-Based Design of Inductive Modeling tools 11

Ontology-Based Design of Inductive Modeling Tools

引用

11th international conference on Advanced Computer Information Technologies, ACIT 2021

作者： Pidnebesna, Halyna Stepashko, Volodymyr Intl. Res. and Train. Centre for Information Technologies and Systems of the Nas and Mes of Ukraine Department for Information Technologies of Inductive Modeling Kyiv Ukraine

the task of structure designe of the software complex of tools for inductive modeling on the GMDH basis is considered. A novel is the use of the knowledge base in the form of an ontology of the subject area of inductive modeling. the application of the ontological approach to the construction of the knowledge base makes it possible to reuse information and effectively process this information when modeling complex systems of different nature using statistical data, to form queries and obtain logical conclusions. Fragments of the ontology of inductive modeling based on GMDH as an example of creating a formal description of the subject area are given. the Protégé_4.3 ontoeditor was used to construct ontological models of the inductive modeling domain. © 2021 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Multi-mode Control of Technical and Technological systems: analysis of construction Methods and Areas of Effective Application 4th

Multi-mode Control of Technical and Technological Systems: A...

引用

4th international conference on Applications in Electronics and Computing systems, AECS 2022

作者： Lubentsov, V.F. Dantsevich, I.M. Shakhray, E.A. Mefleh, M.V. Kuban State Technological University Krasnodar Russia Admiral Ushakov State Maritime University Novorossiysk Russia

ISBN: (纸本)9783031206306

the article deals with multi-mode electric drives of ship outboard equipment. A feature of the problem under consideration is the compensation of non-linear perturbations of the packet type. When performing work on the example of the descent-ascent of a manned underwater vehicle of the "Rus" type, an analysis of the properties of the operating modes of the controlled object was carried out, and the need to use a multi-mode controller for a qualitative solution of the task was substantiated. the result of the analysis of object properties and presented methods is the substantiation of rational approach for the development of control systems for multi-mode moving objects (descent-lifting operations) using a certain set of informative signs formed on the basis of measured values characterizing the current state of the object and the environment, combined with the methods of neural network technology and fuzzy logic. In this paper, this approach is used as the basis for the structural-parametric synthesis of scalable control systems for unmanned underwater complexes with multi-mode functioning algorithms. the purpose of the study is to analyze the methods and briefly characterize them for constructing multi-mode control systems for objects and processes. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Electric drives

来源：评论

学校读者我要写书评

暂无评论

Comparative analysis of the Efficiency of Modern Fake Detection algorithms in Scope of Information Warfare 11

Comparative Analysis of the Efficiency of Modern Fake Detect...

引用

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

作者： Shtefaniuk, Yevhenii Opirskyy, Ivan Lviv Polytech Natl Univ Stepana Bandery St 12 UA-79000 Lvov Lviv Oblast Ukraine

ISBN: (纸本)9781665426053

the problem of detecting fake (false) information passing through various channels of the Internet is becoming increasingly important task. One of the most dangerous types of such information is targeted propaganda, which always has a specific purpose and uses specially prepared resources. To protect a person from such informational influence, we can use already developed tools and algorithms. this article considers the main features of information propaganda and approaches to combating it;the effectiveness of several well-known modern algorithms for recognizing fake news;the comparative efficiency analysis of these algorithms in the context of possibility of their application for counteracting purposeful information influences is carried out. Based on the study, the most promising algorithm for recognizing information propaganda in social networks was selected. this will allow to build more efficient systems of detecting fake news that are delivered in scope of information propaganda campaigns as a part of information warfare in social media networks.

关键词： fake news neural networks counteraction to information influence propaganda Fakedetector UDF HC-CB-3

来源：评论

学校读者我要写书评

暂无评论

Generating Distinctive Marker Configurations for Robot Detection in Motion Capture systems

Generating Distinctive Marker Configurations for Robot Detec...

引用

international conference on Autonomous Robots and Agents, ICARA

作者： Mahmoud Hamandi Abdullah Mohamed Ali Nikolaos Evangeliou Anthony Tzes Farshad Khorrami Center for Artificial Intelligence and Robotics New York University Abu Dhabi Abu Dhabi UAE Electrical and Computer Engineering New York University Brooklyn NY United States of America

ISBN: (数字)9798331509231

ISBN: (纸本)9798331509248

Motion Capture (MoCap) systems are commonly used to track indoor robots, providing measurements for robot control, ground truth data for testing new algorithms, and training datasets for learning-based methods. However, placing markers for MoCap tracking typically requires users to select distinct configurations for each robot while ensuring marker visibility and avoiding symmetric arrangements. this paper presents an optimization-based method for generating distinct marker configurations that ensure visibility, non-symmetry, and spatial distribution. the proposed approach automates the marker placement process, supporting both geometrically defined shapes and CAD model-based robot surfaces. the implementation is released as an open-source, user-friendly software tool, enabling streamlined marker placement for robotics applications.

关键词： Training Solid modeling Tracking Shape Motion capture Software tools Robots Surface treatment Principal component analysis Testing

来源：评论

学校读者我要写书评

暂无评论

Rigorous Engineering of Collective Adaptive systems Introduction to the 4th Track Edition 11th

Rigorous Engineering of Collective Adaptive Systems Introduc...

引用

11th international Symposium on Leveraging Applications of Formal Methods, Verification and Validation

作者： Wirsing, Martin De Nicola, Rocco Jaehnichen, Stefan Ludwig Maximilians Univ Munchen Munich Germany IMT Sch Adv Studies Lucca Lucca Italy TU Berlin Berlin Germany FZI Forschungszentrum Informat Berlin Berlin Germany

ISBN: (纸本)9783031197581;9783031197598

A collective adaptive system consists of collaborating entities that are able to adapt in real-time to dynamically changing and open environments and changing needs. Rigorous engineering requires appropriate methods and tools to help ensure that a collective adaptive system lives up to its intended purpose. this note provides an introduction to the 4th edition of the track "Rigorous Engineering of Collective Adaptive systems" and briefly introduces the panel discussion and its 22 scientific contributions, structured into eight thematic sessions: Design and Validation of Autonomous systems, Computing with Bio-inspired Communication, New System Models and tools for Ensembles, Large Ensembles and Collective Dynamics, On the Borderline between Collective Stupidity and Collective Intelligence, Machine Learning for Collective Adaptive systems, Programming and Analysing Ensembles, and tools for Formal analysis and Design.

关键词： Adaptive system Collective system Ensemble Software engineering Formal method Rigorous method Machine learning

来源：评论

学校读者我要写书评

暂无评论

Advanced numerical analysis of fatigue-critical details of existing metallic railway bridges 11th

Advanced numerical analysis of fatigue-critical details of e...

引用

11th international conference on Bridge Maintenance, Safety and Management, IABMAS 2022

作者： Horas, C.S. Calçada, R. Jesus, A.M.P. CONSTRUCT-LESE Faculty of Engineering University of Porto Porto Portugal INEGI Faculty of Engineering University of Porto Porto Portugal

ISBN: (纸本)9781032345314

the fatigue analysis of large structures is highly limited by a multiscale problem between the global responses of structural systems and the localised nature of fatigue damage. Currently, S-N curves are used to overcome such an issue using nominal stresses, but overly conservative safety margins may be assumed when investigating existing metallic railway bridges, built and designed using superseded standards. therefore, advanced numerical analysis consisting of hierarchical models should be performed to implement local fatigue methods based on local mechanical quantities to investigate numerically all fatigue phases, according to the real characteristics of the structural response at fatigue hot spots. the local geometrical, material and contact properties may be accurately represented at the local scale using submodelling relations, potentiated by the implementation of modal superposition principles to increase the efficiency of the calculations. A real case study is investigated in the present work to demonstrate the capabilities of applying local fatigue approaches. © 2022 the Author(s).

关键词： Railroads

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：