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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Designing Stochastic Number Generators Sharing a Random Number Source based on the Randomization Function

Designing Stochastic Number Generators Sharing a Random Numb...

引用

Annual IEEE Northeast Workshop on Circuits and Systems (NEWCAS)

作者： Masashi Tawada Nozomu Togawa Green Computing Systems Research Organization Waseda University Tokyo Japan Waseda University Tokyo Japan

ISBN: (数字)9781728170442

ISBN: (纸本)9781728170459

In this study, we propose a novel stochastic number generator architecture and prove that the resulting circuit can deliver independent stochastic numbers and improve the accuracy of the calculation results obtained using some recent conventional stochastic computing-based arithmetic circuits. this study is motivated by the increasingly important role of stochastic computing in various fields, such as the digital circuit design, where the stochastic number generators are responsible for a significant share of the hardware cost.

关键词： Generators Computer architecture Digital circuits Hardware Correlation Approximate computing logic gates

来源：评论

学校读者我要写书评

暂无评论

RelyPES: A Tool for Power and Energy System Reliability and Risk Assessment

RelyPES: A Tool for Power and Energy System Reliability and ...

引用

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

作者： Saeed Peyghami Seyed Amir Hosseini Frede Blaaberg Department of AAU Energy Aalborg University Aalborg Denmark

ISBN: (数字)9798350372786

ISBN: (纸本)9798350372793

this paper introduces a new software tool for reliability analysis, risk assessment and risk management in modern power systems which is developed by Aalborg University. Existing reliability assessment tools are more suitable for conventional generation units. However, modern power systems are extremally dominated by renewable generations, while they are prone to various reliability issues. this is mainly due to intermittent and uncertain prime energy sources, and higher number of components prone to frequent and non-constant failure rates. the RelyPES tool is developed to address these issues, and it is customized for renewable-dominated power systems. this tool analyses the power system reliability at generation, transmission, and distribution levels, that is necessary for power system design, planning, maintenance, and operation.

关键词： Renewable energy sources Probabilistic logic Power system reliability Software reliability Planning Maintenance Risk management

来源：评论

学校读者我要写书评

暂无评论

High-Level Data Fusion based Probabilistic Situation Assessment for Highly Automated Driving

High-Level Data Fusion based Probabilistic Situation Assessm...

引用

international IEEE conference on Intelligent Transportation Systems

作者： Samyeul Noh Kyounghwan An Wooyong Han Electron. & Telecommun. Res. Inst. Daejeon South Korea

ISBN: (纸本)9781467365970

A primary challenge of automated driving systems is the task of a situation assessment. this paper presents a high-level data fusion based probabilistic situation assessment method which is capable of assessing a current traffic situation and giving a recommendation about driving behaviors. the proposed method consists of two steps: high-level data fusion and probabilistic situation assessment. the high-level data fusion, designed to provide a better understating of observed situations, produces a local dynamic road map by integrating all dynamic entities with a high-precision static road map. the probabilistic situation assessment estimates threat levels of each lane as the probability of the lane state through the use of independent local experts based on the local dynamic road map. the recommendations for behavior decision are determined by filtering out noises resulting from object tracking even though a tracking module misses objects or detects wrong objects a lot, but immediately. the method is implemented in an open-source robot operating system to provide a reusable and hardware independent software platform, and verified and evaluated through in-vehicle tests on real highways in real-time operation.

关键词： SLAM (robots) automobiles filtering theory intelligent transportation systems mobile robots object tracking probability public domain software road traffic sensor fusion behavior decision driving behavior high-level data fusion high-precision static road map highly automated driving system highway in-vehicle test lane state probability lane threat level estimation local dynamic road map noise filtering object detection object miss observed situation understating open-source robot operating system probabilistic situation assessment method real-time operation reusable hardware independent software platform self-driving car tracking module traffic situation Data integration Probabilistic logic Roads Safety Sensors Vehicle dynamics Vehicles

来源：评论

学校读者我要写书评

暂无评论

Unwanted trip probability estimation of digital protection relays using time-domain simulations

Unwanted trip probability estimation of digital protection r...

引用

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

作者： Alexandre Bach Pierre Henneaux BEAMS Université Libre De Bruxelles Brussels Belgium

ISBN: (数字)9798350372786

ISBN: (纸本)9798350372793

this paper revisits the concept of hidden failures in cascading outages. It presents a new methodology to evaluate the probability of hidden failures of protection relays in power systems. Given that most of the proposed models describing the probability of unwanted triggering of relays have been developed considering electromechanical relays that are being phased out, there is a need to propose a new methodology to quantify this probability for digital relays. this paper proposes a framework which relies on time-domain simulations of power system components, including digital relays. Preliminary results show that the probability of unwanted trips is correlated to the load level at the adjacent node, meaning that a uniform probability of unwanted trips is not an acceptable model for this hidden failure mode.

关键词： Sensitivity Uncertainty Computational modeling Power system dynamics Probabilistic logic Power system reliability Protection

来源：评论

学校读者我要写书评

暂无评论

Decidable Model Checking with Uniform Strategies 19

Decidable Model Checking with Uniform Strategies

引用

Proceedings of the 18th international conference on Autonomous Agents and MultiAgent Systems

作者： Natasha Alechina Mehdi Dastani Brian Logan University of Nottingham Nottingham United Kingdom University of Utrecht Utrecht Netherlands

ISBN: (纸本)9781450363099

the logic of strategic ability Resource-Bounded Alternating Time Syntactic Epistemic logic (RB+-ATSEL) has a decidable model-checking problem for coalition uniform strategies. A strategy is coalition uniform if agents in a coalition select the same joint action in all states where the knowledge of the coalition is the same. However, this presupposes free and unbounded communication between the agents in the coalition before every action selection. In this paper we present a modified version of RB+-ATSEL, RB+-ATSELc, with explicit (and explicitly costed) communication actions. RB+-ATSELc is interpreted on communication models which have an explicit communication step before every action selection. We show that, unlike standard ATL under imperfect information, the model checking problem for RB+-ATSELc is decidable under perfect recall uniform strategies. Our decidability result also applies to ATL with imperfect information and perfect recall when interpreted on communication models.

关键词： uniform strategies model-checking resource logic communication

来源：评论

学校读者我要写书评

暂无评论

Research on the Coalition Formation of Multi-Agent Systems for Forest Fire Prevention and Control Tasks

Research on the Coalition Formation of Multi-Agent Systems f...

引用

international conference on Control and Automation (ICCA)

作者： Ruotong Wu Jia Zhang Bin Xin School of Automation Beijing Institute of Technology

ISBN: (数字)9798350354409

ISBN: (纸本)9798350354416

the multi-agent systems (MAS) for forest fire prevention and control are large-scale, with varied structural characteristics, leading to high complexity in management. this paper delves into the Coalition Formation (CF) strategy of MAS in this scenario. Considering the characteristic and the actual utility of coalitions, as well as the multiple dimensions of constraints and optimization indicators, a model for the agent CF problem is established. A two-stage hybrid intelligent algorithm is proposed to solve the problem. the algorithm is based on the K-means Clustering algorithm, Variable Neighborhood Search (VNS) algorithm and Genetic Algorithm (GA). this method can form a high-quality feasible CF scheme, which provides support for the intelligent control of fire system resources and the implementation of subsequent task allocation.

关键词： Prevention and mitigation Clustering algorithms Forestry Linear programming Stability analysis Complexity theory Task analysis

来源：评论

学校读者我要写书评

暂无评论

Plug-in Electric Vehicles Charging Load Profile Estimation

Plug-in Electric Vehicles Charging Load Profile Estimation

引用

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

作者： Mohsen Ghavami Chanan Singh Department of Electrical and Computer Engineering Texas A&M University College Station USA

ISBN: (数字)9798350372786

ISBN: (纸本)9798350372793

Plug-in Electric Vehicles (PEVs) are rapidly expanding in the transportation sector and are an emerging component of the power grid uncertain load. the high level PEV penetration will impose additional demand and will have a negative impact on the power grid. A complete load profile model is required to ensure a realistic and implementable plan related to PEVs and their impact on the power grid. In this paper, a methodology is proposed to estimate the PEV charging load and available storage profile model using the travel patterns derived from the national household travel survey (NHTS). the most recent published national household travel survey (2017 NHTS) is used to approximate the travel patterns of PEVs. the charging profile model proposed in this section aims to be utilized for reliability analysis purposes.

关键词： Surveys Plug-in electric vehicles Power demand Transportation Reliability theory Probabilistic logic Power grids

来源：评论

学校读者我要写书评

暂无评论

Parameter Continuation Methods for the Optimization of Deep Neural Networks

Parameter Continuation Methods for the Optimization of Deep ...

引用

international conference on Machine Learning and Applications (ICMLA)

作者： Harsh Nilesh Pathak Randy Paffenroth Data Science Expedia Group Seattle WA USA Worcester Polytechnic Institute Worcester MA USA

there are many extant methods for approximating the solutions of non-convex optimization problems arising in deep neural networks, including stochastic gradient descent, RMSProp, AdaGrad, and ADAM. In this paper, we propose a novel training strategy for deep neural networks based on ideas from numerical parameter continuation methods. Parameter continuation methods have a long history in many application domains such as bifurcation analysis and the study of systems of differential equations. However, as far as we are aware, such powerful methods have seen relatively limited use in the optimization of deep neural networks. Specifically, herein we derive a homotopy formulation of standard activation functions. Such a derivation allows one to decompose the optimization of deep neural networks into a sequence of optimization problems, each of which is armed with a good initial guess based upon the solution of the previous problem. the whole process is initiated by using a closed-form solution for the first of these problems provided by the homotopy formulation. Intuitively, there is a deep connection between our homotopy techniques and many ideas used in transfer and curriculum learning. However, our proposed methods leverage decades of theoretical and computational work in parameter continuation methods and can be viewed as an initial bridge between those techniques and deep neural networks. In particular, we propose a method that we call Natural Parameter Adaption Continuation with Secant approximation (NPACS). this method provides an effective optimization technique that uses standard algorithms such as ADAM in a novel way to achieve faster and more stable convergence. We demonstrate the effectiveness of our method on standard benchmark problems, and we compute local minima more quickly and with lower train and test loss values than current state-of-the-art techniques in a majority of cases.

关键词： Neural networks Optimization Standards Training Task analysis Linear programming Machine learning

来源：评论

学校读者我要写书评

暂无评论

Transform domain sparsification of depth maps using iterative quadratic programming

Transform domain sparsification of depth maps using iterativ...

引用

IEEE international conference on Image Processing

作者： Gene Cheung Junichi Ishida Akira Kubota Antonio Ortega National Institute of Information Japan National Institute of Informatics Chuo University University of Southern California USA

Compression of depth maps is important for “texture plus depth” format of multiview images, which enables synthesis of novel intermediate views via depth-image-based rendering (DIBR) at decoder. Previous depth map coding schemes exploit unique depth data characteristics to compactly and faithfully reproduce the original signal. In contrast, since depth map is only a means to the end of view synthesis and not itself viewed, in this paper we explicitly manipulate depth values, without causing severe synthesized view distortion, in order to maximize representation sparsity in the transform domain for compression gain - we call this process transform domain spar-sification (TDS). Specifically, for each pixel in the depth map, we first define a quadratic penalty function, with minimum at ground truth depth value, based on synthesized view's distortion sensitivity to the pixel's depth value during DIBR. We then define an objective for a depth signal in a block as a weighted sum of: i) signal's sparsity in the transform domain, and ii) per-pixel synthesized view distortion penalties for the chosen signal. Given that sparsity (l 0 -norm) is non-convex and difficult to optimize, we replace the l 0 -norm in the objective with a computationally inexpensive weighted l 2 -norm; the optimization is then an unconstrained quadratic program, solvable via a set of linear equations. For the weighted l 2 -norm to promote sparsity, we solve the optimization iteratively, where at each iteration weights are readjusted to mimic sparsity-promoting l τ -norm, 0 ≤ τ ≤ 1. Using JPEG as an example transform codec, we show that our TDS approach gained up to 1.7dB in rate-distortion performance for the interpolated view over compression of unaltered depth maps.

关键词： Image coding Transforms Optimization Minimization Transform coding PSNR

来源：评论

学校读者我要写书评

暂无评论

Cooperative Concurrent Games 19

Cooperative Concurrent Games

引用

Proceedings of the 18th international conference on Autonomous Agents and MultiAgent Systems

作者： Julian Gutierrez Sarit Kraus Michael Wooldridge University of Oxford Oxford United Kingdom Bar-Ilan University Ramat Gan Israel

ISBN: (纸本)9781450363099

In rational verification, one is interested in understanding which temporal logic properties will hold in a concurrent game, under the assumption that players choose strategies that form an equilibrium. Players are assumed to behave rationally in pursuit of individual goals, typically specified as temporal logic formulae. To date, rational verification has only been studied in noncooperative settings. In this paper, we extend the rational verification framework to cooperative games, in which players may form coalitions to collectively achieve their goals. We base our study on the computational model given by concurrent game structures and focus on the core as our basic solution concept. We show the core of a concurrent game can be logically characterised using ATL*, and study the computational complexity of key decision problems associated with the core, which range from problems in PSPACE to problems in 3EXPTIME. We also discuss a number of variants of the main definition of the core, leading to the issue of credible coalition formations, and a possible implementation of the main reasoning framework.

关键词： formal verification logic concurrent games cooperative games

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共313页 << < 297 298 299 300 301 302 303 304 305 306 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：