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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

pARt Blocks: programming with Physical Tangible Blocks and AR 7

pARt Blocks: Programming with Physical Tangible Blocks and A...

引用

7th Human-Computer Interaction Slovenia conference, HCI SI 2022

作者： Trajkovska, Karolina Pucihar, Klen Čopič Kljun, Matjaž Deja, Jordan Aiko Weerasinghe, Maheshya University of Primorska Faculty of Mathematics Natural Sciences and Information Technologies Koper Slovenia Faculty of Information Studies Novo Mesto Slovenia De La Salle University Manila Philippines University of St Andrews St Andrews United Kingdom

Computer programming is a demanding task requiring users to understand a syntax of a programming language, logic flows, and complex abstract concepts. Adult users commonly start learning how to program in a text-based programming environment. However, such tools are not optimal for children as they require understanding of a high level of abstraction. Instead, visual programming languages were developed to hide the syntax and error messages, but are still capable to teach concepts such as parallelism and event handling. Despite, these languages still require children to handle virtual block-like elements on a computer screen. In this research, we examine the feasibility of teaching young children programming using physical blocks coupled with Augmented Reality (AR). To this end, we conducted a between subject design study with 8 participants. We compared a traditional 2D desktop application for visual programming to a 3D setting with tangible physical programming blocks coupled with a Head Mounted Device displaying programming results as AR content. the preliminary results show that the immersive 3D learning environment scored better in mental effort, task completion time, performance and subjective user satisfaction. the results should be validated with a larger sample size. © 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 international (CC BY 4.0).

关键词： Augmented reality

来源：评论

学校读者我要写书评

暂无评论

Aerial Target Intention Recognition Based on Deep Belief Network

Aerial Target Intention Recognition Based on Deep Belief Net...

引用

Pattern Recognition and Artificial Intelligence (PRAI), international conference on

作者： Zhao Wang Qingyang Song Si Chen Xuan Cui Xiaoshuai Pei Zhihong Peng Bao Xi Hao Yan Information Science Academy China Electronics Technology Group Corporation Beijing P.R. China Department of Nautical Psychology Faculty of Psychology Naval Medical University Shanghai P.R. China Unit 92192 Ningbo 315112 Ningbo P.R. China Beijing Institute of Technology Beijing P.R. China

ISBN: (数字)9798350350890

ISBN: (纸本)9798350350906

In view of the current complex battlefield data, this paper studies the objects and elements of tactical intention recognition in order to obtain the characteristics of typical aerial target. On this basis, a method for recognizing tactical intentions of aerial targets is constructed. Considering the difficulty of identifying with traditional expert knowledge and experience which is prone to different understandings, a deep belief network is used to recognize tactical intentions based on data learning and probabilistic reasoning methods. By introducing time factor, the proposed dynamic Bayesian network gives the process of event reasoning more continuity to get in line with reality. A genetic algorithm is used to obtain the Bayesian network structure based on a simulated data set, and then the Bayesian network is used for intention reasoning. Finally, a simulation test environment is built and a digital simulation is conducted to verify the effectiveness of the proposed method.

关键词： Knowledge engineering Target recognition Digital simulation Probabilistic logic Cognition Bayes methods Time factors Character recognition Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Application of Interpretability-Based Federated Learning to Fault Diagnosis of pumpjacks

Application of Interpretability-Based Federated Learning to ...

引用

Robotics, Control and Automation Engineering (RCAE), international conference on

作者： Baoxin Shi Shixiang Lu Yuanhong Liu Hailang Jin College of Electrical and Information Engineering Northeast Petroleum University Daqing China Department of Automation Tsinghua University Beijing China

ISBN: (数字)9798350355642

ISBN: (纸本)9798350355659

Fault diagnosis of pumpjacks is crucial in oil extraction, but traditional centralised approaches are no longer applicable due to the challenges of data privacy and decentralised data. Federated Learning (FL), an emerging distributed learning approach, becomes a key technology for the solution by protecting data privacy while allowing multiple parties to share model updates. Although FL approaches protect data privacy, the transparency and interpretability of their model decision-making process need to be improved. To address this problem, we introduce the logical reasoning-based Interpretable Federated Learning (LRIFL) approach to enhance model transparency and interpretability. Under the LRIFL framework, each FL client generates logic rules from local data, which are uploaded to the server along with model updates without sharing the raw data. the server integrates these rules using intelligent logic connectors and dynamically adjusts the model weights according to the quality of the data reflected in the rules to ensure the accuracy and fairness of the model. Experimental results show that LRIFL has significant advantages in improving classification accuracy and rule fidelity, and is especially suitable for application scenarios with high data privacy and interpretability requirements.

关键词： Fault diagnosis Connectors Data privacy Adaptation models Accuracy Federated learning Data models Servers logic Robots

来源：评论

学校读者我要写书评

暂无评论

C programming Skill Levels Determination Using Fuzzy logic 7

C Programming Skill Levels Determination Using Fuzzy Logic

引用

7th international conference on Software Engineering and Computer Systems and 4th international conference on Computational Science and Information Management, ICSECS-ICOCSIM 2021

作者： Aiman Al-Falah Muhd Yazid, Muhammad Azida Sahabudin, Noor Farihan Mat Raffei, Anis Akmal Remli, Muhammad Universiti Malaysia Pahang Faculty of Computing Pahang Pekan Malaysia Universiti Malaysia Kelantan Department of Data Science Kota Bahru Kelantan Malaysia

ISBN: (纸本)9781665414074

programming language is known among computer science students. One should know at least one programming language throughout their studies. However, mastering one programming language is challenging. Most of the new student find challenging to learn and understand the language as they are not familiar with it. this can cause a problem throughout their studies or even in future jobs. thus, implementing artificial intelligence to identify students' understandability level towards programming skills is expected to improve their knowledge and weakness about that programming language. this paper presents proposed work for designing the level of programming knowledge for new computer science student. the level of programming knowledge is identified and analyzed based on the student input. the fuzzy logic approach is employed in this study to obtain the target result based on several criterion. Several tools are used to develop the platform for collecting user input data. the output of this work shows that the student can identify their element on each spoke and the programming language level with a short description by displaying data visualization as the output to user in the radar chart. © 2021 IEEE.

关键词： Membership functions

来源：评论

学校读者我要写书评

暂无评论

A Piecewise Linearization Algorithm for Solving MINLP in Intersection Management 7

A Piecewise Linearization Algorithm for Solving MINLP in Int...

引用

7th international conference on Vehicle Technology and Intelligent Transport Systems (VEHITS)

作者： Gerdts, Matthias Rogovs, Sergejs Valenti, Giammarco Bundeswehr Univ Munich Inst Engn Math Munich Germany Univ Trento Dept Ind Engn Trento Italy

ISBN: (纸本)9789897585135

In this paper, we propose a linearization algorithm for solving a Mixed Integer NonLinear Problem (MINLP) for Intersection Management (IM) of Connected Autonomous Vehicles (CAVs). the objective of such problem is to minimize the time it takes to clear a given arbitrary intersection for all vehicles in the consideration. We treat the IM problem as a bi-level optimization problem. On the lower level we solve an Optimal Control Problem (OCP) for each individual vehicle, whereas on the higher level we deal with an optimization problem of finding the optimal sequence and starting times for every car, which essentially yields a MINLP. An intuitive linearization technique is presented to solve the emerging MINLP in a reasonable time. the actual controls, if necessary, are computed a posteriori by minimizing the L 2 -norm of control variables. the algorithm is tested in different intersection scenarios. Numerical results show that it is suitable for real-time applications.

关键词： Connected and automated Vehicles Cooperative Driving Intersection Management Piecewise Linearization Mixed Integer Nonlinear programming

来源：评论

学校读者我要写书评

暂无评论

Automatic programming Method and System of Multi-Axis CNC Pipe Bender

Automatic Programming Method and System of Multi-Axis CNC Pi...

引用

Advanced Algorithms and Control Engineering (ICAACE), international conference on

作者： Boyang Zhang Yulan Wei Liangyou Li Jiwen Peng Hongtao Han Bing Li School of Engineering Huzhou University Huzhou China Zhejiang Heliang Intelligent Equipment Co. Ltd. Huzhou China Zhejiang Sany Equipment Co Ltd. Huzhou China

ISBN: (数字)9798350361445

ISBN: (纸本)9798350361452

the all-electric CNC pipe bender can be used to replace the hydraulic CNC pipe bender to bend pipe fittings. the user inputs the required bending parameters through the specially designed user interface, and the calculation module calculates the motion trajectory of the elbow based on the parameters entered by the user, and determines the bending radius, central axis and coordinate values of each position of the elbow. the G-code generation module generates the corresponding G-code according to the calculated motion trajectory, and the transmission module is responsible for transmitting the generated G-code to the CNC pipe bender to make it perform processing operations. the CNC pipe bender controls the movement of each axial direction of the pipe bending machine according to the received G-code instructions. the fully automated processing process is realized, and the labor cost is reduced.

关键词： Automatic programming Process control Manuals Hydraulic systems Bending User interfaces Reliability engineering

来源：评论

学校读者我要写书评

暂无评论

Optimizing Cache Management Policy for Fast Packet Processing in NFV Data Plane

Optimizing Cache Management Policy for Fast Packet Processin...

引用

IEEE international conference on Electronics and Communication Engineering (ICECE)

作者： Runfa Wang Qiang Wu Dept. of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing China

ISBN: (数字)9798331517755

ISBN: (纸本)9798331517762

Establishing efficient caching in the data plane is crucial for the performance of packet forwarding for network function virtualization(NFV). For switches that provide network functions such as forwarding, routing, and firewall, the on-chip memory in the data plane is closest to the packet processing logic. However, due to hardware constraints or limitations in the programming model, the programmability and memory access capabilities of data plane caching in many network devices, such as programmable switches, smart network cards, and DPUs, are often restricted. As a result, most existing data plane caches rely on simple and inefficient replacement strategies. In this paper, an analysis of the limitations in programmability of the data plane is conducted, and an algorithm with bit-slice operators is proposed to determine the update and eviction strategy for each item in the cache array. Leveraging the principles of limited associativity design, the storage structure of the ternary match kind identifier (TCAM) table is optimized due to constraints on the number of mask bits. Efficient utilization of cache hits is achieved by setting timestamps and packet flow identifiers in registers. Experimental results demonstrate that our caching strategy exhibits significant improvements in hit rate and latency performance compared to some previously proposed approaches.

关键词： Firewalls (computing) programming Routing Hardware Data models Registers System-on-chip Network function virtualization logic Optimization

来源：评论

学校读者我要写书评

暂无评论

On Optimal QUBO Encoding of Boolean logic, (Max-)3-SAT and (Max-)k-SAT with Integer programming 23

On Optimal QUBO Encoding of Boolean Logic, (Max-)3-SAT and (...

引用

Proceedings of the 7th international conference on Algorithms, Computing and Systems

作者： Gregory Morse Tamás Kozsik Department of Programming Languages and Compilers Faculty of Informatics ELTE Eötvös Loránd University Hungary

ISBN: (纸本)9798400709098

We present an asymptotic improvement in the number of variables (n + m⌊log 2(k − 1)⌋) required for state-of-the-art formulation of (max-)k-SAT problems when encoded as a quadratic unconstrained binary optimization (QUBO) problem. We further show a variable reduction technique (max-)3-SAT formula which achieves the optimal number of substitution variables. We show optimality empirically by presenting an integer linear programming (ILP) construction for arbitrary Boolean formulas. We show how various goals can be encoded, and this model can be generalized to searching for arbitrary substitution variable functions. Lastly, we show the optimal high-order substitution reduction in cubic QUBO equations which has smaller coefficients than the typical construction used.

关键词： ILP Max-SAT NP-complete QUBO SAT

来源：评论

学校读者我要写书评

暂无评论

Design of Dual-Robot Collaborative Handling Control System

Design of Dual-Robot Collaborative Handling Control System

引用

Advanced Algorithms and Control Engineering (ICAACE), international conference on

作者： Li Wang Bingfeng Qian Lei Zhang Shenjie Chen School of Mechanics Shanghai Dianji University Shanghai China

ISBN: (数字)9798350361445

ISBN: (纸本)9798350361452

Since single robot has great limitations in executing tasks and is difficult to meet the market demand, the dual robot control system has become a research hotspot. this paper starts from solving the problems of complex cooperative motion programming and obstacle avoidance of dual-robot. In order to solve the problems of complex programming and obstacle avoidance for cooperative movement of dual-robot, a control system for cooperative movement of dual-robot with clear logic and simple programming is designed. this paper firstly analyzes the kinematics of dual-robot and solves the inverse kinematics to accurately control the robot, then a dual-robot control system with two ABB-IRB1410 robots as the research object and PLC-300 as the upper machine is designed. the offline programming workstation of the robot is built based on Robotstudio software. the joint Angle of the carrying position of dual-robot is calculated by solving the inverse kinematics, and the collaborative carrying is programmed by using the linear motion instruction of the MoveL robot. the linear motion instruction can make the end actuator of the robot move according to the given trajectory. the end attitude of dual-robot is consistent in the process of handling, and only 6 position points are used in the program to complete the workpiece handling, and simulation and experiment are carried out. the experimental results show that the dual-robot cooperative handling control and the system operation is stable, which is beneficial to further simplify the system design of dual-robot cooperative handling.

关键词： Systems operation Collaboration Kinematics programming Control systems Trajectory Workstations

来源：评论

学校读者我要写书评

暂无评论

Answer-Aware Multi-Hop Question Generation Based on Variant Convolutional Networks

Answer-Aware Multi-Hop Question Generation Based on Variant ...

引用

Machine Learning and Natural Language Processing (MLNLP), international conference on

作者： XiaoHui Dong Shaoqi Cheng Xinyu Zhang Fenfang Li College of Computer Science and Engineering Northwest Normal University Lanzhou China

ISBN: (数字)9798350354973

ISBN: (纸本)9798350354980

the task of multi-hop question generation requires aggregating and reasoning about multiple dispersed evidence points from a text to generate complex questions related to the answer. Whereas most sentences in the text are redundant or contain irrelevant information, most current methods are oriented towards full-text encoding, which can lead to the problem of not being able to effectively identify and aggregate evidence points in different text passages. In this paper, we propose a multi-hop problem coding fusion network based on variant convolutional networks, feature enhancement of full-text coded information by gated convolutional networks to improve the effect of identifying evidence points, then using graph convolutional networks to identify and aggregate scattered evidence points, and finally using Maxout pointer decoding to generate multi-hop problems. In the comparative experiments on the dataset HotpotQA, the model achieves significant performance improvement in multiple metrics of multi-hop problem generation.

关键词： Convolutional codes Measurement Graph convolutional networks Aggregates Semantics Spread spectrum communication logic gates Question generation Encoding Cognition

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共126页 << < 8 9 10 11 12 13 14 15 16 17 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：