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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,946 篇 会议
97 篇 期刊文献
82 册 图书
2 篇 学位论文

馆藏范围

3,125 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

1,931 篇 工学
- 1,454 篇 计算机科学与技术...
- 823 篇 软件工程
- 383 篇 电气工程
- 255 篇 控制科学与工程
- 104 篇 信息与通信工程
- 59 篇 机械工程
- 57 篇 交通运输工程
- 47 篇 电子科学与技术（可...
- 38 篇 石油与天然气工程
- 33 篇 核科学与技术
- 31 篇 材料科学与工程（可...
- 26 篇 生物工程
- 24 篇 生物医学工程（可授...
- 22 篇 动力工程及工程热...
- 20 篇 仪器科学与技术
- 20 篇 土木工程
- 15 篇 建筑学
519 篇 理学
- 369 篇 数学
- 85 篇 物理学
- 62 篇 系统科学
- 57 篇 统计学（可授理学、...
- 44 篇 生物学
211 篇 管理学
- 177 篇 管理科学与工程(可...
- 63 篇 工商管理
- 43 篇 图书情报与档案管...
77 篇 医学
- 68 篇 临床医学
- 46 篇 特种医学
- 15 篇 基础医学(可授医学...
41 篇 教育学
- 39 篇 教育学
31 篇 法学
- 27 篇 社会学
16 篇 经济学
8 篇 农学
5 篇 文学
5 篇 艺术学
3 篇 哲学
1 篇 军事学

主题

274 篇 logic gates
236 篇 fuzzy logic
172 篇 probabilistic lo...
153 篇 programming
139 篇 linear programmi...
110 篇 logic programmin...
88 篇 dynamic programm...
86 篇 optimization
71 篇 computer science
69 篇 programming prof...
69 篇 computational mo...
67 篇 artificial intel...
67 篇 mathematical mod...
58 篇 integer programm...
58 篇 uncertainty
54 篇 semantics
53 篇 software enginee...
50 篇 computer archite...
50 篇 logic
44 篇 genetic programm...

机构

8 篇 university of mi...
6 篇 hitachi ltd hita...
6 篇 st petersburg el...
5 篇 inria
5 篇 kyushu sangyo un...
5 篇 myongji universi...
5 篇 saint petersburg...
5 篇 univ illinois ur...
5 篇 politecnico di b...
5 篇 monash universit...
5 篇 university of pe...
5 篇 carnegie mellon ...
5 篇 polytechnic univ...
5 篇 university of ba...
5 篇 covenant univers...
5 篇 univ illinois de...
4 篇 ist austria klos...
4 篇 graduate school ...
4 篇 institute of mic...
4 篇 school of electr...

作者

6 篇 kitamura m
6 篇 woltran stefan
6 篇 eiter thomas
6 篇 kakugawa s
5 篇 bernady o. apduh...
5 篇 ana maria a.c. r...
5 篇 eufemia tarantin...
5 篇 osvaldo gervasi
5 篇 yeonseung ryu
5 篇 beniamino murgan...
5 篇 sanjay misra
5 篇 inoue katsumi
5 篇 david taniar
5 篇 carmelo m. torre
5 篇 elena stankova
4 篇 schaub torsten
4 篇 belta calin
4 篇 leonard barolli
4 篇 hino n
4 篇 castillo oscar

语言

3,076 篇 英文
34 篇 其他
11 篇 中文
3 篇 葡萄牙文
2 篇 法文
1 篇 俄文

检索条件"任意字段=18th International Conference on Logic Programming"

共 3127 条记录，以下是3071-3080 订阅

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

详细简洁

排序：

Assessment of Wildfire Risk on Transmission Assets

Assessment of Wildfire Risk on Transmission Assets

引用

international conference on Probabilistic Methods Applied to Power Systems (PMAPS)

作者： Dange Huang Bagen Bagen Grid Infrastructure Planning Department Manitoba Hydro Winnipeg Canada

ISBN: (数字)9798350372786

ISBN: (纸本)9798350372793

the escalating threat of wildfires has been inflicting growing harm on power systems in recent years. Transmission lines, especially those supported by wooden poles, are susceptible to destruction by wildfires, leading to loss of load (loss of energy). It is, therefore, crucial to incorporate the unavailability of transmission lines due to wildfire into the quantitative risk assessment of power ***-P3 (probability, prediction, and planning) is a spatial fire simulation model that is commonly used in land-management planning and wildfire research. Its application can be extended to simulate the ignition and spread of wildfires in transmission corridors. the Burn-P3 outputs are quantitative, however, they do not represent the absolute annual likelihood of experiencing a wildfire. Instead, the outputs provide a measure of relative likelihood, subject to landscape alterations. A process/method is, therefore, needed to convert the burn probability map to the annual unavailability of a transmission line for risk assessment in power systems. A method is proposed to align a map with wood pole transmission lines and their corresponding burn probabilities in the area. the annual unavailability of a transmission line is assessed and applied in the loss of load and/or loss of energy studies to quantify the wildfire-related risks. the output can be utilized for capital project assessment and prioritization.

关键词： Power transmission lines Wildfires Poles and towers Predictive models Propagation losses Transmission line measurements Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

On Advancements and Challenges in Asset Management for HVDC Systems: A Machine Learning Perspective

On Advancements and Challenges in Asset Management for HVDC ...

引用

international conference on Probabilistic Methods Applied to Power Systems (PMAPS)

作者： Gopal Lal Rajora Lina Bertling Tjernberg Miguel A. Sanz-Bobi Institute for Research in Technology Universidad Pontificia Comillas Madrid Spain Dept of Electrical Engineering KTH Royal Institute of Technology Stockholm Sweden

ISBN: (数字)9798350372786

ISBN: (纸本)9798350372793

In the context of global climate goals and the transition to sustainable energy, modern energy transportation and distribution systems play a crucial role. Electricity transportation and distribution systems would not function without power lines. One of the most challenging tasks facing global power cable asset managers is efficiently managing the enormous and costly network of cables, most of which are nearing or beyond their intended lifespan. Since HVDC systems are more economical and technically superior to HVAC systems for transmission over long distances, they have become increasingly important in the power system. HVDC is preferred for distances ranging from 300 to 800 km for cable-based hookups and direct transmission schemes. this study aims to conduct a review study of the asset management strategies used for HVDC systems. Additionally, it explores the challenges and most recent advancements in asset management systems incorporating machine learning. Several machine learning algorithms used in recent studies are examined for asset management in power system applications.

关键词： Power cables Reviews HVDC transmission Transportation Machine learning Voltage Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

Safe Stabilization with Model Uncertainties: A Universal Formula with Gaussian Process Learning

Safe Stabilization with Model Uncertainties: A Universal For...

引用

international conference on Control and Automation (ICCA)

作者： Ming Li Zhiyong Sun Department of Electrical Engineering Eindhoven University of Technology and also with the Eindhoven Artificial Intelligence Systems Institute Eindhoven The Netherlands

ISBN: (数字)9798350354409

ISBN: (纸本)9798350354416

A combination of control Lyapunov functions (CLFs) and control barrier functions (CBFs) forms an efficient framework for addressing control challenges in safe stabilization. Developing an analytical control strategy, known as the universal formula approach, which integrates CLF and CBF conditions, is recognized as a computationally efficient method for achieving safe stabilization. However, successful implementation of this universal formula relies on an accurate model, as any mismatch between the model and the actual system can compromise stability and safety. In this paper, we propose a new universal formula that leverages Gaussian processes (GPs) learning to address the safe stabilization problem in the presence of model uncertainty. By utilizing the results related to bounded learning errors, we achieve a high probability of stability and safety guarantees with the proposed universal formula. Additionally, we introduce a probabilistic compatibility condition to evaluate conflicts between the modified CLF and CBF conditions with GP learning results. In cases where compatibility assumptions fail, we propose a modified universal formula that relaxes stability constraints. We illustrate the effectiveness of our approach through a simulation of adaptive cruise control (ACC), highlighting its potential for practical applications in real-world scenarios.

关键词： Adaptation models Uncertainty Computational modeling Gaussian processes Probabilistic logic Stability analysis Safety

来源：评论

学校读者我要写书评

暂无评论

A Dual Perspective Approach for Integrating Technical and Consumer Concerns in Resilience Assessments

A Dual Perspective Approach for Integrating Technical and Co...

引用

international conference on Probabilistic Methods Applied to Power Systems (PMAPS)

作者： Saranga Abeygunawardane Visvakumar Aravinthan Chanan Singh Department of Electrical and Computer Engineering Wichita State University Wichita USA Department of Electrical and Computer Engineering Texas A&M University Texas USA

ISBN: (数字)9798350372786

ISBN: (纸本)9798350372793

As the ultimate users and cost-bearers of power systems, consumers experience significant consequences from widespread, long duration power interruptions caused by extreme weather events. therefore, it is crucial to integrate their perspectives in power system resilience assessments. Yet, existing power system resilience definitions, metrics and assessment frameworks primarily focus on technical perspectives. this work attempts to address the above-mentioned limitation by proposing a dual-focused approach for resilience assessments. We analyze both technical and consumer viewpoints, identify similarities and differences between reliability and resilience, and propose a refined definition of power system resilience that incorporates both perspectives. By modifying conventional distribution system reliability indices, metrics are proposed to assess resilience from both technical and consumers’ viewpoints. Capability of ensuring social equity through the utilization of proposed metrics is highlighted. A case study is conducted using past data to illustrate the applicability of proposed metrics. Furthermore, a framework is developed for probabilistic resilience assessments of future power systems, utilizing the proposed dual perspective metrics.

关键词： Measurement Fault tolerance Power measurement Focusing Pricing Probabilistic logic Power systems

来源：评论

学校读者我要写书评

暂无评论

Probabilistic Multi-Robot Collision Avoidance Online Path Planning Method Using an Improved Sine-Cosine Algorithm

Probabilistic Multi-Robot Collision Avoidance Online Path Pl...

引用

international conference on Control, Automation, Robotics and Vision (ICARCV)

作者： Meng Zhou Jianyu Li Chang Wang Jing Wang College of Electrical and Control Engineering North China University of Technology Beijing P. R. China Beijing Aerospace Automatic Control Institute Beijing China College of Intelligent Systems Science and Engineering Harbin Engineering University Harbin P. R. China

ISBN: (数字)9798331518493

ISBN: (纸本)9798331518509

this paper proposes an online path planning method for multi-robot collision avoidance that accounts for uncertainties in robot positioning. Firstly, the online path plan-ning problem for multiple robots is transformed into a multi-objective optimization problem by considering some necessary factors that affect task efficiency and safety. Notably, the paper considers the uncertainty in robot positions, in which the position follows a Gaussian distribution. then, by converting probabilistic collision conditions into deterministic constraints, the fitness function ensuring probabilistic collision avoidance is constructed. Next, an improved sine-cosine algorithm is proposed to solve the ideal position. Finally, simulation experiments demonstrate that the proposed method effectively resolves collision issues under probabilistic uncertainty conditions.

关键词： Technological innovation Uncertainty Gaussian distribution Probabilistic logic Path planning Safety Collision avoidance Robots Research and development Optimization

来源：评论

学校读者我要写书评

暂无评论

Operation Comparison of Hydrogen-DC Microgrid in Grid-Connected and Islanded Scenarios

Operation Comparison of Hydrogen-DC Microgrid in Grid-Connec...

引用

international conference on Probabilistic Methods Applied to Power Systems (PMAPS)

作者： Bawantha Indrajith Kosala Gunawardane Li Li Ramon Zamora Alamgir Hossain Robert Nicholson University of Technology Sydney Sydney Australia Auckland University of Technology Auckland New Zealand Griffith University Sydney Pitt & Sherry Sydney Australia

ISBN: (数字)9798350372786

ISBN: (纸本)9798350372793

With increasing concerns regarding the reduction of greenhouse gas emissions and energy costs on a global scale, numerous sustainable development goals and related agreements have been introduced by governing bodies worldwide. Consequently, hydrogen-based microgrids utilizing Renewable Energy Sources(RES) have gathered significant attention. this paper proposes a strategy for cost optimization in a DC microgrid system comprising solar photovoltaics (PV), wind, Proton Exchange Membrane (PEM) fuel cell, PEM electrolyser, hydrogen storage, battery system, grid connection, and DC loads. the Particle Swarm Optimization (PSO) algorithm is suggested to address the cost optimization problem formulated for the microgrid within a 24-hour period. the numerical results of generation cost optimization achieved by the PSO algorithm for a grid-connected DC microgrid are compared with those of a standalone DC microgrid. Additionally, the fluctuations of hydrogen storage utilization, hydrogen generation and consumption during grid-connected and standalone modes are analyzed.

关键词： Protons Photovoltaic systems Renewable energy sources Costs Hydrogen Microgrids Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

General grouping functions 18th

General grouping functions

引用

18th international conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2020

作者： Santos, Helida Dimuro, Graçaliz P. Asmus, Tiago C. Lucca, Giancarlo Borges, Eduardo N. Bedregal, Benjamin Sanz, José A. Fernández, Javier Bustince, Humberto Centro de Ciências Computacionais Universidade Federal do Rio Grande Rio Grande Brazil Instituto de Matemática Estatística e Física Universidade Federal do Rio Grande Rio Grande Brazil Programa de Pós-Graduação em Modelagem Computacional Universidade Federal do Rio Grande Rio Grande Brazil Departamento de Informática e Matemática Aplicada Universidade Federal do Rio Grande do Norte Natal Brazil Departamento de Estadistica Informatica y Matematicas Universidad Publica de Navarra Pamplona Spain Institute of Smart Cities Universidad Publica de Navarra Pamplona Spain King Abdulaziz University Jeddah Saudi Arabia

ISBN: (纸本)9783030501426

Some aggregation functions that are not necessarily associative, namely overlap and grouping functions, have called the attention of many researchers in the recent past. this is probably due to the fact that they are a richer class of operators whenever one compares with other classes of aggregation functions, such as t-norms and t-conorms, respectively. In the present work we introduce a more general proposal for disjunctive n-ary aggregation functions entitled general grouping functions, in order to be used in problems that admit n dimensional inputs in a more flexible manner, allowing their application in different contexts. We present some new interesting results, like the characterization of that operator and also provide different construction methods. © Springer Nature Switzerland AG 2020.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

On Heuer's Procedure for Verifying Strong Equivalence 18th

On Heuer's Procedure for Verifying Strong Equivalence

引用

18th European conference on logics in Artificial Intelligence (JELIA)

作者： Fandinno, Jorge Lifschitz, Vladimir Univ Nebraska Omaha Omaha NE 68182 USA Univ Texas Austin Austin TX USA

ISBN: (纸本)9783031436185;9783031436192

In answer set programming, two groups of rules are considered strongly equivalent if replacing one group by the other within any program does not affect the set of stable models. Jan Heuer has designed and implemented a system that verifies strong equivalence of programs in the ASP language mini-gringo. the design is based on the syntactic transformation tau * that converts mini-gringo programs into first-order formulas. Heuer's assertion about tau * that was supposed to justify this procedure turned out to be incorrect, and in this paper we propose an alternative justification for his algorithm. We show also that if tau * is replaced by the simpler and more natural translation nu then the algorithm will still produce correct results.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

MASK-MORPH: Does Morphing of Custom 3D Face Masks threatens the Face Recognition Systems?

MASK-MORPH: Does Morphing of Custom 3D Face Masks Threatens ...

引用

IEEE conference on Advanced Video and Signal Based Surveillance (AVSS)

作者： Raghavendra Ramachandra Sébastien Marcel Norwegian University of Science and Technology (NTNU) Norway Idiap Research Institute Martigny Switzerland

ISBN: (数字)9781665463829

ISBN: (纸本)9781665463836

Face Recognition Systems (FRS) are vulnerable to morphing attacks that are targeted towards highly secured applications, including Automatic Border Control (ABC) gates. In this paper, we investigate a 3D-face custom silicone mask as the source for generating face morphing attacks for the first time. We present a systematic study to benchmark the attack potential of mask morphing (digital) attacks on both commercial and academic FRS. To this extent, a new dataset is constructed using eight custom 3D silicone face masks and corresponding bona fide face images captured using three different smartphones. the mask morphing is carried out using a landmark-based method, and the newly constructed dataset comprises 635 bona fide, 1034 face masks and 613 mask morphing face images. Extensive experiments are carried out to benchmark the attack potential and detection of mask morphing attacks on FRS.

关键词： Training three-dimensional displays Systematics Face recognition Surveillance Benchmark testing logic gates

来源：评论

学校读者我要写书评

暂无评论

Multi-Function Control Device Apps

Multi-Function Control Device Apps

引用

international conference on Telecommunication Systems, Services, and Applications (TSSA)

作者： Rikky Wisnu Nugraha Seftiya Damayanti Ucu Nugraha Rudy Sofian Fahmi Reza Ferdiansyah Andriansyah Ekaputra Information System Widyatama University Bandung Indonesia Departement of Information System Universitas Sangga Buana Bandung Indonesia Department of Informatics Engineering LPKIA Institute Of Digital Economy Bandung Indonesia Universitas Sangga Buana Bandung Indonesia

ISBN: (数字)9798331527686

ISBN: (纸本)9798331527693

the development of technology is one thing that humans cannot avoid, especially from the use of gadgets used by parents, adults, and especially children. the role of parents is very much needed in the family to accompany and supervise children's use of gadgets. the aim of this research is to facilitate parental supervision of children remotely. the method used in developing this system is the Extreme programming method, which is an Agile Software Development Methodologies development methodology. the results of this research are Multi-Function Control Device Apps, with the name “Kids Monitoring.” Multi-Function Control Device Apps is an application that can help parents monitor their children when using gadgets. Based on the results of the questionnaire, 80% of respondents agreed that they had difficulty monitoring children's gadget use, so this application is one solution to monitor children from excessive gadget use. According to 75% of respondents, the features in the Kids Monitoring application can be easily understood. 96% of respondents felt that the features in the Kids Monitoring application were quite complete and useful so that parents felt helped in managing their child's gadget use. this research can be further developed with artificial intelligence technology because technology is increasingly sophisticated and continues to develop, so that it can create new features related to artificial intelligence itself

关键词： Agile software development programming Telecommunications Artificial intelligence Monitoring

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共313页 << < 304 305 306 307 308 309 310 311 312 313 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：