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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,042 篇 会议
51 册 图书
45 篇 期刊文献

馆藏范围

2,138 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,271 篇 工学
- 1,024 篇 计算机科学与技术...
- 582 篇 软件工程
- 251 篇 电气工程
- 157 篇 控制科学与工程
- 68 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 18 篇 安全科学与工程
- 15 篇 交通运输工程
- 12 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 冶金工程
- 10 篇 动力工程及工程热...
- 10 篇 建筑学
294 篇 理学
- 226 篇 数学
- 39 篇 统计学（可授理学、...
- 38 篇 物理学
- 34 篇 系统科学
- 22 篇 生物学
- 16 篇 化学
119 篇 管理学
- 84 篇 管理科学与工程(可...
- 37 篇 工商管理
- 32 篇 图书情报与档案管...
47 篇 教育学
- 46 篇 教育学
25 篇 医学
- 24 篇 临床医学
10 篇 法学
- 10 篇 社会学
9 篇 经济学
5 篇 农学
4 篇 文学

主题

172 篇 logic gates
137 篇 fuzzy logic
123 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
64 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
50 篇 semantics
49 篇 computer science
49 篇 training
46 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
40 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
35 篇 computer program...
34 篇 integer programm...

机构

6 篇 laboratory of co...
5 篇 stevens inst tec...
5 篇 institute of log...
5 篇 university of to...
5 篇 institute for lo...
5 篇 chinese univ hon...
4 篇 univ oxford oxfo...
4 篇 school of electr...
4 篇 ibm corp thomas ...
3 篇 north carolina s...
3 篇 creighton univ o...
3 篇 univ politecn ca...
3 篇 ecole polytech f...
3 篇 tu wien austria
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...
3 篇 lancaster univer...

作者

7 篇 inoue katsumi
5 篇 sakama chiaki
5 篇 gupta gopal
4 篇 wang liang
4 篇 iosif radu
4 篇 pontelli enrico
4 篇 liang wang
4 篇 tompits hans
4 篇 beck j. christop...
3 篇 kumar amruth n.
3 篇 chopra amit k.
3 篇 proietti maurizi...
3 篇 il han park
3 篇 m.-r. akbarzadeh...
3 篇 wei li
3 篇 riguzzi fabrizio
3 篇 schaub torsten
3 篇 melin p
3 篇 leonidas deligia...
3 篇 mcdirmid sean

语言

2,099 篇 英文
25 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=22nd International Conference on Logic Programming"

共 2138 条记录，以下是101-110 订阅

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

详细简洁

排序：

A Defeasible Description logic for Abduction 22nd

A Defeasible Description Logic for Abduction

引用

22nd international conference of the Italian Association for Artificial Intelligence, AIxIA 2023

作者： Pozzato, Gian Luca Spinnicchia, Marco Dipartimento di Informatica Università di Torino Turin Italy

ISBN: (纸本)9783031475450

In this work we introduce a defeasible Description logic for abductive reasoning. Our proposal exploits a fragment of a probabilistic extension of a Description logic of typicality, whose semantics corresponds to a natural extension of the well established mechanism of rational closure extended to Description logics. The presence of typicality assertions that can be non-monotonically inferred from a knowledge base, corresponding to those belonging to its rational closure, avoids the need of an explicit selection of abducibles. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Evaluating the Impact of Cyberattacks on PLC Performance: A Systematic Implementation and Empirical Investigation 22

Evaluating the Impact of Cyberattacks on PLC Performance: A ...

引用

22nd IFAC conference on Technology, Culture and international Stability (TECIS)

作者： Ocaka, Alfred Briain, Diarmuid O' Barrett, Keara South East Technol Univ Carlow Ireland Technol Univ Shannon Midlands Midwest Ireland

Programmable logic Controller plays a pivotal role in the operation of Industrial Control Systems, which are widely used to monitor and control critical infrastructure and manufacturing processes. However, the rise of Industry 4.0, coupled with the increasing sophistication of cyber threats poses a significant risk to the security of PLC. This study implements a wide range of attacks on a PLC, including Code Injection, Man in the Middle, and a Denial-of-Service attack. The study further scrutinizes the impact of these attacks on the performance of the PLC with a view to developing effective security measures to mitigate cyber risks in Operational Technology systems. The study employs throughput and round trip time as the key metrics to evaluate PLC performance under normal conditions and during cyberattacks. The results indicate a significant degradation in the PLC performance metrics during the attacks, with DoS having the highest impact followed by Man in the Middle attack. These results highlight the need for robust cybersecurity measures to secure PLC from potential cyber threats. Copyright (C) 2024 The Authors.

关键词： Programmable logic Controllers Industrial Control Systems Cyberattacks on OT systems ICS Cybersecurity PLC Security Code Injection Man in the Middle Denial-of-Service Attack

来源：评论

学校读者我要写书评

暂无评论

Improving programming Activities Using ChatGPT: A Practical Approach 22nd

Improving Programming Activities Using ChatGPT: A Practical ...

引用

22nd international conference on Informatics in Economy, IE 2023

作者： Pantelimon, Florin Valeriu Posedaru, Bogdan Ștefan Bucharest University of Economic Studies Bucharest Romania

ISBN: (纸本)9789819969593

This article analyzes the usage in the programming of ChatGPT, a natural language processing tool, along with how it may enhance teamwork, communication, and code quality. ChatGPT is an effective tool for developers since it can produce code snippets, templates, and functions based on natural language input. The team's capacity to grasp natural language input can assist in closing the communication and cooperation gap between technical and non-technical team members. Furthermore, ChatGPT can assist developers in finding and fixing bugs or errors in their code more quickly and efficiently by increasing the accuracy of automated code review and testing. However, there are potential disadvantages to take into account as well, such as the danger of relying too heavily on automated tools, restrictions on ChatGPT's capacity to comprehend intricate technical concepts, and worries regarding bias in the training data used to create the tool. ChatGPT has the ability to change programming as a whole by making it more approachable, effective, and user-friendly. To ensure its usefulness and acceptance in the programming community, it will be necessary to carefully analyze and solve any potential constraints and difficulties. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Choreography-Defined Networks: A Case Study on DoS Mitigation 22nd

Choreography-Defined Networks: A Case Study on DoS Mitigatio...

引用

22nd international conference on Service Oriented Computing

作者： Giallorenzo, Saverio Mauro, Jacopo Melis, Andrea Montesi, Fabrizio Peressotti, Marco Prandini, Marco Univ Bologna Bologna Italy INRIA Sophia Antipolis France Univ Southern Denmark Odense Denmark

ISBN: (纸本)9789819608072;9789819608089

Software-defined networking and network function virtualization have brought unparalleled flexibility in defining and managing network architectures. With the widespread diffusion of cloud platforms, more resources are available to execute virtual network functions concurrently, but the current approach to defining networks in the cloud development is held back by the lack of tools to manage the composition of more complex flows than simple sequential invocations. In this paper, we advocate for the usage of choreographic programming for defining the multiparty workflows of a network. When applied to the composition of virtual network functions, this approach yields multiple advantages: a single program expresses the behavior of all components, in a way that is easier to understand and check;a compiler can produce the executable code for each component, guaranteeing correctness properties of their interactions such as deadlock freedom;and the bottleneck of a central orchestrator is removed. We describe the proposed approach and show its feasibility via a case study where different functions cooperatively solve a security monitoring task.

关键词： Software-defined Networks Virtual Network Functions Choreographic programming Network Security Denial-of-Service

来源：评论

学校读者我要写书评

暂无评论

Unconventional logic on Unipolar CBRAM Based Oscillators 22

Unconventional Logic on Unipolar CBRAM Based Oscillators

引用

IEEE 22nd international conference on Nanotechnology (NANO)

作者： Chatzinikolaou, Theodoros Panagiotis Fyrigos, Iosif-Angelos Kitsios, Stavros Bousoulas, Panagiotis Tsompanas, Michail-Antisthenis Tsoukalas, Dimitris Sirakoulis, Georgios Ch. Democritus Univ Thrace Dept Elect & Comp Engn Xanthi Greece Natl Tech Univ Athens Dept Appl Phys Athens Greece

ISBN: (数字)9781665452250

ISBN: (纸本)9781665452250

Plenty of unconventional computing techniques aim to compete with, if not outperform, traditional computers in solving high-complexity problems. The classical von Neumann computing architecture depends on centralized and sequential data processing, while biological nervous systems work on principles of distributed, parallel, and event-driven operations. Spiking or oscillation based computing is emerging as a valuable candidate on implementing these principles in circuit level. In this work we are exploiting the unipolar behavior of fabricated CBRAM devices to design a memristor-based oscillator capable of performing computations through oscillation interactions. A compact physical CBRAM model has been utilized, which has been fitted in the fabricated devices, to extract an accurate and realistic circuit simulation.

关键词： CBRAM CBRAM modelling Memristor Oscillators Wave Propagation

来源：评论

学校读者我要写书评

暂无评论

Emergency Brake and DYC Coordinated Control Strategy based on Model Predictive Control 22

Emergency Brake and DYC Coordinated Control Strategy based o...

引用

22nd IEEE international conference on Industrial Informatics, IndIN 2024

作者： Liu, Junhua Jing, Hui Wang, Rongrong Kuang, Bing Li, Boyuan Liu, Shaoxun School of Mechanical and Electrical Engineering Guilin University of Electronic Technology Guilin China School of Mechanical Engineering Shanghai Jiao Tong University Shanghai China

ISBN: (纸本)9798331527471

A coordinated control method integrating emergency brake and direct yaw moment control (DYC) for distributed vehicles is established. The model predictive control (MPC) framework incorporates motor characteristics as constraint conditions, with the objective cost function solved using quadratic programming. The weighting of the emergency brake and DYC coordinated control is dynamically adjusted to accommodate various driving conditions. This strategy enables vehicles to achieve maximum braking torque while ensuring lateral stability and effective anti-lock braking. Simulation results demonstrate that the MPC-based coordinated control significantly improve lateral stability and brake performance. Vehicle brake in approximately 2.5 seconds with yaw rate error less than 0.05 rad/s during emergency braking while cornering. © 2024 IEEE.

关键词： Quadratic programming

来源：评论

学校读者我要写书评

暂无评论

A Deontic logic of Knowingly Complying 22

A Deontic Logic of Knowingly Complying

引用

22nd international conference on Autonomous Agents and Multiagent Systems, AAMAS 2023

作者： Areces, Carlos Cassano, Valentin Castro, Pablo F. Fervari, Raul Saravia, Andrés R. UNC CONICET Argentina UNC UNRC CONICET Argentina GTIIT China UNRC CONICET Argentina

We introduce a logic for representing the deontic notion of knowingly complying -associated to an agent's conciousness of taking a normative course of action for achieving a certain goal. Our logic features an operator for describing normative courses of actions, and another operator for describing what each agent knowingly complies with. We provide a sound and complete axiom system for our logic, and study the computational complexity of its satisfiability problem. Finally, we extend our logic with an additional operator for capturing the general abilities of the agents. This operator enables us to distinguish 'what agents can do' and 'what agents do according to norms'. For this extension, we also provide a sound and complete axiom system. © 2023 international Foundation for Autonomous Agents and Multiagent Systems (***). All rights reserved.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Efficient Collision-Free Dual-Stage-BSpline Path Planning For Mobile Robot 22

Efficient Collision-Free Dual-Stage-BSpline Path Planning Fo...

引用

22nd IEEE international conference on Industrial Informatics, IndIN 2024

作者： Zhan, TengDa Wu, YiFei School of Automation Nanjing University of Science and Technology Nanjing China

ISBN: (纸本)9798331527471

Obstacle avoidance in dense obstacle environments is difficult to be both efficient and effective owing to the characterics of the nonlinear optimization problems. This article proposed an Efficient Collision-Free Dual-Stage-BSpline Path Planning method for mobile robots. The method enhances planning efficiency by incorporating traditional A* and BSpline algorithms. Subsequently, it improves planning feasibility by introducing a multi-objective optimization term with curvature and robot kinematics constraints. Simulation results show that the proposed method could output suitable collision-free paths for differential wheeled robot. Comparing to TEB and DWA algorithms, the method proposed in this paper can combine both efficiency and smoothness in complex indoor scenary. © 2024 IEEE.

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

Identification of Road Surface Anomalies Using Crowdsourced Smartphone Sensor Data 22

Identification of Road Surface Anomalies Using Crowdsourced ...

引用

22nd international conference on Advances in ICT for Emerging Regions (ICTer)

作者： Gamage, Y. T. Thotawaththa, T. A., I Wijayasiri, A. Univ Moratuwa Katubedda 10400 Sri Lanka

ISBN: (纸本)9798350346138

Road pavement anomalies can result in many negative effects such as damages to vehicles, poor ride quality, additional ride time and road traffic accidents. Therefore it is important to regularly monitor and maintain roads, according to the standards. The traditional methods of road anomaly detection are expensive, time-consuming, and require the supervision of experts. Crowdsourcing systems provide an inexpensive and robust solution to overcome these challenges in traditional approaches. This paper proposes a platform to identify and classify road anomalies from crowdsourced accelerometer smartphone data, adjusting to different vehicle speeds and other characteristics. The collected accelerometer data is preprocessed using noise filtering and reorientation techniques and the anomalies are identified through a fuzzy logic approach and further classified based on the anomaly severity using machine learning models. The results from the conducted experiments suggest that the proposed method is capable of successfully identifying and classifying anomalies from crowdsourced data.

关键词： road anomaly smartphone accelerometer signal processing fuzzy logic machine learning

来源：评论

学校读者我要写书评

暂无评论

Data Driven User Feature Construction and Requirement Generation in Mobile Applications 22

Data Driven User Feature Construction and Requirement Genera...

引用

22nd IEEE international conference on Software Quality, Reliability and Security (QRS)

作者： Li, Yuanbang Wang, Kai Guo, Xiaoyu Hua, Zhongyuan Xiao, Yong Zhoukou Normal Univ Zhoukou Henan Peoples R China Wuhan Textile Univ Sch Comp Sci & Artificial Intelligence Wuhan Hubei Peoples R China

ISBN: (纸本)9798350319910

Mobile applications have been widely used in people's daily life, and lots of data is generated in use of these mobile applications. These data including various context elements and contains rich user information. How to construct user features and discover user requirements from these data is vital for developer to improve the mobile application and providing smartly service for users. Therefore, a user feature construction and requirements generation method is proposed in this study. The main constructions of the study including three parts. Firstly, a time smoothing strategy is proposed to assist the generation of users' time-related features. Secondly, a fuzzy logic based method is proposed to generate user requirements. Thirdly, a tool is developed to automate and standardize the method. Finally, an experiment is conducted, and the results show the method is effective.

关键词： user feature time smoothing fuzzy logic user requirement generation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共214页 << < 7 8 9 10 11 12 13 14 15 16 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：