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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

242 篇 会议
56 篇 期刊文献
1 册 图书

馆藏范围

299 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

168 篇 工学
- 114 篇 计算机科学与技术...
- 90 篇 软件工程
- 22 篇 信息与通信工程
- 22 篇 控制科学与工程
- 18 篇 生物医学工程（可授...
- 17 篇 安全科学与工程
- 16 篇 电气工程
- 14 篇 生物工程
- 11 篇 电子科学与技术（可...
- 9 篇 网络空间安全
- 7 篇 仪器科学与技术
- 7 篇 材料科学与工程（可...
- 6 篇 光学工程
- 6 篇 土木工程
- 5 篇 动力工程及工程热...
- 5 篇 交通运输工程
91 篇 理学
- 42 篇 数学
- 30 篇 物理学
- 18 篇 统计学（可授理学、...
- 15 篇 生物学
- 12 篇 系统科学
- 4 篇 化学
- 4 篇 海洋科学
45 篇 管理学
- 31 篇 管理科学与工程(可...
- 15 篇 图书情报与档案管...
- 11 篇 工商管理
16 篇 医学
- 14 篇 临床医学
- 12 篇 基础医学(可授医学...
- 9 篇 药学(可授医学、理...
6 篇 教育学
- 6 篇 教育学
4 篇 法学
4 篇 农学
3 篇 经济学

主题

14 篇 software
10 篇 training
8 篇 forecasting
7 篇 computer archite...
7 篇 neural networks
7 篇 monitoring
6 篇 safety
6 篇 static analysis
6 篇 machine learning
6 篇 hardware
6 篇 testing
6 篇 mathematical mod...
5 篇 tools
5 篇 software quality
4 篇 information syst...
4 篇 reliability
4 篇 registers
4 篇 support vector m...
4 篇 programming
4 篇 automation

机构

30 篇 department of sy...
25 篇 department of co...
13 篇 department of co...
8 篇 computer techniq...
6 篇 department of co...
6 篇 computer enginee...
6 篇 mart learning ed...
5 篇 computer enginee...
5 篇 department of co...
5 篇 department of co...
5 篇 department of co...
5 篇 department of fo...
5 篇 department of co...
5 篇 department of in...
5 篇 universitat kass...
4 篇 school of electr...
4 篇 department of co...
4 篇 university of ka...
4 篇 information comm...
4 篇 department of sy...

作者

19 篇 abotaleb mostafa
16 篇 mostafa abotaleb
14 篇 josef börcsök
12 篇 ali hayek
10 篇 börcsök josef
10 篇 hayek ali
10 篇 boercsoek josef
9 篇 yevtushenko nina
9 篇 el-kenawy el-say...
9 篇 roy abi zeid dao...
8 篇 makarovskikh tat...
8 篇 abdelhameed ibra...
7 篇 daou roy abi zei...
7 篇 oleg savenko
7 篇 tetiana hovorush...
6 篇 el-sayed m. el-k...
6 篇 hovorushchenko t...
6 篇 krini abderrahim
6 篇 savenko oleg
5 篇 el-sayed m.el-ke...

语言

294 篇 英文
3 篇 中文
1 篇 俄文
1 篇 其他

检索条件"机构=System Programming Department"

共 299 条记录，以下是1-10 订阅

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

详细简洁

排序：

Implementation of Safety-Related Intrusion Detection for an Industrial Robotic Arm

Implementation of Safety-Related Intrusion Detection for an ...

引用

2025 International Conference on Control, Automation, and Instrumentation, IC2AI 2025

作者： Haydar, Georgio Abou Telawi, Samer Borcsok, Josef Architecture and System Programming University of Kassel Department of Computer Kassel Germany

ISBN: (纸本)9798331529604

Ensuring the safety of human workers collaborating with industrial robots is paramount. This research work presents a novel approach by developing a safety-related intruder detection system for the operational zones of industrial robots, following the IEC 61508 standard and adopting the related redundant architecture. The hardware integrates light curtains and radar sensors in a dual-layer configuration, while the software utilizes a safety system-on-chip to implement real-time diagnostics and fault tolerance. Protecting employees and ensuring a smooth and safe work environment are significant concerns for all companies. As a result, numerous standards and regulations have been established to provide safe collaboration between humans and machines. However, despite these measures, accidents continue to occur, resulting in varying degrees of injuries. The proposed system is depicted through a comprehensive schematic, emphasizing the integration of safety measures within the robotic environment. The detailed prototype demonstrates practical application, show-casing the system's ability to detect intrusions, initiate emergency responses, and transition to fail-safe states during component failures. This research work advances safety protocols in human-robot collaboration within industrial settings, fostering a safe working environment through a well-defined safety framework. © 2025 IEEE.

关键词： Industrial robots

来源：评论

学校读者我要写书评

暂无评论

Implementation of Safety-Related Intrusion Detection for an Industrial Robotic Arm

Implementation of Safety-Related Intrusion Detection for an ...

引用

Control, Automation, and Instrumentation (IC2AI), International Conference on

作者： Georgio Abou Haydar Samer Telawi Josef Börcsök Department of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (数字)9798331529604

ISBN: (纸本)9798331529611

关键词： Service robots Intrusion detection Prototypes Human-robot interaction Industrial robots Manipulators Safety system-on-chip IEC Standards Standards

来源：评论

学校读者我要写书评

暂无评论

Machine Learning in Defectoscopy: DBSCAN for Localization, Agglomerative Clustering for Typification

Machine Learning in Defectoscopy: DBSCAN for Localization, A...

引用

International Russian Smart Industry Conference (SmartIndustryCon)

作者： Ruslan Akhmadeev Yurii Litvinov Anastasiya Grigorieva Department of Computer Science Saint Petersburg State University Saint Petersburg Russia Department of System Programming Saint Petersburg State University Saint Petersburg Russia

ISBN: (数字)9798331511241

ISBN: (纸本)9798331511258

Acoustic emission (AE) is one of the most relevant and cost-effective non-destructive testing methods for identifying defects in industrial objects. This paper addresses two primary tasks in defectoscopy: locating hazardous AE zones and classifying signals according to the presumed defect type. Through our research, we have determined and experimentally confirmed that the most suitable machine learning method for localization is a modified DBSCAN, while Agglomerative Clustering is optimal for typification. This paper details the specific tuning and modifications applied to these methods for AE. The resulting models were successfully tested on real-world data. The accuracy of the localization results was assessed using statistical analysis and consultations with AE experts, while typification was validated probabilistically and tested on sample data.

关键词： Location awareness Accuracy Recurrent neural networks Statistical analysis Acoustic emission Probabilistic logic Real-time systems Reliability Tuning Testing

来源：评论

学校读者我要写书评

暂无评论

A Method to Evaluate Binary Code Comparison Tools

A Method to Evaluate Binary Code Comparison Tools

引用

2021 Ivannikov Memorial Workshop, IVMEM 2021

作者： Arutunian, Mariam Hovhannisyan, Hripsime Vardanyan, Vahagn Sargsyan, Sevak Kurmangaleev, Shamil Aslanyan, Hayk Russian-Armenian University System programming department Yerevan Armenia Institute for System Programming Russian Academy of Sciences System programming department Moscow Russia

ISBN: (纸本)9781665423274

Binary code comparison tools are widely used to analyze vulnerabilities, search for malicious code, detect copyright violations, etc. The article discusses three tools - BCC, BinDiff, Diaphora. Those are based on static analysis of programs. The tools receive as input data two versions of the program in binary form and match their functions. The purpose of the article is to assess the quality of the tools. We developed a testing system to automatically determine the precision and recall of each instrument. F1 score on the developed testing system for BCC instrument is 85.6%, for BinDiff - 82.4%, for Diaphora - 64.7%. © 2021 IEEE.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

BinSide: Static Analysis Framework for Defects Detection in Binary Code

BinSide: Static Analysis Framework for Defects Detection in ...

引用

2020 Ivannikov Memorial Workshop, IVMEM 2020

作者： Aslanyan, Hayk Arutunian, Mariam Keropyan, Grigor Kurmangaleev, Shamil Vardanyan, Vahagn Russian-Armenian University System Programming Department Yerevan Armenia Yerevan State University Mathematics and Mechanics Department Yerevan Armenia Programming of the Russian Academy of Sciences Ivannikov Institute for System System Programming Department Moscow Russia

ISBN: (纸本)9781728190884

Software developers make mistakes that can lead to failures of a software product. One approach to detect defects is static analysis: examine code without execution. Currently, various source code static analysis tools are widely used to detect defects. However, source code analysis is not enough. The reason for this is the use of third-party binary libraries, the unprovability of the correctness of all compiler optimizations. This paper introduces BinSide: binary static analysis framework for defects detection. It does interprocedural, context-sensitive and flow-sensitive analysis. The framework uses platform independent intermediate representation and provide opportunity to analyze various architectures binaries. The framework includes value analysis, reaching definition, taint analysis, freed memory analysis, constant folding, and constant propagation engines. It provides API (application programming interface) and can be used to develop new analyzers. Additionally, we used the API to develop checkers for classic buffer overflow, format string, command injection, double free and use after free defects detection. © 2020 IEEE.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Method of Evaluating the User Interface of Software systems for Compliance with the Gestalt Principles 14

Method of Evaluating the User Interface of Software Systems ...

引用

14th IEEE International Scientific and Technical Conference on Computer Sciences and Information Technologies, CSIT 2019

作者： Hovorushchenko, Tetiana Pavlova, Olga Kobel, Kostyantyn Computer Engineering and System Programming Department Khmelnytskyi Ukraine

ISBN: (纸本)9781728108063

The purpose of this study is increasing the usability of the user interfaces (UI) by ensuring their compliance with Gestalt principles. The developed method of evaluating the compliance of the UI with Gestalt principles provides: quantitative evaluation of the compliance of the UI with each of the Gestalt principles;quantitative evaluation of the compliance of the UI to all Gestalt principles in the complex;selection of elements of the UI, which meet to the largest and smallest quantity of Gestalt principles;the formation of the set of UI elements, which require further re-work in order to provide them the compliance with Gestalt principles;increase of compliance of the UI with the Gestalt principles (by 15% for the real UI of webpage for selling the jewelry). © 2019 IEEE.

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

Reachability confirmation of statically detected defects using dynamic analysis 11

Reachability confirmation of statically detected defects usi...

引用

11th International Conference on Computer Science and Information Technologies, CSIT 2017

作者： Gerasimov, Alexander Kruglov, Leonid System Programming Department ISP RAS Moscow Russia

ISBN: (纸本)9781538628317;9781538628300

Static and dynamic analysis of programs are well known approaches to the problem of automatic program behaviour analysis. Both methods have advantages and limitations. Static analysis has lack of precision for the sake of scalability. On the other hand, dynamic analysis has 100% precision while reaching defect point, but suffers from scalability issues. This paper describes an approach to confirmation of reachability of source-sink defects that were found by static analysis with help of dynamic analysis. The combination of methods allows to circumvent limitations and multiply their advantages. Preliminary experiments on several open source projects show that real true positive defects can be confirmed to be reachable using the approach and some false positives can be proved. © 2017 IEEE.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Multi-Agent Technology for Assessing the Availability of Information at the Software Development Initial Stages 16

Multi-Agent Technology for Assessing the Availability of Inf...

引用

16th IEEE International Conference on Computer Science and Information Technologies, CSIT 2021

作者： Hovorushchenko, Tetiana Pavlova, Olga Computer Engineering and System Programming Department Khmelnytskyi Ukraine

ISBN: (纸本)9781665442572

The development of multi-agent technology for assessing the availability of information at the software development initial stages is an actual task, the solution of which is the purpose of this study. The paper presents the structure and functioning of multi-agent technology for assessing the availability of information at the software development initial stages, which is suitable for working with requirements specifications in modern conditions, when software requirements often change, - due to the speed and ease of specifications' analysis. Both the developer and the customer can always check the availability of information in the updated requirements specification, without spending a lot of time and effort. © 2021 IEEE.

关键词： Requirements engineering

来源：评论

学校读者我要写书评

暂无评论

Software development for safety-related systems

Software development for safety-related systems

引用

2nd International Conference on systems, ICONS 2007

作者： Börcsök, Josef Schaefer, Sebastian Department of Computer Architecture and System Programming University of Kassel

ISBN: (纸本)0769528074

Safety-related systems mostly comprise hardware and software solutions. Due to the increasing application of complex hardware and software systems, the software systems have to be considered regarding safety as well as hardware systems. The development of a safety-related software system is similar to the development of a safety-related hardware systems. But there are still no generally accepted methods for developing safety-critical software. One has to use the methods, which fit best to the actual requirements. However, the calculation of reliability and availability for safety-related software systems is far more complex. © 2007 IEEE.

关键词： Safety engineering

来源：评论

学校读者我要写书评

暂无评论

Method of Assessing the Impact of External Factors on Geopositioning system Operation Using Android GPS API 16

Method of Assessing the Impact of External Factors on Geopos...

引用

16th IEEE International Conference on Computer Science and Information Technologies, CSIT 2021

作者： Hovorushchenko, Tetiana Pavlova, Olga Avsiyevych, Volodymyr Computer Engineering and System Programming Department Khmelnytskyi Ukraine

ISBN: (纸本)9781665442572

The main methods of analysis the accuracy of the geolocation system were studied. The aspects of technology for obtaining geographical coordinates using Google geolocation system (GPS) were considered. The best method of obtaining data from satellites was searched. Today the geolocation system has become widely used in many industries, such as military, aviation, maritime, navigation of ordinary users. Also, a significant spread of this technology is noticed in many geographical areas, such as cartography, geodesy and is an area of interests of many scientists. A mobile app based on Android platform for conducting the experiments to determine the accuracy of geolocation services in the form of Web Quests was developed. © 2021 IEEE.

关键词： Global positioning system

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共30页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：