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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是3111-3120 订阅

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

详细简洁

排序：

Autonomous Underwater Vehicle Geomagnetic Perceiving Navigation Based on Policy Gradient

Autonomous Underwater Vehicle Geomagnetic Perceiving Navigat...

引用

international conference on Mechanical and Electronics Engineering (ICMEE)

作者： Hong Li HengYu Liu School of Automation Xi'an University of Posts and Telecommunications Xi'an China

ISBN: (数字)9798350307146

ISBN: (纸本)9798350307153

With the advancement of oceanic technology, there is a growing interest in the research of Autonomous Underwater Vehicle (AUV) for marine resource exploration and development. this article proposes a geomagnetic perceiving navigation method based on policy gradient for AUV without prior geomagnetic maps. this method leverages the intrinsic physical resource of the Earth by combining the search strategy of the gradient descent algorithm with geomagnetic perceiving navigation. By establishing motion equations and computing the gradients of the objective function, the heading angle of the AUV can be determined. During the navigation process of AUV, the objective function of various geomagnetic parameters will gradually decrease and converge to the target value, indicating the achievement of the autonomous navigation task for autonomous underwater vehicle. Simulation experiments demonstrate that this method enables the AUV to reach the desired target location in the absence of prior geomagnetic maps. A comparison with the hexagonal path planning algorithm verifies the effectiveness and superiority of the policy gradient based geomagnetic perceiving navigation method.

关键词： Earth Autonomous underwater vehicles Navigation Linear programming Search problems Path planning Mathematical models

来源：评论

学校读者我要写书评

暂无评论

Switching Sequence Based Energy Prediction Controller Design for Bidirectional DC-DC Converters

Switching Sequence Based Energy Prediction Controller Design...

引用

IEEE international conference on Power and Power and Renewable Energy (ICPRE)

作者： Junting Bai Yunpeng Wang Li Sun Haoyu Xu Haokai Zhao Changquan Pei Shanghai Marine Equipment Research Institute Shanghai China

ISBN: (数字)9798350377460

ISBN: (纸本)9798350377477

In this paper, a bi-directional DC-DC converter energy prediction controller based on switching sequence is designed as an example of Buck-Boost converter, which combines the idea of energy balance with predictive control, establishes a bi-directional DC-DC converter energy prediction model, and establishes a simplified objective function from the perspective of energy, and at the same time introduces the switching sequence to achieve a fixed switching frequency of the converter. the simulation model is constructed and compared with the traditional PI controller, and the simulation results show that the dynamic response time and overshoot of the DC bus voltage of the bi-directional DC- DC converter with the energy prediction controller are significantly reduced compared with that of the PI controller, and the voltage fluctuation of the DC bus can be stabilised more quickly.

关键词： PI control Voltage fluctuations Switching frequency Switches DC-DC power converters Bidirectional control Predictive models Linear programming Voltage control Predictive control

来源：评论

学校读者我要写书评

暂无评论

thermodynamic Assessment and Optimization of a Solar-thermal Natural Gas-Driven Polygeneration System: Energy, Exergy and Exergoeconomic Analysis

Thermodynamic Assessment and Optimization of a Solar-Thermal...

引用

Technology and Energy Management (ICTEM), international conference on

作者： Mohammad Mahdi Forootan Mahdi Asadi Abolfazl Ahmadi Rouhollah Ahmadi Department of Energy Systems Engineering Iran University of Science and Technology Tehran Iran

ISBN: (数字)9798350329797

ISBN: (纸本)9798350329803

the increasing global demand for energy, environmental concerns and the depletion of fossil fuel reserves, necessitates a paradigm shift towards sustainable energy solutions. Cogeneration emerges as a versatile approach to address these challenges. this article explores a solar-thermal natural gasdriven polygeneration system. the proposed system integrates solar-thermal heliostat energy and natural gas for power generation, hydrogen production, freshwater production, and domestic hot water. Using energy, exergy, and exergoeconomic analyses, the study examines the efficiency, cost-effectiveness, and environmental impact, contributing vital insights to enhance cogeneration systems’ efficacy and applicability. the Pareto front diagram, utilizing the LINMAP method, showcases optimal points for the system, balancing exergy efficiency and total cost rate as objective functions. the best point achieved through optimization exhibits an exergy efficiency of $36.24 \%$ and a total cost of 1208${\$}$/hr

关键词： thermodynamics Costs Cogeneration System performance Production Linear programming Software

来源：评论

学校读者我要写书评

暂无评论

Design of Velocity Control Model in Robot Vehicle Platoon

Design of Velocity Control Model in Robot Vehicle Platoon

引用

international conference on Robotics and Automation Engineering (ICRAE)

作者： Yuki Yoshida Eisuke Kita Graduate School of Informatics Nagoya University Nagoya Japan

ISBN: (数字)9798331518301

ISBN: (纸本)9798331518318

the vehicle platoon is a technology in which multiple vehicles runs in a short vehicle distance. When the velocity control algorithm is defined based on the vehicle following model, some model parameters should be determined. the aim of this study is to discuss the design of the model parameters. three objective functions are defined by terms related to the velocity, the vehicle distance and so on. the parameters are defined by solving the optimization problem including the objective functions. Model 1, which emphasizes the velocity terms, tends to reduce the overshoot amount of velocity, but the reaction to the velocity change tends to be poor. Model 2, which emphasizes the vehicle distance, tends to react the velocity change sensitively and has a large overshoot amount. However, there is a tendency to quickly accommodate the vehicle distance. Model 3 tends to reduce vehicle distance quickly. Next, models are implemented in LEGO MindStorms EV3 and an actual machine experiment is conducted. the experimental results were similar to the results obtained by numerical simulation.

关键词： Sensitivity Velocity control Linear programming Numerical simulation Numerical models Optimization Robots

来源：评论

学校读者我要写书评

暂无评论

Control Strategy of 4-terminal Multi-DC Link Hardware-in-the-loop (HIL) Simulator for Offshore Wind farms

Control Strategy of 4-terminal Multi-DC Link Hardware-in-the...

引用

international conference on Condition Monitoring and Diagnosis, CMD

作者： Hyunmin Kim Jongsu Yoon Kisun Han Power Transmission Laboratory Korea Electric Power Corporation (KEPCO) Research Institute

ISBN: (数字)9784886864314

ISBN: (纸本)9781665470155

the HVDC system has high efficiency due to low loss during long-distance transmission and has advantages in linking large-scale renewable energy sources compared to the AC system because it can inject a targeted amount of power to a specific point because it can control power flow. When renewable energy is connected using an extended Multi-DC Link system rather than a PTP type HVDC that simply connects two points, the efficiency and reliability of the system can be improved as well as the flexibility of the system, so that renewable energy can be more acceptable. In this paper, control strategy of Multi-DC Link and development of 4-terminal with hardware-in-the-loop (HIL) simulator is dealt with.

关键词： Renewable energy sources HVDC transmission Wind farms Control systems Propagation losses Linear programming Stability analysis

来源：评论

学校读者我要写书评

暂无评论

EVCS Optimal Planning Based on Dynamic Traffic Network Charging Demand Prediction

EVCS Optimal Planning Based on Dynamic Traffic Network Charg...

引用

IEEE international conference on Power and Power and Renewable Energy (ICPRE)

作者： Qijun Huang GuangZhou Halcyon Technology Co Ltd Guangzhou Guangdong China

ISBN: (数字)9798350377460

ISBN: (纸本)9798350377477

In order to solve the problem of mismatch between charging demand and supply caused by the rapid growth of electric vehicles (EV), and alleviate the problem of charging difficulty during peak travel hours, it is urgent to accelerate the reasonable construction of electric vehicle charging station (EVCS) and form a perfect EVCS network. therefore, this paper proposes a multi-objective EVCS optimal planning model considering the spatio-temporal distribution prediction of charging demand. the model takes the comprehensive cost, user dissatisfaction and voltage fluctuation as the objective function, and realizes the tripartite benefit trade-off between investors, EV users and grid company. Finally, the model is applied to the second ring road area of Kunming, Yunnan province, and fast convergence multi-objective equilibrium optimizer equipped with archive evolution path mechanism (FC-MOEO/AEP) algorithm is used to optimize the solution to verify the effectiveness and feasibility of the model.

关键词： Voltage fluctuations Fluctuations Roads Power system dynamics Predictive models Linear programming Power grids Electric vehicle charging Planning Vehicle dynamics

来源：评论

学校读者我要写书评

暂无评论

Preparation of Super-fine Cerium Oxide Using Mechanically Chemical Method

Preparation of Super-fine Cerium Oxide Using Mechanically Ch...

引用

the 9th international conference on Measurement and Control of Granular Materials,(MCGM’2011)(Global High Level Academic Seminar)

作者： Gu Ziying 1 , Gu Hangyu 2 , Peng Xinke 3 , Li Yongxiu 1 1 Research Center for Rare Earths & Micro/Nano functional Materials,Nanchang University, Nanchang 330031, China 2 China Jiangxi Corporation for international Economic and Technical Cooperation Nanchang 330033, China 3 Jiangxi Zhongdian Power Engineering Co..LTD, Nanchang 330039, China

the cerium oxide powder has been modified with mechanically chemical method. the effect of modifier, reaction time, calcine temperature, and amount of additives on the particle size, density, and hardness of super-fine cerium oxide was investigated. the complex super-fine cerium oxide powder was prepared, whose physical state and feature were characterized. the results show that modifier and powder may interact, which improves the properties of super-fine cerium oxide.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Modular verification of collaboration-based software designs 9

Modular verification of collaboration-based software designs

引用

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering

作者： Kathi Fisler Shriram Krishnamurthi Department of Computer Science Worcester Polytechnic Institute Worcester MA Computer Science Department Brown University Providence RI

ISBN: (纸本)9781581133905

Most existing modular model checking techniques betray their hardware roots: they assume that modules compose in parallel. In contrast, collaboration-based software designs, which have proven very successful in several domains, are sequential in the simplest case. Most interesting collaboration-based designs are really quasi-sequential compositions of parallel compositions. these designs demand and inspire new verification techniques. this paper presents algorithms that exploit the software's modular decomposition to verify collaboration-based designs. Our technique can verify most properties locally in the collaborations; we also characterize when a global state space construction is unavoidable. We have validated our proposal by testing it on several designs.

关键词： model checking collaboration-based design aspect-oriented programming computer-aided verification compositional reasoning software architecture

来源：评论

学校读者我要写书评

暂无评论

Process models, process programs, programming support 87

Process models, process programs, programming support

引用

Proceedings of the 9th international conference on Software Engineering

作者： M. M. Lehman Department of Computing Imperial College London SW7 2BH

ISBN: (纸本)9780897912167

One way of responding to a keynote speaker is to put the expressed views into context, pointing to highlights in the address, suggesting areas where alternative viewpoints might have been presented, exposing any chinks in the armour of the otherwise solid structure erected by the *** have made it impossible for this respondent to see the paper to be presented to ICSE9 by Professor L Osterweil before generating his own written response,. the above approach cannot, therefore, be taken. Instead, I raise a fundamental issue that follows from a comparison of the respective approaches to process modelling taken by Osterweil and myself. What is expressed here reflects my current understanding of his views on Process Programs and Process programming, my reaction to what I believe he will present. I can only hope that this will not do too much violence to views to be expressed in his Proceedings paper or in the Keynote lecture *** set the scene and to provide a basis and framework for discussion, let me first summarize my view of studies of the software development process in terms of my own involvement in *** the best of my knowledge, the first such study was a 1956 paper by Benington [BEN56]. In this, a process model with basic characteristics of that subsequently termed the 'Waterfall Model', was first presented. Current interest in the software development process makes it most appropriate that this historic paper is to re-presented at this conference. In 1968/9, totally unaware of the earlier paper, I engaged in a study whose conclusions were presented in a confidential report entitled 'the programming Process' [LEH69]. this has now become available in the open literature [LEH85, chapter 3] and is, I believe, as relevant today as at the time it was written. It was this study and the continuing research it triggered that subsequently led my colleagues and me to the concepts of process models, evolution dynamics, program evolution and support envir

关键词：

来源：评论

学校读者我要写书评

暂无评论

Control system development for test handler

Control system development for test handler

引用

IEEE international conference on Semiconductor Electronics (ICSE)

作者： K. John ON Semiconductor SCG Industries (M) Sdn Bhd Senawang Malaysia

this paper discuss on how to develop a hard real-time machine control system with Microsoft Windows NT Operating System, where the respond must be within 0.5 milliseconds. the attempt to use a general-purpose operating system (Microsoft Windows NT 4.0 Workstation) is because there is abundance of Commercial-Off-the-Shelf Components (COTS), easily available tools (compilers, and 3 party tools) and need not to learn another operating system behavior. the most important factor is there is no single dominant operating system or tools vendor for real-time operating system. Since the no single dominant real-time operating system development under real-time operating system is riskier and more costly. Ideally codes must be portable between different operating system where it is apparent with Windows platforms, Windows 95/98, Windows ME, Windows 2000, Windows XP or even Windows CE. Firstly study was done on how Microsoft Windows NT operating system works internally from materials from Microsoft Software Development Network (MSDN). Secondly study was done how to take advantage of the operating system to create a real time application. Microsoft Windows NT is a general purpose operating system that does not support real time application development, but it has all the vital elements that a real time operating system needs. the vital elements are priority-driven, preemptive scheduler, preemptive interrupt handler (for critical interrupts), deferred procedure calls (DPC) for non-critical (DPC executes after ISR), synchronization and deterministic response time. With these vital elements and some modification to application codes to enable it to execute in higher priority level, would result a real time application. this does not mean changing all the codes to higher priority is the solution, as it would cause system to malfunction as other device driver or low-level interface run at high priority too and this would lock up the system. With the combination of priority level, syn

关键词： Control systems System testing Operating systems Real time systems Application software Machine control Workstations programming Delay Hardware

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共320页 << < 308 309 310 311 312 313 314 315 316 317 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：