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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,066 篇 会议
63 册 图书
9 篇 期刊文献

馆藏范围

1,138 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

705 篇 工学
- 567 篇 计算机科学与技术...
- 479 篇 软件工程
- 135 篇 信息与通信工程
- 131 篇 控制科学与工程
- 99 篇 电气工程
- 71 篇 生物工程
- 64 篇 机械工程
- 55 篇 动力工程及工程热...
- 52 篇 电子科学与技术（可...
- 45 篇 交通运输工程
- 38 篇 生物医学工程（可授...
- 31 篇 化学工程与技术
- 25 篇 安全科学与工程
- 23 篇 土木工程
- 22 篇 光学工程
- 22 篇 石油与天然气工程
391 篇 理学
- 277 篇 数学
- 78 篇 生物学
- 63 篇 物理学
- 58 篇 统计学（可授理学、...
- 57 篇 系统科学
- 32 篇 化学
192 篇 管理学
- 138 篇 管理科学与工程(可...
- 80 篇 工商管理
- 68 篇 图书情报与档案管...
34 篇 经济学
- 34 篇 应用经济学
33 篇 教育学
- 33 篇 教育学
28 篇 法学
26 篇 医学
- 24 篇 基础医学(可授医学...
- 24 篇 临床医学
- 23 篇 药学(可授医学、理...
13 篇 农学
1 篇 艺术学

主题

51 篇 software enginee...
50 篇 programming
47 篇 linear programmi...
40 篇 software enginee...
31 篇 dynamic programm...
30 篇 artificial intel...
24 篇 integer programm...
23 篇 computer communi...
22 篇 optimization
21 篇 programming lang...
19 篇 machine learning
18 篇 logics and meani...
17 篇 computer science
17 篇 heuristic algori...
16 篇 computational mo...
16 篇 students
16 篇 software
15 篇 costs
15 篇 programming tech...
13 篇 object oriented ...

机构

7 篇 college of energ...
6 篇 school of electr...
5 篇 college of elect...
5 篇 school of scienc...
5 篇 information engi...
4 篇 school of comput...
4 篇 school of vehicl...
4 篇 china electric p...
4 篇 school of cyber ...
3 篇 school of electr...
3 篇 school of electr...
3 篇 school of transp...
3 篇 department of co...
3 篇 college of infor...
3 篇 school of inform...
3 篇 state key labora...
3 篇 department of co...
3 篇 nanjing universi...
3 篇 shanghai maritim...
3 篇 polytechnic inst...

作者

4 篇 meikang qiu
3 篇 wang hui
3 篇 miller james
3 篇 gong peizhu
3 篇 wang junxiang
3 篇 xigang yuan
3 篇 batra salil
3 篇 salil batra
3 篇 mekruksavanich s...
3 篇 jitpattanakul an...
3 篇 liu jin
3 篇 wu zhongdai
3 篇 mengjie zhang
2 篇 yin jianbing
2 篇 heinz stefan
2 篇 seniman
2 篇 li cheng
2 篇 saraswat sudhir
2 篇 duo liu
2 篇 cheng wang

语言

1,114 篇 英文
21 篇 其他
5 篇 中文

检索条件"任意字段=7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023"

共 1138 条记录，以下是71-80 订阅

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

详细简洁

排序：

Co-optimization of intelligent connected fuel cell vehicle powertrain based on networked scenario 7

Co-optimization of intelligent connected fuel cell vehicle p...

引用

7th CAA international conference on Vehicular Control and Intelligence, CVCI 2023

作者： Yu, Hanzhengnan Chang, Liang Liu, Yu Zhang, Baodi China Automotive Technology and Research Center Co. Ltd. Tianjin China Beijing Jiaotong University School of Mechanical Electronic and Control Engineering Beijing China

ISBN: (纸本)9798350340488

With the intelligent and networked vehicles, the control of fused traffic information brings new opportunities for fuel cell vehicle energy optimization. In this paper, we use the vehicle-road cooperative system to collect traffic information, adopt dynamic programming (DP) to select the optimal green light passing time, complete the global optimal planning speed based on the quadratic planning algorithm, and the lower layer adopts dynamic planning to realize the power distribution among energy sources. Simulation results show that by co-optimizing the speed planning and energy management strategies, the hydrogen consumption of the vehicle is reduced by 32.3% compared to the original strategy. © 2023 IEEE.

关键词： fuel cell intelligent connected vehicle optimization,dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Punchcard: A Practical Red-Zone Based Scheme for Low-Overhead Heap Protection 23

Punchcard: A Practical Red-Zone Based Scheme for Low-Overhea...

引用

23rd IEEE international conference on High Performance Computing and Communications, 7th IEEE international conference on Data science and Systems, 19th IEEE international conference on Smart City and 7th IEEE international conference on Dependability in Sensor, Cloud and Big Data Systems and Applications, HPCC-DSS-SmartCity-DependSys 2021

作者： Zhang, Chaochao Awad, Amro Hou, Rui Alwadi, Mazen State Key Laboratory of Information Security Institute of Information Engineering Cas China University of Chinese Academy of Sciences China North Carolina State University United States University of Central Florida United States

ISBN: (纸本)9781665494571

Memory-unsafe programming languages, such as C and C++, remain indispensable due to their performance and memory management advantages. Several studies addressed the memory safety issues by proposing hardware-assisted techniques. However, we observe the proposed techniques fail to enforce the security policies due to the naive assumption - the memory can be only accessed through the processor caches. In this paper, we demonstrate that different memory access techniques can compromise the state-of-the-art blacklisting technique. then, we propose Punchcard, a light-weight and full coverage technique. Punchcard introduces a micro-unit inside the MMU, which ensures the enforcement of the security policies to all memory accesses. Additionally, Punchcard minimizes the performance overhead by re-purposing the unused physical address bits to store the metadata. Punchcard achieves this comprehensive memory protection by incurring an average of 11% performance overhead, and an average of 9% memory overhead. © 2021 IEEE.

关键词： Computer languages Smart cities Memory management C++ languages Metadata Safety Complexity theory

来源：评论

学校读者我要写书评

暂无评论

IRS-assisted MISO system energy-saving communication scheme under security constraints 7

IRS-assisted MISO system energy-saving communication scheme ...

引用

7th IEEE Information Technology and Mechatronics engineering conference, ITOEC 2023

作者： Zhang, Xin Jia, Xiangdong Chen, Gongziyu Niu, Xiayang College of Computer Science and Engineering Northwest Normal University Lanzhou China Nanjing University of Posts and Telecommunications Wireless Communication Key Lab of Jiangsu Province Nanjing China

ISBN: (纸本)9798350334197

Aiming at the high security and high energy consumption risks of downlink multiple input single output (MISO) systems assisted by intelligent reflecting surface (IRS), the transmission beamforming of the base station(BS), and the phase shift matrix of IRS are jointly considered for the transmission of the system. A system transmission power minimization problem under the constraint of a legal user secrecy rate was constructed. then a second-order cone programming algorithm based on successive convex approximation(SCA) is proposed to solve the problem. the proposed algorithm simultaneously updates all optimization variables in each iteration and obtains a suboptimal solution to the original problem. the simulation results show that compared with the proposed baseline scheme, the algorithm in this paper achieves lower transmit power while ensuring the confidentiality quality of legitimate users. © 2023 IEEE.

关键词： Second-order cone programming

来源：评论

学校读者我要写书评

暂无评论

Optimal Operation Problem of the Cooling Chain System in A Nuclear Power Plant with thermal and Hydraulic Constraints 7

Optimal Operation Problem of the Cooling Chain System in A N...

引用

7th international conference on Power and Energy engineering, ICPEE 2023

作者： Yu, Pei Liu, Yaguang Hou, Ting Cao, Mengfan Yang, Zaiyue Harbin Engineering University Beijing China China Nuclear Power Engineering Co. Ltd. Beijing China Southern University of Science and Technology Shenzhen China

ISBN: (纸本)9798350381146

the cooling chain system of a nuclear power plant is a highly intricate system, aiming to efficiently dissipate residual heat from the nuclear power plant. Discrepancies between the capacity of the cooling chain system and the actual cooling demands can significantly impact energy efficiency. this issue is particularly pronounced during winter. In this study, we present a novel dynamic model for a two-port heat exchanger that describes the heat transfer processes within the system. Besides, we develop a nonlinear programming model and employ an interior point method to solve the optimal operation problem of the cooling chain system, aiming to reduce operational costs while ensuring the temperature within nominal range. the effectiveness of the proposed method is demonstrated by simulation results. © 2023 IEEE.

关键词： Cooling

来源：评论

学校读者我要写书评

暂无评论

Development of GPU-based Parallel CFD Solver for Unstructured Meshes 7

Development of GPU-based Parallel CFD Solver for Unstructure...

引用

7th international conference on Electrical, Mechanical and Computer engineering, ICEMCE 2023

作者： Zhang, Ye Ren, Weijie Yu, Hang Li, Hua College of Aerospace Science and Engineering National University of Defense Technology Hunan Changsha410073 China

ISBN: (纸本)9798350382877

As computer technology and numerical algorithms rapidly develop, the role of computational fluid dynamics (CFD) in the fields of mechanical and aerospace engineering has become increasingly prominent. However, the outdated hardware level has hindered the application of CFD in both theory and engineering. In this article, we developed a CFD solver based on unstructured grids for compressible hypersonic flow. this solver achieved parallel computing based on GPUs using the CUDA programming model. We optimized the code to cater to the characteristics of CPU/GPU heterogeneous systems. the solver used a second-order finite volume method and an adaptive hybrid Riemann solver to accurately and robustly solve hypersonic flow problems. For grid sizes Up to tens of millions, the solver can achieve two orders of magnitude speedup. © 2023 IEEE.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

Verified Software: theories, Tools, and Experiments 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Arie Gurfinkel Sanjit A. Seshia

ISBN: (数字)9783319296135

ISBN: (纸本)9783319296128

this volume constitutes the thoroughly refereed post-conference proceedings of the 7th international conference on Verified Software: theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.;the 12 revised full papers presented were carefully revised and selected from 25 submissions.;the goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.

关键词： Software engineering Logics and Meanings of Programs programming Languages, Compilers, Interpreters programming Techniques Mathematical Logic and Formal Languages artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

Umple as a Template Language (umplE-TL) 7

Umple as a Template Language (umplE-TL)

引用

7th international conference on Model-Driven engineering and Software Development, MODELSWARD 2019

作者： Husseini Orabi, Mahmoud Husseini Orabi, Ahmed Lethbridge, Timothy C. School of Electrical Engineering and Computer Science University Of Ottawa 800 King Edward Avenue Ottawa Canada

ISBN: (纸本)9789897583582

We extend Umple, a model-oriented programming language, to incorporate text emission from templates as an integral feature. Umple as a template language (Umple-TL) is the term we use to describe the template sublanguage of Umple. Using Umple-TL, developers can benefit from synergies among UML modelling, templating and programming in several target languages (Java, C++), all in one textual language - Umple. Umple itself is written in Umple;using Umple-TL, we eliminated Umple's dependency on third-party libraries for text emission. We also support any other application developed in JET to be converted to use Umple-TL and attain benefits such as smaller and faster executables, target-language independence and IDE independence. the word 'template' in this paper refers to patterns for the generation of output, and not to generic types, another common use of the term. Copyright © 2019 by SCITEPRESS - science and Technology Publications, Lda. All rights reserved

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Efficient Fetal Health Monitoring and Classification with Machine Learning 7

Efficient Fetal Health Monitoring and Classification with Ma...

引用

7th international conference on Intelligent Computing and Control Systems, ICICCS 2023

作者： Singh, Kabir Shyry, Prayla Franklin, Ramya G Sathyabama Institute of Science and Technology Department of Computer Science and Engineering Chennai India

ISBN: (纸本)9798350397253

the goal of the research on fetal health categorization using machine learning is to create a model that can precisely predict the condition of a fetus during pregnancy. this is crucial because prompt action following early identification of fetal health issues might enhance the pregnancy's outcome. this research study suggests classifying fetal health status using machine learning approaches based on ultrasound images and other clinical parameters. To train and test our model, we will gather a sizable dataset of ultrasound images and clinical characteristics from pregnant women. To categorize the state of fetal health, the proposed model will employ machine learning algorithms and image processing techniques. Our approach should categorize fetal health status with a high degree of accuracy, and it will help obstetricians and gynecologists provide better treatment for pregnant patients. © 2023 IEEE.

关键词： Genetic programming

来源：评论

学校读者我要写书评

暂无评论

An Efficient Reduced-Memory GPU-based Dynamic programming Strategy for Bounded Knapsack Problems 7

An Efficient Reduced-Memory GPU-based Dynamic Programming St...

引用

7th international conference on Parallel, Distributed and Grid Computing, PDGC 2022

作者： Biswas, Girish Mukherjee, Nandini Jadavpur University Department of Computer Science and Engineering Kolkata India

ISBN: (纸本)9781665454018

Many dynamic programming approaches are existing for 1-0 Knapsack problem (KP) for fast GPU-based solution. these dynamic programming methods can be used for solving the problem of Bounded Knapsack Problem (BKP) after converting it into an equivalent 1-0 Knapsack problem. But, after conversion, large problem of BKP becomes too large 1-0 KP to fathoming via these methods on GPU-based system because of limited space availability in GPU device. In this paper, we present an implementation of an efficient dynamic programming technique to solve BKP on GPU-based system via CUDA. With an aspect to preserving the original problem size, BKP is not required to convert into equivalent 1/0 knapsack problem in this approach. Large problems are carried out with only minimally requisite CPU-GPU interactions and less memory occupancy on GPU for better efficiency and memory utilization. this GPU oriented parallel procedure shows brilliant speedup over sequential implementation of the dynamic technique. © 2022 IEEE.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

Student Data Analysis using Hadoop 7

Student Data Analysis using Hadoop

引用

7th international conference on Intelligent Computing and Control Systems, ICICCS 2023

作者： Shirisha, N. Divyajyothi, G. Prashanthi, A. Sowmya, G. MLR Institute of Technology Department of Computer Science & Engineering Hyderabad India Nalla Narasimha Reddy Education Society's Group of Institutions Department of Computer Science & Engineering Hyderabad India MLR Institute of Technology Department of AI&ML Hyderabad India

ISBN: (纸本)9798350397253

the amount of data produced at educational institutions today is growing quickly. It is challenging to analyze the student performance from the vast amount of data using conventional data processing methods. One can quickly analyze the vast amount of data by using big data. Previously, different databases are used for students. So that it takes more time to analyze the performance of a student. By using this application, it takes less time to analyze the data, as it is just like a centralized database where the entire profile of a student is found. In this study, data are analyzed using map-reduce techniques, which is a programming model suitable for processing large amounts of data, and a Hadoop cluster for ease of processing. this helps educational institutions analyze the students' data better and focus on their weak spots. © 2023 IEEE.

关键词： MapReduce

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共114页 << < 4 5 6 7 8 9 10 11 12 13 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：