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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Automatic Synthesis of Information Flow Driven Execution Managers for Embedded software Applications

Automatic Synthesis of Information Flow Driven Execution Man...

引用

Conference on Digital Avionics Systems (DASC)

作者： Nikita Visnevski Teresa Hubscher-Younger Akshay Rajhans Baoluo Meng GE Research Niskayuna NY USA MathWorks Natick MA USA

ISBN: (数字)9781728198255

ISBN: (纸本)9781728180885

This paper presents an approach to simplifying embedded application development process by means of automatic synthesis of portions of application code concerned with information and execution flow management. In this preliminary study, we adopt a simple information flow categorization model which captures characteristics of data periodicity and criticality. This model is then used to define a formal specification of the interface of an embedded application. We show that, given such a specification, it is possible to automatically synthesize an application execution manager state machine that links the core of the application with various contingency management routines. This partially relieves the burden placed on embedded application developers allowing them to focus on development of the application core as well as on definition of actions to be taken when critical information flows are disrupted. They no longer need to create and manage code that monitors the information flows and implements logic for interrupting the execution of the core and invoking contingency management. This aspect would be automatically generated for them based on the design specification. Such automation offers a number of potential benefits to development productivity, cost reduction, software quality, validation, verification, and certification.

关键词： Unified modeling language Data models Contingency management Embedded software software algorithms software packages Automation

来源：评论

学校读者我要写书评

暂无评论

software Library for Teaching Applications of Binary Decision Diagrams in Reliability Analysis

Software Library for Teaching Applications of Binary Decisio...

引用

International Conference on Emerging eLearning Technologies and Applications (ICETA)

作者： Michal Mrena Miroslav Kvassay Radomir S. Stankovic University of Zilina Faculty of Management Science and Informatics Zilina Slovakia University of Nis Faculty of Electronic Engineering Nis Serbia

ISBN: (数字)9781665422260

ISBN: (纸本)9781665446785

Reliability belongs to key characteristics of most technical, as well as, non-technical systems. Therefore, its evaluation should be one of the principal skills of graduates of technically oriented study programs, such as mechanical engineering, electrical engineering, computer engineering, or informatics. However, analysis of system reliability is a challenging task, especially in case of systems composed of many components. Main issues in this case are efficient representation of the system and fast computation of basic reliability characteristics, such as availability of the system or importance of the system components. The first issue can be solved by using special data structures and the second one by implementation of existing algorithms using these data structures. A Binary Decision Diagram (BDD) is one of the most prospective data structures that can be used for this purpose. It is a graph structure that allows representing Boolean functions in an efficient way. In reliability analysis, it can be used to represent structure of the system. However, manipulation with bigger BDDs and their application in computation of basic reliability indices usually requires good computer support in a form of specific software tool. The core of such a software tool should be a software library implementing operations that allows fast manipulation with BDDs. In this paper, we present one such library. The library is primarily intended for the development of software tools for reliability analysis of complex systems based on BDDs, and it will also be used as a support tool within practical classes of a course on reliability engineering that is taught at the Faculty of Management Science and Informatics of University of Zilina.

关键词： Boolean functions software libraries software algorithms Reliability engineering software reliability software tools Informatics

来源：评论

学校读者我要写书评

暂无评论

On -Demand Placement and Scheduling of Virtual Network Functions with software Requirements

On -Demand Placement and Scheduling of Virtual Network Funct...

引用

IEEE Latin-American Conference on Communications, LATINCOM

作者： Giovanne Marcelo dos Santos Daniel Macêdo Batista University of São Paulo Brazil

ISBN: (数字)9781728189031

ISBN: (纸本)9781728189048

Virtual Network Functions (VNFs) can be combined together to meet several network services with reduced capital and operational expenditures. Given that the VNFs are virtualized, a network operator needs to solve two problems to efficiently deploy them: VNF placement and VNF scheduling. In this paper, we propose an algorithm to solve the two problems at the same time, placing and scheduling the VNFs on demand, and taking the software requirements into consideration, in a way that traditional distributed computing schedulers can be used. The proposed algorithm was evaluated via simulation against three other schedulers. Results showed that the algorithm is able to increase, by 19.7%, the number of completed VNFs in a scenario with 16540 VNFs being instantiated.

关键词： Processor scheduling Conferences Computational modeling software algorithms software Scheduling Distributed computing

来源：评论

学校读者我要写书评

暂无评论

PUF Based Secure Framework for Hardware and software Security of Drones

PUF Based Secure Framework for Hardware and Software Securit...

引用

IEEE Asian Hardware-Oriented Security and Trust (AsianHOST)

作者： Vishal Pal B Srikrishna Acharya Somesh Shrivastav Sourav Saha Ashish Joglekar Bharadwaj Amrutur Indian Institute of Science Bangalore India RBCCPS Robert Bosch Center for Cyber Physical Systems Indian Institute of Science Bangalore India

ISBN: (数字)9781728189529

ISBN: (纸本)9781728189536

Unmanned Aerial Vehicles (UAVs) augmented with sensors like cameras, GPS and LiDARs, shows tremendous potential in delivering Internet of Things (IoT) services from great heights. Current security challenges in the drone deployment for such applications are: software and hardware breaches, identification of rogue drones and link hijack avoidance. In this work, we extend the secure framework for not only software, but also for hardware breaches and identification of compromised drones using a Trusted Execution Environment (TEE) created by ARM's TrustZone technology and Physically Unclonable Function (PUF). The PUF based unique fingerprints of onboard sensors, flight controller and companion computer of the drone are implemented in a Field Programmable Gate Array (FPGA). The PUF based drone authentication algorithm has been implemented and demonstrated in a proof of concept system and can be incorporated in drone deployments.

关键词： Protocols software algorithms Authentication Hardware software Sensors Drones

来源：评论

学校读者我要写书评

暂无评论

software Deployment Strategy Based on Performance and Heterogeneity

Software Deployment Strategy Based on Performance and Hetero...

引用

IEEE Information Technology and Mechatronics Engineering Conference (ITOEC)

作者： Hao Liu Zheng Zhang Zhenwu Liu Gaofei Zhang Yufeng Zhao State key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (数字)9781728143231

ISBN: (纸本)9781728143248

In the current cyberspace field, the positions of offensive and defensive parties are extremely imbalanced. Aiming at the weakness of web virtual hosting in this paper, we combine software diversity technology to build a heterogeneous software variant library, and propose a software deployment strategy based on software performance and heterogeneity. Considering the attributes of the software and the structural characteristics of the network topology comprehensively, we implement the software deployment of each virtual site in the network topology. Our analysis shows that our deployment strategy can make the heterogeneity and performance of the entire network topology reach a high level, and further improve the security of complex network environment. Finally, we use the real-world network topologies to verify the feasibility of our method.

关键词： Security Cloud computing Complex networks Web services software algorithms

来源：评论

学校读者我要写书评

暂无评论

Interplay of Machine Learning and software Engineering for Quality Estimations

Interplay of Machine Learning and Software Engineering for Q...

引用

2020 International Conference on Communications, Computing, Cybersecurity, and Informatics (CCCI)

作者： Hamza Abubakar M. S. Obaidat Aaryan Gupta Pronaya Bhattacharya Sudeep Tanwar Institute of Technology Nirma University Ahmedabad Gujarat India College of Computing and Informatics University of Sharjah Sharjah 27272 UAE King Abdullah II School of Information Technology University of Jordan Amman 11942 Jordan University of Science and Technology Beijing Beijing China

ISBN: (数字)9781728173153

ISBN: (纸本)9781728173160

In this era, the agile mindset has innovated the traditional software engineering (SE) process through the integration of DevOps flow engines, scrum iterations, and automation of continuous integration (CI) and continuous deployment (CD) cycles. However, the CI/CD integration requires manual code-revisions and refactoring at large scales. Recently, machine-learning (ML) is employed in SE that allows legacy codes to be highly dynamic, less coupling in related modules, automatic code versioning, and refactoring, with less coupling among related modules. However, over time, ML models tend to become bulky, with increasing monotonic losses during model training. To address this, SE techniques like code revisions are employed over ML codes to allow low-order training losses, that enables seamless and precise workflow structures. Motivated from the aforementioned discussions, the paper presents a systematic review of the close interplay of SE and ML and possible interactions in different applications. Suitable research questions and case studies are presented for possible adoption scenarios that depict the close ML-SE interplay share with each other, with the concluding remarks. The paper forms useful insights for ML engineers, data science practitioners, and SE quality estimators towards the building of efficient and scalable software solutions.

关键词： software Maximum likelihood estimation Data models software algorithms Training Task analysis Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Chapter 1: software Aging and Rejuvenation: A Genesis - Extended Abstract

Chapter 1: Software Aging and Rejuvenation: A Genesis - Exte...

引用

IEEE International Conference on software Reliability Engineering Workshops (ISSRE Wksp)

作者： Alberto Avritzer Domenico Cotroneo Yennun Huang Kishor Trivedi eSulabSolutions Inc. Princeton NJ USA Frederico II University of Naples Italy Academia Sinica Taipei Duke University USA

This talk summarizes the genesis of software aging and rejuvenation as presented in the handbook of software aging and rejuvenation. It also lays out possible future directions to reflect the content of the concluding... 详细信息

ISBN: (数字)9781728177359

ISBN: (纸本)9781728177366

关键词： software Aging software reliability Computational modeling Markov processes software algorithms software engineering

来源：评论

学校读者我要写书评

暂无评论

Detecting Out-of-Bounds Array Access Errors in Aerospace Embedded software

Detecting Out-of-Bounds Array Access Errors in Aerospace Emb...

引用

International Conference on Dependable Systems and Their Applications (DSA)

作者： Rui Chen Tingting Yu Yunsong Jiang Chunpeng Jia Chao Li Dongdong Gao Mengfei Yang Beijing Sunwise Information Technology Ltd Beijing China Beijing Institute of Control Engineering Beijing China China Academy of Space Technology Beijing China

ISBN: (数字)9780738124223

ISBN: (纸本)9781665419536

Out-of-bounds array access is the most easily missed runtime error in aerospace embedded software designing and testing. At present, mature commercial static analysis tools may produce lots of false negatives or false positives when detecting aerospace embedded software, which means we could only regard them as auxiliary tools for testing. A lot of manual tests are still needed to meet the requirement of “zero-defect”. It is hard to find a universal algorithm to detect out-of-bounds array access errors for all programs. The effect of the approximation algorithm depends on the characteristics of the programs. After analyzing 44 practical cases, we summarize 5 characteristics and propose their findings on the out-of-bounds array access detection. Depending on these characteristics, we design a dataflow-based abstract interpretation framework for interrupt-driven programs. To automatically analyze aerospace embedded software with higher efficiency as well as recall rate, we implement an out-of-bounds array access detection tool named HASA. The results of experiments show that HASA has a high recall rate with acceptable false positive rates and acceptable numbers of false positives. At present, HASA has been applied in the third-party testing of the China Academy of Space Technology.

关键词： Space technology software algorithms Static analysis Tools Approximation algorithms Aerospace testing Embedded software

来源：评论

学校读者我要写书评

暂无评论

Research on Simplified Method of Combination Test Case Set for Basic software System

Research on Simplified Method of Combination Test Case Set f...

引用

IEEE International Conference on Power, Intelligent Computing and Systems (ICPICS)

作者： Wei Liu Jing Xiong Software Quality Engineering Research Center The 5th Electronics Research Institute of the Ministry of Information Industry of China Guangzhou China

ISBN: (数字)9781728198743

ISBN: (纸本)9781728198750

The number of basic software products is excessive. If every kind of platform combination and every index of each combination is tested, there exists the problem of combination explosion, and the test cycle and cost increase rapidly. As a scientific and effective software testing method, combinatorial testing uses fewer test cases to detect the effects of the various factors of the software system and their interactions on the system effectively. It has been proved by practice that it has high error detection ability. In order to meet the test requirements with the minimal test case, this paper presents a test case set reduction method based on ant colony algorithm. Through abstracting each test case as an independent node, constructing virtual ant colony and updating the pheromone, the method is verified by the instance at last. The experimental results prove that the method is feasible and effective.

关键词： software algorithms software systems Testing Optimization Distributed computing Heuristic algorithms

来源：评论

学校读者我要写书评

暂无评论

Attend and Represent: A Novel View on Algorithm Selection for software Verification

Attend and Represent: A Novel View on Algorithm Selection fo...

引用

IEEE International Conference on Automated software Engineering (ASE)

作者： Cedric Richter Heike Wehrheim Paderborn University Paderborn Germany

ISBN: (数字)9781450367684

ISBN: (纸本)9781728172811

Today, a plethora of different software verification tools exist. When having a concrete verification task at hand, software developers thus face the problem of algorithm selection. Existing algorithm selectors for software verification typically use handpicked program features together with (1) either manually designed selection heuristics or (2) machine learned strategies. While the first approach suffers from not being transferable to other selection problems, the second approach lacks interpretability, i.e., insights into reasons for choosing particular tools. In this paper, we propose a novel approach to algorithm selection for software verification. Our approach employs representation learning together with an attention mechanism. Representation learning circumvents feature engineering, i.e., avoids the handpicking of program features. Attention permits a form of interpretability of the learned selectors. We have implemented our approach and have experimentally evaluated and compared it with existing approaches. The evaluation shows that representation learning does not only outperform manual feature engineering, but also enables transferability of the learning model to other selection tasks.

关键词： Machine learning algorithms software algorithms Tools Programming software Task analysis software engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 491 492 493 494 495 496 497 498 499 500 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：