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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,067 篇 会议
64 册 图书
9 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

51 篇 software enginee...
50 篇 programming
47 篇 linear programmi...
41 篇 software enginee...
31 篇 dynamic programm...
30 篇 artificial intel...
24 篇 integer programm...
23 篇 computer communi...
23 篇 optimization
21 篇 programming lang...
19 篇 machine learning
18 篇 logics and meani...
18 篇 heuristic algori...
17 篇 computer science
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,116 篇 英文
21 篇 其他
5 篇 中文

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

共 1140 条记录，以下是971-980 订阅

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

详细简洁

排序：

Comprehensive Approaches to Securing Multi-Cloud Architectures: Best Practices and Emerging Solutions

Comprehensive Approaches to Securing Multi-Cloud Architectur...

引用

international conference on Contemporary Computing and Informatics (IC3I)

作者： Raveena R Nair D. Sreevidya Chinnem Rama Mohan Joydeep Banerjee Kuldeep Chouhan Dharamvir Saveetha School of Law Saveetha Institute of Medical and Technical Sciences (SIMATS) Chennai India Department of CSE (CyS DS) and AI & DS VNRVJIET Nizampet Hyderabad India Department of Computer Science and Engineering Narayana Engineering College Nellore Andhra Pradesh India NSHM Knowledge Campus Durgapur Kolkata West Bengal India Department of Computer Science Applications Sharda School of Engineering and Technology Greater Noida Uttar Pradesh India Department of MCA The Oxford College of Engineering Bommanahalli Bengaluru Karnataka India

ISBN: (数字)9798350350067

ISBN: (纸本)9798350350074

With an emphasis on multi-cloud networks, this research paper offers a synopsis of cloud computing techniques. It covers the fundamentals of cloud programming, the difficulties that cloud computing faces, and the ways that multi-cloud systems, such as cloud hybridization, federation clouds, cross-clouds, and multi-clouds, might help solve these problems. the opportunity of multi-cloud structures in combination with modern technologies such as Big Data and also Machine Learning (ML) is explored as well in the study, leading to some fascinating breakthroughs. To assist researchers, grasp the difficulties and generate enthusiasm within the community for the upcoming pairing of multi-cloud services with additional cutting-edge technologies, the aim is to present a contemporary perspective on multi-cloud technology and solve outstanding concerns.

关键词： Cloud computing Machine learning Computer architecture Companies programming Maintenance engineering Big Data Safety Informatics Faces

来源：评论

学校读者我要写书评

暂无评论

Data poisoning: issues, challenges, and needs

Data poisoning: issues, challenges, and needs

引用

7th IET Smart Cities Symposium (SCS 2023)

作者： Mohammad Aljanabi Alaa Hamza Omran Maad M Mijwil Mostafa Abotaleb El-Sayed M. El-kenawy Sahar Yousif Mohammed Abdelhameed Ibrahim Department of computer College of Education Aliarqai university Baghdad Iraq University of information technology and communications Baghdad Iraq Computer Techniques Engineering Department Baghdad College of Economic Sciences University Baghdad Iraq Department of System Programming South Ural State University Chelyabinsk Russia Department of Communications and Electronics Delta Higher Institute of Engineering and Technology Egypt Computer Science Department Computer Science & Information Technology College Anbar University Anbar Iraq Computer Engineering and Control Systems Department Faculty of Engineering Mansoura University Mansoura Egypt

Data poisoning attacks, where adversaries manipulate training data to degrade model performance, are an emerging threat as machine learning becomes widely deployed in sensitive applications. this paper provides a comprehensive overview of data poisoning including attack techniques, adversary incentives, impacts on security and reliability, detection methods, defenses, and key research gaps. We examine label flipping, instance injection, backdoors, and other attack categories that enable malicious outcomes ranging from IP theft to accidents in autonomous systems. Promising detection approaches include statistical tests, robust learning, and forensics. However, significant challenges remain in translating academic defenses like adversarial training and sanitization into practical tools ready for operational use. With safety and trustworthiness at stake, more research on benchmarking evaluations, adaptive attacks, fundamental tradeoffs, and real-world deployment of defenses is urgently needed. Understanding vulnerabilities and developing resilient machine learning pipelines will only grow in importance as data integrity is fundamental to developing safe artificial intelligence.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Minimizing User Connectivity Costs and Latency Between Controllers and Switch-Controllers for Software Defined Networking 19th

Minimizing User Connectivity Costs and Latency Between Cont...

引用

Mobile Web and Intelligent Information Systems - 19th international conference, MobiWIS 2023, Proceedings

作者： Viveros, Andres Adasme, Pablo Firoozabadi, Ali Dehghan Department of Electrical Engineering Universidad de Santiago de Chile Avenida Víctor Jara No 3519 Santiago9170124 Chile Department of Electricity Universidad Tecnológica Metropolitana Av. Jose Pedro Alessandri 1242 Santiago7800002 Chile

ISBN: (纸本)9783031397639

In this paper, we consider the problem of assigning users to switches and controllers at minimum connectivity costs. We simultaneously minimize the existing latency between controllers and switch controllers for software-defined networks (SDN). In particular, we propose two mixed-integer quadratic programming formulations and their standard linearization counterparts. All the proposed models are solved with the CPLEX solver. More precisely, the quadratic models are solved with the branch and cut (B &C) algorithm of the solver. Whilst the linear ones are solved with both, the B &C and with the automatic Bender’s decomposition algorithmic option of the CPLEX solver. To the best of our knowledge, this work constitutes a first attempt to propose mathematical formulations while including user connectivity to a backbone software-defined network. Notice that we consider which is the best strategy for connecting users to the backbone, either connecting them to switches or to the controller nodes of the network. Our preliminary numerical results indicate that for most of the benchmark instances considered the second strategy which connects users to switches has a better performance in terms of objective function values. On the other hand, we observe that the linear models offer better performance in terms of CPU times to get the optimal or best objective values. Finally, we see that the linear models can be solved faster with the branch and cut algorithm than using Bender’s decomposition approach. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Controllers

来源：评论

学校读者我要写书评

暂无评论

threat modeling using formal methods: A new approach to develop secure web applications

Threat modeling using formal methods: A new approach to deve...

引用

international conference on Emerging Technologies, ICET

作者： Shafiq Hussain Harry Erwin Peter Dunne Department of Computing Engineering and Technology University of Sunderland Sunderland UK

Software security problems exist since the early days of computer systems. Operating system level approaches, network level approaches and machine level approaches are not sufficient for the security of software systems. Software security has gained attention in the recent years as an internal security issue of software systems as compared to external protective measures. threat modeling is a technique being used to model threats into software systems. By applying threat modeling at the early stages of software development life cycle, all possible threats to software systems can be identified and mitigated and hence in this way, a more secure software application can be developed. Various threat modeling approaches such as CLASP, SDL, STRIDE, DREAD, TAM and Touch Points are being used by many organizations for threat modeling into software systems. But all of the approaches being used for threat modeling are based on informal and semi formal techniques. Formal methods are based on mathematics and provide state of the art techniques for secure software development. Formal methods had been used successfully in many critical systems such as CICS, Paris Railway System and British Air Traffic Control System etc. In the proposed approach VDM++, will be used for specification of core components: STRIDE, DREAD and Security Mechanisms. VDM++Tools will be used for type checking and proof obligations.

关键词： Security Unified modeling language Software systems Mathematical model Computational modeling programming

来源：评论

学校读者我要写书评

暂无评论

Using Knowledge Representation and Task Planning for Robot-agnostic Skills on the Example of Contact-Rich Wiping Tasks

Using Knowledge Representation and Task Planning for Robot-a...

引用

IEEE international conference on Automation science and engineering (CASE)

作者： Matthias Mayr Faseeh Ahmad Alexander Duerr Volker Krueger Department of Computer Science Faculty of Engineering (LTH) Lund University Lund Sweden

the transition to agile manufacturing, Industry 4.0, and high-mix-low-volume tasks require robot programming solutions that are flexible. However, most deployed robot solutions are still statically programmed and use stiff position control, which limit their usefulness. In this paper, we show how a single robot skill that utilizes knowledge representation, task planning, and automatic selection of skill implementations based on the input parameters can be executed in different contexts. We demonstrate how the skill-based control platform enables this with contact-rich wiping tasks on different robot systems. To achieve that in this case study, our approach needs to address different kinematics, gripper types, vendors, and fundamentally different control interfaces. We conducted the experiments with a mobile platform that has a Universal Robots UR5e 6 degree-of-freedom robot arm with position control and a 7 degree-of-freedom KUKA iiwa with torque control.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Step-Based Carbon Trading Model for the Optimal Dispatch of RIES Considering Demand Response Incentivized by TOU Pricing

Step-Based Carbon Trading Model for the Optimal Dispatch of ...

引用

IEEE conference on Energy Internet and Energy System Integration (EI2)

作者： Fu Shen Xiang Dai Jian Wang Yutao Zhang Guangbing Yang Chong Wang Suwei Zhai Faculty of Electric Power Engineering Kunming University of Science and Technology Kunming China College of Energy and Electrical Engineering Hohai University Nanjing China China Electric Power Research Institute Yunnan Power Grid Company Ltd. Kunming China

the assimilation of renewable energy sources (RESs) into the regional integrated energy system (RIES) necessitates a flexible and controllable load to address the challenges posed by the increasing prevalence of intermittent renewable energy generation. this paper proposes a step-based carbon trading model for the optimal dispatch of RIES considering demand response incentivized by TOU pricing. Firstly, the different interest groups involved in the production, transmission, and use of energy in the RIES are analyzed in this paper, as well as their interactions. then, the step-based carbon trading and demand response model are introduced based on the interactions of the interest groups in the RIES. the total objective function of the model is formulated by minimizing the grid interaction cost, photovoltaic (PV) and PW operation cost, carbon emissions cost, energy storage operation cost and DR invocation cost, transformed into a mixed integer liner programming (MILP) problem and solved using the Cplex solver. Finally, the multiple operating scenarios of simulation results validate the effectiveness and accuracy of the proposed model.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An Aircraft Structural Component Process Route Recommendation Engine Based on ANN-LCS Algorithm

An Aircraft Structural Component Process Route Recommendatio...

引用

Computer Information science and Application Technology (CISAT), international conference on

作者： Linhao Qin Dewei Fu Zhenjun Ming Hongpeng Zhang Hu Lu Qiang Li Baoguo Chen Qin Wen Mengmin Xu Ruiqiang Lyu SME Beijing Institute of Technology Beijing China SAMC Commercial Aircraft Corporation of China Ltd Shanghai China Division for Industrial Software AVIC Manufacturing Technology Institute Beijing China

ISBN: (数字)9798350375107

ISBN: (纸本)9798350375114

A process route recommendation engine for aviation structural components based on ANN-LCS algorithm is introduced. By processing the machining process knowledge of aviation structural components, defining their basic information and process route data, and then constructing and training an ANN (artificial Neural Network) to classify parts. Based on part classification, the LCS (Longest Common Substring) algorithm based on dynamic programming is used to generate process routes. through the testing of process route recommendation examples, the results show that this method can effectively obtain and select feasible process routes in the process design stage.

关键词： Process design Knowledge engineering Training Heuristic algorithms artificial neural networks Dynamic programming Classification algorithms Personnel Engines Testing

来源：评论

学校读者我要写书评

暂无评论

Flexible Joint Manipulator Control Based on Adaptive Dynamic programming

Flexible Joint Manipulator Control Based on Adaptive Dynamic...

引用

international conference on Informative and Cybernetics for Computational Social Systems (ICCSS)

作者： Aiguo Gao Tianmin Zhou Tao Li Yujia Liu Ruizhuo Song Qinglai Wei North China Electric Power Research Institute Co. Ltd Bejing China Chinese Academy of Sciences Institute of Automation Bejing China University of Science and Technology Beijing School of Automation and Electrical Engineering Bejing China

ISBN: (数字)9781728162461

ISBN: (纸本)9781665419352

the authors present an adaptive dynamic programming-based (ADP-based) scheme to solve the tracking control problems of flexible joint manipulator, which can be transformed to solve the Hamilton-Jacobi-Bellman (HJB) equation. For the nominal error system, a critic neural network is established to approximate the value function and an online learning algorithm is proposed to update the weight of the critic neural network. the weight update of the critic neural network occurs at the same time as the system is running. the dynamics of the weight estimation error and the tracking error are proven to be uniformly ultimately bounded via Lyapunov method. Finally, a numerical example is given to illustrate the performance of the present method.

关键词： Estimation error Neural networks Optimal control Stability analysis Mathematical model Manipulator dynamics Lyapunov methods

来源：评论

学校读者我要写书评

暂无评论

How efficient can hydrogen be? Hydrogen technologies and their limits of optimizibility

How efficient can hydrogen be? Hydrogen technologies and the...

引用

7th international Hybrid Power Plants & Systems Workshop (HYB 2023)

作者： N. Eggers T. Birth M. Scheffler S. Jentsch A. Hurtado Energy Systems and Infrastructures Fraunhofer Institute for Factory Operation and Automation IFF Sandtorstraße 22 Magdeburg Germany Mechanical Science and Engineering Technische Universität Dresden Dresden Germany

Hydrogen offers excellent potential for cross-sector decarbonization through power-to-gas technologies necessary for climate policy. However, studies show that the planned expansion of electrolysis technologies according to current future scenarios will not produce sufficient quantities of hydrogen. One way to address this challenge is to optimize electrolysis technologies, which would increase efficiency and, at the same time, increase hydrogen yield. this approach raises the question of the limit of optimizability. this paper presents and discusses a model to represent an idealized reference process for water electrolysis. the reference model has the potential of identifying the optimum based on applicable laws of nature and the current state of the art, which can be used as a basis for the process design of an electrolysis cell. Furthermore, it allows the real-time evaluation of the operation of an electrolysis cell and, thus, the investigation of degradation effects.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Multiple Dielectric Isolation Layer to Improve programming Interference in 3D Charge-Trapping NAND Flash Memory

Multiple Dielectric Isolation Layer to Improve Programming I...

引用

international conference on Electronics Technology (ICET)

作者： Xue Lv Zheng Fang Da Chen Fei Wang College of Electronic and Information Engineering Shandong University of Science and Technology Qingdao China

ISBN: (数字)9798350363951

ISBN: (纸本)9798350363968

In three-dimensional (3D) NAND flash device, the spacer length decreases as the number of stacks increases in order to achieve high density and small size. As the spacer size of the device decreases, the interference problem between neighboring cells becomes more severe. To effectively solve these problems, methods have been proposed to replace spacer materials in 3D NAND device with low dielectric constant materials. In this work, we observe the pass-gate voltage ($\mathrm{V}_{\text {pass }}$) interference characteristics of various single dielectric and multiple dielectric spacers during programming. An isolation layer structure that splits the charge trapping layer is proposed in this paper. Furthermore, the performance improvement can be achieved by the high dielectric constant/low dielectric constant/high dielectric constant multilayer dielectric isolation layer structure. Based on this, the SiO 2 -Air-SiO2 (O-A-O) multiple dielectric isolation layer structure is proposed to improve the $V_{\text {pass }}$ interference characteristics. Improving the program characteristics of 3D NAND flash memory by the proposed structure will help to increase the reliability of the memory device.

关键词： Performance evaluation Dielectric constant three-dimensional displays Dielectric materials Interference Voltage programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共114页 << < 94 95 96 97 98 99 100 101 102 103 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：