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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 计算机科学与技术...
- 822 篇 软件工程
- 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,077 篇 英文
33 篇 其他
11 篇 中文
3 篇 葡萄牙文
2 篇 法文
1 篇 俄文

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

共 3127 条记录，以下是3041-3050 订阅

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

详细简洁

排序：

Distributed Online Optimization Based on One-Step Gradient Descent and Multi-Step Consensus

Distributed Online Optimization Based on One-Step Gradient D...

引用

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

作者： Yingjie Zhou Xinyu Wang Tao Li School of Mathematical Sciences East China Normal University Shanghai China Shenzhen Baimai Technology Co. Ltd. Shenzhen China Ministry of Education Key Laboratory of Mathematics and Engineering Applications China

ISBN: (数字)9798331518493

ISBN: (纸本)9798331518509

We propose a distributed online optimization al-gorithm with continuously learning ability. In this algorithm, we first perform one-step gradient descent with fixed step size to ensure the ability of tracking the optimal solutions, and then use multi-step consensus to ensure the collaboration between neighboring nodes. For strongly convex and smooth objective functions, we provide a dynamic regret analysis of the proposed algorithm and show that the dynamic regret is upper bounded by the initial values, the path variation of the optimal solution, and a linear growth term. the coefficient of the linear growth term can be made arbitrarily small by adjusting the step size of gradient descent. We also demonstrate the performance of the proposed algorithm by numerical simulations.

关键词： Automation Heuristic algorithms Collaboration Numerical simulation Linear programming Optimization Robots

来源：评论

学校读者我要写书评

暂无评论

Active View Planner for Infrastructure 3D Reconstruction

Active View Planner for Infrastructure 3D Reconstruction

引用

international conference on Control and Automation (ICCA)

作者： Chuanxiang Gao Guidong Yang Xi Chen Ben M. Chen Department of Mechanical and Automation Engineering The Chinese University of Hong Kong Shatin N.T. Hong Kong

ISBN: (数字)9798350354409

ISBN: (纸本)9798350354416

Precise 3D modeling is crucial for infrastructure inspections, monitoring, and life-cycle management. However, the efficient construction of accurate 3D models poses significant challenges. this paper addresses these challenges by presenting a novel coverage view planner specifically designed for the precise 3D reconstruction of infrastructure. the proposed method takes into account the requirements of Multi-View Stereo (MVS) matching and plans the corresponding viewpoints for reconstruction. the reconstructibility is also introduced, which serves as a predictive measure for the quality of re-construction. In addition, this reconstructibility is used as an objective function to optimize the position and orientation of viewpoints. To validate the efficacy of the proposed approach, a series of experiments are conducted across real-world scenar-ios. Our evaluation and comparative analyses unequivocally demonstrate the high efficiency of our method in generating high-quality viewpoints.

关键词： Photography Solid modeling three-dimensional displays Automation Decision making Inspection Linear programming

来源：评论

学校读者我要写书评

暂无评论

A multi-bit error tolerant register file for a high reliable embedded processor

A multi-bit error tolerant register file for a high reliable...

引用

IEEE international conference on Electronics, Circuits and Systems (ICECS)

作者： Siamak Esmaeeli Morteza Hosseini Bijan Vosoughi Vahdat Bizhan Rashidian Department of Electrical Engineering Sharif University of Technology Tehran Iran

the vulnerability of microprocessors to soft errors is increasing due to continuous shrinking in fabrication process. Recent studies show that 1-5% of the SEUs (single event upset) can cause MBUs (multiple bit upsets). the probability of MBU generation due to SEU is increasing because of the reduction in minimum energy required to flip a memory bit in modern technologies. Register file is the most sensitive component in a microprocessor. In this paper, we present an innovative way to protect registers in a 64-bit register file for a RISC processor using extended Hamming (8, 4) code (SEC-DED code) and narrow-width values. A narrow-width value can be represented by half number of bits of the register width. Two additional bits for each data register have been used to store the information for a narrow-width value. Each 64-bit data in register file has its unique 64-bit extended Hamming code that is stored in another register file in a bit-interleaved manner. Two copies of narrow-width values can be stored in one register and each copy has its unique extended Hamming code in other register file. Proposed method has been tested using fault injection simulation with SPEC2000 benchmarks. Error probability of a word that stores generated values for register file in SPEC2000 benchmarks and is protected with proposed method is less than the error probability of the same word that is protected with TMR or various extended Hamming codes. the implementation on a Xilinx Virtex-4 FPGA shows that the area overhead of a register file with 64-bit wide and more than 64-word entry that is protected with proposed method is less than the area overhead of the same register file that is protected with TMR. Error detection and correction is performed in parallel with execute stage to prevent performance degradation. More than 99% of errors in adjacent 32 bits in data or extended Hamming code registers can be corrected with the proposed method. Presented method employs pure combinational lo

关键词： Registers Decoding Microprocessors Error probability Tunneling magnetoresistance Benchmark testing logic gates

来源：评论

学校读者我要写书评

暂无评论

An analytic framework for specifying and analyzing imprecise requirements 96

An analytic framework for specifying and analyzing imprecise...

引用

Proceedings of the 18th international conference on Software engineering

作者： Xiaoqing Frank Liu John Yen Department of Computer Science University of Missouri Rolla Missouri Department of Computer Science Texas A&M University College Station Texas

ISBN: (纸本)9780818672460

there are at least three challenges with requirements analysis. First, it needs to bridge informal requirements, which are often vague and imprecise, to formal specification methods. Second, requirements often conflict with each other. third, existing formal requirement specification methodologies are limited in supporting trade-off analysis between conflicting requirements and identifying the impact of a requirement change to the rest of the system. In this paper, an analytic framework is developed for the specification and analysis of imprecise requirements. In this framework, the elasticity of imprecise requirements is captured using fuzzy logic and the relationships between requirements are formally classified into four categories: conflicting, cooperative, mutually exclusive and irrelevant. this formal foundation facilitates the inference of relationships between requirements for detecting implicit conflicts, to assess the relative priorities of requirements for resolving conflicts, and to assess the effect of a requirement change.

关键词： formal specification informal requirements trade-off analysis systems analysis irrelevant requirements requirement change imprecise requirements specification conflict resolution requirements analysis implicit conflicts relative priorities formal specification methods cooperative requirements mutually exclusive requirements fuzzy logic conflicting requirements

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A Lightweight and Reliable Sideband Interface for Die-to-Die

A Lightweight and Reliable Sideband Interface for Die-to-Die

引用

IEEE international Workshop on Anti-counterfeiting, Security, Identification, ASID

作者： Ruotong Zhao Bofu Li Zhiyi Guo Xiangyu Li School of Integrated Circuits Tsinghua University Beijing China Beijing Smart-chip Microelectronics Technology Co. Ltd Beijing China

ISBN: (数字)9798331505639

ISBN: (纸本)9798331505646

To satisfy the low-power, low-cost and reliability requirements of the industrial control and intellisense applications, a lightweight sideband interface as well as protocol applied in die-to-die interface is proposed. It utilizes a simplified Management Data Input/Output protocol that supports parameter exchange and event communication with only two pins and half-duplex communication. Moreover, the proposed interface not only allows die-to-die communication after powerup without initialization and setup but also does not depend on the main-band. therefore, it can play the role of emergency channel to improve the reliability of Die-to-Die. According to the synthesized result, the both-side equivalent gate count is 2400, while the leakage power is 140.19nW.

关键词： Protocols Power demand Chiplets Industrial control Half-duplex system logic gates Amplitude modulation Reliability engineering Pins Security

来源：评论

学校读者我要写书评

暂无评论

NFV-Based Distributed Service Function Chaining with Imperfect Information

NFV-Based Distributed Service Function Chaining with Imperfe...

引用

conference on Information and Knowledge Technology

作者： Mahsa Alikhani Marzieh Sheikhi Vesal Hakami School of Computer Engineering Iran University of Science and Technology Tehran Iran

ISBN: (纸本)9781665408509

Software-defined networking (SDN) and network function virtualization (NFV) technologies have emerged as promising paradigms in recent innovations for deploying users' demanded services. In this context, service function chaining (SFC) helps telecommunication operators to provide complex network services and improve their performance. this paper first addresses the service function chain deployment problem as an integer linear programming (ILP) problem under an impractical non-causal assumption about the network information for which we provide a solution in a centralized fashion. However, in real-life networks, distributed schemes are more scalable. Also, some parameters, such as the latency of the links, fluctuate over time because of the sharing nature of cloud datacenters, and their probabilistic distributions are unknown prior to deployment. therefore, we re-formulate the NFV -based SFC deployment problem as a noisy weighted congestion game and rely only on the actually experienced delay samples on each of the links to configure SFCs in a near-optimal fashion. In particular, we propose a multi-agent learning based algorithm using which each agent decides its VNF -based service chain only based on its own history of adopted actions and realized costs. By changing the network configuration, simulation results show that our proposed algorithm is at most 18% worse than the optimal solution, and in some situations, it behaves exactly the same as optimal results.

关键词： Technological innovation Service function chaining Simulation Games Integer linear programming Probabilistic logic Nash equilibrium

来源：评论

学校读者我要写书评

暂无评论

Evaluation of Probabilistic Electricity Demand Forecasts

Evaluation of Probabilistic Electricity Demand Forecasts

引用

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

作者： Hongjia H. Chen Asaad Mohammad Tetsuya Totsuka Ani Laliashvili Maria Navarro TESLA Asia Pacific Ltd Auckland New Zealand TESLA Inc. Richmond United States of America Brandeis International Business School Boston United States of America

ISBN: (数字)9798350372786

ISBN: (纸本)9798350372793

As the electricity landscape undergoes transformative shifts with the rising prevalence of photovoltaic (PV) systems and the growing stochastic nature of electricity consumption from electric vehicles (EVs), the significance of accurate probabilistic forecasting becomes paramount. this paper explores and evaluates key metrics employed in assessing probabilistic load forecasts in the energy industry. the study explores the Probability Integral Transform (PIT), Chi-square test, Pinball loss function, and Continuous Ranked Probability Score (CRPS), elucidating their significance and practical applications. through a comprehensive case study analyzing probabilistic forecasts by the Australian Electricity Market Operator (AEMO) and TESLA, the paper demonstrates the strengths and weaknesses of each metric. the analysis emphasizes the critical need for examining these metrics at a granular level, offering insights into their performance across distinct trading periods and first assessing forecast reliability before delving into considerations of forecast sharpness.

关键词： Measurement Industries Visualization Load forecasting Electricity Transforms Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

Real-Time GNSS Spoofing Detection for Autonomous Vehicles: An Attention-Based Autoencoder Approach

Real-Time GNSS Spoofing Detection for Autonomous Vehicles: A...

引用

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

作者： Huan Yang Guoqiang Liu Chunyang Zhao Mingxing Wen Yuanzhe Wang School of Electrical and Electronic Engineering Nanyang Technological University Singapore China-Singapore International Joint Research Institute Guangzhou China School of Control Science and Engineering Shandong University Jinan China

ISBN: (数字)9798331518493

ISBN: (纸本)9798331518509

With the rapid evolution of autonomous vehicles (AVs), ensuring reliable navigation has become paramount, especially against threats like Global Navigation Satellite Systems (GNSS) spoofing. this paper presents an attention-based Autoencoder approach for real-time GNSS spoofing detection in AVs. the proposed method leverages data from multiple sensors, including IMU, GNSS, and LiDAR, fully utilizing the redundancy and correlations among them. By integrating a multi-head attention mechanism into the Autoencoder, the model can thoroughly capture and analyze the complex relationships within sensor data, enhancing its capability to promptly and accurately identify spoofing attacks. Field experiments demonstrate the effectiveness of the proposed method in achieving a high detection rate and short detection time, highlighting its potential for practical deployment in AV applications.

关键词： Global navigation satellite system Attention mechanisms Autoencoders Redundancy Robot sensing systems Probabilistic logic Real-time systems Robustness Sensors Autonomous vehicles

来源：评论

学校读者我要写书评

暂无评论

Markov logic networks: theory, algorithms and applications 12

Markov logic networks: theory, algorithms and applications

引用

Proceedings of the 18th international conference on Management of Data

作者： Parag Singla Indian Institute of Technology Delhi Hauz Khas New Delhi

Most real world problems are characterized by relational structure i.e. entities and relationships between them. Further, they are inherently uncertain in nature. theory of logic gives the framework to represent relations. Statistics provides the tools to handle uncertainty. Combining the power of two becomes important for accurate modeling of many real world domains. Last decade has seen the emergence of a new research area popularly known as Statistical Relational Learning (SRL) which aims at achieving this merger. Markov logic is one of the most well-known SRL models which combines the power of first-order logic with Markov networks. the underlying domain is represented as a set of weighted first-order logic formulas. the associated weight of a formula represents the strength of the corresponding constraint. Higher the weight, stronger the constraint is. Markov logic theory can be seen as defining a template for constructing ground Markov networks, and hence, the name Markov logic *** problem in Markov logic corresponds to finding the state of a subset of nodes (query) given the state of another subset of nodes (evidence) in the network. Learning corresponds to finding the optimal set of weights for the formulas as well as discovering the formulas themselves. Many of the standard algorithms for inference and learning in ground Markov networks do not scale well to the size of the networks that can be represented using Markov logic. Further, there is a rich template structure across ground formulas which can be exploited to devise efficient inference and learning algorithms. Due to their representational strength, availability of inference and learning algorithms, ease of use and the availability of an open source implementation, Markov logic has been effectively applied to a variety of application domains including entity resolution, web-mining, link prediction, social network analysis, image analysis, robotics, natural language processing and plan

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共313页 << < 301 302 303 304 305 306 307 308 309 310 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：