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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Model-free Resilient Controller Design based on Incentive Feedback Stackelberg Game and Q-learning

Model-free Resilient Controller Design based on Incentive Fe...

引用

Industrial Cyber-Physical Systems (ICPS)

作者： Jiajun Shen the Fengjun Li Morteza Hashemi Huazhen Fang The Department of Mechanical Engineering The University of Kansas Lawrence KS USA The Department of Electrical Engineering and Computer Science The University of Kansas Lawrence KS USA

ISBN: (数字)9798350363012

ISBN: (纸本)9798350363029

In the swift evolution of Cyber-Physical Systems (CPSs) within intelligent environments, especially in the industrial domain shaped by Industry 4.0, the surge in development brings forth unprecedented security challenges. this paper explores the intricate security issues of Industrial CPSs (ICPSs), with a specific focus on the unique threats presented by intelligent attackers capable of directly compromising the controller, thereby posing a direct risk to physical security. Within the framework of hierarchical control and incentive feedback Stackelberg game, we design a resilient leading controller (leader) that is adaptive to a compromised following controller (follower) such that the compromised follower acts cooperatively with the leader, aligning its strategies with the leader’s objective to achieve a team-optimal solution. First, we provide sufficient conditions for the existence of an incentive Stackelberg solution when system dynamics are known. then, we propose a Q-learning-based Approximate Dynamic programming (ADP) approach for the online resolution of the incentive Stackelberg solution without requiring prior knowledge of system dynamics. Last but not least, we prove the convergence of our approach to the optimum.

关键词： Sufficient conditions Q-learning System dynamics Games Cyber-physical systems Dynamic programming Fourth Industrial Revolution

来源：评论

学校读者我要写书评

暂无评论

An Analysis of London and Shanghai as international Maritime Centres 7

An Analysis of London and Shanghai as International Maritime...

引用

7th international conference on Electromechanical Control Technology and Transportation, ICECTT 2022

作者： Qiu, Weiwei Zhu, Jishuang Wang, Xinzi China Waterborne Transport Research Institute 8 Xitucheng Road Haidian District Beijing China Research Institute of Highway Ministry of Transport 8 Xitucheng Road Haidian District Beijing China

ISBN: (纸本)9781510656659

Due to globalization and the shift of economic centres, Asia, especially China, has received increasing attention. international maritime centres (IMCs) play an essential role in the shipping and global trade industry. Shanghai IMC develops rapidly and has become a strong competitor compared with other IMCs. Traditional IMCs with historical heritage, such as London, not only face these severe challenges but also need to update with the fast development of technologies and the times. this research establishes a Competitiveness Model from 6 aspects, which includes 6 aggregate and 17 sub-indicators, to study IMCs competitiveness, and use Shanghai and London IMCs as case study to analyze the competitiveness in the maritime industry. the result shows that Shanghai IMC is developing rapidly, and it has strong competitiveness in both hardware facilities and soft power, and it will be another top IMC in the future. London has a long history as a traditional IMC. the functions of London have gradually shifted from the port business to providing excellent maritime business services. therefore, these two IMCs not only have competition but also have cooperation for further development. this study contributes to the maritime and cluster literature by offering a new evaluation model to analyse IMCs competitiveness from soft and hard power and confirming the role of this issue in improving the shipping industry. In practice, this model provides a set of fair criteria to quantify the performance of IMCs in the industry and clear the future direction, and the implications are offered for the government or companies placing regulations or management for IMCs development. © 2022 SPIE

关键词： Competition

来源：评论

学校读者我要写书评

暂无评论

A mixed-integer linear programming formulation for assembly line balancing problem with human-robot shared tasks 7

A mixed-integer linear programming formulation for assembly ...

引用

7th international conference on Engineering, Technology, and Industrial Application, ICETIA 2020

作者： Nugraha, Raden Cahyadi Ma'Ruf, Anas Nugraha, Andi Cakravastia Halim, Abdul Hakim Faculty of Industrial Technology Institut Teknologi Bandung Indonesia

Human-robot collaboration (HRC) has arisen as a promising technology to improve the productivity of assembly processes. this paper discusses an assembly line balancing problem (ALBP) where manual, robotic, or HRC operations may be considered decision alternatives. Each assembly process task may be operated either by a human operator, a robot operator, or an HRC. this possibility of shared functions between humans and robots may result in a hybrid manual-robotic assembly line. this problem's mathematical model is developed based on the simple ALBP and modifying the idea of two-sided ALBP, with additional aspects related to resource alternatives of human, robot, or HRC, and robot's tool-type for the operations. the problem is formulated analytically in a mixed-integer linear programming model with a cost-oriented objective function. the exact method can be applied to obtain an optimal solution. © Published under licence by IOP Publishing Ltd.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Research on Interactive Installation Design Centering on Urban Light Pollution Based on Open-source programming Language 7

Research on Interactive Installation Design Centering on Urb...

引用

2021 7th international Symposium on Sensors, Mechatronics and Automation System, ISSMAS 2021

作者： Lijun, Xu School of Fine Arts Shaanxi Normal University Shaanxi Xian710119 China

the design of multimedia interactive installations symbolizes the integration of technology and art, and has already become an artistic expression form with distinctive technological beauty of the times. Furthermore, the application of open-source programming language enhances the interactivity and enriches the connotation of the installation itself, as well as creates the aesthetic feeling for the viewers via catering to their sensory needs during the interaction with the installation. this research takes "TURN OFF!!", an interactive installation as an instance, which focuses on the theme of environmental protection and employs Processing, the open-source programming language and Arduino, the open-source electronic prototyping platform. Also, the research manifests the application significance of the open-source programming language in the design of interactive installations, and discusses the influence of the integration of science and technology and artistic design during the creation of art and the ultimate presentation of the artwork. In the end, the research indicates that future designers should have programming-related technical skills to better display their creativity and imagination. © Published under licence by IOP Publishing Ltd.

关键词： Installation

来源：评论

学校读者我要写书评

暂无评论

A Mixed Integer programming Model for Unrelated Parallel Machine Scheduling Problem with Sequence Dependent Setup Time to Minimize Makespan and Total Tardiness 7

A Mixed Integer Programming Model for Unrelated Parallel Mac...

引用

IEEE 7th international conference on Industrial Engineering and Applications (ICIEA)

作者： Kongsri, Papimol Buddhakulsomsiri, Jirachai Thammasat Univ Sirindhom Int Inst Technol Pathum Thani Thailand

ISBN: (数字)9781728167855

ISBN: (纸本)9781728167855

this paper involves an unrelated parallel machine scheduling problem. Setup times are sequence dependent. A mixed integer linear programming model that represents the system is formulated. Two measures of performance, makespan, total tardiness, and a combination of both measures, are minimize Results from a numerical example show that, with a proper weight between the two measures, a compromise solution can be found.

关键词： scheduling unrelated parallel machines sequence dependent setup time mixed integer programming makespan tardiness compromise solution

来源：评论

学校读者我要写书评

暂无评论

A Multi-product EPQ Model for Defective Production and Inspection with Single Machine, and Operational Constraints: Stochastic programming Approach 7th

A Multi-product EPQ Model for Defective Production and Inspe...

引用

7th international conference on Logistics and Supply Chain Management (LSCM)

作者： Askari, Reza Sebt, Mohammad Vahid Amjadian, Alireza Kharazmi Univ Fac Engn Dept Ind Engn Tehran Iran

ISBN: (纸本)9783030897437;9783030897420

In the current study, a mixed-integer nonlinear programming model is presented for the development of an economic production quantity (EPQ) model that encompasses warehouse space and budget constraints while it does not consider shortage. To improve the simulation of reality, the model consists of haphazard factors with differing scenarios. the proposed model aims at maximizing the revenue by the calculation of the optimal level of production of every item in individual scenarios. Moreover, we concentrated on inspection, various inspection errors, defective items and their costs. the defective items are categorized regarding to the action taken on them. All related costs are also considered in the model. the model is solved using two metaheuristic algorithms, and the effectiveness of the approaches is demonstrated by generating various instances in a variety of dimensions. Finally, the results are calculated accurately by GAMS software to determine the deviation between the optimal solution and the output of the algorithms.

关键词： Inventory model EPQ model Inspection error Meta-heuristic algorithm TOPSIS

来源：评论

学校读者我要写书评

暂无评论

A Single Batch Processor Scheduling Model with Additional Setup Times to Minimize Total Actual Flowtime of Parts of Multiple Items 7

A Single Batch Processor Scheduling Model with Additional Se...

引用

7th international conference on Engineering, Technology, and Industrial Application, ICETIA 2020

作者： Hidayat, Nita P. A. Aribowo, Wisnu Halim, Abdul Hakim Industrial Engineering Department Bandung Islamic University Bandung Indonesia Department of Industrial Engineering Institut Teknologi Bandung Indonesia

the problem investigated in this paper is arranging parts for the etching process on a single batch processor in a craft company. the company produces several different metal plate types, and each type requires another processing time and setup time. the machine also needs additional setup after processing several production batches. All metal plates that have been processed will be delivered simultaneously at the expected due date. the objective is to minimize the total actual flowtime of parts of multiple items through the shop. the problem is formulated as a mixed-integer nonlinear programming model. A simple numerical example is provided to demonstrate the execution of the mathematical model to a hypothetical question. © Published under licence by IOP Publishing Ltd.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

A Study of Green Smart Inventory and Dynamic programming Algorithm of SBS Modified Asphalt Based on Industrial Internet of thing 7

A Study of Green Smart Inventory and Dynamic Programming Alg...

引用

2021 7th international conference on Mechanical Engineering, Materials and Automation Technology, MMEAT 2021

作者： Zhang, Jiandong Pang, Dong Dalian Polytechnic University Dalian China

Start Based on the Industrial Internet of things, this paper discusses the smart inventory management mode under the thermal storage of SBS modified asphalt, and preliminarily explores the smart inventory mode under the trend of smart logistics through the dynamic programming method, which provides a reference for the development direction of smart inventory of unconventional storage materials such as chemical and energy. At the same time, with the promotion and application of the Industrial Internet of things, the dynamic, visual and intelligent development of each link in the logistics process brings a new round of intelligent reform to the logistics industry. As a kind of inventory management concept, smart inventory has gradually become one of the important links of smart logistics through measures such as Internet of things technology, intelligent information management technology and visual management technology. the study proves that the dynamic programming method is suitable for the inventory cost optimization problem of SBS modified asphalt thermal storage. Finally, this paper uses the dynamic programming method to calculate the monthly data of a chemical raw material manufacturing enterprise in Liaoning province, and formulates the inventory management plan to optimize inventory costs. © Published under licence by IOP Publishing Ltd.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Incentivizing EVs to Participate in V2B Interactions using the Stackelberg Game

Incentivizing EVs to Participate in V2B Interactions using t...

引用

Energy, Electrical and Power Engineering (CEEPE), international conference on

作者： Zixuan Wei Wai Kin Victor Chan Yi Zhang Yinliang Xu Linwei Sang Rongtao Ye Tsinghua Shenzhen International Graduate School Tsinghua-Berkeley Shenzhen Institute Tsinghua University Shenzhen China Tsinghua Shenzhen International Graduate School Institute of Future Human Habitats Tsinghua University Shenzhen China

ISBN: (数字)9798350375794

ISBN: (纸本)9798350375800

V2B(Vehicle-to-Building) is an economic proposition of the V2X(Vehicle-to-Everything) technology. It has been demonstrated that V2B technology may effectively increase the usage of renewable energy. However, there is scant evidence that Grid incentives might indirectly encourage EVs to engage in V2B activities by affecting building behavior. In this paper, the Stackelberg game model is used to describe the two-stage game between the buildings, and EVs, assuming that both EVs and buildings aim at maximizing the profits or minimizing the costs from green activities. the study incorporates EVs dissatisfaction costs, employing the Stevens' Law method to quantify EVs responsiveness. Mathematical transformations, including piecewise linearization, the Big-M method, and KKT constraints, are utilized to reformulate the problem as a Mixed-Integer Linear programming (MILP) problem. A simulation result shows that the new incentive policy can effectively motivate buildings and EVs to join the low-carbon interactions, which can contribute to the peak shaving of grid. this work also provides further guidance for the low-carbon strategies of buildings, laying the groundwork for incentives from the grid to buildings to EVs.

关键词： Renewable energy sources Costs Green buildings Sensitivity analysis Simulation Scalability Buildings

来源：评论

学校读者我要写书评

暂无评论

Cluster Analysis of mobile communication network station location 22

Cluster Analysis of mobile communication network station loc...

引用

Proceedings of the 7th international conference on Intelligent Information Processing

作者： Nian Min Xiang Zhengheng Jin Lu Wuhan Business University China

ISBN: (纸本)9781450396714

Nowadays mobile communication technology develops rapidly, the demand for mobile communication network is getting higher and higher. In recent years, China's communication networks have become more and more complex, with more and more broadband, but the coverage of base stations has become smaller and smaller. thus, the process of China's mobile communication network is affected. the location of communication base station is the first and important step of base station construction. Because it can not only ensure the smooth progress of the construction process, but also ensure the safety of the construction. Considering the coverage of the base station and the actual capital situation, in order to make the coverage as large as possible, how should the base station location be chosen becomes very important. Because there are so many different types of base stations and antennas, the choice of site becomes more complicated. this paper mainly uses the 0-1 knapsack dynamic programming model and simulated annealing algorithm to analyze the best location problem of the base station and summarize.

关键词： 0-1 Knapsack dynamic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共360页 << < 53 54 55 56 57 58 59 60 61 62 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：