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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

11,735 篇 会议
774 篇 期刊文献

馆藏范围

12,509 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,069 篇 工学
- 1,072 篇 计算机科学与技术...
- 1,032 篇 电气工程
- 455 篇 软件工程
- 384 篇 信息与通信工程
- 292 篇 控制科学与工程
- 133 篇 电子科学与技术（可...
- 102 篇 仪器科学与技术
- 87 篇 机械工程
- 47 篇 生物医学工程（可授...
- 42 篇 网络空间安全
- 39 篇 交通运输工程
- 32 篇 航空宇航科学与技...
- 29 篇 材料科学与工程（可...
- 20 篇 测绘科学与技术
- 18 篇 核科学与技术
- 14 篇 动力工程及工程热...
- 14 篇 石油与天然气工程
- 14 篇 生物工程
- 13 篇 土木工程
- 12 篇 安全科学与工程
185 篇 理学
- 63 篇 物理学
- 57 篇 系统科学
- 34 篇 数学
- 18 篇 生物学
- 12 篇 化学
148 篇 管理学
- 142 篇 管理科学与工程(可...
- 15 篇 图书情报与档案管...
51 篇 医学
- 35 篇 临床医学
33 篇 文学
- 32 篇 新闻传播学
22 篇 教育学
- 22 篇 教育学
16 篇 农学
11 篇 军事学
7 篇 艺术学
5 篇 经济学
1 篇 法学

主题

12,509 篇 software algorit...
3,747 篇 software
1,965 篇 algorithm design...
1,781 篇 hardware
828 篇 computer archite...
812 篇 heuristic algori...
762 篇 application soft...
708 篇 software enginee...
645 篇 computer science
599 篇 software systems
574 篇 computational mo...
560 篇 prediction algor...
552 篇 optimization
523 篇 clustering algor...
475 篇 testing
430 篇 accuracy
413 篇 signal processin...
372 篇 costs
350 篇 machine learning...
322 篇 real-time system...

机构

18 篇 moscow technical...
15 篇 tsinghua univers...
14 篇 school of softwa...
14 篇 lviv polytechnic...
13 篇 state key labora...
12 篇 university of ch...
12 篇 state key labora...
11 篇 york university ...
11 篇 jet propulsion l...
9 篇 software school ...
9 篇 department of co...
9 篇 state key labora...
9 篇 school of comput...
9 篇 nanjing univ sta...
8 篇 school of comput...
8 篇 school of electr...
8 篇 novosibirsk stat...
8 篇 software college...
8 篇 national univers...
8 篇 school of cyber ...

作者

12 篇 ling chen
11 篇 david lo
11 篇 hui li
10 篇 wei liu
10 篇 kun wang
9 篇 li li
9 篇 gang wang
9 篇 yang yang
9 篇 jack dongarra
8 篇 rui wang
8 篇 jian wang
8 篇 jun wang
8 篇 w. wolf
8 篇 qingshan jiang
8 篇 thambipillai sri...
8 篇 m.n.s. swamy
7 篇 giuseppe scannie...
7 篇 t. dohi
7 篇 jinfu chen
7 篇 ning wang

语言

12,431 篇 英文
49 篇 其他
28 篇 中文
1 篇 葡萄牙文

检索条件"主题词=Software algorithms"

共 12509 条记录，以下是4731-4740 订阅

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

详细简洁

排序：

Real-time Simulation Platform of DC Microgrid Fault Detection Based on FPGA

Real-time Simulation Platform of DC Microgrid Fault Detectio...

引用

International Conference on Electronic Measurement and Instruments, ICEMI

作者： Zhenhua Jin Yuwei Hua Shengjun Kan School of Vehicle and Mobility Tsinghua University Beijing China

ISBN: (纸本)9781665444927

Aiming at the problem of poor reliability and time certainty of microgrid offline simulation, combined with the characteristics of fast and time certainty of Field Programmable Gate Array (FPGA), the digital-analog hybrid real-time simulation platform of DC microgrid fault detection system based on FPGA was studied. The platform is composed of FPGA real-time digital simulation system, photovoltaic (PV) and energy storage control system, microgrid energy management system that can plan system operation modes and detect faults. The multi-step decomposition method is used to realize the reasonable distribution of computing power. In this platform, the hardware is composed of NI-PXIe-8840 real-time controller, PXIe-7868R FPGA, PXI-8512CAN and upper computer, and the software is included Simulink simulation software, Veristand experiment management software and Opal-RT toolkit, which can verify and study key technologies such as fault detection algorithm and energy management strategy of DC microgrid.

关键词： Photovoltaic systems software packages Fault detection Systems operation Computational modeling software algorithms Microgrids

来源：评论

学校读者我要写书评

暂无评论

A Novel Power Efficient CP Block Selection Procedure for Delay- Tolerant Services to Handle CP Outages in 5G and Beyond

A Novel Power Efficient CP Block Selection Procedure for Del...

引用

Consumer Communications and Networking Conference, CCNC IEEE

作者： Naveen Kumar Karthikeyan Subramaniam Karthikeyan Narayanan Nikhil Kommineni Samsung Research Institute Bangalore India

ISBN: (数字)9781728197944

ISBN: (纸本)9781728197951

3GPP has proposed implement Control Plane (CP) block functions now implemented as a software entity, when some of these functions go for an upgrade, it requires to purge all the connections. This leads to reattach procedure for all the User Equipments (UEs) that are attached to updating CP and hence UE power consumption and spectrum wastage. In this paper, we propose to exploit the nature of services, such as Guaranteed Bit Rate (GBR) and Best Effort (BE), to select the CP in the case of CP software upgrades. We also propose an algorithm to exploit the delay-tolerant nature of the BE services to save the power consumption and time to reestablish the connection during CP software upgrade. To achieve this, we propose to save the UE's context, exploiting BE services, in the CP, and use it once CP is upgraded. To maintain the timed recovery of such UEs, we have also introduced a stale timer, which is maintained between CP, UP, and UE. When the stale timer expires, the UE will be attached to another available CP. With extensive simulation, we have demonstrated that there exists an optimal timer value to obtain the best results. We have observed that the proposed method provides better results at the optimal stale timer value than that the method to reestablish the connection.

关键词： Power demand 5G mobile communication software algorithms Bit rate software Delays 3GPP

来源：评论

学校读者我要写书评

暂无评论

Multi-module Quadcopter with Autopilot Based on Raspberry PI

Multi-module Quadcopter with Autopilot Based on Raspberry PI

引用

IEEE NW Russia Young Researchers in Electrical and Electronic Engineering Conference (EIConRusNW)

作者： Andrey V. Khrenov Sekou A. K. Diane Lab. of System Integration of Control Technologies Institute of Control Problems of Russian Academy of Sciences Moscow Russia

ISBN: (数字)9781665404761

ISBN: (纸本)9781665446426

The article presents the structure of the developed quadrocopter, which consists of several modules. This structure allows quickly replacing a broken module or upgrading it separately. Universal software was developed to make this structure applicable to other types of transport. Considered are the issues of building an autopilot for the developed quadcopter and providing a human-machine interface that allows to form a flight task and track the progress of its fulfillment.

关键词： software algorithms Reliability engineering software Autopilot software reliability Task analysis Robots

来源：评论

学校读者我要写书评

暂无评论

Thermal characterization of automotive power module with SHERPA

Thermal characterization of automotive power module with SHE...

引用

Electronics Packaging Technology Conference (EPTC)

作者： Jung Kyun Kim Siemens EDA Gyeonggi-do Seongnam-si Republic of South Korea

ISBN: (纸本)9781665416207

This paper shows that thermal characterization of automotive power module using the thermal transient measurement method, simulation, calibration with SHERPA (Systematic Hybrid Exploration that is Robust, Progressive and Adaptive). The thermal model calibration tasks using transient thermal measurement for even more accurate thermal simulations and improve the reliability of components. We also demonstrated the thermal model calibration using SHERAPA algorithm within the HEEDS software. SHERPA is an efficient and robust optimization and search algorithm by combining several different search methods simultaneously, adapting and refining them as the search progresses. The efficiency and robustness of SHERPA on HEEDS optimization and Simcenter Flotherm deign of experiment were investigated on the thermal calibration model of automotive power module.

关键词： Temperature measurement Adaptation models Power measurement software algorithms Multichip modules software Calibration

来源：评论

学校读者我要写书评

暂无评论

Image Encryption Using Lorenz's Attractor and Fractional Fourier Transform

Image Encryption Using Lorenz's Attractor and Fractional Fou...

引用

International Informatics and software Engineering Conference (UBMYK)

作者： Ökkeş Erdem Tekerek Adem Tekerek Kahramanmaraş Fen Lisesi KahramanmarasTurkey Technology Faculty Gazi University Ankara Turkey

ISBN: (纸本)9781665407601

In this study, a new image encryption and decoding algorithm is developed using fractional fourier transform, lorenz attractor and masking. In the proposed algorithm, firstly, the image is masked with a randomly generated mask and fractional fourier transform is applied to the masked image. These two processes were applied 3 times in a row, making the image more complex. The resulting image was then decomposed into 256 parts. 16 chaotic outputs were obtained from lorenz attractor. These outputs are calculated in base 256. The parts with the same index number as the output were selected and mixed among themselves. The scrambled image parts are combined and the encryption process is completed. The degree of the function applied in the algorithm is a rational number. The use of lorenz attractor provides chaotic outputs. These 2 features make the algorithm resistant to attacks. The use of a chaotic set of differential equations is reduced the probability of finding the scrambled method by an analytical approach and the linear predictability of the method for attacks on the scrambled image. The analysis of chaotically generated random numbers was made and produced successful results. The algorithm is confidential and usable against most common attacks such as brute force. The data contained in the key is encrypted using the RSA algorithm.

关键词： Resistance Time-frequency analysis Fourier transforms software algorithms Prediction algorithms Generators Nonlinear dynamical systems

来源：评论

学校读者我要写书评

暂无评论

Fuzzing Methods Recommendation Based on Feature Vectors 21

Fuzzing Methods Recommendation Based on Feature Vectors

引用

IEEE International Conference on Automated software Engineering (ASE)

作者： Chi Zhang Jinfu Chen School of Computer Science & Communication Engineering Jiangsu University Zhenjiang China

ISBN: (纸本)9781665447843

Fuzzing is a technique that aims to detect vulnerabilities or exceptions through unexpected input and has found tremendous recent interest in both academia and industry. Although these fuzzing methods have great advantages in the field of vulnerability detection, they also have their own disadvantages in the face of different target programs. It is obviously impractical for a fuzzing test method to adapt to all the target programs. Therefore, we study how to select the appropriate fuzzing methods for different target programs. Specifically, we first analyze the program, and then extract the feature vectors of the target program to get the information of the program, such as syntax, context and so on. Next, we build a matching model to match the similarity of target program and the fuzzing algorithm to select the fuzzing algorithm with higher matching degree. Through our matching model, we get a more suitable fuzzing algorithm to improve the detection efficiency, precision, recall, F-measure, and other statistical measures.

关键词： Industries software algorithms Fuzzing Syntactics Feature extraction Data mining Faces

来源：评论

学校读者我要写书评

暂无评论

Enhance Data Security in Cloud Computing with Digital Signature & Hybrid Cryptographic Algorithm

Enhance Data Security in Cloud Computing with Digital Signat...

引用

Simulation, Automation & Smart Manufacturing (SASM), International Conference on

作者： Purvansh Jain Piyush Muskara Prati Jain Faculty of Engineering and Technology JAIN University Bangalore India

ISBN: (数字)9781665403573

ISBN: (纸本)9781665447768

The proposed paper focuses on a hybrid cryptographic algorithm that aims to provide integrity & confidentiality to our sensitive data. With the use of cryptographic algorithms and a blended key exchange algorithm along with an authentication technique, verification of data can be protected while uploading it to any cloud platform. The cloud computing boom is ultimately on the pinnacle because of the pandemic that forces corporations to operate virtually and people to stay indoors for their work from home. Cloud computing offers advantages like on-demand services, shared hardware and software, but also involves storing data at unknown place. So they are sometimes susceptible to leaks of data or other malicious internet attacks, making it a serious worry for enterprises all over the world. The objective of this paper is to explore the different algorithms utilised for security, performance and finally to identify the most adequate and efficient combination. The emphasis is on finding the practical consequences of the presented results and not merely on theoretical principles.

关键词： Cloud computing Pandemics software algorithms Authentication software Hardware Cryptography

来源：评论

学校读者我要写书评

暂无评论

Eudoxus: Characterizing and Accelerating Localization in Autonomous Machines Industry Track Paper

Eudoxus: Characterizing and Accelerating Localization in Aut...

引用

IEEE Symposium on High-Performance Computer Architecture

作者： Yiming Gan Yu Bo Boyuan Tian Leimeng Xu Wei Hu Shaoshan Liu Qiang Liu Yanjun Zhang Jie Tang Yuhao Zhu University of Rochester PerceptIn Tianjin University Beijing Institute of Technology SCUT

We develop and commercialize autonomous machines, such as logistic robots and self-driving cars, around the globe. A critical challenge to our-and any-autonomous machine is accurate and efficient localization under resource constraints, which has fueled specialized localization accelerators recently. Prior acceleration efforts are point solutions in that they each specialize for a specific localization algorithm. In real-world commercial deployments, however, autonomous machines routinely operate under different environments and no single localization algorithm fits all the environments. Simply stacking together point solutions not only leads to cost and power budget overrun, but also results in an overly complicated software *** paper demonstrates our new software-hardware co-designed framework for autonomous machine localization, which adapts to different operating scenarios by fusing fundamental algorithmic primitives. Through characterizing the software framework, we identify ideal acceleration candidates that contribute significantly to the end-to-end latency and/or latency variation. We show how to co-design a hardware accelerator to systematically exploit the parallelisms, locality, and common building blocks inherent in the localization framework. We build, deploy, and evaluate an FPGA prototype on our next-generation self-driving cars. To demonstrate the flexibility of our framework, we also instantiate another FPGA prototype targeting drones, which represent mobile autonomous machines. We achieve about 2× times speedup and 4× energy reduction compared to widely-deployed, optimized implementations on general-purpose platforms.

关键词： Location awareness Target tracking software algorithms Stacking Prototypes software Autonomous automobiles

来源：评论

学校读者我要写书评

暂无评论

Sound Predictive Atomicity Violation Detection§

Sound Predictive Atomicity Violation Detection§

引用

IEEE International Conference on software Quality, Reliability and Security (QRS)

作者： Xiaoxue Ma Imran Ashraf W.K. Chan City University of Hong Kong Kowloon Tong Hong Kong

ISBN: (纸本)9781665458146

Many concurrency bugs are hidden deeply behind thread interleaving and are hard to detect. Existing dynamic predictive checkers can analyze execution traces to expose predictive cases of data races and deadlocks hidden by the thread interleavings of execution traces and inferable from these inter-leavings. To the best of our knowledge, however, no existing work for the detection of atomicity violation at the transaction level (AV) can expose predictive atomicity violations. In this paper, we present the first work to address this problem. Our technique, Meteor, formulates a novel algorithm with a thread-centric pipeline to capture enumerable dependency sequences containing reversible dependencies incrementally, implicitly, and soundly. It detects predictive atomicity violations without producing false positives. We prove its soundness by theorems. We have evaluated Meteor on 19 subjects, which confirms the soundness and effectiveness of Meteor to detect predictive atomicity violations in the programs.

关键词： Concurrent computing Conferences software algorithms Pipelines software quality System recovery Reliability theory

来源：评论

学校读者我要写书评

暂无评论

Reducing DNN Properties to Enable Falsification with Adversarial Attacks

Reducing DNN Properties to Enable Falsification with Adversa...

引用

International Conference on software Engineering (ICSE)

作者： David Shriver Sebastian Elbaum Matthew B. Dwyer Department of Computer Science University of Virginia Charlottesville Virginia USA

Deep Neural Networks (DNN) are increasingly being deployed in safety-critical domains, from autonomous vehicles to medical devices, where the consequences of errors demand techniques that can provide stronger guarantees about behavior than just high test accuracy. This paper explores broadening the application of existing adversarial attack techniques for the falsification of DNN safety properties. We contend and later show that such attacks provide a powerful repertoire of scalable algorithms for property falsification. To enable the broad application of falsification, we introduce a semantics-preserving reduction of multiple safety property types, which subsume prior work, into a set of equivalid correctness problems amenable to adversarial attacks. We evaluate our reduction approach as an enabler of falsification on a range of DNN correctness problems and show its cost-effectiveness and scalability.

关键词： Systematics Scalability software algorithms Neural networks Safety Portfolios software engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 470 471 472 473 474 475 476 477 478 479 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：