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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

921 篇 工学
- 869 篇 计算机科学与技术...
- 470 篇 软件工程
- 93 篇 控制科学与工程
- 66 篇 电气工程
- 43 篇 信息与通信工程
- 13 篇 机械工程
- 10 篇 土木工程
- 8 篇 建筑学
- 8 篇 石油与天然气工程
- 7 篇 交通运输工程
- 7 篇 生物工程
- 6 篇 生物医学工程（可授...
- 5 篇 力学（可授工学、理...
- 5 篇 仪器科学与技术
- 5 篇 电子科学与技术（可...
- 5 篇 农业工程
241 篇 理学
- 203 篇 数学
- 19 篇 系统科学
- 17 篇 物理学
- 15 篇 生物学
- 7 篇 统计学（可授理学、...
97 篇 管理学
- 62 篇 管理科学与工程(可...
- 41 篇 图书情报与档案管...
- 37 篇 工商管理
13 篇 教育学
- 12 篇 教育学
11 篇 医学
- 8 篇 基础医学(可授医学...
- 7 篇 临床医学
10 篇 法学
- 6 篇 社会学
7 篇 经济学
- 7 篇 应用经济学
7 篇 农学
- 6 篇 作物学
4 篇 文学
3 篇 哲学

主题

254 篇 logic programmin...
53 篇 artificial intel...
50 篇 fuzzy logic
42 篇 semantics
40 篇 formal logic
40 篇 mathematical log...
32 篇 computer circuit...
31 篇 logics and meani...
26 篇 software enginee...
23 篇 integer programm...
22 篇 temporal logic
21 篇 programming tech...
20 篇 programming lang...
19 篇 programming
19 篇 calculations
19 篇 knowledge repres...
17 篇 computer science
17 篇 logic
17 篇 answer set progr...
14 篇 software enginee...

机构

9 篇 univ bath dept c...
9 篇 vienna univ tech...
5 篇 univ london impe...
5 篇 rhein westfal th...
5 篇 univ london impe...
5 篇 univ texas dept ...
4 篇 tu wien austria
4 篇 simon fraser uni...
4 篇 department of co...
4 篇 guangxi key labo...
4 篇 univ liverpool d...
4 篇 univ potsdam ins...
4 篇 carnegie mellon ...
4 篇 univ glamorgan c...
4 篇 univ potsdam ins...
3 篇 univ potsdam ins...
3 篇 theoretical comp...
3 篇 saitama univ dep...
3 篇 microsoft resear...
3 篇 univ potsdam pot...

作者

12 篇 schaub torsten
12 篇 de vos marina
10 篇 brain martin
9 篇 ricca francesco
8 篇 gebser martin
8 篇 russo alessandra
7 篇 gore rajeev
6 篇 leone nicola
6 篇 andrei voronkov
6 篇 xu yang
6 篇 giesl juergen
5 篇 cliffe owen
5 篇 eiter thomas
5 篇 faber wolfgang
5 篇 cabalar pedro
5 篇 gupta gopal
5 篇 tompits hans
5 篇 schaub t
4 篇 mileo alessandra
4 篇 chang liang

语言

1,235 篇 英文
8 篇 其他
8 篇 中文
1 篇 葡萄牙文

检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"

共 1251 条记录，以下是61-70 订阅

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

详细简洁

排序：

Mapping and Path Planning Methods for Highly automated Vehicles in Agriculture 1

引用

7th international Russian Automation conference, RusAutoCon 2024

作者： Mikhailov, V.S. Khairullin, I.D. Svyatov, K.V. Ulyanovsk State Technical University 32 Severny Venets Str Ulyanovsk432027 Russia

ISBN: (数字)9783031824944

ISBN: (纸本)9783031824937

In Russia, agriculture is one of the key industries, so the development of innovative solutions in this area is of great importance. A promising approach is to automate field operations using highly automated manufacturing. these vehicles provide many benefits, including increased productivity, accurate information delivery, resource optimization, improved worker safety, flexibility, scalability, addressing labor shortages and relative technological innovation. the purpose of this work is to develop software for controlling unmanned vehicles and effectively managing the field processing devices installed on them. Testing algorithms on your own cars is ineffective due to high resource consumption and reduced comfort. therefore, a highly automated vehicle simulator was used to debug the algorithm. the simulator offers various features such as route generation using Reeds-Scheppe curves, multiple path identification algorithms, visualization of landscape impacts, metric graphing capabilities, and robust compatibility with real vehicles. this paper proposes the development and implementation of these tools, considering their capabilities and benefits for promoting automation in agriculture. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

Combined Hierarchical Matching: the Regular Case 7

Combined Hierarchical Matching: the Regular Case

引用

7th international conference on Formal Structures for Computation and Deduction, FSCD 2022

作者： Erbatur, Serdar Marshall, Andrew M. Ringeissen, Christophe University of Texas DallasTX United States University of Mary Washington FredericksburgVA United States Université de Lorraine CNRS Inria LORIA NancyF-54000 France

ISBN: (纸本)9783959772334

Matching algorithms are often central sub-routines in many areas of automated reasoning. they are used in areas such as functional programming, rule-based programming, automated theorem proving, and the symbolic analysis of security protocols. Matching is related to unification but provides a somewhat simplified problem. thus, in some cases, we can obtain a matching algorithm even if the unification problem is undecidable. In this paper we consider a hierarchical approach to constructing matching algorithms. the hierarchical method has been successful for developing unification algorithms for theories defined over a constructor sub-theory. We show how the approach can be extended to matching problems which allows for the development, in a modular way, of hierarchical matching algorithms. Here we focus on regular theories, where both sides of each equational axiom have the same set of variables. We show that the combination of two hierarchical matching algorithms leads to a hierarchical matching algorithm for the union of regular theories sharing only a common constructor sub-theory. © Serdar Erbatur, Andrew M. Marshall, and Christophe Ringeissen

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

the Application of three-Phase Induction Motor Protection automated System To Overcome Overload Conditions and Zelio logic-Based High Temperatures 7

The Application of Three-Phase Induction Motor Protection Au...

引用

7th international conference on Electrical, Telecommunication and Computer Engineering, ELTICOM 2023

作者： Ahmad, Agahari Syafruddin, H.S. Fahmi, Fahmi Universitas Sumatera Utara Electrical Engineering Department Medan Indonesia

ISBN: (纸本)9798350385526

the protection system on a three-phase induction motor is designed so that the motor can be used for a longer period of time and avoid damage. Disturbances such as overloads and high temperatures that occur can interfere with the performance of the induction motor and shorten its use time. therefore, a protection system for the induction motor is needed. the method used in this paper is the design of a simulation of an overload and high temperature protection system on a three-phase induction motor with a Zelio smart relay using Zeliosoft 2.0 software by making a Ladder diagram as well as the simulation. To protect the three-phase induction motor, additional components are used, namely the thermal Overload Relay (TOR) for overload protection and the Temperature Controller for high temperatures. the maximum limit of current to be protected by TOR is 1.6 A, and the maximum temperature limit to be protected by the Temperature Controller is 50 °C. Both components are integrated by the Zelio smart relay. In the process stage of the program itself, the TOR and Temperature Controller will send a trip signal to the Zelio smart relay when there is more load interference and a high temperature. the Zelio smart relay will then secure the motor from interference by stopping the power to the motor. © 2023 IEEE.

关键词： Induction motors

来源：评论

学校读者我要写书评

暂无评论

7th international conference on Innovative Computing, IC 2024

7th International Conference on Innovative Computing, IC 202...

引用

7th international conference on Innovative Computing, IC 2024

ISBN: (纸本)9789819741243

the proceedings contain 157 papers. the special focus in this conference is on Innovative Computing. the topics include: Proactive Auto Scaling Based on Marginal Request Change Analysis for Reducing Tail Latency in Kubernetes Cluster;Integration of Generative Adversarial Networks (GAN) and AI Drawing in Criminal Sketches—Applied in Crime Scene Investigation by Law Enforcement;implementation of a High Quality Cardiopulmonary Resuscitation Teaching Intelligence Training and Assessment System;Predicting Twitter Posts from Fake Accounts Using XGBoost Model;the Interplay Between Self-regulated Learning and programming Learning Achievement;a Study on the Continued Viewing Intention of YouTuber Videos: Experiential Marketing, Social Capital, and Habit Perspectives;an Exploratory Study on the Design of Human-Computer Interaction Interfaces for Augmented Reality Integrated Museum Exhibitions;communication-Aware Optimization of Microservice Scheduling on Edge Computing;Design of Computer Model for Raw Material Supplier Selection Based on Entropy Weight TOPSIS Method;exploring How Cybersecurity Competitions Can Help Improve Students’ Practical Abilities in Cybersecurity;Adversarially Residual U2Net for COVID-19 Lung Infection Segmentation from CT Images;partnerships Analysis Based on Measurements of Common Research Interest;System Design of Operating Costs of Intelligent Healthcare Services for the AHP Algorithm;a Multi-party Private Set Union Protocol Against Malicious Adversary;analysis of the Current Status of Research on Unmanned Collaborative Equipment Above and Below Water;data Mining Analysis of New Energy Vehicles Based on Cluster Analysis Technology;Two-Layer Minimum Variance FIR Filter-Based DPLL Design;fuzzy Proximity Two-Dimension Inductance Gesture Recognition System Analysis and Implement;proximity Capacitive Gesture Recognition for Recursive Neighbor Memory Neural Network;application of Genetic Algorithms in automated Mechanical Design.

关键词：

来源：评论

学校读者我要写书评

暂无评论

7th international conference on Innovative Computing, IC 2024

7th International Conference on Innovative Computing, IC 202...

引用

7th international conference on Innovative Computing, IC 2024

ISBN: (纸本)9789819741922

关键词：

来源：评论

学校读者我要写书评

暂无评论

7th international conference on Innovative Computing, IC 2024

7th International Conference on Innovative Computing, IC 202...

引用

7th international conference on Innovative Computing, IC 2024

ISBN: (纸本)9789819741816

关键词：

来源：评论

学校读者我要写书评

暂无评论

Knowledge reasoning Based on the Knowledge Graph of Frequency Equipment for System-level Electromagnetic Spectrum Planning

Knowledge Reasoning Based on The Knowledge Graph of Frequenc...

引用

IEEE international conference on Electronic Information and Communication Technology (ICEICT)

作者： Yuru Zhang Jia Cao Xiangyu Hao Shuai Huang China Academic of Electronics and Information Technology Beijing China

ISBN: (数字)9798350384437

ISBN: (纸本)9798350384444

How to comprehensively, clearly, and accurately obtain the electromagnetic characteristics and relations of planning objects is an important issue in realizing efficient and flexible electromagnetic spectrum planning. In this paper, we use knowledge Graph, an intelligent technology in Semantic Web research, to construct the knowledge graph ontology of frequency equipment. We use the reasoning structure based on OWL + SWRL + Jess, combined with the OWL API to construct reasoning rules and procedures to complete the knowledge service required for system-level electromagnetic spectrum planning by setting up specific scenarios.

关键词： logic programming Frequency-domain analysis OWL Knowledge graphs Ontologies Cognition Planning

来源：评论

学校读者我要写书评

暂无评论

7th international conference on Innovative Computing, IC 2024

7th International Conference on Innovative Computing, IC 202...

引用

7th international conference on Innovative Computing, IC 2024

ISBN: (纸本)9789819741205

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Credal Least Undefined Stable Semantics for Probabilistic logic Programs and Probabilistic Argumentation 19

A Credal Least Undefined Stable Semantics for Probabilistic ...

引用

19th international conference on Principles of Knowledge Representation and reasoning, KR 2022

作者： Rocha, Victor Hugo Nascimento Cozman, Fabio Gagliardi Escola Politécnica Universidade de São Paulo Brazil

ISBN: (纸本)9781956792010

We present an approach to probabilistic logic programming and probabilistic argumentation that combines elements of the L-stable semantics and the credal semantics. We derive the complexity of inferences, propose an extended version of argumentation graphs with a semantics that maps to the L-stable semantics, and introduce a definition for the probability of an argument. © 19th international conference on Principles of Knowledge Representation and reasoning, KR 2022. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Verifying Temporal Relational Models with Pardinus 9th

Verifying Temporal Relational Models with Pardinus

引用

9th international conference on Rigorous State-Based Methods (ABZ)

作者： Macedo, Nuno Brunel, Julien Chemouil, David Cunha, Alcino INESC TEC Porto Portugal Univ Minho Braga Portugal Univ Porto Fac Engn Porto Portugal ONERA DTIS Toulouse France Univ Fed Toulouse Toulouse France

ISBN: (纸本)9783031331626;9783031331633

this short paper summarizes an article published in the Journal of automated reasoning [7]. It presents Pardinus, an extension of the popular Kodkod [12] relational model finder with linear temporal logic (including past operators) to simplify the analysis of dynamic systems. Pardinus includes a SAT-based bounded model checking engine and an SMV-based complete model checking engine, both allowing iteration through the different instances (or counterexamples) of a specification. It also supports a decomposed parallel analysis strategy that improves the efficiency of both analysis engines on commodity multi-core machines.

关键词： Model Checking Model Finding Relational logic Temporal logic

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共126页 << < 3 4 5 6 7 8 9 10 11 12 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：