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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

14,260 篇 会议
263 篇 期刊文献
118 册 图书
3 篇 学位论文

馆藏范围

14,644 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

8,858 篇 工学
- 7,943 篇 计算机科学与技术...
- 3,876 篇 软件工程
- 1,708 篇 电气工程
- 1,258 篇 信息与通信工程
- 739 篇 控制科学与工程
- 347 篇 电子科学与技术（可...
- 240 篇 机械工程
- 164 篇 动力工程及工程热...
- 143 篇 仪器科学与技术
- 106 篇 生物工程
- 105 篇 石油与天然气工程
- 93 篇 材料科学与工程（可...
- 84 篇 土木工程
- 80 篇 建筑学
- 74 篇 生物医学工程（可授...
- 65 篇 力学（可授工学、理...
- 60 篇 化学工程与技术
- 59 篇 交通运输工程
- 58 篇 网络空间安全
2,007 篇 理学
- 1,502 篇 数学
- 279 篇 系统科学
- 241 篇 物理学
- 222 篇 统计学（可授理学、...
- 132 篇 生物学
- 77 篇 化学
1,164 篇 管理学
- 809 篇 管理科学与工程(可...
- 437 篇 图书情报与档案管...
- 436 篇 工商管理
110 篇 医学
- 97 篇 临床医学
86 篇 经济学
- 86 篇 应用经济学
62 篇 法学
48 篇 农学
35 篇 教育学
21 篇 文学
6 篇 军事学
4 篇 艺术学

主题

1,419 篇 distributed comp...
1,292 篇 parallel process...
884 篇 concurrent compu...
653 篇 distributed comp...
594 篇 computer science
590 篇 computer archite...
512 篇 computational mo...
502 篇 application soft...
475 篇 parallel process...
412 篇 distributed data...
382 篇 scalability
363 篇 parallel program...
341 篇 parallel algorit...
321 篇 hardware
304 篇 fault tolerance
280 篇 computer network...
249 篇 algorithm design...
236 篇 processor schedu...
225 篇 runtime
215 篇 message passing

机构

47 篇 national laborat...
45 篇 institute of par...
30 篇 univ stuttgart i...
28 篇 univ stuttgart i...
26 篇 natl univ def te...
24 篇 institute for pa...
23 篇 college of compu...
23 篇 institute of par...
22 篇 national laborat...
22 篇 institute of par...
20 篇 institute for pa...
19 篇 school of comput...
18 篇 tech univ berlin
18 篇 department of co...
17 篇 univ stuttgart i...
17 篇 department of co...
16 篇 natl univ def te...
15 篇 school of comput...
15 篇 shanghai jiao to...
15 篇 institute of par...

作者

47 篇 kurt rothermel
31 篇 mitschang bernha...
30 篇 duerr frank
24 篇 m. takizawa
24 篇 hirmer pascal
23 篇 chen haibo
22 篇 liu jie
21 篇 li dongsheng
19 篇 dongsheng li
19 篇 stach christoph
18 篇 fahringer thomas
18 篇 koldehofe boris
18 篇 wang yijie
17 篇 bernhard mitscha...
16 篇 thamsen lauritz
15 篇 jack dongarra
14 篇 rajkumar buyya
14 篇 dou yong
14 篇 yijie wang
14 篇 wang wei

语言

14,428 篇 英文
158 篇 其他
49 篇 中文
11 篇 俄文
1 篇 德文
1 篇 法文
1 篇 土耳其文

检索条件"任意字段=International Conference on Parallel and Distributed Systems"

共 14644 条记录，以下是561-570 订阅

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

详细简洁

排序：

Hybrid parallel Model Checking of Hybrid LTL on Hybrid State Space Representation 1

引用

15th international conference on Verification and Evaluation of Computer and Communication systems (VECoS)

作者： Klai, Kais Abid, Chiheb Ameur Arias, Jaime Evangelista, Sami Univ Sorbonne Paris Nord LIPN CNRS UMR 7030 Villetaneuse France Univ Tunis El Manar Fac Sci Tunis Tunis 2092 Tunisia Univ Carthage Mediatron Lab SupCom Tunis Tunisia

ISBN: (数字)9783030988500

ISBN: (纸本)9783030988500;9783030988494

In this paper, we propose a hybrid parallel model checking algorithm for both shared and distributed memory architectures. The model checking is performed simultaneously with a parallel construction of system state space by distributed multi-core machines. The representation of the system's state space is a hybrid graph called Symbolic Observation Graph (SOG), which combines the symbolic representation of its nodes (sets of single states) and the explicit representation of its arcs. The SOG is adapted to allow the preservation of both state and event-based LTL formulae (hybrid LTL), i.e. the atomic propositions involved in the formula to be checked are either state or event-based propositions. We have implemented the proposed model checker within a C++ prototype and compared our preliminary results to the LTSmin model checker.

关键词： Decision diagrams Linear temporal logic Model checking parallel verification

来源：评论

学校读者我要写书评

暂无评论

A Droop Controller Based Active Power Sharing of parallel Inverter Islanded Microgrid

A Droop Controller Based Active Power Sharing of Parallel In...

引用

2022 international conference on Futuristic Technologies in Control systems and Renewable Energy, ICFCR 2022

作者： Saifudheen, P. Thresia, M.M. Government College of Engineering Kannur EEE Department Kannur India

ISBN: (数字)9781665498913

ISBN: (纸本)9781665498913

Due to the increasing energy demands in microgrids (MG), the need for parallel-connected distributed generations (DG) to supply the load required by customers has been increased. An interfacing inverter connects the DGs to the microgrid. The operating performance of a microgrid is largely depends up on the interfaced inverter. For a stable and reliable operation of the microgrid, the inverters of the DGs have to be controlled for proper power-sharing. In this paper, active power-frequency(P-F)/ reactive power-voltage amplitude (Q-V) droop control is used to control the three parallel-connected DGs in a microgrid operated in islanded mode. To confirm the droop control effectiveness, three distinct types of load are examined. Such as balanced, unbalanced and non linear load. When operating in an islanded mode, the inverter droop control should maintain the frequency and voltage within the permissible ranges. Furthermore, the findings show that droop control has a substantial influence on balancing the voltage magnitude, frequency and active power-sharing. The three parallel-connected inverters share equal active power among the DGs for all types of loads. Matlab/Simulink is used to model the droop control for parallel-connected DGs and verify the effectiveness of the droop controller. © 2022 IEEE.

关键词： distributed power generation

来源：评论

学校读者我要写书评

暂无评论

Research and Development of Enterprise Data Warehouse Based on SAP BW Modeling

Research and Development of Enterprise Data Warehouse Based ...

引用

2023 IEEE international conference on Smart Information systems and Technologies, SIST 2023

作者： Turken, Gulzat Naizabayeva, Lyazat Satymbekov, Maxatbek Abdiakhmetova, Zukhra Al-Farabi Kazakh National University Department of Computer Science Almaty Kazakhstan International Information Technology University Department of Information System Almaty Kazakhstan

ISBN: (纸本)9798350335040

The data warehouse is based on the development of relational databases, parallel processing and distributed processing technologies, as well as online analytical processing technologies. SAP BW is widely used in many enterprise data warehouses. It can issue reports of enterprises at the group level, manage the group's business operations, help find the laws and trends behind the performance of corporations and ultimately provide decision-making support for decision makers of enterprises. Therefore, how to use the SAP BW model architecture to better realize enterprise data warehouses is one of the hot topics in the data warehouse industry today. For a large corporation, its branches and subsidiaries have deployed multiple sets of enterprise data warehouses. At the same time, because there are multiple sets of data warehouse systems, when the data model needs to be modified at the group level, the data model of the branch also needs to be modified accordingly, and the flexibility of maintenance is poor. Finally, every time the corporation needs to upgrade the version of the data warehouse, it needs to maintain and upgrade the version of the data warehouse of each branch and the maintenance cost is high. Therefore, how to integrate multiple sets of data warehouses distributed in various subsidiaries into a corporation enterprise data warehouse by designing the model hierarchy, so as to ensure the reliability of data, enhance the flexibility of model modification and reduce the cost of data warehouse. This paper completes the design of an enterprise data warehouse of a large corporation, which can be used for the summary and collation of data from multiple branches such as finance and sales of a corporation, effectively improving the efficiency of data utilization and ensuring the authenticity of data. At the same time, through hierarchical design, the problems of poor flexibility in model modification and high system maintenance costs are solved. © 2023 IEEE.

关键词： Data warehouses

来源：评论

学校读者我要写书评

暂无评论

BeeHive: Sub-second Elasticity forWeb Services with Semi-FaaS Execution 2023

BeeHive: Sub-second Elasticity forWeb Services with Semi-Faa...

引用

28th ACM international conference on Architectural Support for Programming Languages and Operating systems (ASPLOS)

作者： Zhao, Ziming Wu, Mingyu Tang, Jiawei Zang, Binyu Wang, Zhaoguo Chen, Haibo Shanghai Jiao Tong Univ SEIEE Inst Parallel & Distributed Syst Shanghai Peoples R China Shanghai AI Lab Shanghai Peoples R China Minist Educ China Engn Res Ctr Domain Specif Operating Syst Shanghai Peoples R China

ISBN: (纸本)9781450399166

Function-as-a-service (FaaS), an emerging cloud computing paradigm, is expected to provide strong elasticity due to its promise to auto-scale fine-grained functions rapidly. Although appealing for applications with good parallelism and dynamic workload, this paper shows that it is non-trivial to adapt existing monolithic applications (like web services) to FaaS due to their complexity. To bridge the gap between complicated web services and FaaS, this paper proposes a runtime-based Semi-FaaS execution model, which dynamically extracts time-consuming code snippets (closures) from applications and offloads them to FaaS platforms for execution. It further proposes BeeHive, an offloading framework for Semi-FaaS, which relies on the managed runtime to provide a fallback-based execution model and addresses the performance issues in traditional offloading mechanisms for FaaS. Meanwhile, the runtime system of BeeHive selects offloading candidates in a user-transparent way and supports efficient object sharing, memory management, and failure recovery in a distributed environment. The evaluation using various web applications suggests that the Semi-FaaS execution supported by BeeHive can reach sub-second resource provisioning on commercialized FaaS platforms like AWS Lambda, which is up to two orders of magnitude better than other alternative scaling approaches in cloud computing.

关键词： Cloud Computing Function-as-a-Service Java Virtual Machine

来源：评论

学校读者我要写书评

暂无评论

Non-Convex Optimal Power Flow Implementation by distributed Meta-Heuristic Optimization Algorithm 5

Non-Convex Optimal Power Flow Implementation by Distributed ...

引用

5th international conference on Energy, Electrical and Power Engineering, CEEPE 2022

作者： Zeng, Cong Zhu, Jizhong South China University of Technology School of Electric Power Guangzhou China

ISBN: (纸本)9781665479059

To achieve more accurate operation of power system, the models are sometime represented as a non-linear, non-convex and even multi-peak function, such as the fuel cost function with valve-point effects. However, to the best of the author's knowledge, the existing distributed optimization algorithms can only solve the convex problem. It is urged that proposing a novel distributed optimization technique to solve non-convex optimization problem. Due to the strong generalization ability of meta-heuristic algorithm, a novel distributed meta-heuristic optimization algorithm is proposed in this paper. In the meantime, a distributed power flow solution algorithm is embedded into each iteration. These two algorithms constitute a novel double-layer optimization mechanism to solve the non-convex optimal power flow (NCOPF), in which a set of optimizers (operators essentially) across the network to optimize the operation of each generation area in parallel while minimizing the total operational cost of the entire multi-area power system. The experimental results in two test systems demonstrate that the proposed algorithm does not implement distributed NCOPF solution only but also improve the solution accuracy, accelerate the convergence speed and enhance the robustness, especially in the large-scale system. © 2022 IEEE.

关键词： Power engineering Life estimation Robustness Power systems Large-scale systems Servers Fuels

来源：评论

学校读者我要写书评

暂无评论

Optimization of Consumption of Primary Fuel in Local Electricity systems Using Diesel Generators 8

Optimization of Consumption of Primary Fuel in Local Electri...

引用

8th IEEE international conference on Energy Smart systems, ESS 2022

作者： Denysiuk, Serhii Bielokha, Halyna Kolomiuchyk, Marina Igor Sikorsky Kyiv Polytechnic Institute Power Supply Department Kyiv Ukraine

ISBN: (数字)9798350334418

ISBN: (纸本)9798350399202

Microgrid can also be presented as a set of distributed generation sources (DGS) of electricity that are set up close to consumers and intended for their electricity supply. The need for parallel operation of several generators arises for the following reasons: it is necessary to ensure increased power supply reliability. An algorithm, which calculates the optimal distribution of generator power to ensure the load power P, which corresponds to the minimum value of fuel consumption, was developed. The developed algorithm can be used for the following purposes evaluation and research of optimal energy generation;in control systems for power distribution between generators. On average, in the case of optimal distribution, the cost reduction is 5%. © 2022 IEEE.

关键词： distributed power generation

来源：评论

学校读者我要写书评

暂无评论

SMT-Based Planning Synthesis for distributed System Reconfigurations 25th

SMT-Based Planning Synthesis for Distributed System Reconfig...

引用

25th international conference on Fundamental Approaches to Software Engineering (FASE) Held as Part of the Annual European Joint conferences on Theory and Practice of Software (ETAPS)

作者： Robillard, Simon Coullon, Helene Univ Montpellier CNRS LIRMM Montpellier France INRIA LS2N IMT Atlantique Nantes France

ISBN: (纸本)9783030994297;9783030994280

Large distributed systems with an emphasis on adaptability are now considered a necessity in many domains, yet reconfiguration of these systems is still largely carried out in an ad hoc fashion, a process that is both inefficient and error-prone. In this paper, we tackle the planification problem for the reconfiguration of distributed systems in the component-based reconfiguration model Concerto. Specifically, given some tasks to execute and a desired final state of the system, we show how to compute a reconfiguration plan that guarantees satisfaction of intercomponent dependencies and is also optimized for parallel execution. Our technique relies on an SMT solver to compute the required dependencies between components and ultimately schedule the reconfiguration. We illustrate the use of this technique on a variety of synthetic examples as well as a real use case in the context of an OpenStack system.

关键词： reconfiguration planning synthesis component models distributed systems

来源：评论

学校读者我要写书评

暂无评论

Performance Evaluation of NLP Models for European Portuguese: Multi-GPU/Multi-node Configurations and Optimization Techniques 24th

Performance Evaluation of NLP Models for European Portugue...

引用

24th international conference on Algorithms and Architectures for parallel Processing, ICA3PP 2024

作者： Santos, Daniel Miquelina, Nuno Schmidt, Daniela Quaresma, Paulo Nogueira, Vítor Beires VISTA Lab ALGORITMI Research Center University of Évora Évora Portugal

ISBN: (纸本)9789819615506

Natural Language Processing (NLP) research has predominantly focused on the English language, leading to a wealth of resources and advancements tailored to English. However, there is a growing need to extend these capabilities to other languages, such as European Portuguese, to ensure the inclusivity and accessibility of NLP technologies. In this study, we explore the evaluation of NLP models in the European Portuguese language using a multi-GPU/multi-node machine. We utilized various tools such as PyTorch, Accelerate, Transformers, and DeepSpeed with ZeRO Stage 3 to handle the computational demands of large-scale model training. We provide all the key aspects of our methodology to evaluate various models on translated GLUE tasks. Additionally, we introduce AiBERTa, a base model with 110 million parameters, developed and pre-trained on a corpus tailored for European Portuguese. This research highlights the effectiveness of advanced tools and distributed computing in scaling NLP model training, providing a foundation for future enhancements in European Portuguese language processing. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Research on parallel Control Strategy of Grid-forming of Power Conversion System 2

Research on Parallel Control Strategy of Grid-forming of Pow...

引用

2023 2nd international conference on New Energy, Energy Storage and Power Engineering, NESP 2023

作者： Zhou, Jinghua Yan, Hao North of China University of Technology Beijing China

A high proportion of power electronic equipment, distributed energy, and other new energy access to the grid system, low inertia and low damping to the power grid system, these kinds of power grid characteristics in power electric wire aging remote mountains or island areas, therefore, need energy storage system under the microgrid can provide inertial support for load or grid, improve the system damping characteristics. On this basis, the grid-forming control is proposed, so that the power conversion system can work under the off-grid, and can provide inertia and damping to maintain the system stability. In addition, large-scale energy storage systems often require multiple machines operating in parallel. In this paper, the topology of NPC for a power conversion system is studied and analyzed in off-grid mode. © Published under licence by IOP Publishing Ltd.

关键词： Damping

来源：评论

学校读者我要写书评

暂无评论

SMVAR: A Novel RNN Accelerator Based on Non-blocking Data Distribution Structure 25

SMVAR: A Novel RNN Accelerator Based on Non-blocking Data Di...

引用

25th IEEE international conferences on High Performance Computing and Communications, 9th international conference on Data Science and systems, 21st IEEE international conference on Smart City and 9th IEEE international conference on Dependability in Sensor, Cloud and Big Data systems and Applications, HPCC/DSS/SmartCity/DependSys 2023

作者： Xu, Jinwei Jiang, Jingfei Xu, Shiyao Gao, Lei National University of Defense Technology Science and Technology on Parallel and Distributed Laboratory Hunan Changsha China

ISBN: (纸本)9798350330014

Recurrent neural networks (RNNs) have become common models in the field of artificial intelligence to process temporal sequence task, such as speech recognition, text analysis, natural language processing, etc. To speedup RNNs inference, previous research proposed model sparse pruning techniques. However, the pruning rate of existing sparse pruning algorithms will be affected by pruning granularity and hardware friendliness. In order to approximate nonstructured pruning algorithm, this paper proposes Large Region Balanced Sparse (LRBS) pruning method, which does not limit sub-matrix shape and effectively improves pruning rate. Furthermore, we propose Sparse Matrix Vector Multiplication Accelerator for RNNs (SMVAR), which adopt non-blocking data distribution structure to solve the problem of efficient execution of large region irreg-ular matrix multiplication. To further improve the accelerator performance, SMVAR fine-grained adjusts the pipeline between macro-operations to reduce the idle of compute components. In addition, according to the coarse-grained block characteristics of LRBS algorithm, we develop the coarse-grained parallelism of accelerator with multiply compute units(CUs) structure. Experiments show that the pruning rate of our proposed LRBS is 1.25x-2.5x higher than that of the existing pruning algorithms. Compared with the existing work, the execution efficiency is improved by more than 2.02x-35.9x in the same application scenario. © 2023 IEEE.

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 53 54 55 56 57 58 59 60 61 62 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：