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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

Implementing a Multi-objective Fuzzy Interval programming Model for Water Resource Allocation in Quanzhou City 9th

Implementing a Multi-objective Fuzzy Interval Programming Mo...

引用

9th international conference on Advances in Energy Resources and Environment Engineering, ICAESEE 2023

作者： Wei, Yi Jin, Lei College of Environmental Science and Engineering Xiamen University of Technology Xiamen361024 China

ISBN: (纸本)9783031665042

the development of Quanzhou city has been significantly impeded by the scarcity of water resources. In this paper, a new multi-objective robust fuzzy interval linear model programming (MRFILP) model aimed to devise a more equitable water resource allocation plan, resolving conflicting interests among diverse users while fostering sustainable development. through a comprehensive assessment encompassing economic benefits, food security indices, and environmental impacts within Quanzhou's water distribution system, the model derived a more stable water distribution plan. Especially, this plan contributes to increased grain production while simultaneously reducing the city's overall carbon dioxide emissions. the key findings emphasize prioritizing the service industry to bolster Quanzhou's economic growth. Additionally, it stresses the need for agricultural sector stability, particularly in the vegetable industry, while highlighting the secondary industry's comparative resilience to water resource fluctuations. Furthermore, a comparison with the interval multi-objective programming model (IMOP) validates the feasibility of the attained results. these solutions offer crucial insights for policymakers engaged in water resource allocation, aiding in the formulation of optimized economic, social, and environmental plans for Quanzhou's future development. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Students’ Pre-concepts of Robot Control Before their First Robotics Lesson: A Pilot Study 23rd

Students’ Pre-concepts of Robot Control Before Their First...

引用

23rd international conference on Web-Based Learning, ICWL 2024 was held in conjunction with the 9th international Symposium on Emerging Technologies for Education, SETE 2024

作者： Stenová, Barbora Miková, Karolína Comenius University in Bratislava Mlynská dolina Bratislava84248 Slovakia

ISBN: (纸本)9789819644063

programming is one of the fundamental components of Computer Science. Many countries have incorporated this core component into their educational standards. We can introduce programming into the educational process in different ways. One of the modern and fast developing methods of introducing students to programming is Educational Robotics (ER). ER integrates STE(A)M in a very natural way and thus, due to its cross-curricular nature, allows such a way of teaching, where students learn to plan the behaviour of the robot by programming the physical components of the model. the complexity of ER leads us to take into account various aspects when designing educational materials that influence the cognitive process of students and their understanding of the educational content presented. One of these aspects is the students’ prior knowledge of robotics that they have acquired from everyday life and with which they come to class. the aim of this work is to identify this natural acquired knowledge, the so-called pre-concepts, about controlling a robot. the results presented here are from a pilot study conducted with a group of 48 students aged 11–13 years old at a grammar school, with no prior ER classes. Based on the analysis of the data obtained from questionnaire, we can say, for example, that although the students have the correct idea that robots have to be programmed, their ideas remain at the level of concrete examples, without a higher level of abstraction. © the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：