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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

7,642 篇 会议
333 篇 期刊文献
250 册 图书

馆藏范围

8,225 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

4,047 篇 工学
- 2,991 篇 计算机科学与技术...
- 1,847 篇 软件工程
- 985 篇 电气工程
- 581 篇 控制科学与工程
- 350 篇 信息与通信工程
- 336 篇 电子科学与技术（可...
- 188 篇 机械工程
- 87 篇 仪器科学与技术
- 78 篇 化学工程与技术
- 49 篇 生物医学工程（可授...
- 48 篇 材料科学与工程（可...
- 41 篇 生物工程
- 37 篇 动力工程及工程热...
- 37 篇 交通运输工程
- 36 篇 土木工程
- 36 篇 航空宇航科学与技...
- 33 篇 建筑学
- 33 篇 环境科学与工程（可...
- 31 篇 安全科学与工程
927 篇 理学
- 730 篇 数学
- 142 篇 系统科学
- 98 篇 物理学
- 97 篇 统计学（可授理学、...
- 68 篇 生物学
488 篇 管理学
- 398 篇 管理科学与工程(可...
- 121 篇 工商管理
- 99 篇 图书情报与档案管...
57 篇 医学
- 46 篇 临床医学
46 篇 经济学
- 41 篇 应用经济学
32 篇 法学
29 篇 教育学
- 29 篇 教育学
20 篇 文学
20 篇 农学
6 篇 艺术学
5 篇 军事学

主题

1,298 篇 programming
768 篇 linear programmi...
579 篇 programming prof...
487 篇 application soft...
485 篇 parallel program...
374 篇 computer archite...
371 篇 computer science
361 篇 hardware
351 篇 dynamic programm...
311 篇 software systems
311 篇 logic programmin...
269 篇 software enginee...
267 篇 concurrent compu...
265 篇 optimization
258 篇 computational mo...
244 篇 object oriented ...
239 篇 parallel process...
232 篇 control systems
207 篇 costs
198 篇 operating system...

机构

19 篇 department of el...
16 篇 carnegie mellon ...
16 篇 school of electr...
12 篇 school of electr...
11 篇 ibm thomas j. wa...
10 篇 georgia inst tec...
10 篇 department of el...
9 篇 department of el...
9 篇 oak ridge nation...
9 篇 department of el...
8 篇 univ hong kong d...
8 篇 institute of dig...
7 篇 department of el...
7 篇 chair for progra...
7 篇 department of co...
7 篇 department of co...
7 篇 department of co...
6 篇 inria
6 篇 school of comput...
6 篇 department of el...

作者

24 篇 steffen bernhard
14 篇 w.-s. lu
13 篇 liu derong
12 篇 anon
11 篇 josef börcsök
10 篇 wei qinglai
9 篇 bernhard steffen
9 篇 wu-sheng lu
9 篇 tiziana margaria
9 篇 margaria tiziana
8 篇 p. hasler
8 篇 a. antoniou
8 篇 m.r. lyu
8 篇 derong liu
8 篇 lu w.-s.
7 篇 wu youfeng
7 篇 t.m. khoshgoftaa...
7 篇 k.h. kim
7 篇 sitek pawel
7 篇 leucker martin

语言

8,069 篇 英文
100 篇 其他
33 篇 中文
19 篇 葡萄牙文
5 篇 西班牙文

检索条件"任意字段=International Symposium on Programming and Systems"

共 8225 条记录，以下是91-100 订阅

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

详细简洁

排序：

12th international symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024

12th International Symposium on Leveraging Applications of F...

引用

12th international symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024

ISBN: (纸本)9783031753794

The proceedings contain 25 papers. The special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. The topics include: Klaim in the Making;formal Approaches for Modeling and Analysis of Business Process Collaborations;an Abstract Account of Up-to Techniques for Inductive Behavioural Relations;language Equivalence from Nondeterministic to Weighted Automata—and Back;a Process Algebraic View of In/Out Prisoners;towards a Formal Testing Theory for Quantum Processes;testing Quantum Processes;the ProbInG Project: Advancing Automatic Analysis of Probabilistic Loops;towards a Probabilistic programming Approach to Analyse Collective Adaptive systems;Can AI Help with the Formalization of Railway Cybersecurity Requirements?;white-Box Validation of Collective Adaptive systems by Statistical Model Checking and Process Mining;analysing Collective Adaptive systems by Proving Theorems;engineering Ethical-Aware Collective Adaptive systems;emerging Synchrony in Applauding Audiences: Formal Analysis and Specification;flocks of Birds: A Quantitative Evaluation;strategies in Spatio-Temporal Logics for Multi-agent systems;function-as-a-Service Allocation Policies Made Formal;asynchronous Multiparty Sessions with Internal Delegation: Dedicated to Rocco De Nicola on the Occasion of his 70th Birthday;code-Centric Code Generation;attack Tree Generation via Process Mining;local Spaces in Soft Concurrent Constraint programming Oriented to Security;Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING;preventing Out-of-Gas Exceptions by Typing.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ChatGPT on the Freshman Test in C/C++ programming 21

ChatGPT on the Freshman Test in C/C++ Programming

引用

21st IEEE international symposium on Intelligent systems and Informatics, SISY 2023

作者： Logozar, Robert Mikac, Matija Hizak, Jurica University North Dpt. of Electrical Eng. Varazdin Croatia

ISBN: (纸本)9798350343366

We investigate the use of ChatGPT for solving fundamental programming tasks in C/C++ languages and put it on a freshman programming test. The obtained source code was graded rather benevolently, in a way we would grade the code written by our students: functionality first, but then also optimality and form. The test was first given in English, then in Croatian, and after that repeated again in English. ChatGPT passes the exam with very good grades, outperforming most of our students in the quality of solutions. Furthermore, it solves each task within 20 to 30 seconds and shows the general ability to adapt or change its solutions according to additional demands. However, in some, often simple tasks, it showed the inability to comprehend the logical and mathematical essence of the problem, even after being prompted about its errors several times. © 2023 IEEE.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Efficient VNF-FG Scaling Algorithm for 5G Network Slices

Efficient VNF-FG Scaling Algorithm for 5G Network Slices

引用

2023 IEEE international symposium on Broadband Multimedia systems and Broadcasting, BMSB 2023

作者： Chai, Xuqing Wang, Ying Zhang, Manjun Cong, Lin Beijing University of Posts and Telecommunications State Key Laboratory of Networking and Switching Technology Beijing China

ISBN: (纸本)9798350321524

While meeting the needs of network traffic, dynamic deployment of VNF is the key to cost optimization of NFV system. In addition to considering server resource capacity and dynamic user traffic, the dynamic expansion strategy also needs to strike a balance between the operating costs of VNF, the cost of maintaining VNF instances, the cost of VNF deployment, and the additional cost of servers placing new VNF instances. In this paper, the problem is modeled as a 0-1 integer linear programming model with quadratic terms, and a new linear programming method is used to solve the problem. The algorithm reduces the complexity of the algorithm to a great extent by reducing the number of variables in the constraint. Through the experimental simulation, we prove the effectiveness of the algorithm and reduce the cost of VNF-FG scaling. © 2023 IEEE.

关键词： Quadratic programming

来源：评论

学校读者我要写书评

暂无评论

A No-Code Approach for Intuitive Robot programming for Agile Welding Application

A No-Code Approach for Intuitive Robot Programming for Agile...

引用

international symposium on Robotic and Sensors Environments (ROSE)

作者： Halim, Jayanto Bdiwi, Mohamad Ihlenfeldt, Steffen Fraunhofer Inst Machine Tools & Forming Technol Grp Collaborat Robot Syst D-09126 Chemnitz Germany Fraunhofer Inst Machine Tools & Forming Technol Dept Prod Syst & Factory Automat D-09126 Chemnitz Germany

ISBN: (纸本)9798350362367;9798350362374

Agile manufacturing paradigms have revolutionized a new era of production processes, offering unparalleled flexibility and adaptability to the ever-changing landscape of product variations and smaller batch sizes. In response to this dynamic environment, the robotic industry has undergone a significant transformation, presenting a range of versatile robotic systems capable of swiftly deploying diverse applications. This transformative shift accelerates manufacturing processes and showcases the ability to accommodate product specifications and batch size variations. Welding is a notable example of robotics playing a crucial role in agile production. This work presents a novel approach combining no-code robot programming and an intelligent vision-based welding system. By leveraging this framework, even non-expert users can seamlessly instruct welding trajectories through intuitive interactions. These trajectories are meticulously crafted using advanced welding seam extraction algorithms, considering various welding joint types and inputs from heterogeneous sensors. Consequently, robot-specific parameters can be parametrized, and the generated robot code can seamlessly translate into robotic movements in the real world. Validation of this approach through real-world experiments underscores its potential for deployment in agile welding applications. The promising results affirm this novel methodology's efficacy, paving the way for its practical implementation in real-world scenarios. By effectively bridging the divide between advanced robotics and agile manufacturing, this approach can potentially elevate industrial robotic applications to new levels of efficiency and adaptability.

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

Cruise control approach for virtually coupled trains based on improved self-triggered model predictive control 9

Cruise control approach for virtually coupled trains based o...

引用

9th international symposium on Sensors, Mechatronics, and Automation System, ISSMAS 2023

作者： Tong, He Sun, Pengfei Feng, Jiahui Yan, Keqin Zhang, Jiahui School Electrical Engineering Southwest Jiaotong University Sichuan Chengdu611756 China

ISBN: (纸本)9781510672802

Train in the virtually coupling train group operates at the same speed and a small interval, and is prone to be disturbed by adjacent trains and generate control fluctuations, which also brings greater pressure to communication. The self-triggering control can relieve the pressure of communication and calculation and reduce the control frequency, but the calculation cost at the trigger time will inevitably rise. Therefore, a cruise control method based on improved self-triggered model predictive control is proposed. The results show that this method can greatly reduce the calculation time while having good convergence. © 2024 SPIE.

关键词： Education and training Intelligence systems Transportation Computer programming systems modeling Process control Resistance Switching Telecommunications Wireless communications

来源：评论

学校读者我要写书评

暂无评论

Timestamp Peripherals for Precise Real-Time programming 23

Timestamp Peripherals for Precise Real-Time Programming

引用

21st ACM/IEEE international symposium on Formal Methods and Models for System Design (MEMOCODE)

作者： Hui, John Edwards, Kyle J. Edwards, Stephen A. Columbia Univ New York NY 10027 USA

ISBN: (纸本)9798400703188

On microcontrollers, timer devices provide high-precision timing, but that precision is lost when using high-level languages without suitable abstractions for temporal behavior. So, for timing-sensitive applications, programmers resort to low-level languages like C which lack expressiveness and safety guarantees. Other programmers use specialized precision-timing hardware which is expensive and difficult to obtain. In this work, we achieve sub-microsecond precision from a high-level real-time programming language on the RP2040, a cheap, widely available microcontroller. Our work takes advantage of the RP2040's Programmable I/O (PIO) devices, which are cycle-accurate coprocessors designed for implementing hardware protocols over the RP2040's GPIO pins. We use the PIO devices to implement timestamp peripherals, which are input capture and output compare devices. We use timestamp peripherals to mediate I/O from programs written in Sslang, a real-time programming language with deterministic concurrency. We show that timestamp peripherals help Sslang programs achieve the precise timing behavior prescribed by Sslang's Sparse Synchronous programming model.

关键词： real time systems concurrency control computer languages timing

来源：评论

学校读者我要写书评

暂无评论

Teach the importance of logic (programming) in Computer Science and why it is important 25

Teach the importance of logic (programming) in Computer Scie...

引用

25th international symposium on Computers in Education, SIIE 2023

作者： Arias, Joaquin Universidad Rey Juan Carlos Cetinia Madrid Spain

ISBN: (纸本)9798350329315

This paper supports the importance of teaching logic (and logic programming) in computer science degrees and discusses several proposals that can be included in current curricula without the need to adapt the academic guides. In addition, some practical examples are described and the tools used for their subsequent application are related. © 2023 IEEE.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Self-Optimizing Agents Using Mixed Initiative Behavior Trees 18

Self-Optimizing Agents Using Mixed Initiative Behavior Trees

引用

IEEE/ACM 18th international symposium on Software Engineering for Adaptive and Self-Managing systems (SEAMS)

作者： Behery, Mohamed Trinh, Minh Brecher, Christian Lakemeyer, Gerhard Rhein Westfal TH Aachen KnowledgeBased Syst Grp Aachen Germany Rhein Westfal TH Aachen Lab Machine Tools & Prod Engn Aachen Germany

ISBN: (纸本)9798350311921

Fast paced industry requirements call for fast and easy robot programming, especially for Small and Medium sized Enterprises (SME) that often lack robot programming experience. Even with the advancement of graphical activity representation languages such as Behaviour Trees (BTs), it can still be time consuming to program robots for new behaviors due to the shifting product specifications and the dynamic production environments. This paper presents an extension of BTs that offers more flexibility as well as higher reactivity and robustness by introducing Mixed Initiative Planning (MIP) to BTs using Dynamic Sequence Nodes (DSNs). DSNs reduce the human effort needed to design a BT as well as the number of nodes to achieve a certain task while maintaining robustness, readability, and modularity of the tree. Additionally, it introduces run-time optimization to BTs, as opposed to tree synthesis approaches that guarantee convergence but overlook performance.

关键词： Behavior Trees Mixed Initiative Planning Robot programming

来源：评论

学校读者我要写书评

暂无评论

Techno-Economic Assessment of a Large-Scale Electrolysis Plant in Hydrogen and Ancillary Service Markets 12

Techno-Economic Assessment of a Large-Scale Electrolysis Pla...

引用

12th IFAC symposium on Control of Power and Energy systems (CPES)

作者： Ennassiri, Yassine Ferro, Giulio Robba, Michela Damm, Gilney Prado, Edemar O. Univ Genoa DIBRIS Dept Informat Bioengn Robot & Syst Engn I-16145 Genoa Italy Gustave Eiffel Univ IMSE Lab Marne La Vallee France Univ Fed Santa Maria Power Elect & Control Res Grp GEPOC BR-97105900 Santa Maria RS Brazil

Hydrogen electrolysis systems have seen considerable interest from energy communities as a potential solution for shifting from fossil-based energy resources to clean energy alternatives. The system consists of transforming electricity into hydrogen via water electrolysis. As it is expected to have a large-scale connection with the grid to compensate the fluctuation of renewables, it is important to understand the system's technical and economic feasibility. Therefore, this work aims to provide a high-level techno-economic assessment for the participation of a large-scale electrolysis plant in hydrogen and grid ancillary service markets. The plant generates revenue from two sources: hydrogen and frequency regulation. Based on market prices of electricity and hydrogen, a linear programming (LP) optimization has shown that a 50MW electrolysis plant can generate a 33% increase in profit if the plant includes the grid support market in the business model. Additionally, simulations under unstable grid frequency have shown high reactivity of the system to maintain grid stability. Copyright (C) 2024 The Authors. This is an open access article under the CC BY-NC-ND license (https://***/licenses/by-nc-nd/4.0/)

关键词： optimization hydrogen production frequency regulation optimization linear programming

来源：评论

学校读者我要写书评

暂无评论

Improve the Firefly Algorithm to Solve the Order Batching Problem of the 'Cargo-to-Picker' Picking System 6

Improve the Firefly Algorithm to Solve the Order Batching Pr...

引用

6th international symposium on Robotics and Intelligent Manufacturing Technology, ISRIMT 2024

作者： Zhao, Huimin Yan, Long School of Management Science and Engineering Shandong Technology and Business University Shandong Yantai China

ISBN: (纸本)9798331528942

The rapid expansion and extensive integration of modern e-commerce have dramatically escalated consumer expectations regarding the speed of order fulfillment. In response, advanced smart warehouse technologies have emerged as pivotal solutions for optimizing distribution efficiency. This study focuses on addressing the challenge of batch order allocation within Automated Guided Vehicle (AGV)-based 'goods-to-person' picking systems. It investigates a decentralized storage strategy aimed at facilitating batch picking across multiple orders simultaneously, thereby enhancing the efficiency of AGV operations. The research develops an integer programming model designed to minimize total AGV movements during batch order allocation. To optimize this model, an enhanced Firefly algorithm is introduced, featuring a dynamically adjusted parameter to expedite convergence during random operations. Experimental validation underscores the efficacy of both the model and algorithm, demonstrating significant improvements in batch order processing efficiency. © 2024 IEEE.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 6 7 8 9 10 11 12 13 14 15 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：