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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

7,672 篇 会议
333 篇 期刊文献
252 册 图书

馆藏范围

8,257 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

4,052 篇 工学
- 2,997 篇 计算机科学与技术...
- 1,850 篇 软件工程
- 986 篇 电气工程
- 582 篇 控制科学与工程
- 352 篇 信息与通信工程
- 336 篇 电子科学与技术（可...
- 188 篇 机械工程
- 87 篇 仪器科学与技术
- 78 篇 化学工程与技术
- 49 篇 生物医学工程（可授...
- 48 篇 材料科学与工程（可...
- 41 篇 生物工程
- 39 篇 交通运输工程
- 37 篇 动力工程及工程热...
- 37 篇 航空宇航科学与技...
- 36 篇 土木工程
- 33 篇 建筑学
- 33 篇 环境科学与工程（可...
- 32 篇 安全科学与工程
924 篇 理学
- 728 篇 数学
- 142 篇 系统科学
- 97 篇 物理学
- 97 篇 统计学（可授理学、...
- 68 篇 生物学
488 篇 管理学
- 398 篇 管理科学与工程(可...
- 121 篇 工商管理
- 99 篇 图书情报与档案管...
57 篇 医学
- 46 篇 临床医学
46 篇 经济学
- 41 篇 应用经济学
32 篇 法学
30 篇 教育学
- 30 篇 教育学
20 篇 文学
20 篇 农学
7 篇 艺术学
5 篇 军事学

主题

1,310 篇 programming
770 篇 linear programmi...
580 篇 programming prof...
487 篇 application soft...
486 篇 parallel program...
374 篇 computer archite...
372 篇 computer science
372 篇 hardware
351 篇 dynamic programm...
311 篇 software systems
311 篇 logic programmin...
271 篇 software enginee...
270 篇 optimization
267 篇 concurrent compu...
259 篇 computational mo...
244 篇 object oriented ...
241 篇 parallel process...
231 篇 control systems
207 篇 costs
198 篇 operating system...

机构

19 篇 department of el...
16 篇 carnegie mellon ...
16 篇 school of electr...
13 篇 school of electr...
11 篇 ibm thomas j. wa...
10 篇 georgia inst tec...
10 篇 department of el...
9 篇 department of el...
9 篇 oak ridge nation...
9 篇 department of el...
8 篇 univ hong kong d...
8 篇 institute of dig...
7 篇 department of el...
7 篇 chair for progra...
7 篇 department of co...
7 篇 department of co...
7 篇 department of co...
6 篇 inria
6 篇 school of comput...
6 篇 department of el...

作者

24 篇 steffen bernhard
14 篇 w.-s. lu
13 篇 liu derong
12 篇 anon
11 篇 josef börcsök
10 篇 wei qinglai
9 篇 bernhard steffen
9 篇 wu-sheng lu
9 篇 tiziana margaria
9 篇 margaria tiziana
8 篇 p. hasler
8 篇 a. antoniou
8 篇 sitek pawel
8 篇 m.r. lyu
8 篇 derong liu
8 篇 lu w.-s.
7 篇 wu youfeng
7 篇 t.m. khoshgoftaa...
7 篇 k.h. kim
7 篇 leucker martin

语言

8,026 篇 英文
178 篇 其他
35 篇 中文
16 篇 葡萄牙文
5 篇 西班牙文

检索条件"任意字段=International Symposium on Programming and Systems"

共 8257 条记录，以下是471-480 订阅

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

详细简洁

排序：

DCCRGAN: Deep Complex Convolution Recurrent Generator Adversarial Network for Speech Enhancement 2

DCCRGAN: Deep Complex Convolution Recurrent Generator Advers...

引用

2nd international symposium on Electrical, Electronics and Information Engineering, ISEEIE 2022

作者： Huang, Huixiang Wu, Renjie Huang, Jingbiao Lin, Jucai Yin, Jun ZheJiang Dahua Technology CO. LTD. Hangzhou China

ISBN: (数字)9781665468749

ISBN: (纸本)9781665468749

Generative adversarial network (GAN) based speech enhancement (SE) methods still exist some problems. Some GAN-based systems adopt the same structure from Pixel-to-Pixel directly without special optimization. The importance of the generator network has not been fully explored. Other related researches change the generator network and operate in the time-frequency domain, which ignores the importance of the phase component. In this paper, the real and imaginary components of noisy spectrogram are trained simultaneously. In order to train the complex target effectively, a deep complex convolution recurrent GAN (DCCRGAN) structure is proposed. The complex module builds the correlation between real and imaginary components of noisy spectrogram and has been proved to be effective. For the first time that a complex value network been introduced in GAN-based SE task and the performance of the complex GAN-based network been discussed adequately. Different LSTM layers are used in the generator network to sufficiently explore the speech enhancement performance of DCCRGAN. The experimental results confirm that the proposed DCCRGAN outperforms the state-of-the-art GAN-based SE systems. © 2022 IEEE.

关键词： Training Time-frequency analysis Convolution Speech enhancement Generative adversarial networks Linear programming Generators

来源：评论

学校读者我要写书评

暂无评论

Capacity-Maximizing Input Symbol Selection for Discrete Memoryless Channels

Capacity-Maximizing Input Symbol Selection for Discrete Memo...

引用

IEEE international symposium on Information Theory

作者： Maximilian Egger Rawad Bitar Antonia Wachter-Zeh Deniz Gündüz Nir Weinberger Technical University of Munich Imperial College London Technion – Israel Institute of Technology

ISBN: (数字)9798350382846

ISBN: (纸本)9798350382853

Motivated by communication systems with constrained complexity, we consider the problem of input symbol selection for discrete memoryless channels (DMCs). Given a DMC, the goal is to find a subset of its input alphabet, so that the optimal input distribution that is only supported on these symbols maximizes the capacity among all other subsets of the same size (or smaller). We observe that the resulting optimization problem is non-concave and non-submodular, and so generic methods for such cases do not have theoretical guarantees. We derive an analytical upper bound on the capacity loss when selecting a subset of input symbols based only on the properties of the transition matrix of the channel. We propose a selection algorithm that is based on input-symbols clustering, and an appropriate choice of representatives for each cluster, which uses the theoretical bound as a surrogate objective function. We provide numerical experiments to support the findings.

关键词： Monte Carlo methods Upper bound Communication systems Symbols Clustering algorithms Linear programming Memoryless systems

来源：评论

学校读者我要写书评

暂无评论

Improve Quality of systems via Dynamic Cost-Aware Selection of Web-Services

Improve Quality of Systems via Dynamic Cost-Aware Selection ...

引用

international symposium on Telecommunications, IST

作者： Ali Jahani Fattaneh Taghiyareh Department of Electrical and Computer Engineering University of Tehran Tehran Iran

ISBN: (数字)9798350356250

ISBN: (纸本)9798350356267

Due to the dynamic performance of web services, a pivotal step in ensuring the quality of our system is dynamic service selection. The study aims to reach a more precise objective function for the problem and improve it by considering the cost of service selection. The method we propose takes into account the expenses associated with service selection by executing the service selection process to determine the optimal services solely in instances where there is a notable change in service metrics. To gather the data required for evaluating this work, we used a virtual server provided by Hetzner Online GmBH and collected information about round-time trip by using the global ping network. By implementing this method, we lower the number of service selections, which might slightly decrease the quality of service. We believe our method could lead to a higher overall score in objective function.

关键词： Measurement Costs Fluctuations Web services Autonomous systems Quality of service Throughput Linear programming Telecommunications Servers

来源：评论

学校读者我要写书评

暂无评论

Combining Event Calculus and Description Logic Reasoning via Logic programming 1

引用

13th international symposium on Frontiers of Combining systems (FroCoS)

作者： Baumgartner, Peter CSIRO Data61 Canberra ACT Australia Australian Natl Univ Canberra ACT Australia

ISBN: (数字)9783030862053

ISBN: (纸本)9783030862053;9783030862046

The paper introduces a knowledge representation language that combines the event calculus with description logic in a logic programming framework. The purpose is to provide the user with an expressive language for modelling and analysing systems that evolve over time. The approach is exemplified with the logic programming language as implemented in the Fusemate system. The paper extends Fusemate's rule language with a weakly DL-safe interface to the description logic ALCIF and adapts the event calculus to this extended language. This way, time-stamped ABoxes can be manipulated as fluents in the event calculus. All that is done in the frame of Fusemate's concept of stratification by time. The paper provides conditions for soundness and completeness where appropriate. Using an elaborated example it demonstrates the interplay of the event calculus, description logic and logic programming rules for computing possible models as plausible explanations of the current state of the modelled system.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Enhanced System-Level Coherence for Heterogeneous Unified Memory Architectures

Enhanced System-Level Coherence for Heterogeneous Unified Me...

引用

IEEE international Workshop/symposium on Workload Characterization

作者： Anoop Mysore Nataraja Ricardo Fernández-Pascual Alberto Ros University of Washington University of Murcia

ISBN: (数字)9798350356038

ISBN: (纸本)9798350356045

Heterogeneous Unified Memory Architectures (HUMA) provide a unified memory space for on-die CPUs, GPUs, and other hardware accelerators. Such architectures improve performance and energy efficiency by obviating explicit data transfers between processors. An important feature of such architectures is Heterogeneous System Coherence (HSC) which simplifies the programming model by reducing the explicit synchronizations otherwise expected of the programmers of such systems. However, due to differences in the memory models and bandwidth requirements of CPUs and GPUs, hardware implementation of coherence for such systems is often complex and comes at high power, performance, and area *** paper optimizes the existing heterogeneous coherence mechanism in early AMD Accelerated Processing Units, approximately modeled in the gem5 simulator. It introduces precise sharing information in the system-level directory, which monitors both CPU and GPU cache lines, and implements a new write-back shared last-level cache (LLC). The original implementation consisted of a stateless system-level directory and a write-through LLC. Our evaluation results with a set of collaborative heterogeneous benchmarks reveal, on average, a 14.4% performance improvement and 80.8% and 50.4% reduced probing traffic and main-memory interactions, respectively. Through optimizations and adaptation of the evaluated benchmarks, this work aims to reduce the barriers to entry into HSC research.

关键词： Adaptation models Protocols Memory architecture Memory management Coherence Benchmark testing programming Energy efficiency Optimization Monitoring

来源：评论

学校读者我要写书评

暂无评论

Optimal Design and Coverage for 5G Networks Operating in the mmWave Frequency Spectrum Using Mathematical programming

Optimal Design and Coverage for 5G Networks Operating in the...

引用

international symposium on Communication systems, Networks and Digital Signal Processing, CNSDSP

作者： Sergio Cordero Pablo Adasme Héctor Kaschel Ismael Soto Department of Electrical Engineering University of Santiago de Chile Santiago Chile

ISBN: (数字)9798350348743

ISBN: (纸本)9798350348750

This paper presents two mathematical optimization models to solve problems related to the design and planning of 5G wireless communications networks using millimeter wave frequency spectrum. The first one allows for maximizing the number of covered users while minimizing the distances between each pair of base stations, and the distances required to connect each user to a unique base station. In this model, the number of base stations is fixed. The second model allows for optimizing the same objective function as the first one with an additional term used to minimize the total number of base stations required for the coverage. Notice that the problem to be addressed presents a high path loss. Consequently, the transmission distances should be reduced for different coverage transmission radii. Our models assume the existence of line-of-sight (LOS) for the links between the users and the base stations. Finally, we consider 10 instances with a maximum of 50 candidate location sites for the base stations and a maximum of 300 users for radial transmission distances of 150 and 200 meters. Our numerical results show that the proposed models can solve all the instances to optimality in a short CPU time effort.

关键词： Meters Base stations 5G mobile communication Wireless networks Optimization models Linear programming Numerical models

来源：评论

学校读者我要写书评

暂无评论

Branch-Aware Self-Test Program Generation for Processor Cores

Branch-Aware Self-Test Program Generation for Processor Core...

引用

Technology, systems and Applications (VLSI-TSA/VLSI-DAT), international VLSI symposium on

作者： Li-An Kuo Jiun-Lang Huang Graduate Institute of Communication Engineering Graduate Institute of Electronics Engineering Department of Electrical Engineering National Taiwan University Taiwan

ISBN: (数字)9798350360349

ISBN: (纸本)9798350360356

Software-based self-testing is a promising solution to post-deployment testing for processor cores embedded in long-life mission-critical systems. One popular approach to self-test program generation is to convert each scan-based test pattern to an instruction sequence that, when executed, implicitly applies the test pattern. However, this approach suffers low conversion quality for branch instructions. In this paper, we develop a branch-aware test program generator to improve the conversion efficiency for branch instructions. The test program generator considers the actual and predicted branch conditions to derive the instruction addresses that guarantee the desired program execution order. Furthermore, we optimize the test program template and recycle the wasted program blocks to reduce the test program footprint. The proposed test program generator is applied to a five-stage RISC-V processor with branch prediction. The generated test program achieves 90.68% transition delay fault coverage and reduces the test program size by 76%.

关键词： Automatic programming Mission critical systems Built-in self-test Very large scale integration Recycling Delays

来源：评论

学校读者我要写书评

暂无评论

UNIFORM MANUFACTURER-INDEPENDENT MOBILE ROBOT programming 32

UNIFORM MANUFACTURER-INDEPENDENT MOBILE ROBOT PROGRAMMING

引用

32nd international DAAAM symposium on Intelligent Manufacturing and Automation, DAAAM 2021

作者： Muster, Lucas Woeber, Wilfried Aburaia, Mohamed Department of Industrial Engineering University of Applied Sciences Technikum Wien Vienna1200 Austria Institute for Integrative Nature Conservation Research University of Natural Resources and Life Sciences Vienna Austria

ISBN: (纸本)9783902734334

Reliability, flexibility and minimum processing time are the key production requirements for sustainably competitive manufacturing. A high degree of flexibility often requires adjustments to both the individual robot-operated systems and the mobile robots used on the process side, resulting in an automatic increase in setup times. A uniform manufacturer-independent programming method for robots would radically reduce programming time. This work describes the development and implementation of a programming concept for mobile robots which allows the use of uniform commands independent of the manufacturer. The resulting programming library breaks these commands down to a level where autonomous code can be generated for the individually used robot, eliminating the need for the user to deal with complex programming tools. © 2021 Danube Adria Association for Automation and Manufacturing, DAAAM. All rights reserved.

关键词： Mobile robots

来源：评论

学校读者我要写书评

暂无评论

Checkpointing vs. Supervision Resilience Approaches for Dynamic Independent Tasks

Checkpointing vs. Supervision Resilience Approaches for Dyna...

引用

35th IEEE international Parallel and Distributed Processing symposium (IPDPS)

作者： Posner, Jonas Reitz, Lukas Fohry, Claudia Univ Kassel Res Grp Programming Languages Methodol Kassel Germany

ISBN: (纸本)9781665435772

With the advent of exascale computing, issues such as application irregularity and permanent hardware failure are growing in importance. Irregularity is often addressed by task-based parallel programming coupled with work stealing. At the task level, resilience can be provided by two principal approaches, namely checkpointing and supervision. For both, particular algorithms have been worked out recently. They perform local recovery and continue the program execution on a reduced set of resources. The checkpointing algorithms regularly save task descriptors explicitly, while the supervision algorithms exploit their natural duplication during work stealing and may be coupled with steal tracking to minimize the number of task re-executions. Thus far, the two groups of algorithms have been targeted at different task models: checkpointing algorithms at dynamic independent tasks, and supervision algorithms at nested fork-join programs. This paper transfers the most advanced supervision algorithm to the dynamic independent tasks model, thus enabling a comparison between checkpointing and supervision. Our comparison includes experiments and running time predictions. Results consistently show typical resilience overheads below 1% for both approaches. The overheads are lower for supervision in practically relevant cases, but checkpointing takes over for order millions of processes.

关键词： Fault Tolerance Resilience Work Stealing Task-based Parallel programming Runtime systems

来源：评论

学校读者我要写书评

暂无评论

Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes 1

引用

16th international symposium on Theoretical Aspects of Software Engineering (TASE)

作者： Kallwies, Hannes Leucker, Martin Prilop, Meiko Schmitz, Malte Univ Lubeck Inst Software Engn & Programming Languages Lubeck Germany

ISBN: (数字)9783031103636

ISBN: (纸本)9783031103636;9783031103629

This paper considers two kinds of optimizations for a specification language compiler for stream-based runtime verification: (i) the manual addition of core functions with dedicated translation schemas and (ii) an improved initialization that simplifies subsequent constant propagation. We employ both optimizations within the open source runtime verification framework TeSSLa, which comes with a trans-compiler as synthesis tool which translates TeSSLa specifications to Scala code eventually running on the JVM. Our evaluation shows that the first optimization improves the efficiency of the resulting monitor significantly while the second gets lost within the variety of optimizations present for the back end systems.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 44 45 46 47 48 49 50 51 52 53 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：