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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

3,593 篇 电子文献
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,511 篇 英文
56 篇 其他
26 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

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

共 3595 条记录，以下是401-410 订阅

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

详细简洁

排序：

Multi-Objective Optimal Planning of Coal-Fired Plants Flexibility Retrofits Considering Multi-Technology Options

Multi-Objective Optimal Planning of Coal-Fired Plants Flexib...

引用

China international Electrical and Energy conference (CIEEC)

作者： Yaofei Sun Mingfei Ban College of Computer and Control Engineering Northeast Forestry University Harbin China

ISBN: (数字)9798350359558

ISBN: (纸本)9798350359565

Retrofitting coal-fired power plants (CPPs) is a way to accommodate ever-increasing variable renewable energy (VRE) in coal-dominated power systems in countries like China and India. Yet, how to retrofit the CPPS cost-effectively is an important issue to address. this paper proposes a multi-objective two-stage planning approach based on the none-dominated sorting genetic algorithm II (NSGA II). It considers both economic and flexibility requirements for the power system. At the planning stage, optimal technical options considering investment constraints and technical constraints are generated. At the operation stage, a mixed-integer linear programming (MILP) based model considering the detailed start-up and shut-down processes of the CPP is established. then the optimal solution is selected from the Pareto solution set using the Technique for Order Preference by Similarity to an Ideal Solution (TOPSIS). Finally, case studies demonstrate the proposed approaches and show the potential of retrofitting CPPs to enhance power system flexibility.

关键词： Renewable energy sources Maintenance engineering Planning Power systems Mixed integer linear programming Power generation Load modeling

来源：评论

学校读者我要写书评

暂无评论

A Mixed Integer Nonlinear programming Model and Heuristic Solutions for an Automated Demand Response System for Large Facilities 7

A Mixed Integer Nonlinear Programming Model and Heuristic So...

引用

Moratuwa Engineering Research conference (MERCon) / 7th international Multidisciplinary Engineering Research conference

作者： Rodrigo, Asanka S. Ranawaka, Ama Mandasmitha Abeywickrama, Mewan Arachchi, Devin Akila Malawara Univ Moratuwa Dept Elect Engn Moratuwa Sri Lanka

ISBN: (纸本)9781665437530

Demand Response is utilized around the globe to alleviate the peak demand economically and to manage reliability-compromising emergencies in power systems. Sri Lanka requires an effective Demand Response system to cater the peak demand more economically than dispatching expensive thermal power plants, while minimizing sub-optimal consumption patterns exhibited by consumers during peak demand periods. therefore, this paper is focused on the development of analgorithm for an Automated Demand Response system for large facilities, which is customized to suit the requirements of the Sri Lankan power system. Under this system, both the utility organization and the consumers are expected to be mutually benefited. this algorithm consists of three levels: deciding on whether or not to execute an Automated Demand Response event for a particular time interval, determining the optimum facility-level demand reductions, and determining the optimum appliance- level demand reductions. Mixed integer nonlinear programming and a heuristic method are used to solve the optimization problems in this algorithm. Results of this algorithm are analysed using a miniature model of the Automated Demand Response system, consisting of fifteen power plants and five industrial and general-purpose facilities.

关键词： demand response system operator mixed integer non linear programming supply side management

来源：评论

学校读者我要写书评

暂无评论

Skill Generalization for Dual-Arm Robot Flipping Manipulation Using OLC-DMP Method 7

Skill Generalization for Dual-Arm Robot Flipping Manipulatio...

引用

7th IEEE international conference on Advanced Robotics and Mechatronics

作者： Huang, Haifeng Zeng, Chao Xu, Sheng Yang, Chenguang South China Univ Technol Coll Automat Sci & Engn Guangzhou Peoples R China Guangdong Univ Technol Sch Automat Guangzhou Peoples R China Chinese Acad Sci Shenzhen Inst Adv Technol Shenzhen Peoples R China

ISBN: (数字)9781665483063

ISBN: (纸本)9781665483063

Collaborative tasks for dual-arm robots, such as box flipping tasks, require tight cooperation between the arms, which are always difficult to program and execute autonomously for robots. Learning from demintration is a way to achieve efficient programming for robots. However, it is tough to generalize the learned skills to new tasks in dual-arm collaborative tasks. Because different motion behaviors are often learned independently in the conventional skill learning algorithms, while the motion of the arms are coupled with each other in collaborative tasks. Subsequently, the original coupling relationship between the two arms is always ignored while performing a generalized task. In this paper, we resolve the coupling of the two arms, and propose an object-level constrained dynamic movement primitives (OLC-DMP) model for the box flipping task, such that the generalized trajectories can still satisfy the certain constrained relations. In addition, we have built a dual-arm teleoperation demonstration platform for demonstrating the flipping task. Comparative experiments using the Baxter robot are conducted to verify the effectiveness of the proposed method.

关键词： Couplings Mechatronics Heuristic algorithms Dynamics Collaboration programming Manipulators

来源：评论

学校读者我要写书评

暂无评论

Implementation of SM4 block cipher on CUDA GPU and its analysis 7

Implementation of SM4 block cipher on CUDA GPU and its analy...

引用

7th international conference on Platform Technology and Service (PlatCon)

作者： Eum, Si-Woo Kim, Hyun-Jun Kwon, Hyeok-Dong Jang, Kyung-Bae Kim, Hyun-Ji Seo, Hwa-Jeong Hansung Univ Div IT Convergence Engn Seoul South Korea

ISBN: (数字)9781665459570

ISBN: (纸本)9781665459570

SM4 is a symmetric key algorithm developed by the China National Cryptographic Authority. In this paper, the parallel implementation of SM4 block cipher commonly used in China was performed on GPU. the SM4 block cipher has an implementation that uses an 8-bit Sbox table and an implementation that uses a 32-bit T-table. Measuring the performance of each of the two table implementations, the Ttable implementation performed approximately 0.75x worse than the Sbox table implementation. Additionally, Implemented SM4 to use shared memory for better performance. the result is a performance improvement of approximately 1.06x similar to 1.19x when using shared memory in the Sbox table implementation.

关键词： SM4 Block cipher GPU Shared memory Parallel implementation CUDA programming

来源：评论

学校读者我要写书评

暂无评论

Transportation Planning Decision-Making Using Intuitionistic Fuzzy programming

Transportation Planning Decision-Making Using Intuitionistic...

引用

international conference on Contemporary Computing and Informatics (IC3I)

作者： Pinki Gulia Vikrant Sharma Manik Rakhra Kapil Jairath Sakshi Suri Rakesh Kumar Department of Mathematics Lovely Professional University Phagwara Punjab India Computer Science and Engineering Graphic Era Hill University Adjunct professor Graphic Era Deemed to be University Dehradun Uttarakhand India Department of computer science and Engineering Lovely professional University Phagwara Punjab India Department of Sciences Trinity College Jalandhar Punjab India School of design-II Interior & Furniture design Lovely Professional University Phagwara Punjab India

ISBN: (数字)9798350350067

ISBN: (纸本)9798350350074

In this research, we use intuitionistic fuzzy programming to bring insight into transportation planning decision-making processes, namely multi-objective optimization (MOO). Considerations for transportation time and prices are made in the case study, which entails moving things from one location to another. In order to improve the model’s capacity to deal with uncertainty, the supply and demand parameters are represented using crisp parameters. With the goal of simultaneously minimizing time and overall cost, the study interacts MOO with crisp data. Our solution is shown to be feasible by means of a hypothetical numerical issue. With linear membership as well as non-membership functions in particular, the transportation planning problem is tackled and solved. As a result of offering decision-makers with thorough solutions that successfully balance many objectives, the results highlight the effectiveness of the intuitionistic fuzzy programming technique in addressing real-world transportation planning difficulties.

关键词： Uncertainty Supply and demand Decision making Transportation programming Linear programming Planning Numerical models Informatics Optimization

来源：评论

学校读者我要写书评

暂无评论

Symbolic Inference Based on Rule Instantiation

Symbolic Inference Based on Rule Instantiation

引用

international conference on Artificial Intelligence and Big Data (ICAIBD)

作者： Yunhao Liu Zongkui He Shiying Liu Chengdu Institute of Computer Applications Chinese Academy of Sciences Chengdu China University of Chinese Academy of Sciences Beijing China University of Electronic Science and Technology of China Chengdu China Sichuan Provincial Computer Federation Chengdu China

ISBN: (数字)9798350385106

ISBN: (纸本)9798350385113

Symbolic computation, as a focal point of research in automated reasoning, has made significant strides in recent decades, particularly in solving polynomial equations systems. Several computer algebra systems have been developed to assist humans in advanced mathematics, physics, engineering, and other fields. Inference rules are often described in code, requiring proficiency in their specific syntax for editing, which poses a challenge for non-programmer users. this paper introduces a novel approach utilizing an expression tree-based matching algorithm. this method matches rule expressions with instance expressions in a human-like manner, identifying multiple sets of variable substitutions. It achieves expression-level rule design independent of programming, making it applicable directly for formula equivalence transformations and inequality scaling.

关键词： Knowledge representation Syntactics programming Knowledge discovery Cognition Polynomials Inference algorithms

来源：评论

学校读者我要写书评

暂无评论

Automatic programming Method and System of Multi-Axis CNC Pipe Bender

Automatic Programming Method and System of Multi-Axis CNC Pi...

引用

Advanced Algorithms and Control Engineering (ICAACE), international conference on

作者： Boyang Zhang Yulan Wei Liangyou Li Jiwen Peng Hongtao Han Bing Li School of Engineering Huzhou University Huzhou China Zhejiang Heliang Intelligent Equipment Co. Ltd. Huzhou China Zhejiang Sany Equipment Co Ltd. Huzhou China

ISBN: (数字)9798350361445

ISBN: (纸本)9798350361452

the all-electric CNC pipe bender can be used to replace the hydraulic CNC pipe bender to bend pipe fittings. the user inputs the required bending parameters through the specially designed user interface, and the calculation module calculates the motion trajectory of the elbow based on the parameters entered by the user, and determines the bending radius, central axis and coordinate values of each position of the elbow. the G-code generation module generates the corresponding G-code according to the calculated motion trajectory, and the transmission module is responsible for transmitting the generated G-code to the CNC pipe bender to make it perform processing operations. the CNC pipe bender controls the movement of each axial direction of the pipe bending machine according to the received G-code instructions. the fully automated processing process is realized, and the labor cost is reduced.

关键词： Automatic programming Process control Manuals Hydraulic systems Bending User interfaces Reliability engineering

来源：评论

学校读者我要写书评

暂无评论

Design of Dual-Robot Collaborative Handling Control System

Design of Dual-Robot Collaborative Handling Control System

引用

Advanced Algorithms and Control Engineering (ICAACE), international conference on

作者： Li Wang Bingfeng Qian Lei Zhang Shenjie Chen School of Mechanics Shanghai Dianji University Shanghai China

ISBN: (数字)9798350361445

ISBN: (纸本)9798350361452

Since single robot has great limitations in executing tasks and is difficult to meet the market demand, the dual robot control system has become a research hotspot. this paper starts from solving the problems of complex cooperative motion programming and obstacle avoidance of dual-robot. In order to solve the problems of complex programming and obstacle avoidance for cooperative movement of dual-robot, a control system for cooperative movement of dual-robot with clear logic and simple programming is designed. this paper firstly analyzes the kinematics of dual-robot and solves the inverse kinematics to accurately control the robot, then a dual-robot control system with two ABB-IRB1410 robots as the research object and PLC-300 as the upper machine is designed. the offline programming workstation of the robot is built based on Robotstudio software. the joint Angle of the carrying position of dual-robot is calculated by solving the inverse kinematics, and the collaborative carrying is programmed by using the linear motion instruction of the MoveL robot. the linear motion instruction can make the end actuator of the robot move according to the given trajectory. the end attitude of dual-robot is consistent in the process of handling, and only 6 position points are used in the program to complete the workpiece handling, and simulation and experiment are carried out. the experimental results show that the dual-robot cooperative handling control and the system operation is stable, which is beneficial to further simplify the system design of dual-robot cooperative handling.

关键词： Systems operation Collaboration Kinematics programming Control systems Trajectory Workstations

来源：评论

学校读者我要写书评

暂无评论

Design of Bluetooth-based Solar Panel Cleaner Robot

Design of Bluetooth-based Solar Panel Cleaner Robot

引用

international conference on Computing Methodologies and Communication (ICCMC)

作者： R. Priya K. S. Radha M. Karthikeyan Department of Physics R.M.D. Engineering College Chennai Tamil Nadu India Department of Chemistry R.M.D. Engineering College Chennai Tamil Nadu India Department of Electrical and Electronics Engineering Vel Tech Multi Tech Dr Rangarajan Dr Sakunthala Engineering College Chennai Tamil Nadu India

Fuel is one of the most pressing issues confronting the world today, and water scarcity for urban and rural people has also been a serious issue. 60-70% of the country's electricity demand is met by burning wood and crop waste. Solar power is a renewable electricity source that uses soft solar radiation and has great potential. the use of electric energy derived from petroleum is crucial for renewable energy. Solar energy has matured into a sustainable energy option, and its use must be expanded. Solar PV panels are widely employed in dusty areas of tropical nations like as India. Dust accumulates on the front of the frame, obscuring the sun's beams. It lowers the module's ability to generate electricity. Energy production is reduced by 50% if the appliance is not cleaned for a month. the cleanup tool uses the PIC programming interface to flatten the module. To improve energy efficiency by removing dust from the panel.

关键词： Renewable energy sources Wheels Solar energy programming Cleaning Mobile robots Solar panels

来源：评论

学校读者我要写书评

暂无评论

Mutual Reinforcement Learning with Heterogenous Agents 7

Mutual Reinforcement Learning with Heterogenous Agents

引用

7th IEEE international conference on Smart Computing (SMARTCOMP)

作者： Reid, Cameron Mukhopadhyay, Snehasis Indiana Univ Purdue Univ Sch Comp & Informat Sci Indianapolis IN 46202 USA

ISBN: (纸本)9781665412520

Mutual learning is an emerging technique for allowing intelligent systems to learn from each other, giving rise to improved performance. In this paper, we explore mutual reinforcement learning between systems which use very different learning algorithms. In particular, we present an algorithm which allows two agents, one using Q-learning and another using adaptive dynamic programming, to share learned knowledge. We discuss how these agents negotiate the relative importance of knowledge they receive from other agents, and we present results that show how this affects the learning process.

关键词： Training Heuristic algorithms conferences Reinforcement learning Dynamic programming Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共360页 << < 37 38 39 40 41 42 43 44 45 46 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：