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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

3,590 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

2,393 篇 工学
- 1,892 篇 计算机科学与技术...
- 1,148 篇 软件工程
- 418 篇 电气工程
- 268 篇 控制科学与工程
- 199 篇 信息与通信工程
- 127 篇 机械工程
- 72 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 59 篇 电子科学与技术（可...
- 56 篇 材料科学与工程（可...
- 56 篇 交通运输工程
- 51 篇 生物工程
- 44 篇 化学工程与技术
- 40 篇 动力工程及工程热...
- 38 篇 土木工程
- 35 篇 仪器科学与技术
- 34 篇 冶金工程
672 篇 理学
- 482 篇 数学
- 106 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 73 篇 生物学
- 51 篇 化学
401 篇 管理学
- 336 篇 管理科学与工程(可...
- 148 篇 工商管理
- 81 篇 图书情报与档案管...
105 篇 教育学
- 103 篇 教育学
70 篇 医学
- 46 篇 临床医学
- 35 篇 基础医学(可授医学...
64 篇 经济学
- 64 篇 应用经济学
40 篇 法学
22 篇 文学
12 篇 农学
9 篇 艺术学
3 篇 军事学

主题

309 篇 linear programmi...
251 篇 programming
187 篇 dynamic programm...
142 篇 computer program...
118 篇 integer programm...
116 篇 optimization
109 篇 logic programmin...
86 篇 genetic programm...
82 篇 functional progr...
73 篇 computational mo...
68 篇 object oriented ...
66 篇 programming prof...
65 篇 parallel program...
56 篇 software enginee...
54 篇 costs
49 篇 mathematical mod...
48 篇 computer program...
46 篇 heuristic algori...
42 篇 artificial intel...
41 篇 computer science

机构

9 篇 univ london impe...
7 篇 inesc tec porto
6 篇 feup porto
6 篇 russian acad sci...
5 篇 c mast ubi covil...
4 篇 univ leicester l...
4 篇 vienna univ tech...
4 篇 institute of fun...
4 篇 chinese acad sci...
4 篇 university of am...
4 篇 univ nottingham ...
4 篇 beijing universi...
3 篇 weizmann inst sc...
3 篇 univ nottingham ...
3 篇 delft center for...
3 篇 international is...
3 篇 international bu...
3 篇 department of co...
3 篇 school of comput...
3 篇 univ cyprus dept...

作者

8 篇 catalao joao p. ...
6 篇 musirin ismail
5 篇 weiss gera
5 篇 marron assaf
4 篇 hirschfeld rober...
4 篇 ghani n
4 篇 katz guy
4 篇 saraswat vijay
4 篇 xiong rui
4 篇 funabiki nobuo
4 篇 fitiwi desta z.
4 篇 shi yong
4 篇 boercsoek josef
4 篇 jagadeesan radha
4 篇 gupta vineet
4 篇 michael n. young
4 篇 pesant gilles
4 篇 harel david
3 篇 muggleton stephe...
3 篇 faisal a. aldo

语言

3,508 篇 英文
56 篇 其他
26 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

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

共 3592 条记录，以下是3501-3510 订阅

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

详细简洁

排序：

Verification of Applicability of MOEAs to Many-Objective GP Problem

Verification of Applicability of MOEAs to Many-Objective GP ...

引用

international conference on Control, Decision and Information Technologies (CoDIT)

作者： Makoto Ohki Tottori Univeristy Tottori Japan

ISBN: (数字)9781728159539

ISBN: (纸本)9781728159546

In this paper, an trial application on Multi-Objective Evolutionary Algorithms (MOEAs) to a Many-Objective Genetic programming (MaOGP) Problem and their effectiveness verification. In several works, Multi-Objective GP (MOGP) using MOEAs is effective on such a function estimation problem for the cutting process of steel, a modeling of a non-linear systems and a truss optimization. However, their targets are two or three objective GP problems. there is not many researches on GP problems with more than four objectives, or MaOGP. Recent studies have reported that MOEAs are inappropriate for Many-Objecitve Optimization Problems (MaOPs), which includes four or more objectives. Although MOEA/D and NSGA-III, which are one of MaOEA, are known as effective algorithms for MaOPs, these algorithms, for example, require an many scalarization vectors or appropriate reference set to obtain a Pareto front that is widely and evenly distributed, they are not always easy to apply to real world problems. the MaOEAs are actually very sensitive techniques to the vectors or the reference set in the real problems. On the other hand, although it has been pointed out that MOEAs are not suitable for MaOP in verification reports with several benchmarks, there is no fact that MOEAs have been applied to MaOGP problems and their effectiveness has been denied. therefore, this paper tries to apply MOEAs, NSGA-II and SPEA2, to a test MaOGP problem and verify their effectiveness. Since we can easily change the difficulty and/or also parameters such as the number of objectives of the test problem, it is also expected to contribute to MaOGP research in the future.

关键词： Optimization Linear programming Sorting Information technology Indexes Statistics Sociology

来源：评论

学校读者我要写书评

暂无评论

Computational Energy Efficiency Optimization for IRS-Assisted MEC System: Active or Passive?

Computational Energy Efficiency Optimization for IRS-Assiste...

引用

IEEE international conference on Electronics and Communication Engineering (ICECE)

作者： Wenjing Hu Wen Chen Peng Wang Yuxiao Yang Sibin Liu College of Information Science and Technology Donghua University Shanghai China

ISBN: (数字)9798331517755

ISBN: (纸本)9798331517762

Active intelligent reflecting surfaces (AIRS) effectively overcome the multiplicative path loss effects encountered by passive intelligent reflecting surfaces (PIRS). To unleash the full potential of MEC systems, this paper investigates AIRS-assisted MEC systems in a multi-user scenario. Enhancing energy efficiency has emerged as a primary goal of 6G networks. Although AIRS has been shown to greatly improve the computational rate of MEC systems, its impact on computational energy efficiency (CEE) has not been fully studied. therefore, this study aims to maximize CEE as the optimization objective, posing a challenging non-convex fractional programming (FP) problem. To address this issue, we propose an iterative algorithm based on the Dinkel-bach method. We first transform the initial problem into a convex optimization problem using the FP method. We then employ the block coordinate descent (BCD) method to decouple the reformulated problem and derive closed-form optimal solutions for each subproblem through Lagrangian dual transformation and KKT conditions. Simulation results validate the effectiveness of the proposed method, and elucidate the preferable operating points for choosing between AIRS and PIRS in terms of CEE.

关键词： 6G mobile communication Multi-access edge computing Simulation Transforms programming Energy efficiency Convex functions Computational efficiency Iterative methods Optimization

来源：评论

学校读者我要写书评

暂无评论

A Precision-Compensated Linear Power Flow Model Based on Mapping Voltage Magnitudes from Logarithmic Space to Squared Space

A Precision-Compensated Linear Power Flow Model Based on Map...

引用

IEEE international conference on Power and Energy Applications (ICPEA)

作者： Haipeng Lai Zhigang Li Jiahui Zhang Xiang Bai Huajian Li Hongyuan Liang J. H. Zheng School of Electric Power Engineering South China University of Technology Guangzhou China School of Science and Engineering The Chinese University of Hong Kong Shenzhen Shenzhen China Shanxi Energy Internet Research Institute Taiyuan China

ISBN: (数字)9798350356113

ISBN: (纸本)9798350356120

Linear power flow is widely applied in various areas of power systems. the DC power flow model is a classical linear power flow model, but its main limitation is the inability to account for voltage magnitude. Other classical models that consider voltage magnitude are typically linearized in the original voltage magnitude space, leading to a computational accuracy bottleneck. To address this issue, this study first proposes an improved linear power flow model. the model remaps the voltage magnitude from logarithmic space to square space, preserving the nonlinear characteristics of the original current equation and compensating for the voltage phase angle. this approach overcomes the accuracy bottleneck of classical models. then, through matrix partitioning and transformation, the model achieves complete decoupling of the voltage magnitude and phase angle, avoiding nonconvex quadratic programming problems in optimization and enhancing computational efficiency. Finally, the accuracy and speed of the proposed model are validated through simulations across multiple test systems.

关键词： Visualization Accuracy Computational modeling Voltage Mathematical models Numerical models Power systems Quadratic programming Optimization Load flow

来源：评论

学校读者我要写书评

暂无评论

Two-Timescale Rolling Dispatch of RCs and MESSs During Distribution System Restoration

Two-Timescale Rolling Dispatch of RCs and MESSs During Distr...

引用

IEEE international conference on Power and Energy Applications (ICPEA)

作者： Ruifeng Zhao Wenxin Guo Jiangang Lu Min Zhao Jiaxu Du Electric Power Dispatching and Control Center of Guangdong Power Grid Co. Ltd Guangzhou China Key Laboratory of Smart Grid of Ministry of Education Tianjin University Tianjin China

ISBN: (数字)9798350356113

ISBN: (纸本)9798350356120

To repair distribution networks damaged by hurricanes, mobile energy storage systems (MESSs), wind energy, and repair collaborates (RCs) are typically arranged. But still, hurricanes can continue to cause damage during restoration, leading to new faults and interruptions in wind power. To address these issues, this paper introduces a two-stage rolling dispatch method across two timescales, taking into account the different response speeds of vehicle scheduling and system operations. Over an extended period, the scheduling of MESSs and RCs vehicles is optimized by the use of rolling optimization framework in the first-stage model to handle following faults, and projected wind speeds and load needs. Distributed generators (DGs) and MESS output decisions are made with real-time value on a short timescale. To make solving the nonlinear wind power cut-off model easier, it is also converted into a mixed-integer linear programming form. the approach is validated using the modified IEEE-69 distribution network. Results show that this approach effectively coordinates resources, reduces load loss, and improves system resilience to wind power cut-offs and faults during hurricanes.

关键词： Fault tolerance Distribution networks Wind power generation Maintenance engineering Hurricanes Real-time systems Mixed integer linear programming Optimization Load modeling Energy storage

来源：评论

学校读者我要写书评

暂无评论

Design of a Mobile System for Metro Value-Added Services

Design of a Mobile System for Metro Value-Added Services

引用

2018 7th international conference on Advanced Materials and Computer Science(ICAMCS 2018)

作者： Xian Zhu Linzhi Zhu School of Health Economics & Management Nanjing University of Chinese Medicine School of Information Management Nanjing University

In recent years,metro has not only become an important means of public transportation for local people,but also become a window to show a city's appearance and cultural *** our research,we comprehensively considered the additional services metro passengers may require and designed a mobile system used for providing them value-added services of city *** application was designed after functional requirement conducted seriously as four basic function modules(bicycle rental,umbrella rental,book exchange and city information) was ultimately *** the city metro's attribute of cultural carrying and information sharing has not been fully exploited and applied,this study is valuable and practical for the public construction of a city and provided more convenience for citizens.

关键词： Metro Value-added Services Smart City Mobile System System Design

来源：评论

学校读者我要写书评

暂无评论

A Framework for Tile Processing on Edge Servers for Roadside Traffic Surveillance 23

A Framework for Tile Processing on Edge Servers for Roadside...

引用

Proceedings of the 7th international conference on Algorithms, Computing and Systems

作者： Saumya Jaipuria Arani Bhattacharya Ansuman Banerjee Advanced Computing and Microelectronics Unit Indian Statistical Institute India Department of Computer Science Indraprastha Institute of Information Technology India

ISBN: (纸本)9798400709098

Roadside traffic monitoring is increasingly performed by deploying roadside high-resolution video cameras and then running Computer Vision (CV) models on the video data. Since computer vision models are compute-intensive as they utilize Deep Neural Networks (DNNs), the data is usually sent to one or more edge servers located adjacent to mobile base stations. Recent techniques propose running CV models on tiles of videos separately to detect and track small objects. Several CV models exist, each with different requirements of compute and memory. Since more compute and memory-intensive CV models provide higher accuracy, a key challenge of such techniques is to determine which vision model should be used on which tile. this becomes even more challenging if multiple videos are processed by the same edge server. In this paper, we first formulate this problem of model selection on edge devices as an Integer Linear programming (ILP) problem, and then propose a heuristic to solve it. Our experiments show that it is quite effective in practice.

关键词： Computer Vision Edge Computing Integer Linear programming

来源：评论

学校读者我要写书评

暂无评论

Suspending and resuming tasks in BDI agents 08

Suspending and resuming tasks in BDI agents

引用

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1

作者： John thangarajah James Harland David Morley Neil Yorke-Smith RMIT University Melbourne Australia Artificial Intelligence Center SRI International Menlo Park CA

ISBN: (纸本)9780981738109

Intelligent agents designed to work in complex, dynamic environments must respond robustly and flexibly to environmental and circumstantial changes. An agent must be capable of deliberating about appropriate courses of action, which may include reprioritising goals, aborting particular tasks, or scheduling tasks in a particular order. this paper investigates the incorporation of a mechanism to suspend and reconsider tasks within a BDI-style architecture. Such an ability provides an agent designer greater flexibility to direct agent operation, and it offers a generic means for handling conflicts between tasks. We investigate conditions under which a goal or a plan may be suspended, the process for suspending it, and the appropriate behaviours upon resumption. We give an operational semantics for suspending tasks in terms of the abstract agent language CAN, thus providing a general mechanism that can be incorporated into any BDI-based agent programming language.

关键词： agent reasoning formal models of agency reasoning (single and multi-agent) agent theories models and architectures

来源：评论

学校读者我要写书评

暂无评论

Learning at the nanoscale: research questions that the rapidly evolving interdisciplinarity of science poses for the learning sciences 06

Learning at the nanoscale: research questions that the rapid...

引用

Proceedings of the 7th international conference on Learning sciences

作者： Sherry Hsi Nora Sabelli Joseph Krajcik Robert Tinker Kirsten Ellenbogen The Exploratorium & NISE Network San Francisco CA SRI International Menlo Park CA University of Michigan and NCLT Michigan The Concord Consortium Concord MA Science Museum of Minnesota and NISE Network Saint Paul MN

ISBN: (纸本)9780805861747

Recent interdisciplinary discoveries in the sciences and engineering at the nanoscale, specifically in our ability to manipulate, molecules at atomic scales, suggests a need for the education community to reconsider the ways in which disciplinary-based sciences and mathematics are being taught in schools, as well as how the public might engage with nanoscale phenomena. this session will discuss key learning questions and their importance in helping to advance both conceptual reasoning from the macro, micro, nano, and atomic levels, as well as their implications for curricular restructuring, public programming, and teacher professional development. the timeliness and broader importance of this research derives in part from two NSF-sponsored workshops on nanoscale education held in 2005, the National Nanotechnology Initiative, and two multi-institutional NSF awards: a National Center for Learning and Teaching and the Nanoscale Informal Science Education Network. this session will discuss research implications for the learning sciences and education community.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Facilitating Comprehension: An NLP-Based Converter for 7th Grade Students to Transform English Sentences into Mathematical Expressions

Facilitating Comprehension: An NLP-Based Converter for 7th G...

引用

IEEE international conference on System Engineering and Technology

作者： Paula Jean C. Mendoza Jasmin A. Caliwag Roxanne A. Pagaduan Gerald T. Cayabyab Hazel San L. Patilano John Michael F. De Borja College of Computer Studies Technological Institute of the Philippines Quezon City Metro Manila Philippines

Based on research findings, a significant obstacle for students in learning mathematics is their difficulty understanding word problems. Converting verbal explanations into mathematical equations becomes difficult, especially when several procedures are necessary. thus, this study developed a supplemental tool for grade 7 students that is designed to assist them in effectively converting English language phrases into mathematical expressions, thereby enhancing their learning experience. this study encompasses both a web application and a translation algorithm. the web application is an educational tool that delivers content that teaches the mathematical concept of “Translating English Phrases and Sentences into Mathematical Equations and Statements”. Meanwhile, the translation algorithm, developed using Stanza, a Python Natural Language Processing (NLP) package, is tasked with transforming given English mathematical phrases into their corresponding mathematical expressions. the system was created using the Rapid Application Development (RAD) software development model to implement progressive improvements within three development iterations, and it was then assessed for functional suitability, usability, and reliability using the ISO/IEC-25010 System and software quality model. the outcomes of the survey evaluation revealed that the system proved to be fitting for learning math phrase translations. It proved dependability, convenience, and usability. Furthermore, the algorithm’s precision was evaluated, with 175 predictions yielding an accuracy rate of 81.14%. In summary, this study introduces a valuable resource for math educators and learners, enhancing their comprehension of math phrase translations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Integral Reinforcement Learning-Based Optimal Control for Nonzero-Sum Games of Multi-Player Input-Constrained Nonlinear Systems 21

Integral Reinforcement Learning-Based Optimal Control for No...

引用

Proceedings of the 7th international conference on Robotics and Artificial Intelligence

作者： Qiuye Wu Bo Zhao Derong Liu School of Automation Guangdong University of Technology China School of Systems Science Beijing Normal University China

ISBN: (纸本)9781450385855

this paper investigates an integral reinforcement learning (IRL)-based optimal control scheme to solve nonzero-sum games of multi-player input-constrained nonlinear systems with unknown drift dynamics. the IRL method is introduced to obviate the identification procedure of the unknown drift dynamics. In order to achieve Nash equilibrium for each player, the simplified optimal control policy for each player is obtained by solving the coupled Hamilton-Jacobi equation with the critic neural network only. thus, the computational resource is saved and the control structure is easy to realize. the closed-loop system is guaranteed to be uniformly ultimately bounded based on the Lyapunov stability analysis. Simulation results illustrate the effectiveness of the developed control scheme.

关键词： input constraints nonzero-sum games neural networks integral reinforcement learning adaptive dynamic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共360页 << < 347 348 349 350 351 352 353 354 355 356 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：