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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

488 篇 会议
59 篇 期刊文献
3 册 图书

馆藏范围

549 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

391 篇 工学
- 344 篇 计算机科学与技术...
- 209 篇 软件工程
- 50 篇 电气工程
- 28 篇 信息与通信工程
- 22 篇 控制科学与工程
- 9 篇 电子科学与技术（可...
- 7 篇 机械工程
- 3 篇 材料科学与工程（可...
- 3 篇 生物工程
- 2 篇 力学（可授工学、理...
- 2 篇 动力工程及工程热...
- 2 篇 化学工程与技术
- 2 篇 核科学与技术
- 1 篇 仪器科学与技术
- 1 篇 冶金工程
102 篇 理学
- 87 篇 数学
- 10 篇 系统科学
- 5 篇 物理学
- 5 篇 生物学
- 2 篇 统计学（可授理学、...
- 1 篇 化学
32 篇 管理学
- 20 篇 管理科学与工程(可...
- 12 篇 图书情报与档案管...
- 7 篇 工商管理
7 篇 教育学
- 7 篇 教育学
6 篇 法学
- 6 篇 社会学
6 篇 文学
- 5 篇 外国语言文学
- 1 篇 新闻传播学
3 篇 医学
- 2 篇 临床医学
1 篇 经济学
- 1 篇 应用经济学

主题

144 篇 logic programmin...
16 篇 logic gates
16 篇 linear programmi...
16 篇 computer program...
15 篇 probabilistic lo...
14 篇 programming
12 篇 semantics
11 篇 formal logic
11 篇 computer program...
10 篇 fuzzy logic
9 篇 computer circuit...
9 篇 logic
8 篇 answer set progr...
8 篇 artificial intel...
8 篇 inductive logic ...
7 篇 integer programm...
7 篇 uncertainty
6 篇 genetic programm...
6 篇 computer archite...
6 篇 middleware

机构

4 篇 univ minho ctr a...
4 篇 univ texas dept ...
3 篇 universita di pi...
3 篇 the weizmann ins...
3 篇 new mexico state...
3 篇 univ malaga dept...
3 篇 univ calabria de...
2 篇 aalto univ dept ...
2 篇 ontario power ge...
2 篇 univ pisa dipart...
2 篇 department of th...
2 篇 texas tech univ ...
2 篇 univ freiburg in...
2 篇 school of comput...
2 篇 katholieke univ ...
2 篇 inst natl teleco...
2 篇 vienna univ tech...
2 篇 university of po...
2 篇 arizona state un...
2 篇 inria rennes

作者

5 篇 vicente henrique
4 篇 eiter t
4 篇 neves jose
4 篇 saint-dizier pat...
4 篇 faber w
3 篇 stéphan i
3 篇 deville yves
3 篇 pereira lm
3 篇 leone n
3 篇 wang bin
3 篇 levi giorgio
3 篇 neves joao
3 篇 zhang zhizheng
3 篇 son tc
2 篇 polleres a
2 篇 gueddes abdelweh...
2 篇 gongjie liu
2 篇 pontelli e
2 篇 dung phan minh
2 篇 lee kin hong

语言

502 篇 英文
43 篇 其他
4 篇 中文
1 篇 法文

检索条件"任意字段=8th Conference on Logic Programming, 1989"

共 550 条记录，以下是1-10 订阅

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

详细简洁

排序：

Load Disaggregation Method Considering Multiple Load Characteristics 8

Load Disaggregation Method Considering Multiple Load Charact...

引用

8th Asia conference on Power and Electrical Engineering, ACPEE 2023

作者： Liu, Guangyu Chen, Qifang Xia, Mingchao Kang, Xinran Beijing Jiaotong University School of Electrical Engineering Beijing China

ISBN: (纸本)9798350345520

this paper established a mathematical model for load disaggregation based on the principles of load disaggregation, and formulates load disaggregation as a linear programming problem. the model is validated through experiments. An improved linear programming method based on load characteristics is proposed to optimize load power combinations, state transition logic, transient power, and rated power selection through K-means clustering. the accuracy of load disaggregation is improved by adding new load features. Finally, the effectiveness of the proposed method is validated through experiments, which can assist users and managers in load management. © 2023 IEEE.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

AI methods of control for distributed space systems: a review 8

AI methods of control for distributed space systems: a revie...

引用

8th Scientific School "Dynamics of Complex Networks and their Applications", DCNA 2024

作者： Granichin, Oleg Tikhonov, Alexey Ivanskiy, Yury Kopylova, Kseniia Department of System Programming Saint Petersburg State University Saint Petersburg Russia Department of Theory and Applied Mechanics Saint Petersburg State University Saint Petersburg Russia Faculty of Ecomonic Cybernetics Saint Petersburg State University Saint Petersburg Russia

ISBN: (纸本)9798350390834

the paper is a short review of the problems arising in control of distributed systems of spacecraft due to different kinds of uncertainties and of various AI-based approaches to deal with them. the considered uncertainties are caused by external and internal disturbances of different nature. the methods to deal with the uncertainties include neural networks, fuzzy logic, evolutionary algorithms, randomized algorithms and reinforcement learning. © 2024 IEEE.

关键词： Fuzzy neural networks

来源：评论

学校读者我要写书评

暂无评论

Direct data-driven control with signal temporal logic specifications 8

Direct data-driven control with signal temporal logic specif...

引用

8th IFAC conference on Analysis and Design of Hybrid Systems (ADHS)

作者： van Huijgevoort, B. C. Verhoek, C. Toth, R. Haesaert, S. Eindhoven Univ Technol Eindhoven Netherlands Max Planck Inst Software Syst Saarbrucken Germany Inst Comp Sci & Control Budapest Hungary

Most control synthesis methods under temporal logic properties require a model of the system, however, identifying such a model can be a challenging task. In this work, we develop a direct data-driven control synthesis method for temporal logic specifications, which does not require this explicit modeling step, capable of providing certificates for the general class of linear systems. After collecting a single sequence of input-output data from the system, we synthesize a controller, such that the controlled system satisfies a (possibly unbounded) temporal logic specification. the underlying optimization problem is solved by mixed-integer linear programming. We demonstrate the applicability of the results through simulation examples. Copyright (c) 2024 the Authors.

关键词： Mixed-integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Preliminary Analysis of Isabelle Proof Assistant in Graph programming Verification with GP2 8th

Preliminary Analysis of Isabelle Proof Assistant in Graph ...

引用

8th International conference on Mathematics: Pure, Applied and Computation, ICoMPAC 2023

作者： Hutapea, Martin Wulandari, Gia Septiana Arzaki, Muhammad School of Computing Telkom University Kabupaten Bandung40257 Indonesia Computing Laboratory School of Computing Telkom University Kabupaten Bandung40257 Indonesia

ISBN: (纸本)9789819721351

GP2 is a graph transformation rule-based graph programming language that facilitates analysis and verification of programs. Verification of a graph program with GP2 can be done with formal proof in first-order or monadic second-order logic. the process of verifying a graph program tends to be complex if it is done manually. this paper discusses the result of the preliminary analysis of the utilization of Isabelle as a proof assistant to help show the validity of a graph program. this study aims to see how much Isabelle can be used as a proof assistant to verify a graph program in GP2. Experimental results show that complex theory is one of the factors in Isabelle’s failure to prove certain properties. the research results show that Isabelle can verify some properties for graph program verification, but it is limited to certain theories. © the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

TyDe 2023 - Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, Co-located with ICFP 2023

TyDe 2023 - Proceedings of the 8th ACM SIGPLAN International...

引用

8th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2023, co-located with the International conference on Functional programming, ICFP 2023

the proceedings contain 5 papers. the topics discussed include: a calculus of inductive linear constructions;semantic encapsulation using linking types;infix-extensible record types for tabular data;a dependently type...

ISBN: (纸本)9798400702990

关键词：

来源：评论

学校读者我要写书评

暂无评论

Designing a Prototype of a Fuzzy Expert System for a Dialectologist Using Geographic Information Systems and Technologies 8

Designing a Prototype of a Fuzzy Expert System for a Dialect...

引用

8th International conference on Computer Science and Engineering, UBMK 2023

作者： Galimov, Mansur Burnashev, Rustam Gatiatullin, Airat Institute of Applied Semiotics of the Academy of Sciences of Tatarstan Republic Kazan Russia

ISBN: (纸本)9798350340815

the article presents the results of scientific research on the design of a prototype of a geoinformation system for processing knowledge in the field of dialectology, as well as subsequent data visualization using geoinformation technologies and systems. the geoinformation system includes the ability to process heterogeneous data (linguistic, semantic), presented in various forms (graph and relational), and to provide intelligent data retrieval in conditions of uncertainty by using fuzzy logic. To create a web application, the Django software library (framework) of the Python programming language was used. To increase the efficiency of knowledge processing, the Ne04j graph database was used. Visualization of the received and processed spatial data on the map was performed using software libraries Pandas, Neomodel, Fuzzy, etc. the developed prototype of the geoinformation system is intended for specialists working in the field of dialectology, linguistics, typology and comparative studies, as it allows collecting, processing and analyzing spatial data on linguistic units of various language levels. © 2023 IEEE.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Development and Research on Virtual Antarctic Experience System 24

Development and Research on Virtual Antarctic Experience Sys...

引用

8th International conference on Big Data and Internet of things

作者： Xing, Ruijie Song, Wei Beijing Inst Graph Commun Sch New Media Beijing Peoples R China

ISBN: (纸本)9798400717529

Experiencing the world based on virtual reality technology is increasingly valued. the aim of this study is to develop an Antarctic experience system that integrates multiple key technologies using the Unreal Engine platform, in order to promote a deeper understanding and recognition of the natural environment in Antarctica. this system integrates advanced technologies such as Antarctic scene reconstruction, physics-based aurora simulation, penguin behavior logic programming, realistic day and night alternation simulation, interactive operation design of snowmobiles, and automatic generation of complex terrain. through high-precision modeling and rendering techniques, this system accurately reproduces the natural environment of Antarctica and provides users with an immersive exploration experience by simulating natural phenomena such as auroras, penguin behavior, and day-night alternation. In addition, the interactive design and diverse terrain generation of snowmobiles further enhance the interactivity and exploration of the system. this study will also provide powerful tools for polar scientific research and education, and also offer some ideas for the application of virtual reality technology in natural environment simulation and experiences.

关键词： Antarctic experience system Virtual reality Behavior tree logic

来源：评论

学校读者我要写书评

暂无评论

Optimizing Player Engagement in an Educational Virtual Game through Fuzzy logic-based Challenge Adaptation 8

Optimizing Player Engagement in an Educational Virtual Game ...

引用

8th South-East Europe Design Automation, Computer Engineering, Computer Networks and Social Media conference, SEEDA-CECNSM 2023

作者： Krouska, Akrivi Troussas, Christos Voutos, Yorghos Mylonas, Phivos Sgouropoulou, Cleo University of West Attica Department of Informatics and Computer Engineering Egaleo Greece

ISBN: (纸本)9798350383676

Adaptive virtual learning environments provide an ideal foundation for enhancing personalized learning experience. Moreover, the incorporation of game elements enhances motivation levels, further enhancing the potential for improving learning outcomes. this paper explores the integration of fuzzy logic as a dynamic adaptivity tool in virtual educational games. By employing user-specific characteristics as input, including student progress, gaming time, and knowledge, the output of the fuzzy logic system represents the challenging level presented to the player in the educational game. then, a set of rules is applied to tailor the complexity and pacing of challenges presented to learners. this adaptation extends to virtual character behavior, the learning path, and task complexity, aligning with learning objectives and proficiency levels. the study presents a practical implementation of this fuzzy logic-driven adaptivity mechanism in a virtual game environment designed for C++ programming education. the virtual game has been evaluated and the results of the evaluation showcase the potential of this approach in enhancing the learning process by tailoring the environment to learners' specific needs and preferences. © 2023 IEEE.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Iterative Optimization-based Control of a Class of Mixed logical Dynamical Systems with STL Specifications: A Case Study on Microgrids 8

Iterative Optimization-based Control of a Class of Mixed Log...

引用

8th IFAC conference on Nonlinear Model Predictive Control (NMPC)

作者： Takayama, Yoshinari Saoud, Adnane Iovine, Alessio Paris Saclay Univ Lab Signals & Syst L2S CNRS Cent Supelec 3 Rue Joliot Curie F-91190 Gif Sur Yvette France Univ Mohammed VI Polytech Coll Comp Benguerir Morocco

Motivated by the interest in modeling real-world systems as mixed logical dynamical (MLD) systems with signal temporal logic (STL) specifications, this paper introduces an efficient iterative optimization scheme for this class of systems. We focus on a microgrid system with energy losses, providing two formulations: a mixed-integer-based model and a model tailored to the proposed technique. A numerical case study using model predictive control (MPC) demonstrates that the proposed method significantly improves computation time compared to the classical mixed-integer linear programming (MILP) approach for longer time horizons, while also addressing discontinuity and volatility issues sometimes observed in the MILP approach. Copyright (C) 2024 the Authors.

关键词： optimal control signal temporal logic mixed logical dynamical systems microgrids

来源：评论

学校读者我要写书评

暂无评论

Scaling Safe Multi-Agent Control for Signal Temporal logic Specifications 8

Scaling Safe Multi-Agent Control for Signal Temporal Logic S...

引用

8th conference on Robot Learning, CoRL 2024

作者： Eappen, Joe Xiong, Zikang Patel, Dipam Bera, Aniket Jagannathan, Suresh Purdue University West LafayetteIN47907 United States

Existing methods for safe multi-agent control using logic specifications like Signal Temporal logic (STL) often face scalability issues. this is because they rely either on single-agent perspectives or on Mixed Integer Linear programming (MILP)-based planners, which are complex to optimize. these methods have proven to be computationally expensive and inefficient when dealing with a large number of agents. To address these limitations, we present a new scalable approach to multi-agent control in this setting. Our method treats the relationships between agents using a graph structure rather than in terms of a single-agent perspective. Moreover, it combines a multi-agent collision avoidance controller with a Graph Neural Network (GNN) based planner, models the system in a decentralized fashion, and trains on STL-based objectives to generate safe and efficient plans for multiple agents, thereby optimizing the satisfaction of complex temporal specifications while also facilitating multi-agent collision avoidance. Our experiments show that our approach significantly outperforms existing methods that use a state-of-the-art MILP-based planner in terms of scalability and performance. © 2024 Proceedings of Machine Learning Research.

关键词： Graph neural networks

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共55页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：