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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

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

主题

12,566 篇 software algorit...
3,775 篇 software
1,965 篇 algorithm design...
1,782 篇 hardware
829 篇 computer archite...
816 篇 heuristic algori...
763 篇 application soft...
718 篇 software enginee...
646 篇 computer science
609 篇 software systems
577 篇 computational mo...
566 篇 prediction algor...
561 篇 optimization
523 篇 clustering algor...
480 篇 testing
438 篇 accuracy
413 篇 signal processin...
373 篇 costs
352 篇 machine learning...
324 篇 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 篇 yue liu
8 篇 w. wolf
8 篇 qingshan jiang
8 篇 thambipillai sri...
8 篇 m.n.s. swamy
7 篇 giuseppe scannie...
7 篇 t. dohi
7 篇 jinfu chen

语言

12,489 篇 英文
48 篇 其他
28 篇 中文
1 篇 葡萄牙文

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

共 12566 条记录，以下是4321-4330 订阅

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

详细简洁

排序：

ADMM-Based ML Decoding: from Theory to Practice

ADMM-Based ML Decoding: from Theory to Practice

引用

IEEE International Conference on Acoustics, Speech and Signal Processing

作者： Kira Kraft Norbert Wehn Microelectronic Systems Design Research Group Technische Universität Kaiserslautern Kaiserslautern Germany

Integer Linear Programming (ILP) is a general method to solve the Maximum-Likelihood (ML) decoding problem for all kinds of binary linear codes. To this end, state-of-the-art techniques use a Branch-and-Bound (B&B) framework to partition the underlying integer linear problem into several relaxed linear problems. These linear problems then have to be solved in reasonable time by an efficient Linear Programming (LP) solver. Recently, the Alternating Direction Method of Multipliers (ADMM) has been proposed for efficient software and hardware LP decoding of sparse codes, hence, an ADMM-based ML decoder seems to be a promising approach. In this paper, we investigate this approach with respect to its algorithmic and implementation-specific challenges.

关键词： software algorithms Signal processing algorithms Signal processing Linear codes Integer linear programming Linear programming software

来源：评论

学校读者我要写书评

暂无评论

Probabilistic Graph Matching with Multiplicative Updating Algorithm for Correspondence between Remote Sensing Images

Probabilistic Graph Matching with Multiplicative Updating Al...

引用

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

作者： Jing Yang Xu Yang Zhang-Bing Zhou Zhi-Yong Liu School of Information Engineering China University of Geosciences(Beijing) State Key Laboratory of Management and Control for Complex Systems Institute of Automation Chinese Academy of Sciences Beijing China State Key Laboratory of Management and Control for Complex Systems Institute of Automation Chinese Academy of Sciences Beijing China School of Information Engineering China University of Geosciences(Beijing) TELECOM SudParis Beijing China State Key Laboratory of Management and Control for Complex Systems Institute of Automation Chinese Academy of Sciences Center for Excellence in Brain Science and Intelligence Technology Beijing China

ISBN: (纸本)9781665430302

Point correspondence is an important problem in remote sensing images matching task which lays the foundation for the image registration task. Due to the existence of the rotation transformation and the large scale, and the change of scenery between the two obtained images, the point correspondence problem is still challenging. Tradition algorithms such as the SIFT and SURF aim at using the point appearance to find the point correspondence. However, when the above situations happens, the appearance based algorithms will fail to solve the problem. In this paper, the structural information between points is introduced to the correspondence problem and a spectral graph matching algorithm is proposed based on the probabilistic scheme and the multiplicative updating scheme. The proposed algorithm has three advantages compared with the traditional algorithms. First, incorporating the structural cues to the matching problem makes it more robust to the large scale and the geometric transformation. Second, the best assignment between points which is interpreted by a probabilistic manner is figured out by ranking the probabilities. Third, the optimization problem is solved by an approximate spectral method efficiently and a multiplicative updating algorithm is introduced to ensure the final discrete solution. Experiments on the real remote sensing images validate the effectiveness of the proposed algorithm.

关键词： Image registration software algorithms Approximation algorithms Probabilistic logic Sensors Internet Task analysis

来源：评论

学校读者我要写书评

暂无评论

Path Planning for Welding Robot based on Ant colony Optimization Algorithm

Path Planning for Welding Robot based on Ant colony Optimiza...

引用

International Conference on Artificial Intelligence and Advanced Manufacturing (AIAM)

作者： Chenxu Duan Pan Zhang School of Mechanical Engineering Sichuan University Jinjiang College Meishan China

ISBN: (纸本)9781665417334

Since welding robots have to traverse a large number of welding points during welding operations, the length of the welding path directly affects the working time and production efficiency of the automatic line. In respect to the problem that traditional path planning methods are not suitable for multi-target points, a path planning method based on ant colony optimization algorithm (ACO) is proposed. Firstly, the robot's working environment is simulated with the grid method, then the ACO algorithm model is established, and finally an optimal welding path is obtained through algorithm convergence. Taking the shortest welding path as the planning goal, the simulation experiment is carried out in MATLAB software. The results show that the method obtains the optimal path planning effect under the condition of a small number of iterations, and verifies the feasibility of applying the ACO algorithm to the path planning for welding robots.

关键词： Ant colony optimization Service robots Welding software algorithms Search problems Path planning Mathematical models

来源：评论

学校读者我要写书评

暂无评论

Efficient SMT-Based Model Checking for Signal Temporal Logic 21

Efficient SMT-Based Model Checking for Signal Temporal Logic

引用

IEEE International Conference on Automated software Engineering (ASE)

作者： Jia Lee Geunyeol Yu Kyungmin Bae POSTECH Pohang South Korea

ISBN: (纸本)9781665447843

Signal temporal logic (STL) is widely used to specify and analyze properties of cyber-physical systems with continuous behaviors. However, STL model checking is still quite limited, as existing STL model checking methods are either incomplete or very inefficient. This paper presents a new SMT-based model checking algorithm for verifying STL properties of cyber-physical systems. We propose a novel translation technique to reduce the STL bounded model checking problem to the satisfiability of a first-order logic formula over reals, which can be solved using state-of-the-art SMT solvers. Our algorithm is based on a new theoretical result, presented in this paper, to build a small but complete discretization of continuous signals, which preserves the bounded satisfiability of STL. Our translation method allows an efficient STL model checking algorithm that is refutationally complete for bounded signals, and that is much more scalable than the previous refutationally complete algorithm.

关键词： software algorithms Model checking Cyber-physical systems software engineering

来源：评论

学校读者我要写书评

暂无评论

An on-line Monitoring Method for Vibration and Partical Discharge of Power Transformer

An on-line Monitoring Method for Vibration and Partical Disc...

引用

Electrical Engineering and Automation (IFEEA), International Forum on

作者： Qiao Guan Xingwei Liu Baofeng Xi State Key Lab.of Electrical Insulation and Power Equipment Xi’an Jiaotong University Xi’an Shaanxi China

A broadband Fabry Perot (F-P) fiber Bragg grating array sensor is used. The sensor can detect both vibration and partial discharge parameters at the same time. Based on this sensor, an on-line monitoring device for vibration and partial discharge (PD) of power transformer is developed. The test shows it can continuously detect vibration signal and PD signal of transformer.

关键词： Vibrations Partial discharges Optical fiber sensors software algorithms Interference software Power transformers

来源：评论

学校读者我要写书评

暂无评论

DEMO: top-k cardinality estimation with HyperLogLog sketches

DEMO: top-k cardinality estimation with HyperLogLog sketches

引用

International Conference on Intelligence in Next Generation Networks (ICIN)

作者： Valerio Bruschi Salvatore Pontarelli Jerome Tolle Dave Barach Giuseppe Bianchi CNIT/University of Rome Tor Vergata Cisco Systems

ISBN: (数字)9781728177052

ISBN: (纸本)9781728177069

A recurring task in security monitoring consists in finding scan-type flows, namely flows which exhibit a large cardinality in terms of number of distinct source/destination addresses, or in most generality packet-level identifiers (e.g. ports, header fields, etc). But cardinality estimation requires to “remember” the identifiers seen in the past, and becomes quite challenging when the goal is to implement per-flow distinct count at wire speed, while maintaining high processing throughput and limited memory footprint. In this demo, we will show how to use HyperLogLog sketches to implement an efficient and innovative top-k cardinality estimation algorithm, called FlowFight. The algorithm has been tested and integrated in a full-fledged software router such as Vector Packet Processor.

关键词： Technological innovation software algorithms Wires Estimation Throughput software Task analysis

来源：评论

学校读者我要写书评

暂无评论

Performance Metrics Calculation for Assembly Systems with Exponential Reliability Machines

Performance Metrics Calculation for Assembly Systems with Ex...

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： Yishu Bai Liang Zhang

Assembly systems are commonly seen in production practice, where multiple components are joined in a manufacturing process to make a final product. In this paper, a decomposition/aggregation-based method is presented to evaluate the performance metrics of assembly systems with machines following the exponential reliability model (either synchronous or asynchronous). In particular, we consider the assembly system with multiple merge operations, each connected to a single external component line. The idea of the proposed method is to decompose the assembly system into a set of virtual serial lines based on the overlapping decomposition technique, evaluate of the starvation and blockage of the merge operations, and recursively update of the virtual machines’ parameters in the thus-obtained serial lines. Then, the performance metrics of the original assembly system can be approximated based on the corresponding machines and buffers in the virtual serial lines. Numerical experiments are carried out to justify the convergence and computational efficiency of the method, as well as to evaluate the approximation accuracy of the proposed algorithm.

关键词： Measurement Assembly systems software packages software algorithms Approximation algorithms Computational efficiency Steady-state

来源：评论

学校读者我要写书评

暂无评论

Real Time Cardiac Diagnosis for Arrhythmia Using Machine Learning and IOT

Real Time Cardiac Diagnosis for Arrhythmia Using Machine Lea...

引用

International Conference on Computation System and Information Technology for Sustainable Solutions (CSITSS)

作者： E S Vani K S Swarnalatha B Chetan Arbind Mahato Sylvia Sauden Gautham S Kamath Jason Elroy Martis NMIT Bangalore India NMAMIT Mangalore India

ISBN: (纸本)9781665406116

Cardiac arrhythmia is a perilous infection that leads to extreme medical issues in people. An ideal analysis of arrhythmia can be valuable in preventing deaths due to cardiac conditions. Through persistent, automated, and noninvasive diagnosis of cardiac arrhythmia illnesses, the Internet of Things (IoT) aims to revolutionize the medical care industry. A system to predict cardiac arrhythmia using an IoT device which reads the ECG signal, analyses it, and informs the physician in the event of an emergency. The aim of the proposed project is to build an IoT -empowered ECG reading device to extract the ECG signal. ECG signal is examined using Pan Tompkins Q R S detection algorithm to acquire its unique features. The features are then used to classify the cardiac arrhythmia illness in the classification method. Even at home, users may monitor their cardiovascular health by using an ECG signal. The system is small; thus, it requires less support and is less expensive to run. It is beneficial for the doctor to be able to assess the heart condition as quickly and precisely as possible.

关键词： Support vector machines Machine learning algorithms software algorithms Medical services Electrocardiography Feature extraction Real-time systems

来源：评论

学校读者我要写书评

暂无评论

Modular Inverse for Integers using Fast Constant Time GCD Algorithm and its Applications

Modular Inverse for Integers using Fast Constant Time GCD Al...

引用

International Conference on Field Programmable Logic and Applications

作者： Sanjay Deshpande Santos Merino del Pozo Victor Mateu Marc Manzano Najwa Aaraj Jakub Szefer Computer Architecture and Security Laboratory Yale University New Haven CT USA Cryptography Research Centre Technology Innovation Institute Abu Dhabi UAE Digital Security Group Faculty of Science Radboud University Nijmegen Netherlands Faculty of Engineering Mondragon Unibertsitatea Mondragon Spain Okinawa Institute of Science and Technology Okinawa Japan

Modular inversion, the multiplicative inverse of an integer in the ring of integers modulo a prime number, is widely used in public-key cryptography. However, it is one of the most computationally intensive operations, thus, it remains the main performance bottleneck for many cryptographic *** paper presents to the best of the author’s knowledge, the first FPGA-based hardware design for computing the multiplicative inverse using the recently proposed fast constant-time Greatest Common Divisor (GCD) algorithm. This paper introduces two distinct design architectures targeting different applications: (a) a full-width design and (b) a sequential design. The presented designs are compact, parameterizable, and scalable in terms of area and speed. The evaluation shows the proposed designs, which are constant-time and protect against timing-based attacks, outperform existing software and hardware implementations that use other modular inversion techniques. As a specific example, this work presents an evaluation focusing on the use of the multiplicative inverse hardware module to accelerate the ElGamal cryptosystem. The proposed design achieves a speed-up of 90% in the modular inverse calculation and a speed-up of 45% in the overall ElGamal decryption algorithm using our sequential hardware design of fast constant-time GCD *** addition to developing the fast hardware implementation, this work potentially opens up a new direction for designing cryptosystems: the inverse operation is often avoided when designing algorithms, due to its complexity. With the new hardware module, using the inverse becomes more tractable, making it more appealing to use in the design of new cryptosystems.

关键词： software algorithms Focusing Computer architecture Public key cryptography Hardware software Complexity theory

来源：评论

学校读者我要写书评

暂无评论

Data-driven Network Orchestrator for 5G Satellite-Terrestrial Integrated Networks: The ANChOR Project

Data-driven Network Orchestrator for 5G Satellite-Terrestria...

引用

2021 IEEE Global Communications Conference (GLOBECOM)

作者： Fabio Patrone Giacomo Bacci Antonio Galli Pietro Giardina Giada Landi Michele Luglio Mario Marchese Mattia Quadrini Cesare Roseti Giancarlo Sperlì Attilio Vaccaro Francesco Zampognaro University of Genoa Genoa Italy MBI srl Pisa Italy Consorzio Interuniversitario Nazionale per l'Informatica (CINI) Naples Italy Nextworks Pisa Italy Consorzio Nazionale Interuniversitario per i Trasporti e la Logistica (NITEL) Rome Italy

ISBN: (纸本)9781728181059

Satellite communications (SatCom) have a role of advanced service enablers in the new virtual networks, following 3GPP specifications. Specifically, the satellite peculiar characteristics are of paramount importance to dynamically activate capabilities, such as multicast and broadcast channels, sudden traffic offloading, capacity bonding, and cost-efficient coverage of uncovered areas. A key aspect to achieve a seamless and efficient integration between satellite and terrestrial infrastructures is to make satellite resource management dynamic and with a centralised control of a single orchestrator that has visibility of the end-to-end network. Considering the adoption of software Defined Networking (SDN) and Network Function Virtualization (NFV) paradigms and the upcoming 5 th generation of mobile communications (5G), this paper presents the ongoing work within the European Space Agency (ESA) ANChOR project, whose main output will be a data-driven Network Controller and Orchestrator for SatCom networks. This tool will be based on Artificial Intelligence (AI) / Machine Learning (ML)-based techniques to properly allocate resources exploiting some feedback knowledge of the network and it aims to support different services over 5G integrated satellite-terrestrial networks.

关键词： Knowledge engineering 5G mobile communication Satellite broadcasting European Space Agency software algorithms Machine learning software

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 429 430 431 432 433 434 435 436 437 438 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：