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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

1,202 篇 电子文献
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...
50 篇 fuzzy logic
42 篇 semantics
40 篇 formal logic
32 篇 computer circuit...
23 篇 integer programm...
22 篇 temporal logic
19 篇 programming
19 篇 calculations
19 篇 artificial intel...
19 篇 knowledge repres...
17 篇 computer science
17 篇 logic
17 篇 answer set progr...
14 篇 cognition
12 篇 object oriented ...
12 篇 logic gates
11 篇 genetic programm...
11 篇 model checking
11 篇 probabilistic lo...

机构

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 篇 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 篇 saitama univ dep...
3 篇 univ potsdam pot...
3 篇 tech univ munich...
3 篇 katholieke univ ...
3 篇 rhein westfal th...

作者

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 篇 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
4 篇 woltran stefan

语言

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

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

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

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

详细简洁

排序：

A New Mathematical Model to Minimize Penalty Costs for a Single Machine with an Overtime Constraint 7

A New Mathematical Model to Minimize Penalty Costs for a Sin...

引用

IEEE 7th international conference on Industrial Engineering and Applications (ICIEA)

作者： Songserm, Watchara Wuttipornpun, Teeradej Rajamangala Univ Technol Phra Nakhon Dept Mech & Automated Mfg Syst Engn Bangkok Thailand King Mongkuts Univ Technol North Bangkok Dept Ind Engn Bangkok Thailand

ISBN: (纸本)9781728167855

the problem studied in this paper was to schedule jobs in a single machine production system with an overtime constraint. A new mathematical model is now proposed to minimize the total penalty cost, which is described as tardiness, overtime, earliness, and the idle time costs. the proposed math model is capable of improving some impractical overtime concepts, as reported in the literature. the proposed model was evaluated by using a set of hypothetical data that was generated from a new instance generator for scheduling problems named IGSP. Since the proposed math model is classified as NP-hard, the optimal solutions can be determined only for the problem of 'up-to-20-jobs' within 120 minutes. Hence, for a large-scale problem, a satisfactory metaheuristic is required, in order to determine a near-optimal solution, within a short computational time.

关键词： single machine overtime integer programming application in industry

来源：评论

学校读者我要写书评

暂无评论

reasoning Under Uncertainty in Knowledge Graphs 4th

Reasoning Under Uncertainty in Knowledge Graphs

引用

4th international Joint conference on Web reasoning and Rule Systems (RR) conference / international Web Rule Symposia (RuleML)

作者： Bellomarini, Luigi Laurenza, Eleonora Sallinger, Emanuel Sherkhonov, Evgeny Banca Italia Rome Italy TU Wien Vienna Austria Univ Oxford Oxford England

ISBN: (纸本)9783030579777;9783030579760

We provide a framework for probabilistic reasoning in Vadalog-based Knowledge Graphs (KGs), able to satisfy the requirements of ontological reasoning: full recursion, powerful existential quantification, and the ability to express inductive definitions. Vadalog is based on Warded Datalog+/-, an existential rule language that strikes a good balance between computational complexity: with tractable reasoning in data complexity, and expressive power covering SPARQL under set semantics and the entailment regime for OWL 2 QL. Vadalog and its logical core Warded Datalog+/- are not covered by existing probabilistic programming and statistical relational models for many reasons including weak support for existentials, recursion and the impossibility to express inductive definitions. We introduce Soft Vadalog, a probabilistic extension to Vadalog satisfying these desiderata. It defines a probability distribution over the nodes of a chase network, a structure induced by the grounding of a Soft Vadalog program with the chase procedure.

关键词： Knowledge Graphs reasoning Markov logic Networks

来源：评论

学校读者我要写书评

暂无评论

Modelling Hybrid Programs with Event-B 7th

Modelling Hybrid Programs with Event-B

引用

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

作者： Afendi, Meryem Laleau, Regine Mammar, Amel Univ Paris Est Creteil LACL Creteil France Telecom SudParis Inst Polytech Paris SAMOVAR Evry France

ISBN: (纸本)9783030480769;9783030480776

Hybrid systems are one of the most common mathematical models for Cyber-Physical Systems (CPSs). they combine discrete dynamics represented by state machines or finite automata with continuous behaviors represented by differential equations. the measurement of continuous behaviors is performed by sensors. When these sensors have a continuous access to these measurements, we call such model an Event-Triggered model. the properties of this model are easier to prove, while its implementation is difficult in practice. therefore, it is preferable to introduce a more realistic model, called Time-Triggered model, where the sensors take periodic measurements. Contrary to Event-Triggered models, Time-Triggered models are much easier to implement, but much more difficult to verify. Based on the differential refinement logic (dRL), a dynamic logic for refinement relations on hybrid systems, it is possible to prove that a Time-Triggered model refines an Event-Triggered model. the major limitation of such logic is that it is not supported by any prover. In this paper, we propose a correct-by-construction approach that implements the reasoning on hybrid programs particularly the reasoning of dRL in Event-B to take advantage of its associated tools.

关键词： Cyber-Physical Systems Hybrid systems Event-B Refinement Differential refinement logic

来源：评论

学校读者我要写书评

暂无评论

Neural logic machines 7

Neural logic machines

引用

7th international conference on Learning Representations, ICLR 2019

作者： Dong, Honghua Mao, Jiayuan Lin, Tian Wang, Chong Li, Lihong Zhou, Denny ITCS IIIS Tsinghua University China Google Inc United States ByteDance Inc China

We propose the Neural logic Machine (NLM), a neural-symbolic architecture for both inductive learning and logic reasoning. NLMs exploit the power of both neural networks-as function approximators, and logic programming-as a symbolic processor for objects with properties, relations, logic connectives, and quantifiers. After being trained on small-scale tasks (such as sorting short arrays), NLMs can recover lifted rules, and generalize to large-scale tasks (such as sorting longer arrays). In our experiments, NLMs achieve perfect generalization in a number of tasks, from relational reasoning tasks on the family tree and general graphs, to decision making tasks including sorting arrays, finding shortest paths, and playing the blocks world. Most of these tasks are hard to accomplish for neural networks or inductive logic programming alone. © 7th international conference on Learning Representations, ICLR 2019. All Rights Reserved.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

SparrowHawk: Memory Safety Flaw Detection via Data-Driven Source Code Annotation 17th

SparrowHawk: Memory Safety Flaw Detection via Data-Driven So...

引用

17th international conference on Information Security and Cryptology, Inscrypt 2021

作者： Lyu, Yunlong Gao, Wang Ma, Siqi Sun, Qibin Li, Juanru University of Science and Technology of China Hefei China Shanghai Jiao Tong University Shanghai China The University of Queensland Brisbane Australia

ISBN: (纸本)9783030883225

Detecting code flaws in programs is a vital aspect of software maintenance and security. Classic code flaw detection techniques rely on program analysis to check whether the code logic violates certain pre-define rules. In many cases, however, program analysis falls short of understanding the semantics of a function (e.g., the functionality of an API), and thus is difficult to judge whether the function and its related behaviors would lead to a security bug. In response, we propose an automated data-driven annotation strategy to enhance the understanding of the semantics of functions during flaw detection. Our designed SparrowHawk source code analysis system utilizes a programming language aware text similarity comparison to efficiently annotate the attributes of functions. With the annotation results, SparrowHawk makes use of the Clang static analyzer to guide security analyses. To evaluate the performance of SparrowHawk, we tested SparrowHawk for memory corruption detection, which relies on the annotation of customized memory allocation/release functions. the experiment results show that by introducing function annotation to the original source code analysis, SparrowHawk achieves more effective and efficient flaw detection, and successfully discovers 51 new memory corruption vulnerabilities in popular open source projects such as FFmpeg and kernel of OpenHarmony IoT operating system. © 2021, Springer Nature Switzerland AG.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Multiagent Task Coordination as Task Allocation Plus Task Responsibility 17th

Multiagent Task Coordination as Task Allocation Plus Task Re...

引用

17th European conference on Multi-Agent Systems (EUMAS) / 7th international conference on Agreement Technologies (AT)

作者： Yazdanpanah, Vahid Dastani, Mehdi Fatima, Shaheen Jennings, Nicholas R. Yazan, Devrim M. Zijm, Henk Univ Southampton Southampton England Univ Utrecht Utrecht Netherlands Loughborough Univ Loughborough England Imperial Coll London London England Univ Twente Enschede Netherlands

ISBN: (纸本)9783030664114;9783030664121

In this work, we present a dynamic Task Coordination framework (TasCore) for multiagent systems. Here task coordination refers to a twofold problem where an exogenously imposed state of affairs should be satisfied by a multiagent system. To address this problem the involved agents or agent groups need to be assigned tasks to fulfill (task allocation) and the behavior of these agents needs to be monitored to evaluate whether their tasks are fulfilled so that responsibility for dismissing tasks can be determined (task responsibility). We believe the allocation of tasks should regard both the strategic abilities of agents and their epistemic limitations. To date, however, existing work on the application of logical strategic reasoning for task allocation assumes perfect information for agents (dismissing imperfect information settings) and allocates tasks to individual agents (dismissing task allocation to agent groups). In TasCore, we address this gap by modeling task allocation using imperfect information semantics for strategic reasoning and integrate it with a notion of task responsibility. We formally verify properties of TasCore: on validity as well as stability of task allocations and fairness as well as non-monotonicity of task responsibilities.

关键词： Multiagent systems Task coordination Responsibility and accountability Strategic reasoning Temporal and modal logic

来源：评论

学校读者我要写书评

暂无评论

Fuzzy logic Control for Avoiding Static Obstacle in Autonomous Vehicle Robot

Fuzzy Logic Control for Avoiding Static Obstacle in Autonomo...

引用

international conference on Wireless and Telematics (ICWT)

作者： Fikri Ahmad Fauzi Edi Mulyana Rina Mardiati Aan Eko Setiawan UIN Sunan Gunung Djati Bandung Bandung Indonesia

ISBN: (纸本)9781665444033

In the fields of technology and industrial automation, robots are now widely used to help reduce human labor. A robot is a mechanical system that can perform complex actions automatically based on computer programmed. In order to build an automated robot, navigation is one of the main problems that still to be solved until now. Many researchers have been use various methods to improve the navigation system of autonomous robots. this research attempts to implement a fuzzy method in an autonomous robot, which aims to maintain the distance between the robot and the obstacle, so that the robot can avoid the obstacle smoothly. In this study, we used three HCSR04 ultrasonic sensors as an input that installed on the front of the robot, and the Arduino MEGA 2560 as a microcontroller. the experiment has been done using case study where the distance of obstacle to the right sensor, middle sensor, and left sensor is 5 cm, 8 cm, and 17 cm respectively. the output of fuzzy is the speed of the PWM motor. Based on the results, the simulation shows the speed of right and left PWM motor is 167 and 33.4 respectively. Meanwhile, the experiment show that the right side PWM motor is 166.61 and the left side motor PWM is 33.89. According to this result, we can conclude that the fuzzy logic control was successfully implemented in the robot to avoid obstacles, the performance value of the right motor is 99.998%, and the performance value of the left motor is 99.086%. It can be seen that the output comparison between the simulation with the realization in the robot is not much different, it’s indicate that the realization of fuzzy logic in the robot to avoid obstacles is successful.

关键词： Fuzzy logic Wireless sensor networks Service robots Navigation Pulse width modulation Robot sensing systems Sensors

来源：评论

学校读者我要写书评

暂无评论

Item Measurement for Logistics-Oriented Belt Conveyor Systems Using a Scenario Driven Approach and Automata-Based Control Design 7

Item Measurement for Logistics-Oriented Belt Conveyor System...

引用

IEEE 7th international conference on Industrial Engineering and Applications (ICIEA)

作者： Park, Ho-min Van Messem, Arnout De Neve, Wesley Univ Ghent Ctr Biotech Data Sci Dept Environm Technol Food Technol & Mol Biotechn Global Campus Incheon South Korea Univ Ghent Dept Elect & Informat Syst IDLab Ghent Belgium Univ Ghent Dept Appl Math Comp Sci & Stat Ghent Belgium

ISBN: (纸本)9781728167855

Given the success of online shopping platforms and e-commerce technology, there is an increasing necessity to quickly and safely package different types of items. Addressing this necessity requires technology to accurately measure items at a high speed. Existing studies, however, lack in terms of reproducibility and the diversity of the items measured. In this paper, we present a novel approach for item measurement, targeting automated packaging systems that make use of belt conveyors. In particular, leveraging a scenario-driven approach and an automata-based control design, we describe in detail the creation of a real-world prototype for belt conveyor-based item measurement. Experimental results obtained for this prototype demonstrate that it is possible to measure different types of items (boxes, books, household items) with a mean error of less than 3.02mm and a standard deviation of less than 2.34mm, for a maximum conveyor belt speed that is less than 0.5m/s and a maximum calculation time of 20ms.

关键词： automata-based programming belt conveyors object-oriented design sensor fusion size measurement

来源：评论

学校读者我要写书评

暂无评论

On the Differences Between Human Agents and logic-Based Software Agents Discourse Understanding 1

引用

7th international conference on Mining Intelligence and Knowledge Exploration, MIKE 2019

作者： Groza, Adrian Technical University of Cluj-Napoca Cluj-Napoca Romania

ISBN: (数字)9783030661878

ISBN: (纸本)9783030661861

We are interested in the differences between how a human agent and a logic-based software agent interpret a text in natural language. When reading a narrative, the human agent has a single interpretation model. that is the preferred model among the models consistent with the available information. the model is gradually adjusted as the story proceeds. Differently, a logic-based software agent works with a finite set of many models, in the same time. Of most interest is that the number of these models is huge, even for simple narratives. We compare here the reduction strategies of humans and software agents to keep the discourse more intelligible and tractable. One the one hand, the human agent extensively uses common knowledge, contextual reasoning and closes the world as much as possible. On the other hand, the logical agent adds domain knowledge (such as ontologies) and applied reduction strategies (such as identifying isomorphisms). the differences are analyse with puzzles in First order logic, Description logic and Dynamic epistemic logic. © 2020, Springer Nature Switzerland AG.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Orchestrating Probabilistic In-band Network Telemetry for Network Monitoring

Orchestrating Probabilistic In-band Network Telemetry for Ne...

引用

international conference on Computer and Communications (ICCC)

作者： Jiangyu Pan Zhongxiang Wei Wei Chen Ye Tian School of Computer Science and Technology University of Science and Technology of China Hefei China

ISBN: (纸本)9781665409513

In-band Network Telemetry (INT) is a new network measurement method that emerged with the development of Software Defined Network (SDN). Probabilistic In-band Network Telemetry (PINT) is a probabilistic version of INT, which can provide similar network visibility as INT at a smaller overhead cost. In order to obtain global network information, it is necessary to orchestrate network telemetry tasks. Current network telemetry orchestrating methods are based on INT and are not suitable for PINT. In order to use PINT to obtain global network telemetry information, we need to analyze the network telemetry orchestration problem based on the characteristics of PINT and propose approaches. In this paper, we analyze the Probabilistic In-band Network Telemetry Orchestration problem and propose a heuristic algorithm considering some key telemetry factors, which can generate high-quality solutions. In our evaluation experiments, we observe that the heuristic algorithm can produce solutions with maximum network visibility, good information freshness, and low overhead.

关键词： Integer programming Costs Heuristic algorithms Computational modeling Probabilistic logic Telemetry Software measurement

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：