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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

2,071 篇 工学
- 1,072 篇 计算机科学与技术...
- 1,034 篇 电气工程
- 456 篇 软件工程
- 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,564 篇 software algorit...
3,773 篇 software
1,965 篇 algorithm design...
1,782 篇 hardware
829 篇 computer archite...
816 篇 heuristic algori...
763 篇 application soft...
717 篇 software enginee...
646 篇 computer science
609 篇 software systems
577 篇 computational mo...
566 篇 prediction algor...
560 篇 optimization
522 篇 clustering algor...
480 篇 testing
437 篇 accuracy
413 篇 signal processin...
372 篇 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,487 篇 英文
48 篇 其他
28 篇 中文
1 篇 葡萄牙文

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

共 12564 条记录，以下是1471-1480 订阅

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

详细简洁

排序：

Dynamic Orchestration of Service Function Chaining for Multi-user Augmented Reality

Dynamic Orchestration of Service Function Chaining for Multi...

引用

IEEE Conference on Network Function Virtualization and software Defined Networks (NFV-SDN)

作者： Rodrigo Flexa Hugo Santos Matheus Brito Torsten Braun Eduardo Cerqueira Denis Rosário Federal University of Pará (UFPA) Brazil State University of Pará (UEPA) Brazil Universität Bern Switzerland

ISBN: (数字)9798350380538

ISBN: (纸本)9798350380545

Future media delivery includes immersive applications using augmented reality (AR) technologies, which mix virtual elements into physical reality. This technological trend innovates the experience of online services and content, with interactions between parallel digital worlds. However, the channel for delivering this technology has challenges in meeting the requirements for correct operation, such as correct and timely allocation of processing and memory and respecting energy consumption. Multi-User Augmented Reality (MUAR) service employs multi-access edge computing for collaborative 3D interactions on mobile devices. Service Function (SF) chains contain this service across edge servers to enable partial SF sharing among users with similar views. We propose the dynamic multi-criteria and mobility-aware Orchestration of SF Chains for Immersive Multi-user applications called OSCIM, which minimizes SF chaining instantiation costs with partial SF sharing while maintaining strict computational demands of MUAR services. Results indicate that OSCIM enhances session acceptance, resource efficiency, and latency compared to existing methods.

关键词： Energy consumption Costs Three-dimensional displays Service function chaining Heuristic algorithms software algorithms Resource management Servers Augmented reality Resilience

来源：评论

学校读者我要写书评

暂无评论

Servo Drive with PWM Controller Simulation

Servo Drive with PWM Controller Simulation

引用

Annual Siberian Russian Workshop on Electron Devices and Materials (EDM)

作者： Vladislav D. Popov Yuriy V. Shornikov Dmitry N. Dostovalov Department of Automated Control Systems Novosibirsk State Technical University Novosibirsk Russia Department of Automated Control Systems Novosibirsk State Technical University Institute of Automation and Electrometry of the Siberian Branch of the Russian Academy of Sciences Novosibirsk Russia

ISBN: (数字)9798350389234

ISBN: (纸本)9798350353051

The simulating of a servo drive with symmetrical pulse width controlling is implemented by the ISMA platform. This task is classified as an event-continuous or hybrid system. Since the dynamic processes can be event-driven, the finite-state machine notation by D. Harel (statechart as formalism) is applied to build a mathematical model for the problem. The statechart with three states complying the Cauchy problem is designed, predicates for directed transitions, as well as states equations are defined. The original LISMA language, combining both block and textual coding, which allows to form compact models that correspond bijectively to statechart formalism used for event-driven continuous systems, is applied. A fragment of the LISMA language grammar for determining the states and transitions of hybrid systems is presented. The designed ISMA software is resolved by original explicit and semi-explicit numerical methods with the asymptotic algorithm for event detection, included to the ISMA library. Computer experiments demonstrate good results with sufficient accuracy.

关键词： Analytical models Computational modeling software algorithms Pulse width modulation Mathematical models software Libraries

来源：评论

学校读者我要写书评

暂无评论

FairPipes: Data Mutation Pipelines for Machine Learning Fairness

FairPipes: Data Mutation Pipelines for Machine Learning Fair...

引用

International Workshop on Automation of software Test (AST)

作者： Camille Molinier Paul Temple Gilles Perrouin ESIR University of Rennes Rennes France University of Rennes CNRS Inria IRISA Rennes France PReCISE/NaDI University of Namur Namur Belgium

ISBN: (数字)9798400705885

ISBN: (纸本)9798350352184

Machine Learning (ML) models are ubiquitous in decision-making applications impacting citizens’ lives: credit attribution, crime recidivism, etc. In addition to seeking high performance and generalization abilities, ensuring that ML models do not discriminate against citizens regarding their age, gender, or race is essential. To this end, researchers developed various fairness assessment techniques, comprising fairness metrics and mitigation approaches, notably at the model level. However, the sensitivity of ML models to fairness data perturbations has been less explored. This paper presents mutation-based pipelines to emulate fairness variations in the data once the model is deployed. FairPipes implements mutation operators that shuffle sensitive attributes, add new values, or affect their distribution. We evaluated FairPipes on seven ML models over three datasets. Our results highlight different fairness sensitivity behaviors across models, from the most sensitive perceptrons to the insensitive support vector machines. We also consider the role of model optimization in fairness performance, being variable across models. FairPipes automates fairness testing at deployment time, informing researchers and practitioners on the fairness sensitivity evolution of their ML *** Concepts• software and its engineering → software testing and debugging; • Computing methodologies → Machine learning.

关键词： software testing Support vector machines Adaptation models Sensitivity Computational modeling Prevention and mitigation Pipelines software algorithms Data models software

来源：评论

学校读者我要写书评

暂无评论

A robust double-layer affinity based matting method

A robust double-layer affinity based matting method

引用

Big Data & Artificial Intelligence & software Engineering (ICBASE), International Conference on

作者： Guilin Yao Junjie Chang School of Computer and Information Engineering Harbin University of Commerce Herbin China

ISBN: (数字)9798331506612

ISBN: (纸本)9798331506629

In traditional matting algorithms, sampling and affine methods are the primary approaches. The sampling method provides initial alpha values for each pixel but often results in discontinuities and noise, necessitating affine methods for smoothing. Affine methods, which involve both short- and long-range searches, enhance alpha value continuity between neighboring pixels but have varying effects on different regions. To address this, we propose a dual-layer post-processing matting algorithm that combines robust priors with long-range and shortrange modeling. The robust prior step independently samples each unknown pixel, selecting optimal foreground and background samples to compute initial alpha values. Then, a dual-layer affine framework, utilizing the KNN method and a color linear model, further refines these alpha values. Experiments show that this dual-layer algorithm improves both the visual quality and the accuracy of alpha values for foreground, background, and mixed regions.

关键词： Visualization Solid modeling Smoothing methods Computational modeling software algorithms Color Nearest neighbor methods Solids Sampling methods software engineering

来源：评论

学校读者我要写书评

暂无评论

A Survey of Lifetime Extension Techniques for High-Reliability Power Electronics

A Survey of Lifetime Extension Techniques for High-Reliabili...

引用

International Conference on Electrical Machines and Systems (ICEMS)

作者： Min Zhang Yongxing Yang Yukai Wen Wei Jiang Dan Zhao Ke Shen School of Automation Northwestern Polytechnical University Xi'an Shaanxi China School of Electrical Engineering Xi'an University of Technology Xi'an Shaanxi China

ISBN: (数字)9784886864406

ISBN: (纸本)9798350379105

The lifetime of power converters is crucial for the reliability of power electronic systems. Long term exposure to severe thermal stress can lead to cumulative fatigue failure in semiconductor devices and DC-link capacitors. Active thermal control through software optimization of control algorithms has been extensively investigated to mitigate power loss and extend component life. This article aims to provide a comprehensive analysis of state-of-the-art lifetime extension control of power converters. A review of the current status of failure mechanisms and failure criteria will be provided, and technology surveys of lifetime estimation will be detailed. Also, a comparison of lifetime extension control strategies for different converters is carried out.

关键词： Surveys Reviews Semiconductor devices software algorithms Power electronics software software reliability Thermal stresses Stress Optimization

来源：评论

学校读者我要写书评

暂无评论

Algorithm of Automatic Synthesis of Optimal Solutions for Power Systems based on the Method of Dynamic Programming

Algorithm of Automatic Synthesis of Optimal Solutions for Po...

引用

International Youth Scientific and Technical Conference on Relay Protection and Automation (RPA)

作者： A. A. Voloshin E. A. Voloshin A.I. Kovalenko D.P. Yakovlev E. S. Astakhov I.S. Polygalin D.A. Romanov Relay Protection and Automation of Power System Department National Research University«MPEI» Moscow Russia

ISBN: (数字)9798331501105

ISBN: (纸本)9798331501112

Determination of technically and economically feasible design solutions for power distribution networks remains an urgent task of the electric power industry. Existing design methods, both manual and software, do not allow to fully automate the process and do not take into account distributed energy sources. The article proposes an algorithm for the automatic synthesis of the optimal structure and parameters of the electrical network scheme. To implement the algorithm the method of dynamic programming with ‘collapsing’ of solutions was used, which allowed to significantly reduce the search space and increase the efficiency of calculations. The software implementation of the algorithm was performed in the Java programming language with visualization of the obtained solutions using the *** package. To verify the effectiveness of the proposed approach, computational experiments were carried out on a 13-node scheme of the distribution network. Two tasks were considered: design of a new electrical network and development of the existing electrical network using the algorithm of automatic synthesis of the optimal solution for the power system on the basis of dynamic programming. Various scenarios including different network configurations and substation nominal voltage levels were analyzed in the experiments. The results showed that the proposed algorithm allows to efficiently find optimal solutions, taking into account both technical and economic aspects.

关键词： Visualization Automation Heuristic algorithms Design methodology Power system dynamics software algorithms Distribution networks Voltage software Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Sine Cosine Algorithm with Cluster Voting for Combinatorial Testing

A Hybrid Sine Cosine Algorithm with Cluster Voting for Combi...

引用

Cyber Security and Computing (CyberComp), International Conference on

作者： Masrulehsan Mamat Mazidah Mat Rejab Kamal Z. Zamli Ashok Sivaji Faculty of Computer Science and Information System Universiti Tun Hussein Onn Malaysia (UTHM) Parit Raja Malaysia Faculty of Computing Universiti Malaysia Pahang Al-Sultan Abdullah Pekan Pahang MIMOS Berhad MRANTI Technology Park Bukit Jalil Kuala Lumpur

ISBN: (数字)9798350387728

ISBN: (纸本)9798350387735

Combinatorial testing is essential for detecting system faults with minimal test cases. However, traditional methods often struggle to efficiently explore large search spaces, leading to redundant test cases and increased computational costs. This paper introduces a novel hybrid optimization framework, HCV-SCA, which integrates the Sine Cosine Algorithm (SCA), JAYA, and Teaching-Learning-Based Optimization (TLBO) with a dynamic Cluster Voting (CV) mechanism. The CV mechanism dynamically selects and adjusts search operators, penalizing or rewarding them based on their performance, ensuring the production of optimal test suites. Unlike random or exhaustive methods, metaheuristic algorithms like HCV-SCA intelligently navigate complex search spaces, generating test suites with improved coverage and reduced redundancy. Experimental evaluations using benchmark combinatorial testing problems demonstrate that HCV-SCA outperforms existing methods, particularly excelling in smaller test suite configurations (t = 2 to 7) and maintaining competitive performance for larger configurations (t = 8 to 10). The results show a significant reduction in test suite sizes, enhanced fault detection rates, and improved computational efficiency. The adaptive nature of the Cluster Voting mechanism ensures robustness across diverse testing scenarios, making HCV-SCA a powerful and flexible solution for optimizing combinatorial testing. This research sets a new benchmark for effective test case generation in software testing, addressing both efficiency and adaptability in complex systems.

关键词： Combinatorial testing Heuristic algorithms Fault detection software algorithms Metaheuristics Clustering algorithms Benchmark testing Robustness Computational efficiency Space exploration

来源：评论

学校读者我要写书评

暂无评论

Efficient Electromagnetic Scattering Simulation for Inhomogeneous Objects with Triply Periodic Minimal Surface Structure

Efficient Electromagnetic Scattering Simulation for Inhomoge...

引用

Progress in Electromagnetic Research Symposium (PIERS)

作者： Zi-Zhu Qin Wei-Jia He Bi-Yi Wu Ming-Lin Yang Xin-Qing Sheng School of Integrated Circuits and Electronics Institute of Radio Frequency Technology and Software Beijing Institute of Technology Beijing China

ISBN: (数字)9798350375909

ISBN: (纸本)9798350375916

In this paper, an efficient homogeneous equivalence approach to investigate the electromagnetic properties of ceramic materials with triply periodic minimal surface (TPMS) structural is introduced. The equivalent parameters of the TPMS structure are derived utilizing a hierarchical equivalence strategy that integrates the Bruggeman equivalence formula with the series/parallel equivalent formula. Subsequently, this study validates the method’s accuracy and efficacy through a comparison of the numerical outcomes with results acquired using the Method of Moments (MoM) in the commercial software FEKO and those derived via the nonconformal domain decomposition method (NC-DDM) employed in the Hybrid Finite Element-Boundary Integral-Multilevel Fast Multipole Algorithm (FE-BI-MLFMA).

关键词： Accuracy software algorithms Nonhomogeneous media Surface structures software Ceramics Numerical models

来源：评论

学校读者我要写书评

暂无评论

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements

Keeping Behavioral Programs Alive: Specifying and Executing ...

引用

IEEE International Conference on Requirements Engineering

作者： Tom Yaacov Achiya Elyasaf Gera Weiss Computer Science Department Ben-Gurion University of the Negev Software and Information Systems Engineering Department Ben-Gurion University of the Negev

ISBN: (数字)9798350395112

ISBN: (纸本)9798350395129

One of the benefits of using executable specifications such as Behavioral Programming (BP) is the ability to align the system implementation with its requirements. This is facilitated in BP by a protocol that allows independent implementation modules that specify what the system may, must, and must not do. By that, each module can enforce a single system requirement, including negative specifications such as “don't do X after Y.” The existing BP protocol, however, allows only the enforcement of safety requirements and does not support the execution of liveness properties such as “do X at least three times.” To model liveness requirements in BP directly and independently, we propose idioms for tagging states with “must-finish;’ indicating that tasks are yet to be completed. We show that this idiom allows a direct specification of known requirements patterns from the literature. We also offer semantics and two execution mechanisms, one based on a translation to Büchi automata and the other based on a Markov decision process (MDP). The latter approach offers the possibility of utilizing deep reinforcement learning (DRL) algorithms, which bear the potential to handle large software systems effectively. This paper presents a qualitative and quantitative assessment of the proposed approach using a proof-of-concept tool. A formal analysis of the MDP-based execution mechanism is given in an appendix.

关键词： Protocols software algorithms Semantics Tagging Programming software systems Safety

来源：评论

学校读者我要写书评

暂无评论

Machine Learning for Cross-Vulnerability Prediction in Smart Contracts

Machine Learning for Cross-Vulnerability Prediction in Smart...

引用

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

作者： Hajra Naeem Manar H. Alalfi Department of Computer Science Toronto Metropolitan University Toronto ON Canada

ISBN: (数字)9798350344790

ISBN: (纸本)9798350344806

Smart contracts are programs that are deployed on blockchain to automate the agreements among users. It is hard to fix a security vulnerability once a smart contract is deployed. Vulnerabilities in smart contracts have raised a lot of concerns. Many automated solutions are proposed to identify these vulnerabilities. Supervised machine learning algorithms require historical data to detect vulnerabilities. These solutions will not work if the historical data for a vulnerability in question is not available. To address this problem, we have proposed to use the historical data of another vulnerability. We identify similar features among the vulnerabilities and use them to build the models. The built models are used to test smart contracts with the type of vulnerability that does not have the historical data. We have conducted experiments on 4 datasets and found that worst case $F_{1}$-score is 73% and the best case is 93% and mostly F 1 -score was more than 80%.

关键词： Training software testing Machine learning algorithms Smart contracts software algorithms Machine learning Prediction algorithms

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 144 145 146 147 148 149 150 151 152 153 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：