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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

Optimal Energy Mix Model for the UAE Considering Economic and Environmental Impacts 9

Optimal Energy Mix Model for the UAE Considering Economic an...

引用

9th international conference on Optimization and Applications, ICOA 2023

作者： Lail, Lina Abu Aydin, Ridvan Olabi, Abdul Ghani University of Sharjah Department of Industrial Engineering and Engineering Management Sharjah United Arab Emirates University of Sharjah Department of Sustainable and Renewable Energy Engineering Sharjah United Arab Emirates

ISBN: (纸本)9798350312546

With growing concerns about climate change and increasing demand for energy, planning and decision-making for an optimal energy mix have become essential for policymakers, energy companies, and researchers alike. this study proposes an optimization-based methodology for determining the optimal energy mix in electricity generation in the United Arab Emirates from various energy sources, such as: natural gas, solar energy, hydroelectricity, biomass, and nuclear power, while simultaneously minimizing economic and environmental costs. the optimization model helps minimize the total cost for future investments in electricity generation capacities over 30 years which includes the installation cost of additional power plants, the fixed cost for annual operation and maintenance, the variable cost for operation and maintenance, and the emissions cost of energy sources. this model addresses energy demand requirements, annual installation capacities, peak demand, and renewable energy technologies. the results show that most future energy installation capacity is obtained from solar photovoltaic energy, followed by natural gas. In addition, CO2 emissions per kWh of electricity generation by 2050 can be reduced by around 10% without limiting fossil fuels and by about 20% with limiting fossil fuels. © 2023 IEEE.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Research on Key Techniques of Dexterous Movement of Continuum Robots: A Review 9

Research on Key Techniques of Dexterous Movement of Continuu...

引用

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

作者： Su, Tingting Liang, Xu Xiao, Wendong Li, Guotao Wang, Jiaxing Zhang, Haojian Xie, Shoulie Beijing Univ Technol Fac Informat Technol Beijing 100124 Peoples R China Beijing Jiao Tong Univ Sch Automat & Intelligence Beijing 100044 Peoples R China Univ Sci & Technol Beijing Sch Automat & Elect Engn Beijing 100083 Peoples R China Chinese Acad Sci Inst Automat Beijing 100190 Peoples R China ASTAR Inst Infocomm Res Singapore 138632 Singapore

ISBN: (纸本)9798350385731;9798350385724

Continuum robot has good motion flexibility and strong environmental compliance. It can well adapt to large deformation and complex environment, and can carry out safe, dexterous and accurate intelligent interaction between robot and environment. Because of the above advantages, continuum robot can be widely used in medical equipment, industrial production and other fields. the realization of safe, stable and flexible intelligent interactive operation of continuum robot in constrained space is the focus and difficulty in these fields. the research status of continuum robot system is investigated and analyzed in aspects of model analysis, trajectory planning and control methods in this manuscript, so as to provide a useful reference for scholars related to continuum robot.

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

Autonomous Object Exploration with Semantics-Aware Routes-Enhanced Next-Best-View Planning 9

Autonomous Object Exploration with Semantics-Aware Routes-En...

引用

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

作者： Lu, Liang Zuo, Haobo Liu, Wenjia Fu, Changhong Ctr Transformat Garment Prod Bldg 19WHong Kong Sci Pk Hong Kong Peoples R China Univ Hong Kong Dept Comp Sci Pok Fu Lam Hong Kong Peoples R China Shanghai Customs Coll Sch Customs & Publ Adm Shanghai Peoples R China Tongji Univ Sch Mech Engn Shanghai Peoples R China

ISBN: (纸本)9798350385731;9798350385724

In modern industries, real-time scene understanding has emphasized incorporating semantic information into robotic tasks, particularly in autonomous target searching and transportation. this work introduces a Semantics-Aware Routes-enhanced Next-Best-View Planner i.e., SAR-NBVP designed to explore objects efficiently. the SAR-NBVP consists of a semantic perception strategy and a semantics-aware planning method. In the semantic perception phase, semantic point clouds are generated using RGBD images, which are then mapped into a volumetric map. this process enables the representation of semantic object information within the constructed map. the semantics-aware planning phase considers kinematic, geometric, and semantic costs within the SAR-NBVP. this ensures that the planner effectively searches for semantic objects by considering the robot's physical constraints as well as the environment's geometric and semantic characteristics. the proposed perception and planning algorithm's effectiveness is validated through simulation experiments, demonstrating its ability to incorporate semantic information, efficiently explore the environment, and search objects. the video of the simulation experiment is shown at https://***/STjwV0xQcvw.

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

Using NLP to Quantify Program Decomposition in CS1 22

Using NLP to Quantify Program Decomposition in CS1

引用

9th Annual ACM conference on Learning at Scale, L@S 2022

作者： Charitsis, Charis Piech, Chris Mitchell, John C. Stanford University StanfordCA United States

ISBN: (纸本)9781450391580

Decomposition is a problem-solving technique that is essential to software development. Nonetheless, it is perceived as the most challenging programming skill for learners to master. Researchers have studied decomposition in introductory programming courses through guided experiments, case studies, and surveys. We believe that the rapid advancements in scientific fields such as machine learning and natural language processing (NLP) opened up opportunities for more scalable approaches. We study the relationship between problem-related entities and functional decomposition. We use an automated system to collect 78,500 code snapshots from two CS1 programming assignments of 250 students and then apply NLP techniques to quantify the learner's ability to break down a problem into a series of smaller, more straightforward tasks. We compare different behaviors and evaluate at scale the impact of decomposition on the time it takes to deliver the solution, its complexity, and the student's performance in the assignment and the course exams. Finally, we discuss the implications of our results for teaching and future research. © 2022 ACM.

关键词： introductory programming courses software development problem-solving approaches problem decomposition

来源：评论

学校读者我要写书评

暂无评论

Structural design and process research of functional composite parts 9

Structural design and process research of functional composi...

引用

9th international conference on Mechanical Engineering, Materials, and Automation Technology, MMEAT 2023

作者： Wei, Shengwen Xue, Weifeng The 38th Institute of China Electronic Science and Technolgy Group Co. Hefei230031 China

ISBN: (纸本)9781510668584

A ground radar equipment is composed of several groups of antennas distributed into a certain shape. Each group of antennas consists of antenna array, antenna support tower and wind cable. Due to the needs of electrical performance of equipment, the interference of dense antenna support tower to the antenna is minimized. An antenna support tower is required to be developed, it is required to have strong structural properties of wind resistance, as well as wave transmission functional electrical performance requirements. It must also have sufficient structural strength and good dielectric performance. through the analysis of structure and function, the glass fiber composite is selected as the manufacturing material of the support tower, and the pultrusion process is selected as the research direction of the forming process of the support tower through the analysis and research of three typical process forming technologies, considering the cost, cycle and other comprehensive factors. the functional composite antenna support tower finally developed by the unidirectional fiber+braided bultrusion process fully meets the structural requirements of the radar equipment for its wind resistance performance and the wave transmission functional electrical requirements for the minimum interference to the antenna. © 2023 SPIE.

关键词： Structural design

来源：评论

学校读者我要写书评

暂无评论

Case Study: Forecasting Time Consumption Exponential RSA Factorization Using Java Program 9

Case Study: Forecasting Time Consumption Exponential RSA Fac...

引用

9th international conference on Information Management and Technology, ICIMTech 2024

作者： Suhartana, Martin Yossy, Emny Harna BINUS Online Learning Bina Nusantara University Computer Science Department Jakarta11480 Indonesia

ISBN: (纸本)9798350390025

In response to the previous issue, wherein the RSA (n) factorization process relied on Pythagorean and quadratic equations, facilitated by MS Excel Solver, and constrained by a 15-digit limit for n [3], [19], transitioning to Java programming significantly enhanced the factorization capability, enabling operations on n exceeding 100 digits, but this was not done due to limited time and computer resources currently available. During experimentation, it became evident that the current computational speed averaged 0,00806444662771415 milliseconds per attempt, indicating that despite limited infrastructure computer, we are advancing scientific development and research. Our findings show that each two-digit addition (p∗ q) takes ten times as many attempts, leading to an exponential increase in processing time. this study proposed that the main strength of the RSA algorithm lay in the difficulty of factorizing long prime numbers with limited computer resources, and this experiment was only conducted to demonstrate that exponential occurred when the number of digits in p and q to form the n value in RSA increased. As example in TC#6, 13 x 13 digits, where the time required is amounting to 1562003 ms equal to 1562,003 seconds equal to 26,033 minutes. this research lays a foundational step towards more effective and efficient scientific development, thereby contributing to future advancements in the field. © 2024 IEEE.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Teaching programming Amid the Digital Churn: Guidelines and Curriculum for a Laboratory 9th

Teaching Programming Amid the Digital Churn: Guidelines and ...

引用

9th international conference on Learning and Collaboration Technologies (LCT) Held as Part of the 24th international conference on Human-Computer Interaction (HCII)

作者： Tezza, Dante Abbott, Ben St Marys Univ San Antonio TX 78228 USA

ISBN: (纸本)9783031056574;9783031056567

In the modern and digital society, the importance of software development is undeniable. therefore, educating the next generation of software developers is crucial. However, learning how to program is challenging, and research on improving programming pedagogy is essential. Adding a laboratory component to programming courses can enhance the education. In this work, we first elicited requirements and guidelines for an introductory programming lab curriculum based on a literature review and feedback by instructors with years of experience. these included the use of (1) current and adequate tools, (2) collaborative learning environment, (3) formative assessment, (4) appropriate assignments for the target audience, (5) pedagogical innovations, and (6) to prepare students to be lifelong learners of the subject. Following, we present a curriculum for an introductory undergraduate programming lab based on the Raspberry Pi platform. It teaches students how to program following software development best practices and integrate software and hardware through a series of cyber-physical assignments, including developing a rover vehicle. We successfully piloted the curriculum with 30 students, and we present the highly positive feedback provided by them. Although the course was based on the C programming language, the underlying foundation on programming principles will allow students to apply the concepts in any language. Furthermore, this curriculum is not intended to be a one-size-fits-all approach to programming education. However, it can be a strong starting point for readers to tailor it to fit their audience, school needs, and student learning outcomes.

关键词： Curriculum Education Engineering education programming Software

来源：评论

学校读者我要写书评

暂无评论

Constrained Nonlinear programming for Image-Based Hysteresis Compensation in Atomic Force Microscope Piezo Actuators 9

Constrained Nonlinear Programming for Image-Based Hysteresis...

引用

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

作者： Belikov, Sergey Alexander, John Magonov, Sergei Spm Labs Llc TempeAZ United States

ISBN: (纸本)9798350311402

Compensation of Atomic Force Microscopy (AFM) image distortion due to the hysteresis of piezoelectric scanners is a critical task of AFM control systems. the main problem is to linearize the scans, i.e. transform them to the ones evenly spaced in the AFM images' XY lines. We propose a new approach to this task based on constrained optimization of transforms. the optimal transforms map original scans to nearly linear ones. these transforms (different for X and Y scans) can be used to map the distorted scans spaced evenly in time (but not in space) to the corrected (nearly even in space) XY image lines. this approach requires significant computing power which was a serious restriction for early AFM controllers but is eliminated now. Another, closer to traditional, approach is to use inverses of the optimal transforms in imbedded, usually implemented at FPGA, algorithms to transform linear-in-time voltages and apply them to XY scanners to produce scans that are evenly spaced in both time and space. In both approaches, constrained optimization provides rigorous design improvements over previously employed empirical methods. It also provides a rigorous approach to interpolate scaling that is different for X and Y as well as for varying scan sizes. these optimal transforms, e.g., selected from a set of polynomials, can also significantly reduce calculations required by Preisach model of hysteresis. © 2023 IEEE.

关键词： Constrained optimization

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：