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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,044 篇 会议
100 篇 期刊文献
54 册 图书

馆藏范围

3,198 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,152 篇 工学
- 1,675 篇 计算机科学与技术...
- 964 篇 软件工程
- 340 篇 电气工程
- 251 篇 控制科学与工程
- 196 篇 信息与通信工程
- 101 篇 机械工程
- 67 篇 电子科学与技术（可...
- 47 篇 化学工程与技术
- 47 篇 生物工程
- 46 篇 动力工程及工程热...
- 44 篇 仪器科学与技术
- 43 篇 石油与天然气工程
- 41 篇 材料科学与工程（可...
- 40 篇 生物医学工程（可授...
- 30 篇 交通运输工程
- 27 篇 土木工程
633 篇 理学
- 460 篇 数学
- 96 篇 物理学
- 79 篇 生物学
- 76 篇 系统科学
- 71 篇 统计学（可授理学、...
- 46 篇 化学
291 篇 管理学
- 219 篇 管理科学与工程(可...
- 103 篇 工商管理
- 83 篇 图书情报与档案管...
92 篇 教育学
- 92 篇 教育学
63 篇 医学
- 49 篇 临床医学
- 35 篇 基础医学(可授医学...
41 篇 法学
- 36 篇 社会学
28 篇 经济学
- 28 篇 应用经济学
19 篇 文学
19 篇 农学
2 篇 军事学
2 篇 艺术学

主题

220 篇 linear programmi...
212 篇 programming
170 篇 dynamic programm...
120 篇 logic programmin...
96 篇 integer programm...
76 篇 functional progr...
75 篇 optimization
72 篇 computer program...
67 篇 object oriented ...
65 篇 programming prof...
65 篇 computer program...
64 篇 genetic programm...
64 篇 parallel program...
64 篇 software
50 篇 quadratic progra...
48 篇 education
47 篇 software enginee...
44 篇 computational mo...
36 篇 computer science
36 篇 hardware

机构

10 篇 univ british col...
7 篇 lakhshya cyber s...
7 篇 univ edinburgh e...
6 篇 lakhshya cyber s...
6 篇 amrita vishwa vi...
4 篇 graduate school ...
4 篇 ural fed univ ek...
4 篇 center for compu...
4 篇 univ minho ctr a...
4 篇 naval systems an...
4 篇 univ manchester ...
4 篇 faculty of engin...
4 篇 school of electr...
4 篇 russian acad sci...
4 篇 department of in...
4 篇 chalmers univ te...
3 篇 electric dispatc...
3 篇 school of inform...
3 篇 school of electr...
3 篇 nanjing research...

作者

8 篇 schaub torsten
8 篇 de meuter wolfga...
8 篇 cheney james
8 篇 tompits hans
7 篇 woltran stefan
7 篇 pradeep menon
6 篇 r vinayakumar
6 篇 gebser martin
6 篇 soman k. p.
6 篇 vinayakumar r.
6 篇 kp soman
6 篇 menon pradeep
5 篇 liu yang
5 篇 t.t. shannon
5 篇 eiter thomas
5 篇 binder walter
5 篇 wadler philip
4 篇 leone nicola
4 篇 jun zhang
4 篇 de araújo costa ...

语言

3,133 篇 英文
48 篇 其他
12 篇 中文
3 篇 俄文
2 篇 西班牙文
1 篇 意大利文

检索条件"任意字段=9th International Conference on Functional Programming"

共 3198 条记录，以下是191-200 订阅

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

详细简洁

排序：

Modeling Local Energy Markets Transactions for Multi-Energy Systems in Low-Voltage Unbalanced Distribution Networks 9

Modeling Local Energy Markets Transactions for Multi-Energy ...

引用

9th IEEE international Smart Cities conference, ISC2 2023

作者： Garcia-Munoz, Fernando Borray, Andres Felipe Cortes Gonzalez-Garrido, Amaia Irec Catalonia Institute for Energy Research Barcelona Spain Derio48160 Spain

ISBN: (纸本)9798350397758

Local energy markets (LEMs) for multi-energy systems have emerged as promising solutions to facilitate energy sharing within local communities, potentially reducing energy costs, promoting renewable energy generation, and increasing energy efficiency. In this regard, analyzing the energy traded among users in local communities is crucial, as well as the characteristics of the electrical network where they are connected. In the residential sector, the low-voltage (LV) distribution network plays a vital role due to its unbalanced nature, where loads and distributed energy resources are unevenly distributed per phase, leading to conditions such as single-phase generators serving users with three-phase connections. thus, to accurately model user transactions and capture the interaction between buyers and sellers on the LV network, this article proposes a deterministic mixed-integer second-order cone programming model for LEMs in an unbalanced active distribution network, considering both electricity and gas as energy vectors. the unbalanced model is compared with the balanced single-phase formulation using a modified version of a real LV feeder, showing that balanced models could overestimate the energy traded in LEM and have a more stable voltage pattern, which could underestimate the real voltage limits and affect the network safety. © 2023 IEEE.

关键词： Second-order cone programming

来源：评论

学校读者我要写书评

暂无评论

Distributionally robust optimal scheduling for multi-energy with uncertainties 9

Distributionally robust optimal scheduling for multi-energy ...

引用

9th international conference on Energy Materials and Electrical Engineering, ICEMEE 2023

作者： Zhang, Pengfei Xi, Zenghui Chuangxin, Guo Grid Shanghai Electric Power Company Shanghai China Electric Power Research Institute State Grid Shanghai Electric Power Company Shanghai China Zhejiang University College of Electrical Engineering Hangzhou China

ISBN: (纸本)9781510672765

Under the background of the energy revolution, the new power system is gradually transforming into the energy Internet. With the large-scale penetration of wind power and the diversification of service modes of regional integrated energy systems, the uncertainty of source and load has become a difficult problem in the planning and operation of large-scale integrated energy systems. Aiming at the above problems, this paper proposes a highly general distribution-integrated integrated energy system distribution robust scheduling method. First, the large-scale new IES is divided into electric-gas transmission network and multi-energy flow energy hub distribution network. the power-gas-heat-hydrogen system's distribution and transmission process is finely modeled;then, an uncertain set of wind power and multi-energy flow loads based on discrete scene sets of historical data is constructed, and a data-driven comprehensive energy system with integrated transmission and distribution min -max-min two-stage distribution robust optimization model;Finally, the non convex airflow equation is transformed into a second-order cone form, and the original MINLP problem is transformed into a MISOCP problem. After dual transformation, the overall model is solved using the SOC-C&CG method. © COPYRIGHT SPIE. Downloading of the abstract is permitted for personal use only.

关键词： Wind energy System integration Mathematical optimization Integration Stochastic processes Computer programming Data modeling Matrices Reliability Sustainability

来源：评论

学校读者我要写书评

暂无评论

***: Julia programming Language Application for Molecular Dynamics Trajectory Processing 9th

***: Julia Programming Language Application for Molecular D...

引用

9th Russian Supercomputing Days international conference, RuSCDays 2023

作者： Pisarev, Vasily Panov, Mikhail HSE University Moscow Russia Joint Institute for High Temperatures of RAS Moscow Russia

ISBN: (纸本)9783031494345

Molecular simulations and molecular dynamics in particular are among the most performance-demanding computational methods. As the scale of simulations increases, the task of processing the simulation results becomes a computationally-hungry problem as well. the usual approach to build easy-to-use post-processing tools is based on providing an interface to a high-performance library called from a scripting language such as Python. We overview the advantages of using Julia programming language for building such tools, due to its easy surface syntax close to that of scripting languages and JIT compilation enabling high runtime performance. then, we overview the package *** written in Julia, regarding its customizability, abstractions for common processing workflows and performance characteristics. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Molecular dynamics

来源：评论

学校读者我要写书评

暂无评论

A First-in-Class Block-Based programming Language Distance Calculation 9th

A First-in-Class Block-Based Programming Language Distance C...

引用

9th international Work-conference on the Interplay Between Natural and Artificial Computation (IWINAC)

作者： Imbernon Cuadrado, Luis-Eduardo Riesco, Angeles Manjarres Lopez, Felix de la Paz Hipoo Madrid Spain Univ Nacl Educ Distancia Dept Artificial Intelligence Madrid Spain

ISBN: (纸本)9783031065279;9783031065262

Due to the rising interest in Computer Science (CS) in primary school, block-based programming languages have gained much significance. Within this article, we provide a first insight of our research into the identification of help needs of primary school children, when they are performing Scratch exercises. A first-in-class distance calculation method has been defined that takes into account the block-based programming languages idiosyncrasy.

关键词： Automatic hint generation Distance calculation Block-based programming language Teaching with Scratch

来源：评论

学校读者我要写书评

暂无评论

Automatic Grading of programming Assignments in Moodle 9

Automatic Grading of Programming Assignments in Moodle

引用

9th international conference in Software Engineering Research and Innovation (CONISOFT)

作者： Franco Gaona, Erick Perez Camacho, Celeste Esperanza Morales Castro, Wendy Morales Castro, Jose Carmen Sanchez Rodriguez, Alejandro Daniel Susana Avila-Garcia, Maria Univ Guanajuato Dept Estudios Multidisciplinarios Yuriria Mexico

ISBN: (纸本)9781665443616

Providing timely and meaningful feedback of programming assignments to students is very important to ensure a smooth learning curve. However, this can be a time-consuming task for teachers and instructors. there are some tools that already provide support for grading programming assignments, and some are already integrated with learning management systems that allow teaching staff to manage all this information in a more effective way. In this work, an analysis of tools for automatic grading of programming assignments in Moodie is carried out. A comparison of these tools is presented and one of them is tested and recommended for its future implementation and deployment. Finally, some recommendations for further improvements are described.

关键词： Automatic grading Moodle Virtual programming Lab programming practices LMS

来源：评论

学校读者我要写书评

暂无评论

Dynamic Optimal Power Flow on Microgrid Incorporating Battery Energy Storage Considering Operational and Maintenance Cost 9th

Dynamic Optimal Power Flow on Microgrid Incorporating Batter...

引用

9th international conference and Exhibition on Sustainable Energy and Advanced Materials, ICE-SEAM 2023

作者： Rovianto, Eki Delfianti, Rezi Lenggana, Bhre Wangsa Harsito, Catur Department of Mechanical Engineering Vocational School Universitas Sebelas Maret Surakarta57126 Indonesia Department of Electrical Engineering Faculty of Advanced Technology and Multidiscipline Universitas Airlangga Surabaya Surabaya Indonesia

ISBN: (纸本)9789819701056

Renewable energyEnergy is currently used to overcome fossil fuel problems. the existence of renewable energyEnergy provides a role for ordinary people to produce energyEnergy through the installation of photovoltaicPhotovoltaic and wind turbinesTurbine. PhotovoltaicsPhotovoltaic can only have maximum power for about 3 to 4 h in Surakarta, Indonesia. the maximum energyEnergy is distributed to the load, and the excess energyEnergy is stored in the energyEnergy storage batteryBattery. the cost incurred by renewable energyEnergy generation is nonexistent. However, in this modeling, renewable energyEnergy generation costs are taken from the operational and maintenance (O&M) costs per year. this consideration will represent the optimal cost approach under actual conditions. the system in this paper uses microgrid modeling based on a modified IEEE 30 Bus system. the microgrid is connected to the utility grid and batteryBattery system, the 2nd and 3rd parties. Optimal Power Flow and Mixed Integer Non-Linear programming are used to obtain the most minimal cost that the system can incur. the result of the cost comparison with and without considering O&M cost shows that the cost to be incurred by microgrid is higher than about 12.328% when considering O&M cost. However, these costs may represent a more accurate cost approach. © the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Adaptive Dynamic programming-Based Optimal Consensus Design: A Brief Survey

Adaptive Dynamic Programming-Based Optimal Consensus Design:...

引用

IEEE international conference on Control Science and Systems Engineering (CCSSE)

作者： Zitao Chen Minyi Liu Zeheng Li Kairui Chen Yun Zhang Guangdong University of Technology Guangzhou China Guangzhou University Guangzhou China

this article reviews the recent development of op-timal control-based consensus design with incomplete system knowledge. Adaptive dynamic programming, which is one of the most efficient algorithm, is widely used in solving the optimal consensus problem. Specifically, it will first review the optimal consensus problem. then, the technical derivations for the solution of optimal consensus problem by adaptive dynamic programming will be outlined. Important theoretical problems will be briefly discussed. It will show that adaptive dynamic programming is promising for practical applications in optimal consensus design with incomplete system knowledge.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Algebraic Semantics of Register Transfer Level in Synthesis of Stream Calculus-Based Computing Big Data in Livestream 9th

Algebraic Semantics of Register Transfer Level in Synthesis ...

引用

9th EAI international conference on Nature of Computation and Communication, ICTCC 2023

作者： Van Dang, Pham Cong Vinh, Phan Bao Khang, Nguyen Graduate University of Science and Technology Vietnam Academy of Science and Technology Hanoi Viet Nam Institute of Applied Mechanics and Informatics Ho Chi Minh City Viet Nam Faculty of Information Technology Nguyen Tat Thanh University Ho Chi Minh City Viet Nam British International School Ho Chi Minh City Ho Chi Minh City Viet Nam

ISBN: (纸本)9783031594618

this paper represents verification algorithms and register transfer level (RTL) specification as algebraic aspects proposed to validate the results of RTL synthesis. Major properties of this approach, the conception of an algebraic semantics-based model (ASM), to be interpreted as a Chu space, is viewed as an algebraic semantics foundation for the RTL formalization and the conception of algebraic semantics-based specification automata (ASASPEC) are given for formal correctness of the results of RTL synthesis. Approaching formal verification is focused on functional equivalence examining to define if the algebraic RTL automata (ASARTL) are equivalent to ASASPEC. To put it another way, the comparison is determined as an assessing that examines the synthesis algorithm is produced an effective RTL specification. © ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2024.

关键词： Big data

来源：评论

学校读者我要写书评

暂无评论

A Simulated Annealing Based Approach for the Roman Domination Problem 9th

A Simulated Annealing Based Approach for the Roman Dominatio...

引用

9th international conference on Metaheuristics and Nature Inspired Computing (META)

作者： Greilhuber, Jakob Schober, Sophia Iurlano, Enrico Raidl, Gunther R. TU Wien Algorithms & Complex Grp Favoritenstr 9-1921 A-1040 Vienna Austria

ISBN: (纸本)9783031692567;9783031692574

the Roman Domination Problem is an NP-hard combinatorial optimization problem on an undirected simple graph. It represents scenarios where a resource shall be economically distributed over its vertices while guaranteeing that each vertex has either a resource itself or at least one neighbor with a sharable surplus resource. We propose several (meta-)heuristic approaches for solving this problem. First, a greedy construction heuristic for quickly generating feasible solutions is introduced. A special feature of this heuristic is an optional advanced tiebreaker. this construction heuristic is then randomized and combined with a local search procedure to obtain a greedy randomized adaptive search procedure (GRASP). As an alternative, we further propose a simulated annealing (SA) algorithm to improve the solutions returned by the construction heuristic. As we observe different pros and cons for the GRASP and the SA, we finally combine them into a simulated annealing hybrid, which interleaves phases of greedy randomized construction and phases of simulated annealing. All algorithms are empirically evaluated on a large set of benchmark instances from the literature. We compare to an exact mixed integer linear programming model that is solved by Gurobi as well as to a variable neighborhood search from the literature. In particular the simulated annealing hybrid turns out to yield on average the best results, making it a new state-of-the-art method for the Roman domination problem.

关键词： Roman Domination Problem Metaheuristics GRASP Simulated Annealing

来源：评论

学校读者我要写书评

暂无评论

Innovating System of Real-Time Log Collection and Analysis from Students Learning Visual programming Language 9

Innovating System of Real-Time Log Collection and Analysis f...

引用

9th ACIS international Virtual conference on Applied Computing and Information Technology, ACIT 2022

作者： Oomachi, Yuhei Nakao, Motoi Graduate School of Engineering Kyushu Institute of Technology Japan Faculty of Engineering Kyushu Institute of Technology Japan

ISBN: (纸本)9781450397605

In recent years, the programming education has become popular in Japan to improve IT skills. In fact, the programming education is spreading to the public education, including the compulsory in elementary schools. However, teachers were unable to provide the smooth support to students due to their unfamiliarity for programming ***, we tried the development of learning support system for teacher using the real-Time collection and analysis of log data during learning process. the system provides the teacher each student status (Activity Level) in real-Time to support student. this Activity Level was derived from the total number of log data per unit time for each student. In addition, the teacher quickly notices students to support owing to the graphical color of Activity Level. Besides, it is verified to be able to apply the present system to the evaluation method of learning process, as *** believe that this system has the possibility of innovating support and evaluation method for teachers of learning process. © 2022 ACM.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共320页 << < 16 17 18 19 20 21 22 23 24 25 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：