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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是151-160 订阅

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

详细简洁

排序：

Research on the Security Assessment Method for Mimetic Multivariate Systems Based on Multi-Granularity Features

Research on the Security Assessment Method for Mimetic Multi...

引用

Consumer Electronics and Computer Engineering (ICCECE), 2021 IEEE International Conference on

作者： Junwei Wang Qinglei Zhou Liming Zhang Shiliang Yu School of Cyber Science and Engineering Zhengzhou University Zhengzhou China Songshan Laboratory Zhengzhou China School of Computer Science and Artificial Intelligence Zhengzhou University Zhengzhou China

ISBN: (数字)9798331533113

ISBN: (纸本)9798331533120

Aiming at the current status quo that the security assessment of mimetic multivariate systems generally adopts a single level of assessment, which is unable to establish a security link between its internal software diversity and the overall security of mimetic multivariate systems, this paper proposes an assessment mechanism that combines two assessment methods, namely, software diversity metrics under multi-granularity characterization and risk assessment of vulnerability attacking system modeling. The experimental part of the dataset uses the GNU core toolset (coreutils 8.32), and the validity of this assessment method is verified by designing a security assessment algorithm that weights and scores the heterogeneity of the multi-granularity software diversity technique, and then by modeling an attack on the mimetic multi-variant system experiment. The experimental results show that the security assessment algorithm can effectively assess the anti-attack ability and security of the mimetic multivariate system under the multi-granularity feature, which has certain reference value for the future research on the security assessment method of the mimetic multivariate system.

关键词： Measurement software algorithms Systems modeling Diversity methods software Security Risk management Computer security Consumer electronics

来源：评论

学校读者我要写书评

暂无评论

A generative model for synchrophasor network traffic in smart grids

A generative model for synchrophasor network traffic in smar...

引用

Annual Conference on Information Sciences and Systems (CISS)

作者： Leo Kosta Aaron St. Leger Department of Electrical Engineering and Computer Science United States Military Academy NY

ISBN: (数字)9798331513269

ISBN: (纸本)9798331513276

Smart grid technologies can revolutionize power distribution. However, engineers can’t write the software to realize this goal without large, publicly available datasets. Power companies are reluctant to share the data they collect because of consumer privacy concerns and concerns that they will expose themselves as targets of cyber attacks. We introduce a generative model for one of the most common types of smart grid data: synchrophasor network traffic. Our model can generate an unlimited amount of smart grid data while mitigating risks associated with exposing consumer and network information. Engineers can use our model to prototype smart grid software such as anomaly detection and state estimation.

关键词： Temperature software algorithms Telecommunication traffic Companies Phasor measurement units Data models Smart grids State estimation software tools Anomaly detection

来源：评论

学校读者我要写书评

暂无评论

Modification of the Spectral Analysis Method for Measuring Power Parameters Based on the Application of Window Functions

Modification of the Spectral Analysis Method for Measuring P...

引用

International Youth Conference on Radio Electronics, Electrical and Power Engineering (REEPE)

作者： Alexey A. Kharinov Vladimir V. Korshunov Sergey A. Podobuev Anna A. Krylovich Viktor D. Kacharsky Andrey N. Serov Department of Computer Systems and Technologies National Research Nuclear University “MEPhI” Moscow Russian Federation Diagnostic Information Technologies Department National Research University “MPEI” Moscow Russian Federation

ISBN: (数字)9798331531836

ISBN: (纸本)9798331531843

Accurate spectrum measurement is one of the most important measurement tasks in the electric power grids. Knowledge of the complex spectrum allows to indirectly measure the vast majority of signal parameters. These include the parameters of electric power: active, apparent and reactive. The prevailing source of methodological error is the so-called “spectrum leakage” effect. The most common approach to suppress the spectrum leakage effect is the window function application. This approach allows using computationally efficient fast Fourier transform algorithms to obtain the signal spectrum. In this paper, we consider the application of the window function method to measure frequency, amplitude, initial phase and power parameters for the case of using rectangular and Hanning window. Interpolations of the spectrum for different numbers of spectrum samples are considered: one, two, three and five. By using MATLAB and Simulink, simulation models are proposed that allow evaluation of the effectiveness of the presented techniques.

关键词： Measurement errors Power engineering Power measurement Accuracy Voltage measurement software packages software algorithms Power systems MATLAB Spectral analysis

来源：评论

学校读者我要写书评

暂无评论

Transmission Line Protection based on Fine-Tuning CatBoost Fault Classification Technique

Transmission Line Protection based on Fine-Tuning CatBoost F...

引用

Sustainable Energy Technologies and Computational Intelligence (SETCOM), International Conference on

作者： Nilesh Chothani Dharmesh D. Patel Department of Electrical Engineering SoET Pandit Deendayal Energy University Gandhinagar India Department of Electrical Engineering Government Engineering College Bharuch India

ISBN: (数字)9798331520540

ISBN: (纸本)9798331520557

Transmission line challenges are complex because they involve many different factors and are subject to significant fluctuations. These complexities make it crucial to implement precise protective measures. Effective protection ensures that electrical power flows without interruption. To address these challenges, a new classification algorithm is proposed, which is based on CatBoost. This algorithm works in conjunction with a Wavelet Transform-based decomposition system. These tools help in accurately assessing the condition of the transmission lines and responding to any issues that may arise. For practical application, the Indian standard system serves as the simulation model. This system operates at a voltage rating of 220 kV and spans a length of 120 km, with a frequency of 50 Hz. The decomposition frequency is set at 4 kHz, and to perform the Wavelet decomposition method, 80 samples are taken per cycle. A comprehensive data collection occurs within the transmission line using the MULTIRUN block of PSCADTM software. This software is instrumental in gathering the necessary data for analysis. The developed CatBoost algorithm is implemented in MATLAB, ensuring that hyperparameters are optimized for better performance. Once data is collected from PSCADTM, it is then imported into MATLAB for further processing. The CatBoost algorithm is employed to validate the data and assess the performance of the transmission line protection system. The results from this classification reveal that the proposed algorithm significantly outperforms traditional methods in protecting transmission lines.

关键词： Wavelet transforms Power transmission lines software algorithms Power system protection Transmission line measurements software Mathematical models Classification algorithms MATLAB Transient analysis

来源：评论

学校读者我要写书评

暂无评论

Bridging Simulation and Real-World for Autonomous UAVs in 5G RAN

Bridging Simulation and Real-World for Autonomous UAVs in 5G...

引用

IEEE Conference on Wireless Communications and Networking

作者： Riccardo Gobbato Andrea Lacava Salvatore D'Oro Maxime Elkael Prasanna Raut Jennifer Simonjan Evgenii Vinogradov Francesca Cuomo Tommaso Melodia Sapienza University of Rome Rome Italy Institute for the Wireless Internet of Things Northeastern University Boston MA USA Technology Innovation Institute Abu Dhabi UAE

ISBN: (数字)9798350368369

ISBN: (纸本)9798350368376

Although the integration between Unmanned Aerial Vehicles (UAVs) and Radio Access Network (RAN) applications is envisioned to enable a variety of new use cases and services, several practical aspects related to autonomous operations over cellular systems are still largely unexplored due to difficulties in testing and validating such integration in the real world. In this paper, we bridge the gap between simulation and real-world applications by introducing a new framework that combines real-world robotic controllers and 5th generation (5G) cellular stacks with channel and flight simulation. We consider a holistic approach where we use ArduPilot as the flight controller and OpenAirInterface (OAI) and srsRAN as the 5G cellular stacks to provide a unified solution for developing and experimenting with UAV s for cellular applications. We utilize ArduPilot software-in-the-Loop (SITL) to simulate and control the mobility of UAVs, while OAI-RFSim and srsRAN are used to model channel conditions. Our framework is particularly useful for developing data-driven solutions that require (i) a large amount of data collected under realistic operational conditions to learn effective control policies; and (ii) a sandbox and safe testing environment that enables exploration of the action space. By addressing a UAV coverage problem and developing a greedy heuristic, we demonstrate how our framework can be used to create and test algorithms in a simulated environment, showcasing its potential as a bridge to real-world applications.

关键词： Training 5G mobile communication software algorithms Computer architecture Open RAN Autonomous aerial vehicles software Artificial intelligence Robots Testing

来源：评论

学校读者我要写书评

暂无评论

Quantum Testing in the Wild: A Case Study with Qiskit algorithms

Quantum Testing in the Wild: A Case Study with Qiskit Algori...

引用

IEEE International Conference on software Analysis, Evolution and Reengineering (SANER)

作者： Neilson C. L. Ramalho Erico A. da Silva Higor A. de Souza Marcos Lordello Chaim School of Arts Sciences and Humanities - University of São Paulo São Paulo SP Brazil Department of Computing São Paulo State University Bauru SP Brazil

ISBN: (数字)9798331535100

ISBN: (纸本)9798331535117

Although classical computing has excelled in a wide range of applications, there remain problems that push the limits of its capabilities, especially in fields like cryptography, optimization, and materials science. Quantum computing introduces a new computational paradigm, based on principles of superposition and entanglement to explore solutions beyond the capabilities of classical computation. With the increasing interest in the field, there are challenges and opportunities for academics and practitioners in terms of software engineering practices, particularly in testing quantum programs. This paper presents an empirical study of testing patterns in quantum algorithms. We analyzed all the tests handling quantum aspects of the implementations in the Qiskit algorithms library and identified seven distinct patterns that make use of (1) fixed seeds for algorithms based on random elements; (2) deterministic oracles; (3) precise and approximate assertions; (4) Data-Driven Testing (DDT); (5) functional testing; (6) testing for intermediate parts of the algorithms being tested; and (7) equivalence checking for quantum circuits. Our results show a prevalence of classical testing techniques to test the quantum-related elements of the library, while recent advances from the research community have yet to achieve wide adoption among practitioners.

关键词： software testing Quantum algorithm Quantum entanglement software algorithms Approximation algorithms Libraries software Quantum circuit Testing software engineering

来源：评论

学校读者我要写书评

暂无评论

MORE-Stress: Model Order Reduction based Efficient Numerical Algorithm for Thermal Stress Simulation of TSV Arrays in 2.5D/3D IC

MORE-Stress: Model Order Reduction based Efficient Numerical...

引用

Design, Automation and Test in Europe Conference and Exhibition

作者： Tianxiang Zhu Qipan Wang Yibo Lin Runsheng Wang Ru Huang School of Integrated Circuits Academy for Advanced Interdisciplinary Studies Peking University Beijing Institute of Electronic Design Automation Peking University Wuxi Beijing Advanced Innovation Center for Integrated Circuits

ISBN: (数字)9783982674100

ISBN: (纸本)9798331534646

Thermomechanical stress induced by through-silicon vias (TSVs) plays an important role in the performance and reliability analysis of 2.5D/3D ICs. While the finite element method (FEM) adopted by commercial software can provide accurate simulation results, it is very time-and memory-consuming for large-scale analysis. Over the past decade, the linear superposition method has been utilized to perform fast thermal stress estimations of TSV arrays, but it suffers from a lack of accuracy. In this paper, we propose MORE-Stress, a novel strict numerical algorithm for efficient thermal stress simulation of TSV arrays based on model order reduction. Experimental results demonstrate that our algorithm can realize a 153–504 x reduction in computational time and a 39-115x reduction in memory usage compared with the commercial software ANSYS, with negligible errors less than 1%. Our algorithm is as efficient as the linear superposition method, with an order of magnitude smaller errors and fast convergence.

关键词： Computational modeling software algorithms Memory management software Finite element analysis Numerical models Through-silicon vias Stress Thermal stresses Convergence

来源：评论

学校读者我要写书评

暂无评论

Location Privacy Protection Scheme Based on Pseudonym Swapping in VANETs

Location Privacy Protection Scheme Based on Pseudonym Swappi...

引用

2025 2nd International Conference on algorithms, software Engineering and Network Security (ASENS)

作者： Chang Chen Zhen Wu School of Software Engineering Jiangxi University of Technology Jiangxi University of Science and Technology Nanchang China

ISBN: (数字)9798331520298

ISBN: (纸本)9798331520304

In VANETs, vehicles typically broadcast periodic beacon messages, which can be accessed by malicious attackers to track vehicles. To enhance the location privacy of vehicles and reduce the linkage between a vehicle's communication identity and its specific location, this paper proposes a location privacy protection scheme based on pseudonym exchange. By exchanging alternative pseudonyms, the anonymity entropy of vehicles is increased, thereby reducing the probability of being tracked. This approach effectively elevates the level of privacy protection for vehicles during network communications and provides a new perspective on defending against location tracking.

关键词： Couplings Privacy Heuristic algorithms software algorithms Network security Entropy Protection Vehicle dynamics software engineering

来源：评论

学校读者我要写书评

暂无评论

RADICE: Causal Graph Based Root Cause Analysis for System Performance Diagnostic

RADICE: Causal Graph Based Root Cause Analysis for System Pe...

引用

IEEE International Conference on software Analysis, Evolution and Reengineering (SANER)

作者： Andrea Tonon Meng Zhang Bora Caglayan Fei Shen Tong Gui MingXue Wang Rong Zhou Huawei Ireland Research Center Dublin Ireland Huawei Nanjing R&D Center Nanjing China

ISBN: (数字)9798331535100

ISBN: (纸本)9798331535117

Radice: (Italian noun) root Root cause analysis is one of the most crucial operations in software reliability regarding system performance diagnostic. It aims to identify the root causes of system performance anomalies, allowing the resolution or the future prevention of issues that can cause millions of dollars in losses. Common existing approaches relying on data correlation or full domain expert knowledge are inaccurate or infeasible in most industrial cases, since correlation does not imply causation, and domain experts may not have full knowledge of complex and real-time systems. In this work, we define a novel causal domain knowledge model representing causal relations about the underlying system components to allow domain experts to contribute partial domain knowledge for root cause analysis. We then introduce RADICE, an algorithm that through the causal graph discovery, enhancement, refinement, and subtraction processes is able to output a root cause causal sub-graph showing the causal relations between the system components affected by the anomaly. We evaluated RADICE with simulated data and reported a real data use case, sharing the lessons we learned. The experiments show that RADICE provides better results than other baseline methods, including causal discovery algorithms and correlation based approaches for root cause analysis.

关键词： Measurement Root cause analysis Analytical models Correlation System performance software algorithms Probabilistic logic software Real-time systems software reliability

来源：评论

学校读者我要写书评

暂无评论

Novel Algorithm to Solve the Constrained Path-Based Testing Problem

Novel Algorithm to Solve the Constrained Path-Based Testing ...

引用

IEEE International Conference on software Testing Verification and Validation Workshop, ICSTW

作者： Matej Klima Miroslav Bures Marek Miltner Chad Zanocco Gordon Fraser Sebastian Schweikl Patric Feldmeier Czech Technical University in Prague Czech Republic Stanford University California University of Passau Germany

ISBN: (数字)9798331534677

ISBN: (纸本)9798331534684

Constrained Path-based Testing (CPT) is a technique that extends traditional path-based testing by adding constraints on the order or presence of specific sequences of actions in the tests of System Under Test (SUT) processes. Through such an extension, CPT enhances the ability of the model to capture more real-life situations. In CPT, we define four types of constraints that either enforce or prohibit the use of a pair of actions in the resulting test set. We propose a novel Constrained Path-based Testing Composition (CPC) algorithm to solve the Constrained Path-based Testing Problem. We compare the results returned by the CPC algorithm with two alternatives, (1) the Filter algorithm, which solves the CPT problem in a greedy manner, and (2) the Edge algorithm, which generates a set of test cases that satisfy edge coverage. We evaluated the algorithms on 200 problem instances, with the CPC algorithm returning test sets (T) that have, on average, 350 edges, which is 2.4% and 11.1% shorter than the average number of edges in T returned by the Filter algorithm and the Edge algorithm, respectively. Regarding the compliance of the generated T with the constraints, the CPC algorithm produced T that satisfied the constraints in 95% of the cases, the Filter algorithm in 45% cases, and the Edge algorithm returned T that satisfied the constraints only for 6% SUT instances. Regarding the coverage of edges, the CPC algorithm returned test sets that contained, on average, 91.5% of edges in the graphs, while for T returned by the Filter algorithm, it was 90.8% edges. When comparing the average results of the edge coverage criterion and the fulfillment of the constraint criterion by individual algorithms, we consider the incomplete edge coverage achieved by the CPC algorithm and, at the same time, 95% fulfillment of the graph constraints to be a reasonable compromise.

关键词： software testing Scalability Conferences software algorithms Semantics Metaheuristics Employment Directed graphs Filtering algorithms Testing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 12 13 14 15 16 17 18 19 20 21 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：