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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

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

主题

1,298 篇 programming
768 篇 linear programmi...
579 篇 programming prof...
487 篇 application soft...
485 篇 parallel program...
374 篇 computer archite...
371 篇 computer science
361 篇 hardware
351 篇 dynamic programm...
311 篇 software systems
311 篇 logic programmin...
269 篇 software enginee...
267 篇 concurrent compu...
265 篇 optimization
258 篇 computational mo...
244 篇 object oriented ...
239 篇 parallel process...
232 篇 control systems
207 篇 costs
198 篇 operating system...

机构

19 篇 department of el...
16 篇 carnegie mellon ...
16 篇 school of electr...
12 篇 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 篇 m.r. lyu
8 篇 derong liu
8 篇 lu w.-s.
7 篇 wu youfeng
7 篇 t.m. khoshgoftaa...
7 篇 k.h. kim
7 篇 sitek pawel
7 篇 leucker martin

语言

8,069 篇 英文
100 篇 其他
33 篇 中文
19 篇 葡萄牙文
5 篇 西班牙文

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

共 8225 条记录，以下是161-170 订阅

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

详细简洁

排序：

Research on Control Strategy of Energy Storage System Based on Day-ahead Energy Prediction 14

Research on Control Strategy of Energy Storage System Based ...

引用

14th IEEE international symposium on Power Electronics for Distributed Generation systems, PEDG 2023

作者： Xiang, Muchao Ling, Zaixun Zhu, Linjie Gu, Yiming Zhang, Zhe Huang, Liang State Grid Hubei Electric Power Research Institute Wuhan China State Grid Hubei Electric Power Company Maintenance Company Wuhan China Wuhan University of Technology Wuhan China

ISBN: (纸本)9798350328233

As the number of new energy vehicles continues to rise, the demand for charging facilities is also increasing. The new energy production and consumption system represented by "optical storage and charging"will play an important role in achieving carbon neutrality. However, "optical storage and charging"integrated charging stations generally have problems such as poor photovoltaic energy absorption capacity, negative impact of load characteristics on the power grid, and low economic benefits. In view of the above phenomena, this paper takes the integrated charging station of "optical storage and charging"as the research object, and proposes a control strategy of energy storage system based on day-ahead energy prediction, Firstly, the day-ahead PV generation curve and EV charging curve are predicted, and then the model is modeled with the goal of minimizing the all-day electricity purchase cost and reducing the peak load as the constraint condition. The optimal solution is obtained by using the linear programming algorithm, and the feasibility and effectiveness of the strategy are verified by an example in the MATLAB simulation environment. © 2023 IEEE.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Combining Hierarchical MILP-MPC and Artificial Potential Fields for Multi-robot Priority-Based Sanitization of Railway Stations 16th

Combining Hierarchical MILP-MPC and Artificial Potential Fie...

引用

16th international symposium on Distributed Autonomous Robotic systems (DARS)

作者： Caccavale, Riccardo Ermini, Mirko Fedeli, Eugenio Finzi, Alberto Garone, Emanuele Lippiello, Vincenzo Tavano, Fabrizio Univ Napoli Federico II Via Claudio 21 I-80125 Naples Italy ReteFerroviariaItaliana Piazza Croce Rossa 1 I-00161 Rome Italy ULB Ecole Polytech Bruxelles Campus Solbosch CP 165-55 Ave FD Roosevelt 50 Brussels Belgium

ISBN: (纸本)9783031537035;9783031514975;9783031514968

We propose a distributed framework, driving a team of robots for the sanitization of very large dynamic indoor environment, as the railway station. A centralized server uses the Hierarchical Mixed Integer Linear programming to coordinate the robots assigning different zones where the cleaning is a priority;thanks to the Model Predictive Control approach we use historical data about the distribution of people and the knowledge about the transportation service of the station, to predict the future dynamic evolution of the position of people in the environment and the spreading of the contaminants. Each robot navigates the large environment represented as a gridmap, exploiting the Artificial Potential Fields technique in order to reach and clean the assigned areas. We tested our solution considering real data collected by the WiFi network of the main Italian railway station, Roma Termini. We compared our results with a Decentralized Multirobot Deep Reinforcement Learning approach.

关键词： Hierarchical Mixed-Integer Linear programming Model Predictive Control Artificial Potential Fields distributed multi-agent Priority-Based Sanitization

来源：评论

学校读者我要写书评

暂无评论

A Model to Automatically Evaluate Beginners' Programs Based on Syntactic Knowledge Point and Deep Learning Technology 12

A Model to Automatically Evaluate Beginners' Programs Based ...

引用

Joint 12th international Conference on Soft Computing and Intelligent systems / 23rd international symposium on Advanced Intelligent systems (SCIS and ISIS)

作者： Yan, Yu Kurokawa, Hirokuni Ritsumeikan Univ Coll Informat Sci & Engn Kusatsu Japan Intelligent Vis & Image Syst Co Ltd Personnel & Training Div Tokyo Japan

ISBN: (纸本)9781665499248

This report provided a CNN model to automatically evaluate beginners' programs based on their understanding of program concepts. The model input is a beginner's program and the output is a letter grade for each program. To train the model, each input program was encoded as a matrix, composed of positive integers by Syntactic Knowledge Point (SKP) technology. Labels for the training data were made by manually evaluating each program in the database, based on the beginner's understanding of each of the 42 program concepts. In addition, several other technologies such as supervised learning, data standardization, data augmentation have also been used to train the model. Finally, a model with an accuracy of 0.93 has been produced, setting a new benchmark in this young field.

关键词： Computer programming Education Automatic Evaluating Convolutional Neural Network Syntactic Knowledge Point Program Concept

来源：评论

学校读者我要写书评

暂无评论

Convergence of HPC and Big Data in extreme-scale data analysis through the DCEx programming model 34

Convergence of HPC and Big Data in extreme-scale data analys...

引用

34th IEEE international symposium on Computer Architecture and High Performance Computing (SBAC-PAD)

作者： Garcia-Blas, Javier Fernandez Munoz, Javier Carretero, Jesus Marozzo, Fabrizio Talia, Domenico Trunfio, Paolo Fernandez-Pena, Alberto Martin de Blas, Daniel Univ Carlos III Madrid Comp Sci & Engn Dept Leganes Spain Univ Calabria DIMES Dept Arcavacata Di Rende Italy Univ Carlos III Madrid Inst Invest Sanitaria Gregorio Maranon Dept Bioingn & Ingn Aerosp Madrid Spain

ISBN: (数字)9781665451550

ISBN: (纸本)9781665451550

High-level programming models can help application developers to access and use resources without the need to manage low-level architectural entities, as a parallel programming model defines a set of programming abstractions that simplify the way by which a programmer structures and expresses her/his algorithm. Early proposals of Exascale programming tools are based on the adaptation of traditional parallel programming languages and hybrid solutions. This incremental approach is too conservative, often resulting in very complex code. This paper describes the design features, the programming constructs, and the runtime mechanisms of the Data Centric programming model for Exascale systems (DCEx). DCEx is based on structuring applications into data-parallel blocks. Blocks are units of shared-and distributed-memory parallel computation, communication, and migration in the memory/storage hierarchy. Blocks and their message queues are mapped onto processes and placed in memory/storage by the DCEx runtime. Those data-parallel blocks are orchestrated by using distributed parallel patterns that simplify the development cost. DCEx aims to reach the convergence of traditional HPC programming models, mainly based on MPI, with the emerging technologies based on the data intensive paradigms. To demonstrate the potential of DCEx, we carried out an experimental evaluation developing a real-world diffusion-weighted magnetic resonance imaging data processing application in a neuroimaging research context.

关键词： Big Data HPC convergence programming model PGAS parallel patterns

来源：评论

学校读者我要写书评

暂无评论

Peachy Parallel Assignments (EduPar 2024)

Peachy Parallel Assignments (EduPar 2024)

引用

1st international Conference on Smart Energy systems and Artificial Intelligence (SESAI)

作者： Lazar, Alina Scheelk, Ethan Shoop, Elizabeth Bunde, David P. Youngstown State Univ Youngstown OH 44555 USA Macalester Coll St Paul MN USA Knox Coll Galesburg IL USA

ISBN: (纸本)9798350364613;9798350364606

We present two new assignments in the Peachy Parallel Assignments series of assignments for teaching parallel and distributed computing. Submitted assignments must have been successfully used previously and are selected for being easy for other instructors to adopt and for being "cool and inspirational" so that students spend time on them and talk about them with others. The first assignment in this paper familiarizes students with the RAFT library for performing GPU-accelerated computation, pail of the RAPIDS AI ecosystem. Students use this library to accelerate a Radius Nearest Neighbor computation, finding all points within a given distance from a query point. In the second assignment, students parallelize a bird flocking simulation using OpenMP or OpenACC. It is a visual assignment which allows students to readily see the performance improvement.

关键词： Peachy Parallel Assignments Parallel computing education Parallel programming Curriculum development Visualizing parallelism RAPIDS Al ecosystem Radius Nearest Neighbor Boid flocking algorithm

来源：评论

学校读者我要写书评

暂无评论

Educational robots in higher education -findings from an international survey 17

Educational robots in higher education -findings from an int...

引用

17th IEEE international symposium on Applied Computational Intelligence and Informatics, SACI 2023

作者： Nagy, Eniko Holik, Ildiko Óbuda University John von Neumann Faculty Institute of Cyberphysical Systems Budapest Hungary Óbuda University Kalman Kando Faculty of Electrical Engineering Trefort Agoston Centre of Engineering Education Budapest Hungary

ISBN: (纸本)9798350321104

Today's technological developments are also having an impact on education. In higher education, there are more and more innovations in content and methodology, such as educational robots, which can be used not only for teaching programming, but also as teaching assistants and pedagogical assistants. Tutor robots offer new opportunities for curriculum development, motivating students, stimulating interest and developing soft skills, while preparing young people to use the latest technological tools. In our online survey, conducted in summer 2022, we explored the views of educators in 14 countries on the characteristics of robot-supported innovation in higher education. The results of the survey show that educators are open to educational innovations. Educational robots are mainly used for teaching programming. They believe that the use of social robots significantly improves students' creativity and self-expression. The results of this research have shown that the use of educational social robots is an excellent opportunity for methodological innovation and provides scope for experimental teaching. © 2023 IEEE.

关键词： Educational robots

来源：评论

学校读者我要写书评

暂无评论

Ascending the Ladder to Self-Sustainability Achieving Open Evolution in an Interactive Graphical System

Ascending the Ladder to Self-Sustainability Achieving Open E...

引用

ACM SIGPLAN international symposium on New Ideas, New Paradigms, and Reflections on programming and Software (Onward!)

作者： Jakubovic, Joel Petricek, Tomas Univ Kent Canterbury Kent England Charles Univ Prague Prague Czech Republic

ISBN: (纸本)9781450399098

programming is usually based on an inconvenient separation between an implementation level and a user level. Self-sustaining systems expose their implementation at their user level so that they can be modified and improved from within. However, the few examples that exist are tightly linked to textual language-based accounts of compiler bootstrapping. If we want systems to be truly open for modification, we need to step beyond programming languages and support more structured, visual ways of programming as well. How the bootstrapping process can work in such an interactive context is important yet unexplored territory. This essay is a critical report on our first-hand experience of building one such system named BootstrapLab. We trace and reconstruct the steps for achieving self-sustainability in an interactive, structured, graphical context: choose the platform;design the substrate;implement temporary infrastructure;implement a high-level language;pay off outstanding substrate debt;provide for domain-specific notations. Throughout, we discuss the challenges involved, identifying design forces that shaped the decisions and capturing heuristics that resolved these forces in our case. Both positive and negative results are featured, including the efficacy of the heuristics. We close by suggesting how to generalise what worked in our particular case to alternative paths and starting points. The enterprise as a whole takes us a further step towards achieving open and malleable programming systems for everyone.

关键词： self-sustaining self-sustainable interactive bootstrapping visual programming context-specific domain-specific

来源：评论

学校读者我要写书评

暂无评论

Parallel Simulation of Power systems with High Penetration of Distributed Generation Using GPUs and OpenCL 13

Parallel Simulation of Power Systems with High Penetration o...

引用

13th international symposium on Power Electronics for Distributed Generation systems (PEDG)

作者： Zhang, Junjie Mittenbuehler, Marcel Razik, Lukas Benigni, Andrea Forschungszentrum Julich IEK 10 Energy Syst Engn D-52428 Julich Germany Rhein Westfal TH Aachen D-52056 Aachen Germany Raz InformING D-52070 Aachen Germany JARA Energy D-52425 Julich Germany

ISBN: (数字)9781665466189

ISBN: (纸本)9781665466189

In this paper, we present the use of parallel-in-space simulation approach to accelerate the dynamic simulation of power systems with high penetration of distributed generation, i. e. high number of power electronic devices. The approach is implemented using the OpenCL framework and executed on a graphic processing unit (GPU). We benchmark our prototype implementation using a distribution network with increasing number of distributed generator which is modeled by voltage source inverter. Results show that the computation time for the distributed generators solution stays nearly constant with the increasing number of the distributed generators in the network.

关键词： Parallel programming power system simulation power electronics

来源：评论

学校读者我要写书评

暂无评论

Stabilization using shifted equilibria for saturated discrete-time linear systems 12

Stabilization using shifted equilibria for saturated discret...

引用

12th IFAC symposium on Nonlinear Control systems (NOLCOS)

作者： Braun, Philipp Jungers, Marc Zaccarian, Luca Australian Natl Univ Sch Engn Canberra ACT Australia Univ Lorraine CNRS CRAN F-54000 Nancy France Univ Trento Trento Italy Univ Toulouse LAAS CNRS Toulouse France

ISBN: (纸本)9781713872344

We discuss controller designs for asymmetric saturated discrete-time linear systems. Under the assumption that a locally stabilizing controller of the origin is known, we augment the original controller with an additional term that vanishes in a neighborhood of the origin. The augmented controller outperforms the original controller in terms of the estimate of the region of attraction. The paper translates the results discussed in Braun et al. (2022a,b), from the continuous-time setting to the discrete-time setting, and numerically verifies that the results derived for continuous-time systems are recovered if the discrete-time system is obtained through an Euler discretization of a continuous-time system with a sufficiently small sampling rate. Copyright 2023 The Authors. This is an open access article under the CC BY-NC-ND license (hrrps:/crearivecommons,org licenses/by-nc-nd/4.0/)

关键词： systems with saturation Lyapunov methods asymptotic stabilization discrete-time systems semidefinite programming.

来源：评论

学校读者我要写书评

暂无评论

A Deep Dive into Task-Based Parallelism in Python

A Deep Dive into Task-Based Parallelism in Python

引用

1st international Conference on Smart Energy systems and Artificial Intelligence (SESAI)

作者： Ruys, William Lee, Hochan You, Bozhi Talati, Shreya Park, Jaeyoung Almgren-Bell, James Yan, Yineng Fernando, Milinda Biros, George Erez, Mattan Burtscher, Martin Rossbach, Christopher J. Pingali, Keshav Gligoric, Milos Univ Texas Austin Austin TX 78712 USA Texas State Univ San Marcos TX USA

ISBN: (纸本)9798350364613;9798350364606

Modern Python programs in high-performance computing call into compiled libraries and kernels for performance critical tasks. However, effectively parallelizing these finer-grained, and often dynamic, kernels across modern heterogeneous platforms remains a challenge. First, we perform an experimental study to examine the impact of Python's Global Interpreter Lock (GIL), and potential speedups under a GIL-less PEP703 future, to guide runtime design. Using our optimized runtime, we explore scheduling tasks with constraints that require resources across multiple, potentially diverse, devices through the introduction of new programming abstractions and runtime mechanisms. We extend an existing Python tasking library, Parla, to augment its performance and add support for such multi -device tasks. Our experimental analysis, using tasks graphs from synthetic and real applications, shows at least a 3x (and up to 6x) performance improvement over its predecessor in scenarios with high GIL contention. When scheduling multi-GPU tasks, we observe an Ax reduction in per-task launching overhead compared to a multi-process system.

关键词： task runtime parallel programming Python heterogeneous computing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 13 14 15 16 17 18 19 20 21 22 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：