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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 会议
132 篇 期刊文献
76 册 图书

馆藏范围

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

日期分布

学科分类号

2,398 篇 工学
- 1,896 篇 计算机科学与技术...
- 1,152 篇 软件工程
- 418 篇 电气工程
- 269 篇 控制科学与工程
- 199 篇 信息与通信工程
- 127 篇 机械工程
- 72 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 59 篇 电子科学与技术（可...
- 56 篇 材料科学与工程（可...
- 56 篇 交通运输工程
- 51 篇 生物工程
- 44 篇 化学工程与技术
- 40 篇 动力工程及工程热...
- 38 篇 土木工程
- 35 篇 仪器科学与技术
- 34 篇 冶金工程
672 篇 理学
- 482 篇 数学
- 106 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 73 篇 生物学
- 51 篇 化学
402 篇 管理学
- 337 篇 管理科学与工程(可...
- 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,513 篇 英文
56 篇 其他
26 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

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

共 3597 条记录，以下是951-960 订阅

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

详细简洁

排序：

What is programming? Putting all together, Part II –the Cognitive Skills associated

What is Programming? Putting all together, Part II –The Cog...

引用

international conference in Software Engineering Research and Innovation (CONISOFT)

作者： Reyes Juárez-Ramírez Samantha Jiménez Verónica Tapia-Ibarra Universidad Autónoma de Baja California Tijuana B.C. México Instituto Tecnológico de León León Guanajuato México

ISBN: (数字)9781728125244

ISBN: (纸本)9781728125251

programming demands a high level of intellectual work and also cognitive skills of high level order. To learn programming is not an easy task, neither to teach nor train those skills. In this paper we present, as a second part of our research, the foundations of the cognitive skills extracted from classic and specialized literature, in order to set a basis for new studies addressed on how to train cognitive skills and how to assess them. We present a survey to investigate if students and professional software developers have awareness about the implication of cognitive skills in the programming process. the survey has encouraging results.

关键词：

来源：评论

学校读者我要写书评

暂无评论

international Space Station (ISS) Roll-Out Solar Array (ROSA) Spaceflight Experiment Mission and Results 7

International Space Station (ISS) Roll-Out Solar Array (ROSA...

引用

7th IEEE World conference on Photovoltaic Energy Conversion (WCPEC) / A Joint conference of 45th IEEE PVSC / 28th PVSEC / 34th EU PVSEC

作者： Spence, Brian R. White, Steve LaPointe, Matt Kiefer, Steve LaCorte, Peter Banik, Jeremy Chapman, David Merrill, John Deployable Space Syst Inc DSS Santa Barbara CA 93111 USA Air Force Res Lab Space Vehicle Directorate Kirtland AFB NM 87117 USA

ISBN: (纸本)9781538685297

Deployable Space Systems, Inc., (DSS) Roll-Out Solar Array (ROSA) is a new flexible-blanket technology that achieves ultra-high performance and affordability for end-users. Recently, in June 2017, a spaceflight demonstration mission of the ROSA solar array funded by the U.S. Air Force was conducted on the international Space Station (ISS). the 7-day long mission was specifically structured to validate functional deployment, deployed dynamics behavior and deployed stiffness, deployed thermal / dimensional stability, stowed vibration survivability, retraction and re-deployment, photovoltaic power production and on-orbit operating temperature. Results from the highly successful spaceflight mission confirmed all key performance metrics for validating functional deployment, deployed dynamics, vibration survivability, retraction and redeployment, dimensional stability, and power production. the mission also validated many detailed analytical models that are being applied towards future mission applications. the mission success has resulted in a flight ready status of the ROSA technology and has enabled many commercial infusion implementations.

关键词： solar array flexible blanket photovoltaic cells

来源：评论

学校读者我要写书评

暂无评论

A two-stage stochastic programming model for the resource constrained project scheduling problem under uncertainty 7

A two-stage stochastic programming model for the resource co...

引用

7th international conference on Operations Research and Enterprise Systems, ICORES 2018

作者： Bruni, Maria Elena Di Puglia Pugliese, Luigi Beraldi, Patrizia Guerriero, Francesca Department of Mechanical Energy and Management Engineering Unical Italy

ISBN: (纸本)9789897582851

Due to the increasing competitiveness of businesses, project planning and scheduling have become a challenging theme in the last years. In this paper, we propose a two-stage stochastic programming model for the resource constrained project scheduling problem, taking into account the stochasticity of activity durations. In this formulation, assuming that some activity duration scenarios are known, resource allocations are taken in the first stage, while scheduling decisions are postponed in the second stage. the resulting problem is a mixed integer problem with recourse, where binary variables appear in the first stage. In order to efficiently solve the problem, a decomposition algorithm is developed, based on the well-known integer L-shaped method. Detailed computational results are presented for a set of benchmark instances taken from the literature. Copyright 2018 by SCITEPRESS – Science and Technology Publications, Lda. All rights reserved

关键词： Stochastic programming

来源：评论

学校读者我要写书评

暂无评论

Concept for Improved Automation of Distributed Systems with a Declarative Control based on OPC UA and REST

Concept for Improved Automation of Distributed Systems with ...

引用

international conference on Control, Mechatronics and Automation (ICCMA)

作者： Erdal Tantik Reiner Anderl Department of Computer Integrated Design TU Darmstadt Darmstadt

ISBN: (纸本)9781728137889

the main difference between conventional automation and current approaches of digitized industrial processes is the use of the Internet. the Internet enables the development of distributed systems consisting of loosely coupled and interacting components such as robots, plants and control software. the components are not permanently tied to each other, but rather dynamically combined according to the specific requirements of the target system. this results in highly flexible systems that are distributed globally and across company boundaries. the development, maintenance and modification of various components is decentralized and can therefore lead to incompatibilities that can impair their interoperability. this paper describes an approach for the interaction of control software, which ensures interoperability of components in distributed systems. the underlying principles of REST are used to automatically identify properties in the structural models of OPC UA and use them to determine the required processes for further invocation. this enables extensive modifications of the individual components without creating incompatibilities.

关键词： control engineering computing distributed processing Internet open systems process control production engineering computing Web services production engineering computing control engineering computing Distributed Systems Distributed processing open systems Web Service Process control Internets rest originating point code Interoperability CALLING(programming)

来源：评论

学校读者我要写书评

暂无评论

Optimization of Tourism Route “Balkondes Tour” in Borobudur using the Greedy Algorithm

Optimization of Tourism Route “Balkondes Tour” in Borobudu...

引用

international conference on Cyber and IT Service Management (CITSM)

作者： Candra Agustina Sardiarinto Diah Ayu Ambarsari Eka Rahmawati Ahmad Fauzi Information Technology University of Bina Sarana Informatika Jakarta Indonesia

In order to support community-based tourism, the Ministry of BUMN launches the Balkondes program or Balai Ekonomi Desa in 2017. the manifestation of the program is tourism in each village in the Borobudur District. At present, there are 20 Balkondes in Borobudur which are ready to be visited besides the Borobudur Temple. Each Balkondes has characteristics and characteristics that differ according to the potential of the Village. So tourists will not feel disadvantaged visiting some or all of the Balkondes. However, often tourists do not have enough time to visit all of the Balkondes. the problem that is often faced by tourists is the limited time of visit. therefore, to help tourists determine tourist attractions and routes that must be passed to get maximum results an application needs to be made. To determine the route applied Greedy algorithm, then the results are processed to calculate the estimated visit time and travel time. the results of this calculation are then applied to an application called TurBo. this application is designed based on Android to determine several destinations based on the allocation of time owned by tourists. Making it easier for tourists to set more goals with more efficient time.

关键词： Greedy algorithms Software Libraries Economics Containers programming Java

来源：评论

学校读者我要写书评

暂无评论

A Multi-robot Control System based on ROS for Exploring Disaster Environment

A Multi-robot Control System based on ROS for Exploring Disa...

引用

international conference on Control, Mechatronics and Automation (ICCMA)

作者： Kyon-Mo Yang Jong-Boo Han Kap-Ho Seo Korea Institute of Robot and Convergence Pohang Korea

this control system is implemented to coordinate multiple robots in cooperative exploration tasks, in which a task assignment algorithm is used for calculating the expectation cost to achieve the required tasks and then allocate necessary tasks to specific robots. Robot control systems are used to gather crucial information about a disaster environment, such as a victim's position or changes in an indoor environment before a human is able to enter that environment. there are practical problems in using previous systems because these systems need professionals to operate these multi-robots. the proposed system automatically distributes tasks to each robot based on target positions that are selected by the person who does not possess any prior knowledge about robot operation. therefore, the operator needs only to determine the target position of interest and not be concerned about controlling the robot. Moreover, the system is implemented using ROS in order to add functions and apply this system to various types of robots. this system has been verified and evaluated by Turtlebot 3 in the Gazebo simulator, as well as in a real setting by conducting the system usability scale (SUS) with 23 firefighters.

关键词： control engineering computing disasters mobile robots multi-robot systems rescue robots robot programming

来源：评论

学校读者我要写书评

暂无评论

Discrete Glowworm Swarm Optimization Algorithm With Key Strategy Adjustment

Discrete Glowworm Swarm Optimization Algorithm With Key Stra...

引用

international conference on Computer Science and Network Technology (ICCSNT)

作者： Jizhen Li Kunjun Cui Xinpeng Du Dongshan Cheng Zihao Liu State Key Laboratory of Aerospace Dynamic Satellite Control Center Xi'an China

A discrete glowworm swarm optimization algorithm with key strategy adjustment (KSA-DGSO) is proposed to solve the problems that the current discrete glowworm swarm optimization algorithm (DGSO) is lack of application features combined with practical problem, rigorous and accurate scientific basis, which is caused by updating the position of the individual glowworm according as the random probability. the KSA-DGSO algorithm is applied to search for the optimal control strategy of complex network security risk. the position update mechanism of the algorithm is reset according to the change case of the objective function with the key strategy, which prevent the algorithm into the local stalemate or cause a poor accuracy. the experiment results show that the optimal objective function is average reduced by about 2.55%-4.83% with the KSA-DGSO algorithm than the DGSO algorithm, and the optimal iteration number is average reduced by about 9.85%-12.80%. the superiority of the KSA-DGSO algorithm is validated by simulations, and the effect of the change for the control parameters to the complex network security risk optimal control is further analyzed from the simulated results.

关键词： Security Heuristic algorithms Optimal control Communication networks Complex networks Linear programming Particle swarm optimization

来源：评论

学校读者我要写书评

暂无评论

Research on Unit Combination for Electric Vehicles Charging Based on Genetic Algorithm

Research on Unit Combination for Electric Vehicles Charging ...

引用

international conference on Computer Science and Network Technology (ICCSNT)

作者： Yan Zhao Chao Zhang Xiangrong Meng Zening Zhao State Grid Shan Dong Electric Power Research Institute Jinan China Shandong University of Science and Technology Qingdao China

As a new type of vehicle, electric vehicles can improve energy efficiency and reduce environmental pollution. However, as a special load, the charging behavior of electric vehicles is random and intermittent. In this paper, the genetic algorithm is used to solve the charging and discharging constraints of electric vehicles. Taking the lowest cost as the objective function, a combined start and stop model oflarge-scale electric vehicle charging and discharging considering multiple constraints is established, and the optimal combination and minimum power generation cost are obtained. the common algorithms of unit commitment are also introduced. Genetic algorithm is used to solve complex nonlinear optimization problems. Multiple constraints and special requirements for objective functions can be considered. With Matlab and finite iteration, the optimal solution and generating unit output are solved for a specific example, and a set of optimal start - stop combinations in a group of 24 hours is obtained.

关键词： Electric vehicles Generators Genetic algorithms Sociology Statistics Linear programming Power generation

来源：评论

学校读者我要写书评

暂无评论

Joint Optimization of Energy Storage and Wind Power Generation for an Islanded system 7

Joint Optimization of Energy Storage and Wind Power Generati...

引用

7th international IEEE conference on Renewable Energy Research and Applications, ICRERA 2018

作者： Nguyen-Hong, Nhung Nguyen-Duc, Huy Nakanishi, Yosuke Graduate School of Environment and Energy Engineering Waseda University Tokyo Japan School of Electrical Engineering Hanoi University of Science and Technology Hanoi Viet Nam

ISBN: (纸本)9781538659823

For remote island communities, the hybrid wind-diesel generation system is a very common solution to provide electricity. Nowadays, the energy storage systems have become increasingly viable. the energy storage system helps to balance the stochastic nature of renewable energy sources. therefore, in the generation and expansion planning studies, both renewable sources and energy storage devices should be considered in a single optimization problem. this approach leads to highly complicated optimization models, especially when several uncertainty factors are included. this paper proposes a stochastic optimization model to determine optimal combinations of wind turbines and energy storage systems. the optimization takes into account the uncertainty in wind generation. the study is conducted based on an actual island power system. © 2018 IEEE.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Tuning Concurrency of the Business Process by Dynamic programming 2018

Tuning Concurrency of the Business Process by Dynamic Progra...

引用

7th international conference on Software and Computer Applications (ICSCA)

作者： Yaghoubi, Mehdi Zahedi, Morteza Shahrood Univ Technol Comp & IT Engn Dept Shahrood Iran

ISBN: (纸本)9781450354141

Business process management systems (BPMS) are vital complex information systems to compete in the global market and to increase economic productivity. Workload balancing of resources in BPMS is one of the challenges that researchers have studied for a long time. Workload balancing of resources increases the system stability, improves the efficiency of the resources and enhances the quality of their products. In this paper, tuning concurrency of the business process is introduced as a problem in BPMS. It focuses on application issues in improvement of workload balance of resources and uniformity in the workload of each resource. thus, a delay vector is defined where each element of the delay vector makes a synthetic delay at the beginning of each business process. A dynamic optimization algorithm is proposed to calculate the delay vector. the comparison of the state-space search algorithm to proposed algorithm shows improving speed of 5.8 years to 37 hours.

关键词： Business process management systems Tuning concurrency of business processes Workload balancing Dynamic optimization Time complexity

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共360页 << < 92 93 94 95 96 97 98 99 100 101 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：