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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,829 篇 会议
118 册 图书
17 篇 期刊文献

馆藏范围

1,964 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

809 篇 工学
- 657 篇 计算机科学与技术...
- 484 篇 软件工程
- 178 篇 信息与通信工程
- 114 篇 材料科学与工程（可...
- 101 篇 控制科学与工程
- 68 篇 电气工程
- 48 篇 电子科学与技术（可...
- 39 篇 机械工程
- 23 篇 建筑学
- 22 篇 生物工程
- 20 篇 土木工程
- 19 篇 生物医学工程（可授...
- 17 篇 网络空间安全
- 16 篇 安全科学与工程
- 15 篇 化学工程与技术
- 12 篇 光学工程
160 篇 理学
- 92 篇 数学
- 27 篇 系统科学
- 26 篇 生物学
- 23 篇 物理学
- 22 篇 统计学（可授理学、...
150 篇 管理学
- 110 篇 管理科学与工程(可...
- 55 篇 工商管理
- 49 篇 图书情报与档案管...
25 篇 教育学
- 25 篇 教育学
17 篇 医学
- 16 篇 临床医学
- 13 篇 基础医学(可授医学...
15 篇 法学
- 12 篇 社会学
12 篇 经济学
- 12 篇 应用经济学
10 篇 文学
- 10 篇 新闻传播学
5 篇 军事学
4 篇 农学
1 篇 艺术学

主题

309 篇 application soft...
268 篇 software enginee...
234 篇 computer science
166 篇 software systems
161 篇 computer archite...
138 篇 computer aided s...
116 篇 computer softwar...
106 篇 programming
93 篇 hardware
90 篇 control systems
87 篇 artificial intel...
76 篇 costs
71 篇 software
63 篇 information syst...
59 篇 prototypes
58 篇 real time system...
57 篇 computational mo...
56 篇 systems engineer...
56 篇 testing
55 篇 humans

机构

10 篇 school of comput...
8 篇 department of co...
8 篇 department of el...
7 篇 weizmann inst sc...
6 篇 technion israel ...
6 篇 department of co...
6 篇 department of so...
6 篇 state key labora...
5 篇 the moise and fr...
5 篇 hebrew universit...
5 篇 department of el...
5 篇 ben gurion univ ...
5 篇 computer science...
5 篇 hebrew univ jeru...
4 篇 tel aviv univers...
4 篇 israel aircraft ...
4 篇 tel aviv univ sc...
4 篇 technion haifa
4 篇 university of ha...
4 篇 rafael advanced ...

作者

10 篇 kupferman orna
8 篇 exman iaakov
7 篇 maoz shahar
7 篇 harel david
6 篇 vardi moshe y.
6 篇 winokur michael
6 篇 j.z. lavi
6 篇 ringert jan oliv...
6 篇 a. yehudai
6 篇 mordechai guri
6 篇 yingxu wang
6 篇 rumpe bernhard
6 篇 tyszberowicz shm...
5 篇 david harel
5 篇 shahar maoz
5 篇 goldstein moshe
5 篇 rajkumar buyya
5 篇 pnina soffer
5 篇 balaban mira
5 篇 marron assaf

语言

1,955 篇 英文
5 篇 其他
4 篇 中文

检索条件"任意字段=Fourth Israel Conference on Computer Systems and Software Engineering"

共 1964 条记录，以下是121-130 订阅

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

详细简洁

排序：

Analysis of software Quality Enhancement through Stability Metrics Models

Analysis of Software Quality Enhancement through Stability M...

引用

fourth Industrial Revolution Based Technology and Practices (ICFIRTP), International conference on

作者： Sushil Chandra Dimri Kamlesh Chandra Purohit Ankur Dumka Department of Computer Science & Engineering Graphic Era Deemed to be University Dehradun Uttarakhand India Department of Computer Science and Engineering Women Institute of Technology Dehradun Uttarakhand India

To thrive in today's competitive market, the quality of a company's software is the single most important factor. Many elements, including the program's design, quality measurements, reliability models, and root cause analysis for defect management, contribute to the enhancement of software product quality. In order to make software systems more trustworthy, this study examines how several reliability measurements might be used. Additionally, the paper stresses the need of implementing a quality improvement programme like root cause analysis to get to the bottom of faults and reduce the likelihood of recurrence of the same errors. This paper demonstrates how an efficient programme for root cause analysis may enhance the learning process and contribute to the establishment of standards in any business. An introduction to software reliability measurements and a root cause analysis tool are provided in this article as a means of bettering overall software quality. Root-cause analysis, reliability metrics, and enhanced software quality are all essential concepts.

关键词： Root cause analysis Analytical models software quality software systems software reliability Reliability software measurement

来源：评论

学校读者我要写书评

暂无评论

A Masked Pruning-Based Algorithm for Dimensionality Reduction in Federated Learning systems

A Masked Pruning-Based Algorithm for Dimensionality Reductio...

引用

Annual Allerton conference on Communication, Control, and Computing

作者： Tamir L.S. Gez Kobi Cohen School of Electrical and Computer Engineering Ben-Gurion University of the Negev Beer-Sheva Israel

ISBN: (数字)9798331541033

ISBN: (纸本)9798331541040

Federated Learning (FL) represents a growing machine learning (ML) paradigm designed for training models across numerous nodes that retain local datasets, all without directly exchanging the underlying private data with the parameter server (PS). Its increasing popularity is attributed to notable advantages in terms of training deep neural network (DNN) models under privacy aspects and efficient utilization of communication resources. Unfortunately, DNNs suffer from high computational and communication costs, as well as memory consumption in intricate tasks. These factors restrict the applicability of FL algorithms in communication-constrained systems with limited hardware resources. In this paper, we develop a novel algorithm that overcomes these limitations by synergistically combining a pruning-based method with the FL process, resulting in low-dimensional representations of the model with minimal communication cost, dubbed Masked Pruning over FL (MPFL). The algorithm operates by initially distributing weights to the nodes through the PS. Subsequently, each node locally trains its model and computes pruning masks. These low-dimensional masks are then transmitted back to the PS, which generates a consensus pruning mask, broadcasted back to the nodes. This iterative process enhances the robustness and stability of the masked pruning model. The generated mask is used to train the FL model, achieving significant bandwidth savings. We present an extensive experimental study demonstrating the superior performance of MPFL compared to existing methods. Additionally, we have developed an open-source software package for the benefit of researchers and developers in related fields.

关键词： Training Costs Federated learning Computational modeling software algorithms Bandwidth Artificial neural networks Stability analysis Robustness Iterative methods

来源：评论

学校读者我要写书评

暂无评论

The Emergence of IIoT and its Cyber Security Issues in Critical Information Infrastructure 21

The Emergence of IIoT and its Cyber Security Issues in Criti...

引用

21st European conference on Cyber Warfare and Security, ECCWS 2022

作者： Bhaiyat, Humairaa Yacoob Sithungu, Siphesihle Philezwini Academy of Computer Science and Software Engineering Faculty of Science University of Johannesburg South Africa

ISBN: (纸本)9781914587405

The emergence of the Industrial Internet of Things (IIoT) can transform and improve industrial domain processes. This is achieved by IIoT’s ability to collect and process vast amounts of data using technology such as sensors. IIoT capabilities can improve the manufacturing processes of these sectors and contribute to the improved functioning of critical information infrastructure. In addition, current trends - such as the fourth Industrial Revolution (4IR) - use IIoT to realise specific goals. While the emergence of IIoT systems does introduce many benefits, such as improved efficiency and sustainability, it can also introduce security concerns. These security concerns pose a significant threat to the industrial domain, including critical information infrastructures. The resulting threats emphasise the need to implement solutions to secure IIoT systems. The paper aims to discuss the emergence of IIoT and its cyber security issues within the context of critical information infrastructure. The research paper follows a theoretical research methodology to provide an improved understanding of the emergence of IIoT and its cyber security issues in critical information infrastructure. The paper contains an exhaustive discussion of what is IIoT. A discussion on where IIoT fits within the context of critical information infrastructure and its impact on 4IR is also highlighted in the paper. Due to the many vulnerabilities that IIoT systems can contain, the paper also discusses security concerns surrounding the emergence of IIoT. The security concerns make IIoT systems attractive targets for cyberattacks. Therefore, different approaches that can be applied to secure IIoT systems is also provided. Since IIoT capabilities can impact the critical information infrastructure of businesses and nations, the authors’ stance on how IIoT systems could transform the current understanding of critical information infrastructure is also discussed. © 2022 Curran Associates Inc.. All rights r

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Experiences of a "G" Acceleration Generator through Angular Velocities in a Dynamic Design Course

Experiences of a "G" Acceleration Generator through Angular ...

引用

Information and Education Technology (ICIET), International conference on

作者： Hector Rafael Morano Okuno J. Enrique Chong-Quero Guillermo Sandoval Benitez Rafael Caltenco Castillo Andres Garcia Garcia School of Engineering and Science Tecnologico de Monterrey Mexico

This article shares the educational experiences obtained by using, as a didactic exercise, a "G" acceleration generator modeled in a CAD software tool application to help students understand the effects generated by angular velocities in different axes. This exercise was used in the course "Mechanical Design" for students of Mechanical engineering in the fourth semester. This work aims to show the learning stages that the students developed through different exercises. Even though the activities used are not new, their combination and a computer simulation tool to verify the calculations makes the learning experience beneficial for the students. Initially, the paper presents a review of the developments in Human Training Centrifuge systems, also known as High-G Centrifuge systems (HCSs). Subsequently, the reason why an application such as the "G" acceleration generator as a didactic exercise was selected among the topics of engineering Mechanics: Dynamics is mentioned. Afterward, the performed activities are described, then the professor's observations during the exercises' application and the survey results to know the students' perception of the activities developed are presented. Finally, the conclusions and future work are stated.

关键词： Training Analytical models Solid modeling computer simulation Generators Angular velocity Numerical models

来源：评论

学校读者我要写书评

暂无评论

Outlook 360 | A Practical Approach of Recruiting Talent Through Artificial Intelligence.

Outlook 360 | A Practical Approach of Recruiting Talent Thro...

引用

Innovations in computer Science & software engineering (ICONICS), International conference on

作者： Sani E Zehra Areeba Shakil Maryam Fatima M. Anas Munawwar Nida Khalil Software Engineering Department Sir Syed University of Engineering and Technology Karachi Pakistan

Intellectual capital acquired the Position of an asset in the fourth industrial revolution. An asset that would help companies to reach their targeted tier in the 'talent war' and help them maintain their bottom lines for significant setbacks. With the unforeseen consequences of Covid-19, this asset has become one benefit that needs to be retained. It implies that staying aware of the rapidly developing techniques for recruitment and implementing talented or skilled individual is one factor that assists companies in winning the talent war: the conversation objective, a potential employee to invest significant time and energy in a digitalized world. A better-performing e-recruitment application can bring employees to apply for the job. Thus, this paper sheds light on what upgrades and progressions are necessary for AI-based e-recruitment systems to draw and attain skilled individuals and help organizations achieve their target tier out in the corporate world.

关键词： COVID-19 Companies Oral communication Knowledge management fourth Industrial Revolution Artificial intelligence software engineering

来源：评论

学校读者我要写书评

暂无评论

PIXHELL Attack: Leaking Sensitive Information from Air-Gap computers via ‘Singing Pixels’

PIXHELL Attack: Leaking Sensitive Information from Air-Gap C...

引用

IEEE Annual International computer software and Applications conference (COMPSAC)

作者： Mordechai Guri Department of Software and Information Systems Engineering Air-Gap Research Lab Ben-Gurion University of the Negev Israel

ISBN: (数字)9798350376968

ISBN: (纸本)9798350376975

Air-gapped systems are disconnected from the Internet and other networks because they contain or process sensitive data. However, it is known that attackers can use computer speakers to leak data via sound to circumvent the air-gap defense. To cope with this threat, when highly sensitive data is involved, the prohibition of loudspeakers or audio hardware might be enforced. This measure is known as an ‘audio gap’. In this paper, we present PIXHELL, a new type of covert channel attack allowing hackers to leak information via noise generated by the pixels on the screen. No audio hardware or loudspeakers is required. Malware in the air-gap and audio-gap computers generates crafted pixel patterns that produce noise in the frequency range of 0 - 22 kHz. The malicious code exploits the sound generated by coils and capacitors to control the frequencies emanating from the screen. Acoustic signals can encode and transmit sensitive information. We present the adversarial attack model, cover related work, and provide technical background. We discuss bitmap generation and correlated acoustic signals and provide implementation details on the modulation and de-modulation process. We evaluated the covert channel on various screens and tested it with different types of information. We also discuss evasion and stealth using low-brightness patterns that appear like black, turned-off screens. Finally, we propose a set of countermeasures. Our test shows that with a PIXHELL attack, textual and binary data can be exfiltrated from air-gapped, audio-gapped computers at a distance of 2m via sound modulated from LCD screens.

关键词： Loudspeakers Portable computers OFDM Computational modeling Air gaps Noise Acoustics

来源：评论

学校读者我要写书评

暂无评论

Augmenting Deep Neural Networks with Scenario-Based Guard Rules 8th

Augmenting Deep Neural Networks with Scenario-Based Guard Ru...

引用

8th International conference on Model-Driven engineering and software Development (MODELSWARD)

作者： Katz, Guy Hebrew Univ Jerusalem Jerusalem Israel

ISBN: (纸本)9783030674441;9783030674458

Deep neural networks (DNNs) are becoming widespread, and can often outperform manually-created systems. However, these networks are typically opaque to humans, and may demonstrate undesirable behavior in corner cases that were not encountered previously. In order to mitigate this risk, one approach calls for augmenting DNNs with hand-crafted override rules. These override rules serve to prevent the DNN from making certain decisions, when certain criteria are met. Here, we build on this approach and propose to bring together DNNs and the well-studied scenario-based modeling paradigm, by encoding override rules as simple and intuitive scenarios. We demonstrate that the scenario-based paradigm can render override rules more comprehensible to humans, while keeping them sufficiently powerful and expressive to increase the overall safety of the model. We propose a method for applying scenario-based modeling to this new setting, and apply it to multiple DNN models. (This paper substantially extends the paper titled "Guarded Deep Learning using Scenario-Based Modeling", published in Modelsward 2020 [47]. Most notably, it includes an additional case study, extends the approach to recurrent neural networks, and discusses various aspects of the proposed paradigm more thoroughly).

关键词： Scenario-based modeling Behavioral programming Machine learning Deep neural networks

来源：评论

学校读者我要写书评

暂无评论

A Radical Approach for Goal-Oriented Testing

A Radical Approach for Goal-Oriented Testing

引用

fourth Industrial Revolution Based Technology and Practices (ICFIRTP), International conference on

作者： Hemant Singh Pokhariya Ruchira Rawat Ankur Dumka Department of Computer Science & Engineering Graphic Era Deemed to be University Dehradun Uttarakhand India Department of Computer Science and Engineering Women Institute of Technology Dehradun Uttarakhand India

Taking testing goals into account, this article lays forth a methodology for automating the testing of component-based and embedded systems. We work with the component-based systems from communication point of view. Hence, only the outward behaviour of the components at the contact locations can be seen. We optimise the number of created test sequences for practicality by including test purposes into a general FSM-based technique for test creation. These approaches have been broadly since decades effectively used for evaluating both hardware and software including protocols and communication systems

关键词： Component architectures Embedded systems Protocols Focusing Closed box Conformance testing Hardware

来源：评论

学校读者我要写书评

暂无评论

Project-oriented approach to the study of robotics according to the concept of STEM education 14

Project-oriented approach to the study of robotics according...

引用

14th International conference on Mathematics, Science and Technology Education, ICon-MaSTEd 2022

作者： Palchyk, A.O. Lutsyk, I.B. Burega, N.V. Department Of Computer Technologies Ternopil Volodymyr Hnatiuk National Pedagogical University 2 M. Kryvonosa St Ternopil46027 Ukraine Department Of Mechanical Engineering And Transport Ternopil Volodymyr Hnatiuk National Pedagogical University 2 M. Kryvonosa St Ternopil46027 Ukraine

The importance of studying robotics in the conditions of the fourth Industrial Revolution for solving the problem of training qualified STEM specialists is substantiated. The technique of using a project-oriented approach in the process of studying technologies for creating robotic systems is disclosed. The stages of implementation of the method based on the project of a maneuverable robotic platform are given. The methodology proposes a step-by-step development of a completed functional product, divided into several stages. At each stage, students get acquainted with the corresponding functions of the software and the theoretical aspects of electrical, physical, mechanical phenomena necessary to solve the problem at this stage. An important aspect of this technique is also the acquisition of practical work skills: drawing up diagrams, soldering individual electrical components to the board, laying electrical connections and manufacturing parts using 3D printing. Work on solving problem-oriented complex tasks allows to consider the problem as a collective, which will create the necessary prerequisites for professional activity. These capabilities of the project-oriented approach allow to implement the key concepts of STEM education: the research process, mastering the technology of manufacture and implementation of technical creativity on the basis of basic mathematical knowledge. © Published under licence by IOP Publishing Ltd.

关键词： Robotics

来源：评论

学校读者我要写书评

暂无评论

Monitoring First-Order Interval Logic 19th

Monitoring First-Order Interval Logic

引用

19th International conference on software engineering and Formal Methods (SEFM)

作者： Havelund, Klaus Omer, Moran Peled, Doron CALTECH Jet Prop Lab Pasadena CA 91125 USA Bar Ilan Univ Dept Comp Sci Ramat Gan Israel

ISBN: (纸本)9783030921248;9783030921231

Runtime verification is used for monitoring the execution of systems, e.g. checking sequences of reported events against formal specifications. Typically the specification refers to the individual monitored events. In this work we perceive the events as defining intervals, each defined by a begin and a subsequent end event. Allen's logic allows assertions about the relationship between such named intervals. We suggest a formalism that extends Allen's logic into a first-order logic that allows quantification over intervals;in addition, intervals can carry data. We provide a monitoring algorithm and describe an implementation and experiments performed with it. We furthermore describe an alternative method for monitoring properties in this logic, by translating them into first-order past-time temporal logic, monitored with the tool DejaVu.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共197页 << < 9 10 11 12 13 14 15 16 17 18 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：