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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,708 篇 会议
771 篇 期刊文献

馆藏范围

12,479 篇 电子文献
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,479 篇 software algorit...
3,731 篇 software
1,965 篇 algorithm design...
1,777 篇 hardware
826 篇 computer archite...
805 篇 heuristic algori...
761 篇 application soft...
706 篇 software enginee...
645 篇 computer science
598 篇 software systems
571 篇 computational mo...
559 篇 prediction algor...
545 篇 optimization
521 篇 clustering algor...
473 篇 testing
428 篇 accuracy
412 篇 signal processin...
371 篇 costs
348 篇 machine learning...
320 篇 software testing

机构

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 篇 school of comput...
9 篇 nanjing univ sta...
8 篇 state key labora...
8 篇 school of electr...
8 篇 novosibirsk stat...
8 篇 software college...
8 篇 national univers...
8 篇 school of cyber ...
8 篇 college of compu...

作者

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,401 篇 英文
49 篇 其他
28 篇 中文
1 篇 葡萄牙文

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

共 12479 条记录，以下是4631-4640 订阅

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

详细简洁

排序：

Local filter-based sequential and distributed fusion state estimation for nonlinear multi-sensor systems with asynchronously correlated noises

Local filter-based sequential and distributed fusion state e...

引用

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

作者： Kun Yang Yao Zhang Yang Liu Jun–Tao Liu Kai Zhao Beijing Institute of Astronautical systems Engineering Northwestern Polytechnical University Beijing Institute of Astronautical systems Engineering

ISBN: (纸本)9781665478373

In this paper, sequential and distributed fusion state estimation algorithms based on local filter are proposed for nonlinear multi-sensor systems with asynchronously correlated noises. At first, in order to avoid the computational burden of measurement augmentation in centralized fusion filter, a sequential fusion filter is deduced by correcting measurement noises recursively. Subsequently, considering the problem that the parameters in covariance intersection (CI) fusion algorithm are difficult to estimate and the estimation accuracy of the sequential fast CI (SFCI) fusion algorithm is poor, a novel distributed fusion filter is proposed, where local filters are sent to the fusion center as the measurements and fusion predictor in the fusion center is sent to local filters by feedback. Then, to be suitable for practical applications, the numerical implementation based on third-degree spherical-radial rule is given. Finally, the superiority of the proposed algorithms is shown by using a nonlinear model.

关键词： software algorithms software quality Filtering algorithms Prediction algorithms Numerical models software reliability Noise measurement

来源：评论

学校读者我要写书评

暂无评论

Mathetamical Model Using Denavit-Hartenberg Algorithm For Kinematic Control of 12DOF Zoomorphic Robot

Mathetamical Model Using Denavit-Hartenberg Algorithm For Ki...

引用

Machine Learning and Applied Network Technologies (ICMLANT), IEEE International Conference on

作者： Dennys Fernando Cantarero Urbina Alicia María Reyes Duke Universidad Tecnológica Centroamericana UNITEC Honduras

ISBN: (纸本)9781665449519

Walking zoomorphic robots have a great advantage compared to other types of mobile robots thanks to their structure and high adaptability in many areas, and it is thanks to this adaptability that it generates many possibilities of implementation but, due to their locomotion system they tend to be complex to develop since the use of various actuators for their movement and control is taken into account, so to solve these problems, the implementation of algorithms and mathematical models are used because that define the characteristics of the structure and of the various actions that must be taken into account to carry out a movement in a simplified and understandable way. The present research was carried out through the implementation of the spiral methodology for the development of a mathematical model that defines the kinematic control for this type of robot where, through both inverse and forward kinematic analysis, the position and orientation of the robot were described by applying the Denavit-Hartenberg algorithm, as well as the use of polynomial interpolators for the tracking of trajectories, which was verified by using Matlab and Robotics Toolbox software simulating movement that the robot will perform with the different extremities, determining said movement with the establishment of speeds and times in the joints.

关键词： Legged locomotion Analytical models Actuators Tracking software algorithms Kinematics Mathematical models

来源：评论

学校读者我要写书评

暂无评论

Implementation of An Energy-Efficient Binary Square Rooter Using Reversible Logic By Applying The Non-Restoring Algorithm

Implementation of An Energy-Efficient Binary Square Rooter U...

引用

Communication, Computing and Industry 4.0 (C2I4), International Conference on

作者： S. Swathi S. Sushma V. Bindusree L Babitha Goud K. Sukesh S. China Venkateswarlu V. Vijay Rajeev Ratna Vallabhuni Institute of Aeronautical Engineering Dundigal Hyderabad India Bayview Asset Management LLC Florida USA

ISBN: (纸本)9781665420143

Calculation of square root will be an essential mathematical operation that will have broad applications. In Hardware, the square root will be designed in order to gain power which will be quite low. Similarly, there are also other advantages that comes with gaining of low power that is high speed and also low area. A trade-off will also occur with the three metrics which is quite natural. As we know that the present technology is very advanced so it will aim for low power and architectural modification will be required by the relative designs. This sheet represents an energy efficient square rooter by using reversible logic. (RCSM) Reversible Controlled Subtract Multiplexer will be designing and it also plays an important part in implementing the binary square rooter. Saimur Rahman Gate will also be implementing the binary square rooter in order to improve and develop it. The Improvements such as cost of the quanta, inputs given by constants and also garbage outputs. The approaches such as conventional approach and SRG are used for designing the binary square rooter and it will be completed using non-restoring algorithm. Xilinx software will be responsible for carrying out simulations and Synopsys Design Compiler will be the factor for obtaining power. The gate count which has been 75 will be decreased to 35. There will be an improvement of 20% in terms of power which will be obtained in this paper.

关键词： Multiplexing Reversible computing Adaptation models VHDL software algorithms Logic gates Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

Description and Application of Network and Terminal Security Device Based on the Block Algorithm of Cryptographic Transformation of Information Using Random Keys

Description and Application of Network and Terminal Security...

引用

IEEE International Conference on Advanced Trends in Information Theory (ATIT)

作者： Ihor Pampukha Genadiy Zhyrov Volodymyr Druzhynin Ivan Chetverikov Serhey Lienkov Larysa Komarova Military Institute Taras Shevchenko National University of Kyiv Kyiv Ukraine Radiophysics Electronics and Computer Systems Taras Shevchenko National University of Kyiv Kyiv Ukraine National Aviation University Kyiv Ukraine National Academy of the Security Service of Ukraine Kyiv Ukraine

ISBN: (纸本)9781665406673

This article describes a device for protecting information that is transmitted over various telecommunications channels. The device protects networks and terminals uses a block algorithm for cryptographic transformation of information using random keys. Information protection device is designed for hardware, software or software-hardware implementation that meets the cryptographic requirements and by its characteristics provides the ability to protect confidential information in the network. The device also allows to protect user terminals from virus attacks in case of unauthorized access (hackers, viruses).The article also describes the possible areas of its practical application in different types of performance: telephony, data transmission over the Internet, identification systems, security systems, communication systems, protection of bank accounts and transactions, etc.

关键词： Computer viruses software algorithms Telephony software Internet Telecommunications software reliability

来源：评论

学校读者我要写书评

暂无评论

Scalable Quantitative Verification for Deep Neural Networks

Scalable Quantitative Verification for Deep Neural Networks

引用

International Conference on software Engineering (ICSE)

作者： Teodora Baluta Zheng Leong Chua Kuldeep S. Meel Prateek Saxena National University of Singapore Independent Researcher

Despite the functional success of deep Neural Networks, their trustworthiness remains a crucial open challenge. To address this challenge, both testing and verification techniques have been proposed. But these existing techniques provide either scalability to large networks or formal guarantees, not both. In this paper, we propose a scalable quantitative verification framework for deep Neural Networks, i.e., a test-driven approach that comes with formal guarantees that a desired probabilistic property is satisfied. Our technique performs enough tests until soundness of a formal probabilistic property can be proven. It can be used to certify properties of both deterministic and randomized DNNs. We implement our approach in a tool called PROVERO and apply it in the context of certifying adversarial robustness of DNNs. In this context, we first show a new attack-agnostic measure of robustness which offers an alternative to purely attack-based methodology of evaluating robustness being reported today. Second, PROVERO provides certificates of robustness for large DNNs, where existing state-of-the-art verification tools fail to produce conclusive results. Our work paves the way forward for verifying properties of distributions captured by real-world deep Neural Networks, with provable guarantees, even where testers only have black-box access to the neural network.

关键词： Neural networks software algorithms Tools Probabilistic logic Robustness Testing software engineering

来源：评论

学校读者我要写书评

暂无评论

BackIP: Mutation Based Test Data Generation Using Hybrid Approach

BackIP: Mutation Based Test Data Generation Using Hybrid App...

引用

Information and Communication Technology for Development for Africa (ICT4DA), International Conference on

作者： Seifu Detso Bejo Beakal Gizachew Assefa Sudhir Kumar Mohapatra HPC and Big Data Anlytics CoE AASTU Addis Ababa Ethiopia School of Information Technology and Engineering AAiT Addis Ababa University Addis Ababa Ethiopia Faculty of Emerging Technologies Sri Sri University Cuttack Odisha India

ISBN: (纸本)9781665436670

Fault-based testing is a powerful technique to ensure the quality of software by evaluating the efficacy of the test suits and also used to check the thoroughness of testing performed by other software testing techniques. However, it is very complicated and computationally expensive testing method. Literature shows that there is a tremendous effort to give formal solutions and heuristics methods. Recently, state-of-the-art approaches based on hybrid optimization techniques have been proven to be suitable for cost effective results. This work implements and presents a multi-objective novel hybrid method by combining Backtracking search optimization algorithm and Integer programming approach(BackIP). Unlike, some other approaches, BackIP is a test input data generation method which includes test data generation, mutation analysis, and test suite reduction simultaneously. Experimental comparison is conducted on a widely used benchmark java programs and results show that the proposed approach achieves test data generation with mutation score up to 94% and improved test suite reduction between 70% to 94% as compared to the state-of-the-art techniques.

关键词： software testing Integer programming Java Costs software algorithms Benchmark testing software

来源：评论

学校读者我要写书评

暂无评论

Online Consumer Identification Method for Live Streaming Using Artificial Intelligence

Online Consumer Identification Method for Live Streaming Usi...

引用

Information Technology,Big Data and Artificial Intelligence (ICIBA), International Conference on IEEE International Conference on

作者： Di Wu Lancaster University Lancaster United Kingdom

ISBN: (纸本)9781665428781

This paper studies the key technology of ID card recognition for online consumer identification method, which involves image processing, pattern recognition, neural network, and other fields, and based on the key technology of the system software programming, testing and demonstrating the results of identification. The processing and identification method used in this paper is relatively simple, easy to implement, and has a good identification effect, provides an effective id card automatic identification system scheme. The method proposed in this paper can be used for the fast identification of consumers on live broadcast platforms, for subsequent recommendation classification tasks, and intelligent recommendation algorithms.

关键词： Image recognition Neural networks software algorithms Programming Streaming media Pattern recognition System software

来源：评论

学校读者我要写书评

暂无评论

Algorithm of Automated Construction and Search for the Best Layouts of Distribution Devices of 35 kV Substations and Above

Algorithm of Automated Construction and Search for the Best ...

引用

International Conference on Electrotechnical Complexes and Systems (ICOECS)

作者： V. Varganova Aleksandra A. Utesheva Anastasia Tobolsk branch Industrial University of Tyumen Tobolsk Russia Nosov Magnitogorsk State Technical University Magnitogorsk Russia

ISBN: (纸本)9781665407281

This work is devoted to the creation of an automated design system for designing open distribution devices. The main task that is solved by this system is the search for the best layout option of the scheme from the point of view of saving the area of the territory. The paper proposes an approach to form distribution device circuit breakers and the effectiveness of the occupied area. When searching for solutions, the efficiency coefficient of occupied area is used, which makes it possible to get away from the cost indicators. An example of calculation and obtained during the study of the efficiency coefficients for various layouts of schemes with tires are given. The work is made in the original software product of the wrench CAD.

关键词： Substations Layout software algorithms Search problems Reliability engineering Tires software

来源：评论

学校读者我要写书评

暂无评论

Video Image Deblurring Algorithm Based on Denoising Engine

Video Image Deblurring Algorithm Based on Denoising Engine

引用

Information Communication and software Engineering (ICICSE), IEEE International Conference on

作者： Meng Li Dong Sun Yixiang Lu Qingwei Gao Yanli Liu School of Electrical Engineering and Automation Anhui University Hefei China School of Mechanical and Electrical Engineering Anhui University of Architecture Hefei China

ISBN: (纸本)9781665419192;9781665430302

Aiming at the problem that blurred digital video is easy to lose inter-frame information and ignore spatiotemporal during restoration, a video image deblurring algorithm based on denoising engine is proposed. We extend the adaptive Laplacian regularization term constructed by the denoising engine to the field of video image restoration. Firstly, the video image self-similarity redundant information can be gained through the nonlocal means (NLM) regularization, and then we present a new restoration model by mixing different regularizers, especially by combining NLM regularizer with the denoising regularizer. To solve the video image restoration model, we used the simplest gradient descent method. The experimental results show that our method has good deblurring effect and certain robustness to noise.

关键词： Adaptation models Laplace equations Conferences Noise reduction software algorithms Robustness Image restoration

来源：评论

学校读者我要写书评

暂无评论

The Economic Efficiency Of An Off-Grid Power Sources Implementation Based On A Medium Power Gas-Fired Reciprocating Units

The Economic Efficiency Of An Off-Grid Power Sources Impleme...

引用

International Conference on Electrotechnical Complexes and Systems (ICOECS)

作者： Dmitry Kretov Vladislav Kostyukov Togliatti State University Togliatti Russia Samara State Technical University Samara Russia

ISBN: (纸本)9781665407281

The paper presents the results of gas-reciprocating model-range analysis with a capacity from 100 up to 1000 kW produced by LLC “Fedwig”. The analysis was made in terms of payback period calculation by the author methodology. The paper presents the developed authors methodology for payback period calculation and it software implementation for automation and simplifying calculations. The authors methodology and its software implementations will be helpful for engineers and technical personnel while choosing the optimal gas-reciprocating unit type due the it uses as in-enterprise power sources of electric and thermal power at industrial enterprises. The results of payback period calculation, by author software, gave the opportunity to obtain the characteristics of payback periods versus the gas-reciprocating units power and values of the annual savings versus the power of the gas piston unit. The data presented in open sources, such as manufacturers data sheet for gas-reciprocating units were used in the article as an initial. The results present the characteristics of the annual savings and characteristic has a nonlinear dependence due not only to the cost and gas-reciprocating unit power, but also on the value of the associated operating costs, which are differ for each unit type.

关键词： Pistons Analytical models Costs Systematics Thermal engineering software algorithms Graphics processing units

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 460 461 462 463 464 465 466 467 468 469 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：