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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

A Data-Driven Approach Towards software Regression Testing Quality Optimization

A Data-Driven Approach Towards Software Regression Testing Q...

引用

Information Technology (ACIT)

作者： Abdallah Moubayed Nouh Alhindawi Jamal Alsakran MohammadNoor Injadat Mohammad Kanan Computer Engineering Department and Interdisciplinary Research Center for Intelligent Secure Systems King Fahd University of Petroleum & Minerals Dhahran Saudi Arabia School of Computing and Augmented Intelligence Arizona State University Gilbert Arizona USA Department of Software Engineering Jadara University Irbid Jordan Fairleigh Dickinson University Canada Data Science & Artificial Intelligence Department Zarqa University Zarqa Jordan Department of Industrial Engineering University of Business and Technology Jeddah Saudi Arabia

ISBN: (数字)9798331540012

ISBN: (纸本)9798331540029

software testing is very important in software development to ensure its quality and reliability. As software systems have become more complex, the number of test cases has increased, which presents the challenge of executing all the tests in a limited time frame. Various test case prioritization techniques have been introduced to solve this problem. These methods aim to identify and implement the most critical tests first. In this paper, we propose an implementation of a dynamic test case prioritization strategy to improve software quality by increasing code coverage with special attention to edge case handling. Edge case test prioritization is a technique that improves test efficiency by selecting extreme case scenarios that can reveal critical bugs or unexpected behavior early in development, improving overall software reliability and dependability. In order to prioritize test cases, this paper presents a regression-based method that makes use of machine learning algorithms. The approach leverages previous performance data to optimize regression testing efficiency by examining variables like test time and execution status. Performance evaluations, when compared against industry standards and cutting-edge techniques, show how effective these algorithms are at correctly prioritizing test cases and identifying faults. This study offers simplified yet reliable solutions for regression testing optimization by shedding light on the efficacy of regression algorithms, such as Random Forest and decision trees.

关键词： software testing Machine learning algorithms software algorithms software quality software systems software reliability Regression tree analysis Optimization Standards software development management

来源：评论

学校读者我要写书评

暂无评论

Availability Modeling in software Architecture

Availability Modeling in Software Architecture

引用

Information Technology and Data Science (CITDS), IEEE Conference on

作者： Tamas Bartok Ferenc Hejja Gergely Kocsis EPAM Systems Institute of Informatics University of Szeged Szeged Hungary Doctoral School of Informatics University of Debrecen Debrecen Hungary EPAM Systems Debrecen Hungary Department of Informatics Systems and Networks Faculty of Informatics University of Debrecen Debrecen Hungary

ISBN: (数字)9798350387889

ISBN: (纸本)9798350387896

Most engineers and Solution Architects are familiar in general with Availability as a Quality Attribute. Availability on its own can mean different system quality to different stakeholders and could have a different meaning in different stages of a product. In this paper we are going through different definitions of availability, how it links to the basic concepts in probability theory and will illustrate with examples how they can be calculated. Finally we will explain which steps should be followed to model availability with fault tree analysis.

关键词： Analytical models software architecture software algorithms Probability software systems Data models Stakeholders software measurement Monitoring Fault trees

来源：评论

学校读者我要写书评

暂无评论

Beyond Traditional Metrics: Advancing software Complexity Analysis with the ACB Metric

Beyond Traditional Metrics: Advancing Software Complexity An...

引用

International Conference on Computing and Networking Technology (ICCNT)

作者： J. H. Aluthwaththage H. A. N. N. Thathsarani IT Department Aventure IT Solution Horana Sri Lanka Hatch Works Building iVedha Inc. Colombo Sri Lanka

ISBN: (数字)9798350370249

ISBN: (纸本)9798350370270

This paper introduces the Advanced CB (ACB) metric, a novel approach to measuring software complexity within object-oriented programming environments. Building on the foundational CB metric, the ACB metric incorporates additional factors such as compound expressions and try-catch blocks, providing a more comprehensive assessment of cognitive complexity. By accurately quantifying these elements, the ACB metric aims to enhance developers’ understanding of software intricacies, promoting better design and maintenance practices. The potential to integrate the ACB metric with educational tools and language translation technologies underscores its utility in real-world software development. Results demonstrate that the ACB metric offers a nuanced understanding of complexity, thereby facilitating improved software quality and maintainability.

关键词： Measurement software algorithms software quality software systems Robustness Complexity theory software reliability software measurement Object oriented programming software development management

来源：评论

学校读者我要写书评

暂无评论

Multi-Path Transmission Method for Blockchain Block Synchronization Data Based on software Defined Network

Multi-Path Transmission Method for Blockchain Block Synchron...

引用

International Conference on Computers, Communications, and Systems (ICCCS)

作者： Longle Cheng Shiyu Fang Wansu Pan Xiru Li He Zhao Xiaofeng Li Hefei Institutes of Physical Science Chinese Academy of Sciences Hefei China University of Science and Technology of China Hefei China

ISBN: (数字)9798350350210

ISBN: (纸本)9798350350227

The development and application of blockchain technology are constrained by its system performance. An increasing amount of research focuses on enhancing the scalability of blockchain systems to address the contradiction between the growing user demands and the relatively low system processing efficiency. The goal is to optimize the performance issues related to throughput and transaction latency. Blockchain systems rely on a peer-to-peer overlay network (P2P) for information transfer, and the network traffic data can be categorized into control traffic, transaction propagation traffic, and block synchronization traffic. Block synchronization traffic arises when new nodes join the network and request historical blocks, resulting in high bandwidth usage due to the large data volume. This study proposes a multi-path management method for redundant transmission suitable for blockchain P2P networks by integrating a software defined network (SDN). Experiments show that the method improves the efficiency of block-synchronised data transmission, reduces the streaming table consumption by 12.5%, and improves the throughput by a factor of 2 compared to the traditional method.

关键词： System performance software algorithms Bandwidth Telecommunication traffic Throughput Blockchains Peer-to-peer computing

来源：评论

学校读者我要写书评

暂无评论

Automatic Test Case Generation For Safety-Critical software Using Genetic Algorithm

Automatic Test Case Generation For Safety-Critical Software ...

引用

International Conference on Computing and Networking Technology (ICCNT)

作者： Madhusmita Das Dhruv Pai Buddha Teja Biju R. Mohan Information Technology National Institute of Technology Karnataka India

ISBN: (数字)9798350370249

ISBN: (纸本)9798350370270

Automatic test case generation streamlines the creation of test cases for programs or systems, eliminating manual intervention and relying on predefined criteria or models. This approach ensures adherence to safety and reliability requirements while reducing testing costs. Our paper explores test case generation for safety-critical programs using Dynamic Symbolic Execution (DSE) and Genetic Algorithm (GA-ma-co). Safety-critical software is crucial for human safety in sectors like aviation and healthcare and follows strict programming conventions such as avoiding features like variable-length arrays and recursion. This paper provides evidence that we can successfully generate test cases for the two safety-critical programs considered, a continuous infusion insulin pump (CIIP) software and a cabin pressure control system (CPCS) software. The proposed Genetic algorithm (GA-ma-co) includes techniques like mutation analysis (ma) and crossover (co). The results found in this paper show that both DSE, which is a state-of-the-art approach, and GA-ma-co can be used to generate test cases to achieve complete line coverage of the code. However, GA-ma-co achieved similar performance with fewer test cases making it more efficient.

关键词： Heuristic algorithms software algorithms Programming Aerodynamics Pressure control software Safety software reliability Genetic algorithms Testing

来源：评论

学校读者我要写书评

暂无评论

software for Visualization of Cellular Automata Models in Traffic Flow Analysis

Software for Visualization of Cellular Automata Models in Tr...

引用

Intelligent Technologies and Electronic Devices in Vehicle and Road Transport Complex (TIRVED)

作者： Marina A. Trapeznikova Marina V. Yashina Alla G. Garibyan Keldysh Institute of Applied Mathematics of Russian Academy of Sciences (KIAM RAS) Moscow Russia Moscow Automobile and Road Construction State Technical University (MADI) Moscow Russia Moscow Technical University of Communications and Informatics Moscow Aviation Institute (National Research University) Moscow Russia

ISBN: (数字)9798331518707

ISBN: (纸本)9798331518714

The paper focuses on creating software for visualization of traffic flows simulated with the help of cellular automata. The presented visualization system named TrafficFlowViz3D enables studying traffic dynamics, generating vehicle behavior scenarios, identifying bottlenecks and jams, and also investigating various traffic management measures for further optimization. The code is developed using the cross-platform Unity 3D engine. The Nagel-Schreckenberg model generalized for heterogeneous flows on multi-lane highways underlies the program. Constructing lattices of arbitrary sizes with different cell shapes in 3D space is possible for a comprehensive study of transport systems with complex road geometry. The program is equipped with a graphical interface that allows users to set initial system parameters and obtain important traffic statistics. The paper considers in detail the class architecture proposed for the efficient implementation and visualization of the model. Application of the A* algorithm and its interaction with the Nagel-Schreckenberg model are also discussed. Some test predictions are analyzed to verify the developed software and confirm its high capabilities.

关键词： Analytical models Three-dimensional displays Roads Simulation software algorithms Automata Computer architecture software Vehicle dynamics Optimization

来源：评论

学校读者我要写书评

暂无评论

LLM for Complex Signal Processing in FPGA-based software Defined Radios: A Case Study on FFT

LLM for Complex Signal Processing in FPGA-based Software Def...

引用

IEEE Conference on Vehicular Technology (VTC)

作者： Yuyang Du Hongyu Deng Soung Chang Liew Yulin Shao Kexin Chen He Chen The Chinese University of Hong Kong China University of Macau China

ISBN: (数字)9798331517786

ISBN: (纸本)9798331517793

This paper investigates the potential of large language models (LLMs) in accelerating the development of complex signal-processing algorithms on field-programmable gate arrays (FPGAs) for software-defined radio (SDR) systems. Using the Fast Fourier Transform (FFT) algorithm as a case study, we identify two common challenges in applying LLMs to realize intricate wireless communication algorithms on FPGA: 1) handling convoluted mathematical problems and 2) scheduling the execution of sub-modules within the hardware structure. To overcome the first problem, we adapt the chain-of-thought (CoT) prompting technique with a length-limit strategy to enhance the LLM’s Verilog writing performance. To handle the second problem, we develop a novel iterative in-context learning (IICL) prompting scheme that utilizes the iterative structure within the FFT module to perform in-context learning (ICL). These efforts significantly reduce the LLM’s error rate in completing the FFT implementation task and make possible the successful generation of a 64-point FFT module in Verilog, marking a significant milestone as the first LLM-written complex signal-processing algorithm for wireless communication on FPGA.

关键词： Wireless communication Vehicular and wireless technologies Fast Fourier transforms software algorithms Signal processing algorithms Writing Iterative methods Hardware design languages Field programmable gate arrays software radio

来源：评论

学校读者我要写书评

暂无评论

software Implemented Implication-Based Online Error Detection

Software Implemented Implication-Based Online Error Detectio...

引用

Information, Communication and Energy Systems and Technologies (ICEST), International Scientific Conference on

作者： Jelena N. Nedeljković Goran S. Nikolić Marko S. Anđelković Tatjana R. Nikolić Faculty of Electronic Engineering University of Nis Niš Serbia IHP-Leibniz-Institut für innovative Mikro-elektronik Frankfurt (Oder) Germany

ISBN: (数字)9798350386196

ISBN: (纸本)9798350386202

Advances in technology present challenges like single event upsets that reduce the reliability of electronic systems. To ensure uninterrupted functionality, real-time error detection and correction mechanisms are imperative. This paper proposes an online concurrent error detection system based on identifying invariant relationships between input and output values of functional blocks. An algorithm is developed to identify these relationships offline, to find the most useful ones, and to find connections between the outputs themselves. Based on this, checker circuit is designed. Simulation results demonstrate the efficacy of the proposed method in detecting errors, even with minimal hardware overhead.

关键词： Simulation Systems operation software algorithms Single event upsets Real-time systems Hardware Vectors

来源：评论

学校读者我要写书评

暂无评论

Computational Electromagnetic software Design Based on Qt and OpenGL

Computational Electromagnetic Software Design Based on Qt an...

引用

International Symposium on Antennas, Propagation and EM Theory (ISAPE)

作者： Dongkai Li Juan Chen Chunhui Mou School of Information and Comunication Engineering Xi'an Jiaotong University Xi'an China

ISBN: (数字)9798350353129

ISBN: (纸本)9798350353136

Accompanied by the popularity of computers, numerical calculation methods are also promoted as the main electromagnetic analysis methods because of their concise and effective characteristics. Among them, the finite-difference time-domain method (FDTD) has become one of the main stream numerical calculation methods in electromagnetism due to its simplicity and ease of implementation. Making the FDTD algorithm into software can make this powerful numerical calculation tool more popular and easy to use, and software interface design is a crucial part of the software development process. Good interface design can help users quickly find the functions, reduce errors and improve efficiency. To address all the needs, this article gives a Qt and OpenGL based interface design approach applicable to parallel FDTD algorithms. Through this interface, users can realize many functions such as function selection, parameter setting and result display. It is easy to expand, and has certain advantages in cross-platform transplantation, which is conducive to the application and promotion of localised professional electromagnetic simulation software in engineering.

关键词： Computers software design Scalability software algorithms Layout software User experience Time-domain analysis Finite difference methods software development management

来源：评论

学校读者我要写书评

暂无评论

Virtualized Computing and Communication Service Provision in Large-Scale software Defined Satellite Networks

Virtualized Computing and Communication Service Provision in...

引用

IEEE International Conference on Communications in China (ICCC)

作者： Wei Ding Binquan Guo Zehui Xiong Office of CPC Committee and President Xi’an International Studies University Xi’an P. R. China School of Telecommunications Engineering Xidian University Xidian University Xi’an P. R. China Tianjin Artificial Intelligence Innovation Center (TAIIC) Tianjin P. R. China Pillar of ISTD Singapore University of Technology and Design Singapore

ISBN: (数字)9798350378412

ISBN: (纸本)9798350378429

Enhanced on-board computing and communication hardware have facilitated the integration of resource management software and virtualization technologies in space, transforming satellite networks (SNs) from mission-specific support to facilitators of diverse mobile applications via microservices. How to efficiently manage and allocate virtualized services within software-defined SNs is critical. This study investigates the provisioning of virtual computing and communication services for mobile applications in large-scale software-defined SNs. Using a service-aware temporal graph, we model the problem of minimizing latency and its constraints related to meeting stringent service requirements. Traditional optimization methods encounter impractical running times, and the k-shortest pathbased algorithm may yield suboptimal solutions. To address the problem effectively for real-world implementation, we propose an optimized service-aware service provision scheme. Validation through simulations of a software-defined Starlink constellation underscores its practical effectiveness.

关键词： Satellites Computational modeling Space technology Space missions software algorithms Optimization methods software

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 52 53 54 55 56 57 58 59 60 61 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：