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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Design of price package mechanism of integrated energy supply service for end users 9

Design of price package mechanism of integrated energy suppl...

引用

9th international conference on Energy Materials and Electrical Engineering, ICEMEE 2023

作者： Li, Fulin Shen, Yifan Ma, Zhenyu Zhang, Bo Xu, Haohua Qu, Yanle Shi, Yinglin State Grid Jinhua Power Supply Company Zhejiang Jinhua321000 China State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources North China Electric Power University Beijing102200 China

With the continuous deepening of China9;s energy revolution, the accelerated evolution of a new round of energy transformation, and the deep integration of energy technology and advanced information technology, the... 详细信息

ISBN: (纸本)9781510672765

With the continuous deepening of China's energy revolution, the accelerated evolution of a new round of energy transformation, and the deep integration of energy technology and advanced information technology, the mode of energy production and the concept of energy consumption have undergone essential changes. Energy production has extended from the supply side to the end user side, and the concept of energy consumption has changed from energy supply to high-quality energy services, which has led to the upgrading of the functional form of the energy system and the connotation of energy services. We will promote the evolution of the energy system to the energy Internet and upgrade energy services to comprehensive energy services that are accurate, green, efficient, and intelligent. In this context, it is urgent to build the strategic objectives of energy Internet enterprises and actively expand the comprehensive energy service business. the comprehensive energy supply service price package is a link that cannot be ignored to promote the implementation of energy services, which affects the use effect of end users on comprehensive energy services. However, at present, the price package mechanism of integrated energy supply service is not perfect. It is urgent to design the price package mechanism of integrated energy supply service for end-users to promote the development of integrated energy service business. © COPYRIGHT SPIE. Downloading of the abstract is permitted for personal use only.

关键词： Power consumption Power grids Elasticity Matrices Power supplies Design and modelling Internet Mathematical optimization Transformers Computer programming

来源：评论

学校读者我要写书评

暂无评论

Mixed Integer Linear programming Based Large Neighborhood Search Approaches for the Directed Feedback Vertex Set Problem 9th

Mixed Integer Linear Programming Based Large Neighborhood Se...

引用

9th international conference on Metaheuristics and Nature Inspired Computing (META)

作者： Bresich, Maria Varga, Johannes Raidl, Guenther R. Limmer, Steffen TU Wien Inst Log & Computat Vienna Austria Honda Res Inst Europe GmbH D-63073 Offenbach Germany

ISBN: (纸本)9783031692567;9783031692574

A directed feedback vertex set (DFVS) of a directed graph is a subset of vertices whose removal makes the graph acyclic. Finding a DFVS of minimum cardinality is the goal of the directed feedback vertex set problem, an NP-hard combinatorial optimization problem. We first consider two mixed integer linear programming (MILP) models for this problem, which, when solved with Gurobi, are effective on graphs of small to medium complexity but do not scale well to large instances. Aiming at better scalability and higher robustness over a large variety of graphs, we investigate a large neighborhood search (LNS) in which a destroy operator removes randomly chosen nodes from an incumbent DFVS and one of the MILP models is used for repair. Regarding the destroy operator, finding a best degree of destruction is challenging. A main contribution lies in proposing several selection strategies for this parameter as well as a strategy for choosing the more promisingMILP model for repair. We evaluate the performance of the MILP models and different LNS variants on benchmark instances and compare the approaches to each other as well as to state-of-the-art procedures. Results show that our LNS variants yield clearly better solutions on average than standalone MILP solving. Even though our approaches cannot outperform the state-of-the-art, we gain valuable insights on beneficially configuring such a MILP-based LNS.

关键词： Large neighborhood search Mathematical programming Mixed integer linear programming Directed feedback vertex set problem

来源：评论

学校读者我要写书评

暂无评论

Security Constrained Unit Commitment With Load Redistribution Cyber Attack 9

Security Constrained Unit Commitment With Load Redistributio...

引用

9th international conference on Advanced Computing and Communication Systems, ICACCS 2023

作者： Sheela, A. Sivachitra, M. Janani, T.K. Gowrishankar, V. Kumar, N. Ramesh Kongu Engineering College Department of EEE Erode India Al-Ameen Engineering College Department of EEE Erode India

the traditional electricity grids are increasingly the information is connected with cyber-infrastructures and communication technology (ICT) sector9;s rapid advancements, where cyber attacks risks are also increas... 详细信息

ISBN: (纸本)9798350397376

the traditional electricity grids are increasingly the information is connected with cyber-infrastructures and communication technology (ICT) sector's rapid advancements, where cyber attacks risks are also increases. Cyber-attacks are thought to represent a certain type of high-impact/ low likelihood contingency that might have disastrous repercussions on power systems, including shedding of load, uneconomical, operating of units under overload, or, worst of all, failure of load and shut down of load. the goal of this project is to solve To find the ideal plan of production units, including their turning on/off condition and ideal dispatching in the circuit and connection, one must solve Network-Constrained UC (NCUC) problem for a typical case that has a day-ahead horizon. this project attempts to solve cyber security Unit Commitment problem for determining the optimal generation timing for a daily bases, weekwise or monthly bases when there was Load Redistribution (LR) cyber attacks. this work gives alarm indication to the personnel about the severity of the attack. Permissible overloading limitation for the system network is the outcome of the project. © 2023 IEEE.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Termination of Generalized Term Rewriting Systems 9

Termination of Generalized Term Rewriting Systems

引用

9th international conference on Formal Structures for Computation and Deduction, FSCD 2024

作者： Lucas, Salvador DSIC VRAIN Universitat Politècnica de València Spain

ISBN: (纸本)9783959773232

We investigate termination of Generalized Term Rewriting Systems (GTRSs), which extend Conditional Term Rewriting Systems by considering replacement restrictions on selected arguments of function symbols, as in Context-Sensitive Rewriting, and conditional rewriting rules whose conditional part may include not only a mix of the usual (reachability, joinability,. . .) conditions, but also atoms defined by a set of definite Horn clauses. GTRSs can be used to prove confluence and termination of Generalized Rewrite theories and Maude programs. We have characterized confluence of terminating GTRSs as the joinability of a finite set of conditional pairs. Since termination of GTRSs is underexplored to date, this paper introduces a Dependency Pair Framework which is well-suited to automatically (dis)prove termination of GTRSs. © Salvador Lucas.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Dynamic Formation Planning and Control for Robot Soccer Game with Multi-Agent Reinforcement Learning and Behavioral Model 9

Dynamic Formation Planning and Control for Robot Soccer Game...

引用

9th IEEE international conference on Advanced Robotics and Mechatronics (ICARM)

作者： Zhu, Haier Zhong, Hanzhong Yan, Bo Li, Xiang Tsinghua Shenzhen Int Grad Sch Shenzhen 518055 Peoples R China Tsinghua Univ Dept Automat Beijing 100084 Peoples R China

ISBN: (纸本)9798350385731;9798350385724

the robot soccer game has been considered as an illustrative scenario to test the performance of research outcomes on multi-agent systems (MAS). While various algorithm has been developed for a robot soccer game and implemented in the RoboCup competition, relatively little collaboration can be found in existing results, e.g., the formation for passing and dribbling during the offense or the collaborative obstruction during defense, which are very common in the teamwork of human soccer game. this paper focuses on the collaboration problem in robot soccer games and proposes a dynamic formation planning and control strategy. Specifically, the offensive team maintains a desired formation and transits among the tasks of catching, passing, dribbling, and kicking based on a behavioral model. the defensive team is regulated by a reinforcement-learning-based policy network and dynamically forms a barrier to obstruct the offender. the strategies of both teams will swap according to the evolving situation of the match. Both simulation studies and real-world experiments are carried out to illustrate the performance of the proposed method, and the convergence to the desired formation is also rigorously proved.

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

A Multi-Period Goal programming Model for Healthy Menus: A Tunisian Case Study 9

A Multi-Period Goal Programming Model for Healthy Menus: A T...

引用

9th international conference on Control, Decision and Information Technologies, CoDIT 2023

作者： Kallel, Dorra Kanoun, Ines Golabi, Mahmoud Dhouib, Diala Idoumghar, Lhassane Sfax University OLID-Laboratory Sfax Tunisia Irimas Institute Haute-Alsace University Mulhouse France

ISBN: (纸本)9798350311402

Developing healthy diets in early childhood may help determine future healthy foods. Many kids pass time in childcare, but few studies evaluated the nutritional quality of menus and snacks in childcare homes. therefore, serving healthier meals is the main phase to attaining that objective. In spite of this, planning a healthful and balanced menu manually is complicated, wasteful, and time-consuming. the objective of this paper is to develop a Multi-period Goal programming (MGP) model to plan menus for the Tunisian school canteen. School children aged 06 to 12 years old will have three different types of menus according to their cases (standard menus, sports menus, and diabetics menus). this model minimizes the sum of deviations of nutrient requirements for three groups of menus and for one week (Monday, Tuesday, Wednesday, thursday, and Friday). the MGP is broken down into a number of periods, and an ideal choice needs to be made on the relationship between these decisions in each period. this model respects the budget provided by the canteen manager, it ensures assigning the recipes according to their correct category (sweet snack, salad, main meal, fruit and salty snack), it guarantees that each recipe for each menu is not used more than once per week as well as nutrients requirement constraint. As a consequence, the final dietary plan for the children is an optimal assortment of the recipes intake, related to minimizing deviations from the explained goals. the diet model develops a nutritional adviser's work and avoids errors when preparing a diet plan manually. © 2023 IEEE.

关键词： Operations research

来源：评论

学校读者我要写书评

暂无评论

Codescape - Development and Operation of a Serious Game for Teaching programming in Introductory Courses 9th

Codescape - Development and Operation of a Serious Game f...

引用

9th Joint international conference on Serious Games, JCSG 2023

作者： Gamper, Paul Schroeder, Ulrik Learning Technologies Research Group RWTH Aachen University Aachen Germany

ISBN: (纸本)9783031447501

the serious game Codescape is developed at the RWth University and used in several introductory programming courses with a total of 3000 students per year. the game supports the simultaneous use of several programming languages and is modular in structure, to fit the specific needs of certain usage scenarios or lectures. Codescape was developed with the intention of levelling out the initially heterogeneous skill level of the students and giving beginners a playful and small-stepped introduction to imperative programming without the requirement to set up a local tool chain as it is completely browser based. In this article the game itself, architecture, authoring tools and our survey results are presented. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Serious games

来源：评论

学校读者我要写书评

暂无评论

Power gateway slicing wireless resource optimization based on deep reinforcement learning 9

Power gateway slicing wireless resource optimization based o...

引用

9th international conference on Energy Materials and Electrical Engineering, ICEMEE 2023

作者： Wang, Zhaoshuo Zhang, Yuheng Wang, Ning Zhao, Hanghang Wen, Xing Zhao, Liuqi Zhu, Jinwei Operation and Maintenance Center of Information and Communication Csg Ehv Power Transmission Company GuangZhou510663 China Guangzhou Bureau of Csg Ehv Power Transmission Company GuangZhou510663 China

In order to reduce the business platform9;s processing of massive IoT terminals and meet the physical isolation and differential quality assurance between different services, 5G slicing technology is used to logica... 详细信息

ISBN: (纸本)9781510672765

In order to reduce the business platform's processing of massive IoT terminals and meet the physical isolation and differential quality assurance between different services, 5G slicing technology is used to logically isolate network resources to effectively protect the differentiated service needs of different users, aiming at the problem of resource allocation during network slicing transmission in power grids. Maximize the total throughput of EMBB users and minimize the power of URLLC users by jointly optimizing the transmit power and downlink timeslot of the base station. Considering that the hybrid nonlinear integer programming problem is difficult to solve, we propose a method based on asynchronous advantaged-actor critic to solve the problem. Simulation results show that compared with DDPG algorithm, the proposed algorithm can converge quickly and has the best performance, which verifies the practicability of the proposed algorithm in the optimization of power gateway slicing resources. © COPYRIGHT SPIE. Downloading of the abstract is permitted for personal use only.

关键词： Education and training Internet of things Computer simulations Data transmission Mathematical optimization Orthogonal frequency division multiplexing Binary data Computer programming Power grids Systems modeling

来源：评论

学校读者我要写书评

暂无评论

Nonlinear Model Predictive Clamping Force Control for Electromechanical Brake System 9

Nonlinear Model Predictive Clamping Force Control for Electr...

引用

9th IEEE international conference on Advanced Robotics and Mechatronics (ICARM)

作者： Wei, Wenpeng He, Tianyi Men, Yifan Wang, Jinxiang Xiong, Lu Yin, Guodong Southeast Univ Sch Mech Engn Nanjing 211189 Peoples R China Southeast Univ Minist Educ Key Lab Measurement & Control Complex Syst Engn Nanjing 210096 Peoples R China Utah State Univ Dept Mech & Aerosp Engn Logan UT 84322 USA ZDrive Ai Ali Ctr 7th FloorBlock T21398 Shenchang Rd Shanghai Peoples R China Tongji Univ Sch Automot Studies Shanghai 201804 Peoples R China

ISBN: (纸本)9798350385731;9798350385724

In this paper, the problem of clamping force control for the Electromechanical Brake (EMB) system in autonomous vehicles is addressed. A nonlinear model predictive control framework is proposed to solve for the optimal maneuver at each optimization step to realize accurate clamping force tracking. First, the EMB system is modeled to a state-space representation through the first-principle modeling;Second, a control framework that includes three blocks is proposed to achieve clamping force tracking. the first block designs a clamping force separation strategy and an unknown input observer based on Kalman filter is applied to estimate the clamping force to replace the force sensors;the second block develops an adaptive estimation of polynomial coefficients to deal with the time-varying coefficients to improve model adaptiveness;the last block conceives the nonlinear model predictive control to track the reference force, and the resulted nonlinear programming is solved by the multiple shooting method. Finally, the proposed framework is validated to achieve faster tracking speed and more accurate tracking in multiple simulation scenarios.

关键词： Nonlinear Model Predictive Control Brake-bywire System Electromechanical Brake Clamping Force Control Unknown Input Observer

来源：评论

学校读者我要写书评

暂无评论

Randomised Testing of the Compiler for a Verification-Aware programming Language 17

Randomised Testing of the Compiler for a Verification-Aware ...

引用

17th IEEE international conference on Software Testing, Verification, and Validation (ICST)

作者： Donaldson, Alastair F. Sheth, Dilan Tristan, Jean-Baptiste Usher, Alex Imperial Coll London London England AWS Boston MA USA

ISBN: (纸本)9798350308198;9798350308181

We present the design and implementation of two new tools for randomised testing of the compiler of the Dafny programming language. the Dafny language and tool-chain supports formal verification of rich functional properties of programs, and is seeing increasing adoption by industry, being used by companies such as Amazon, Consensys, Microsoft and VMWare for the construction of high assurance software components. Bugs in the Dafny compiler are of critical importance because they have the potential to undermine the safety and security of deployed software that has been formally verified at the source code level. Our new testing tools, fuzz-d and DafnyFuzz, are based on randomised program generation, and overcome the test oracle problem using a combination of differential testing, metamorphic testing and the generation of programs with known expected results. the new tools go significantly further than XDsmith, an existing randomised compiler testing tool for Dafny, in terms of the features of the language that they support. We have used these tools to find and report 24 previously-unknown Dafny compiler bugs that were beyond the reach of XDsmith, of which 9 are soundness issues. Our fuzzing campaign has also led to changes to the Dafny language specification via the identification of ambiguous or under-documented language features. We present a set of controlled experiments looking at statement and mutation coverage on the Dafny compiler code base. the results show that fuzz-d and DafnyFuzz achieve substantial additional coverage on top of that provided by XDsmith, and can cover some areas missed by the Dafny compiler regression test suite. All three of fuzz-d, DafnyFuzz and XDsmith improve upon the number of mutants killed by the Dafny regression test suite.

关键词： Fuzzing compilers formal verification Dafny

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共320页 << < 10 11 12 13 14 15 16 17 18 19 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：