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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,454 篇 会议
99 册 图书
86 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

1,652 篇 工学
- 1,295 篇 计算机科学与技术...
- 658 篇 软件工程
- 368 篇 电气工程
- 252 篇 控制科学与工程
- 110 篇 信息与通信工程
- 106 篇 机械工程
- 61 篇 电子科学与技术（可...
- 40 篇 动力工程及工程热...
- 36 篇 交通运输工程
- 34 篇 仪器科学与技术
- 24 篇 建筑学
- 24 篇 石油与天然气工程
- 24 篇 生物医学工程（可授...
- 22 篇 生物工程
- 22 篇 公安技术
- 21 篇 安全科学与工程
- 20 篇 土木工程
405 篇 理学
- 302 篇 数学
- 60 篇 系统科学
- 54 篇 物理学
- 47 篇 统计学（可授理学、...
- 28 篇 生物学
- 25 篇 化学
238 篇 管理学
- 178 篇 管理科学与工程(可...
- 75 篇 图书情报与档案管...
- 60 篇 工商管理
71 篇 教育学
- 71 篇 教育学
33 篇 经济学
- 26 篇 应用经济学
28 篇 医学
- 19 篇 基础医学(可授医学...
26 篇 法学
- 18 篇 社会学
9 篇 农学
9 篇 艺术学
4 篇 文学
1 篇 哲学

主题

184 篇 logic gates
172 篇 fuzzy logic
150 篇 programming
107 篇 logic programmin...
94 篇 linear programmi...
76 篇 artificial intel...
71 篇 dynamic programm...
59 篇 software enginee...
59 篇 probabilistic lo...
58 篇 optimization
57 篇 computer science
57 篇 semantics
48 篇 software
46 篇 logic design
44 篇 formal logic
44 篇 computer archite...
43 篇 mathematical mod...
42 篇 mathematical log...
42 篇 computer program...
41 篇 logic

机构

7 篇 institute for lo...
5 篇 institute of log...
5 篇 university of am...
5 篇 department of in...
4 篇 natl tech univ a...
4 篇 international bu...
4 篇 tu wien austria
4 篇 graduate school ...
4 篇 university of al...
4 篇 imdea software i...
4 篇 carnegie mellon ...
4 篇 university of te...
4 篇 university of mi...
3 篇 university of la...
3 篇 department of co...
3 篇 free univ bozen ...
3 篇 department of co...
3 篇 department of co...
3 篇 ibm corp armonk ...
3 篇 cesnet prague cz...

作者

7 篇 woltran stefan
6 篇 eiter thomas
5 篇 leone nicola
5 篇 faber wolfgang
5 篇 tompits hans
5 篇 raidl günther r.
4 篇 tian cong
4 篇 tokhi m. o.
4 篇 sakama chiaki
4 篇 jânio monteiro
4 篇 frangopoulos chr...
4 篇 barnes tiffany
4 篇 pedro j. s. card...
4 篇 michael h. lees
4 篇 l.g. votta
4 篇 jack j. dongarra
4 篇 leonard barolli
4 篇 dimopoulos georg...
4 篇 roberto lam
4 篇 valeria v. krzhi...

语言

2,575 篇 英文
39 篇 其他
19 篇 中文
2 篇 德文
2 篇 法文
1 篇 西班牙文
1 篇 俄文

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

共 2639 条记录，以下是331-340 订阅

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

详细简洁

排序：

Hardware-Efficient Barrel Shifter Design Using Customized Dynamic logic Based MUX

Hardware-Efficient Barrel Shifter Design Using Customized Dy...

引用

international SoC Design conference, ISOCC

作者： Dain Chon Yoojeong Yang Hayoung Choi Woong Choi School of Electrical Engineering Sookmyung Women's University Seoul Republic of Korea

ISBN: (纸本)9781665459723

Bidirectional barrel shifters are used in a variety of algorithms because they can rotate a bit as many times as desired within a single cycle. However, as the number of input bits increases, the number of stages required increases and, accordingly, the hardware cost increases exponentially. In this paper, we propose a dynamic logic-based barrel shifter with customized domino logic for efficient hardware design. the proposed bidirectional barrel shifter has been implemented with 28nm CMOS technology, and in 32-bit configuration, power, performance, and area are improved by 36%, 19%, and 37%, respectively, compared to the conventional domino logic based approach.

关键词： Costs logic circuits Heuristic algorithms CMOS technology Hardware Inverters

来源：评论

学校读者我要写书评

暂无评论

Optimal EV Charger Level Specification for Residential Buildings with Renewable Energy 19

Optimal EV Charger Level Specification for Residential Build...

引用

19th international conference on Smart Technologies (IEEE EUROCON)

作者： Knowles, Kaleb Faye, Bilal Orrson, Alex Abdeltawab, Hussein Bayrakci-Boz, Mesude Anwar, Sohail Penn State Univ Altoona Engn Altoona PA 16601 USA Penn State Univ Hazleton Engn Hazleton PA USA Penn State Univ Behrend Sch Engn Erie PA USA

ISBN: (纸本)9781665432993

Electric Vehicles (EVs) have witnessed high interest lately due to different environmental, socio-political, and economic factors. the chargers of EVs are categorized into three levels;L1 and L2. these chargers have different power ratings and prices. On the other hand, many houses started to add distributed energy resources such as photovoltaic (PV) to their existing power service. this paper investigates the optimal level of an EV charger for a residential building with renewable energy. the optimization aims to reduce the energy cost during the lifetime of the EV battery. the optimization constraints include the EV state of charge, the charging/discharging power limits of the EV, the EV expected availability, the house service size, and the EV maximum number of cycles. the study also investigates the feasibility of conducting a power service upgrade while keeping a power reserve for future load uncertainty. the problem is formulated as a non-convex optimization problem utilizing the Gurobi solver. the optimization problem is solved for different scenarios presenting different loads, PV power, and EV availability scenarios. Case studies are conducted using household data in Los Angeles, CA. the studies evaluated the energy cost saving for different levels of the chargers in the case of various PV sizes and energy tariffs. this research is a collaboration result between three commonwealth campuses in Pennsylvania State University.

关键词： Energy Storage System Energy Management System Non-convex programming Electric Vehicle Photovoltaic Systems

来源：评论

学校读者我要写书评

暂无评论

Challenges in Migrating Imperative Deep Learning Programs to Graph Execution: An Empirical Study

Challenges in Migrating Imperative Deep Learning Programs to...

引用

19th international conference on Mining Software Repositories (MSR)

作者： Velez, Tatiana Castro Khatchadourian, Raffi Bagherzadeh, Mehdi Raja, Anita CUNY Grad Ctr New York NY 10017 USA CUNY Hunter Coll New York NY 10021 USA Oakland Univ Rochester MI 48063 USA

ISBN: (纸本)9781450393034

Efficiency is essential to support responsiveness w.r.t. ever-growing datasets, especially for Deep Learning (DL) systems. DL frameworks have traditionally embraced deferred execution-style DL code that supports symbolic, graph-based Deep Neural Network (DNN) computation. While scalable, such development tends to produce DL code that is error-prone, non-intuitive, and difficult to debug. Consequently, more natural, less error-prone imperative DL frameworks encouraging eager execution have emerged at the expense of run-time performance. While hybrid approaches aim for the "best of both worlds," the challenges in applying them in the real world are largely unknown. We conduct a data-driven analysis of challenges-and resultant bugs-involved in writing reliable yet performant imperative DL code by studying 250 open-source projects, consisting of 19.7 MLOC, along with 470 and 446 manually examined code patches and bug reports, respectively. the results indicate that hybridization: (i) is prone to API misuse, (ii) can result in performance degradation-the opposite of its intention, and (iii) has limited application due to execution mode incompatibility. We put forth several recommendations, best practices, and anti-patterns for effectively hybridizing imperative DL code, potentially benefiting DL practitioners, API designers, tool developers, and educators.

关键词： empirical studies deep learning imperative programs hybrid programming paradigms graph-based execution software evolution

来源：评论

学校读者我要写书评

暂无评论

A Multi-Objective Mixed-Integer programming Approach for Supply Chain Disruption Response with Lead-Time Awareness

A Multi-Objective Mixed-Integer Programming Approach for Sup...

引用

IEEE international conference on Automation Science and Engineering (CASE)

作者： Juan-Alberto Estrada-Garcia Mingjie Bi Dawn M. Tilbury Kira Barton Siqian Shen Department of Industrial and Operations Engineering University of Michigan Ann Arbor MI USA Robotics Department University of Michigan Ann Arbor MI USA Robotics Department and the Department of Mechanical Engineering University of Michigan Ann Arbor MI USA

Supply chain (SC) risk management is influenced by both spatial and temporal attributes of different entities (suppliers, retailers, and customers). Each entity has given capacity and lead time for processing and transporting products to downstream entities. Under disruptive events, lead time and capacities may vary, which affects the overall SC performance. there have been many studies on SC disruption mitigation, but often without considering lead time and the magnitude of lateness. In this paper, we formulate a mixed-integer programming (MIP) model to optimize SC operations via a routing and scheduling approach, to model the delivery time of products at different entities as they flow throughout the SC network. We minimize a weighted sum of multiple objectives involving costs related to transportation, shortage, and delivery lateness. We also develop a discrete-event simulation framework to evaluate the performance of solutions to the MIP model under lead time uncertainty. Via extensive numerical studies, we show how the attributes of SC entities affect the performance, so that we can improve SC design and operations under various uncertainties.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Integration of a formal specification approach into CPPS engineering workflow for machinery validation 19

Integration of a formal specification approach into CPPS eng...

引用

IEEE 19th international conference on Industrial Informatics (INDIN)

作者： Vogel-Heuser, Birgit Huber, Christoph Cha, Suhyun Beckert, Bernhard Tech Univ Munich Inst Automat & Informat Syst Garching Germany Karlsruhe Inst Technol Inst Theoret Informat Karlsruhe Germany

ISBN: (纸本)9781728143958

Cyber Physical Production Systems (CPPS) operate for a long time and face continuous and incremental changes to follow up varying requirements. Interdisciplinary engineering of CPPS is often subject to delay and cost overrun;and quality control may even fail due to the lack of efficient information exchange between multiple involved actors. We propose to integrate a formal requirement specification approach, namely Generalized Test Tables including tool support, into industrial workflows and present the approach through extended notations of Business Process Model and Notation (BPMN), namely BPMN++*, with the tool-coupling aspect. the suggested tooling enables automation engineers to follow the defined workflow systematically and communicate easier through the formally represented change requirement. the approach is demonstrated by two typical use cases of changing a CPPS' control software and showing the result by means of an extended BPMN++ model exemplarily.

关键词： Engineering workflow CSCW (Computer Supported Cooperative Work) Software development management PLC programming Control code Formal specification Information management Test tables

来源：评论

学校读者我要写书评

暂无评论

Learning Value Functions for Same-Day Delivery Problems in the Tardiness Regime 19thth

Learning Value Functions for Same-Day Delivery Problems in...

引用

19th international conference on Computer Aided Systems theory, EUROCAST 2024

作者： Frohner, Nikolaus Raidl, Günther R. Institute of Logic and Computation Vienna TU Wien Austria

ISBN: (纸本)9783031829512

Same-day delivery problems are a class of stochastic decision making problems concerned with delivering orders placed dynamically by stochastic customers on the same day given a fleet of vehicles. We consider a variant where all orders have to be served with the objective to minimize a tardiness penalty function and where their spatiotemporal distribution is known. A well-known baseline approach to increase performance compared to myopic optimization is by sampling and optimizing scenarios in the short-horizon and deriving a consensus solution from the resulting plans. Its drawback is the computational effort required, which may not make it suitable for near real-time decision making. Extending recent methodology from the literature, we replace this online sampling by an offline training of a short-horizon value function using a neural network, which is then used in the online point-in-time optimization, combining current reward plus estimated future value of a solution candidate. In a first computational study on a single-vehicle instance class with unavoidable tardiness, we show that this leads to comparable performance as the sampling approach, while greatly reducing the online decision time. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Dynamic Vehicle Routing with Stochastic Customers Same-Day Delivery Surrogate Function Optimization Value Function Approximation

来源：评论

学校读者我要写书评

暂无评论

logic Operators and Sibling Aggregators for Z-grades 19th

Logic Operators and Sibling Aggregators for Z-grades

引用

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

作者： De Tré, Guy Peelman, Milan Dujmović, Jozo Department of Telecommunications and Information Processing Ghent University St.-Pietersnieuwstraat 41 GhentB9000 Belgium Department of Computer Science San Francisco State University San FranciscoCA94132 United States

ISBN: (纸本)9783031089732

Trust in data is a crucial aspect of criterion-based flexible query answering and decision making. Inspired by Zadeh’s concept Z-number, we introduce the concept of a Z-grade and focus on some elementary aspects of aggregating Z-grades. A Z-grade, z, has two components, z= (s, c). the first component, s, is a satisfaction grade that can for example be used to express to what extent a given data element satisfies a given criterion. the second component, c, is a confidence grade that expresses how confident we can be about s. For example, in case we have less trust in the data element, this could result in a lower confidence in the outcome s of the criterion evaluation. logical processing and aggregation of satisfaction grades are important aspects of criterion handling. When applied to Z-grades, the computation of the resulting confidence grade depends on the computation of the resulting satisfaction grade. For that purpose, novel logic operators and so-called sibling aggregators for Z-grades are proposed and studied in the paper. © 2022, Springer Nature Switzerland AG.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Algorithms for Floor Planning with Proximity Requirements 19th

Algorithms for Floor Planning with Proximity Requirements

引用

19th international conference on Computer-Aided Architectural Design (CAAD) - Design Imperatives - the Future is Now

作者： Klawitter, Jonathan Klesen, Felix Wolff, Alexander Univ Wurzburg Wurzburg Germany

ISBN: (纸本)9789811912801;9789811912795

Floor planning is an important and difficult task in architecture. When planning office buildings, rooms that belong to the same organisational unit should be placed close to each other. this leads to the following NP-hard mathematical optimization problem. Given the outline of each floor, a list of room sizes, and, for each room, the unit to which it belongs, the aim is to compute floor plans such that each room is placed on some floor and the total distance of the rooms within each unit is minimized. the problem can be formulated as an integer linear program (ILP). Commercial ILP solvers exist, but due to the difficulty of the problem, only small to medium instances can be solved to (near-) optimality. For solving larger instances, we propose to split the problem into two subproblems;floor assignment and planning single floors. We formulate both subproblems as ILPs and solve realistic problem instances. Our experimental study shows that splitting the problem helps to reduce the computation time considerably. Where we were able to compute the global optimum, the solution cost of the combined approach increased very little.

关键词： Floor planning Proximity requirements Integer linear programming NP-hard

来源：评论

学校读者我要写书评

暂无评论

logic Diagnosis Based on Deep Learning for Multiple Faults

Logic Diagnosis Based on Deep Learning for Multiple Faults

引用

international SoC Design conference, ISOCC

作者： Tae Hyun Kim Hyeonchan Lim Minho Cheong Hyojoon Yun Sungho Kang Department of Electrical and Electronic Engineering Yonsei University Seoul Korea

ISBN: (纸本)9781665459723

Diagnosis of faults in logic circuit is essential to improve the yield of semiconductor circuit production. However, accurate diagnosis of adjacent multiple faults is difficult. In this paper, an idea for diagnosis of logic circuit faults using deep learning is proposed. In the proposed diagnosis idea, two adjacent faults can be accurately diagnosed using three deep learning modules. Once the modules are trained with data processed from fault simulation, the number of faults and the location of the faults are predicted by the modules from test responses of logic circuit. Experimental results of the proposed fault diagnosis idea show more than 96.4% diagnostic accuracy.

关键词： Deep learning Fault diagnosis logic circuits Production Predictive models Data models Circuit faults

来源：评论

学校读者我要写书评

暂无评论

Simulation of Parameters and Modes of Wave Propagation in Electromechanical Systems Using Methods of Inverse Problemstheory

Simulation of Parameters and Modes of Wave Propagation in El...

引用

international conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)

作者： Petro Pukach Nataliya Protsakh Yurii Protsyk Ihor Demkiv Department of Computational Mathematics and Programming Lviv Polytechnic National University Lviv Ukraine Department of Mathematics and Physics Ukrainian National Forestry University Lviv Ukraine Department of Computer Sciences Ukrainian National Forestry University Lviv Ukraine

ISBN: (数字)9798350378627

ISBN: (纸本)9798350378634

this work is devoted to the determination of influence of the internal forces on the propagation of the waves in electromechanical systems. the task is simplified to an inverse problem for the third order hyperbolic equation with the integral overdetermination condition and with the unknown function in the right-hand side of the equation. Some numerical results are presented for viscoelastic medium and for liquid like water with solid parameters. the presented method gives us opportunity to find the precise analytical solutions to the mathematical problems that simulate the wave propagation.

关键词： Inverse problems Propagation Partial differential equations Solids Mathematical models Electromechanical systems Task analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共264页 << < 30 31 32 33 34 35 36 37 38 39 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：