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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

89 篇 会议
30 篇 期刊文献
2 册 图书

馆藏范围

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

日期分布

学科分类号

88 篇 工学
- 76 篇 计算机科学与技术...
- 60 篇 软件工程
- 9 篇 信息与通信工程
- 8 篇 控制科学与工程
- 8 篇 安全科学与工程
- 7 篇 电气工程
- 6 篇 生物医学工程（可授...
- 5 篇 仪器科学与技术
- 5 篇 电子科学与技术（可...
- 4 篇 机械工程
- 4 篇 建筑学
- 4 篇 土木工程
- 4 篇 化学工程与技术
- 4 篇 网络空间安全
- 3 篇 材料科学与工程（可...
- 3 篇 石油与天然气工程
- 3 篇 交通运输工程
- 3 篇 船舶与海洋工程
34 篇 理学
- 22 篇 数学
- 4 篇 化学
- 4 篇 系统科学
- 4 篇 统计学（可授理学、...
- 3 篇 海洋科学
25 篇 管理学
- 14 篇 管理科学与工程(可...
- 13 篇 图书情报与档案管...
- 4 篇 工商管理
5 篇 医学
- 5 篇 基础医学(可授医学...
- 5 篇 临床医学
- 3 篇 药学(可授医学、理...
3 篇 教育学
- 3 篇 教育学
1 篇 法学

主题

10 篇 software enginee...
5 篇 unified modeling...
4 篇 application soft...
4 篇 java
4 篇 security
4 篇 students
3 篇 computer science
3 篇 adaptive systems
3 篇 linux
3 篇 model checking
3 篇 computer languag...
3 篇 cryptographic pr...
3 篇 artificial intel...
3 篇 smart cards
3 篇 ontology
3 篇 formal specifica...
2 篇 runtime
2 篇 object oriented ...
2 篇 decision support...
2 篇 computer archite...

机构

6 篇 institute for so...
5 篇 department of pr...
3 篇 department of so...
3 篇 department of so...
3 篇 institute for so...
3 篇 department of co...
3 篇 ivannikov instit...
3 篇 department of sy...
3 篇 software enginee...
3 篇 institute of sof...
3 篇 institute of sof...
3 篇 department of se...
2 篇 school of mathem...
2 篇 institute for so...
2 篇 department of co...
2 篇 zuse institute b...
2 篇 department of so...
2 篇 department of me...
2 篇 university of tw...
2 篇 department of co...

作者

20 篇 margaria tiziana
19 篇 steffen bernhard
8 篇 yevtushenko nina
6 篇 wolfgang reif
5 篇 leucker martin
5 篇 naujokat stefan
4 篇 kossachev alexan...
4 篇 lamprecht anna-l...
4 篇 reif wolfgang
4 篇 nina moebius
4 篇 burdonov igor
4 篇 tichy matthias
4 篇 raschke alexande...
3 篇 kubczak christia...
3 篇 merten maik
3 篇 bergenthum robin
3 篇 kurt stenzel
3 篇 nina yevtushenko
3 篇 witte thomas
3 篇 raffelt harald

语言

118 篇 英文
2 篇 德文
1 篇 其他

检索条件"机构=Department of Programming and Software Engineering"

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

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

详细简洁

排序：

WIP: An Engaging Undergraduate Intro to Model Checking in software engineering Using TLA+ 54

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

54th IEEE Frontiers in Education Conference, FIE 2024

作者： Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Loyola University Software and Systems Laboratory Department of Computer Science Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany

ISBN: (纸本)9798350351507

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive 'failuresy' through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding TLA+ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in TLA+ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudinal analysis within our own institution and

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Spam detection with fasttext based features

Spam detection with fasttext based features

引用

2024 Innovations in Intelligent Systems and Applications Conference, ASYU 2024

作者： Karadeniz, Talha Tokdemir, Gül Maraş, H. Hakan Department of Software Engineering Çankaya University Ankara Turkey Department of Computer Engineering Çankaya University Ankara Turkey Department of Computer Programming Çankaya University Ankara Turkey

ISBN: (纸本)9798350379433

Fasttext is a powerful word representation method that creates word representations based on vectors of character n-grams. In this work, we propose a method that utilizes fasttext features for a novel feature engineering model for the spam detection problem. In the feature engineering method, the combination of average, mean of second derivative;mean peak and standard deviation of fasttext features are computed. Finally, tf-idf features are also considered for the modeling process. The success of each feature engineering technique is measured and reported. The combination of the five feature extraction methods, tested on two spam detection datasets, yielded promising results with an accuracy of 0.978 on e-mail spam detection and an accuracy of 0.986 on sms spam classification. © 2024 IEEE.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

Classification Algorithms with a Complex Structure in Pattern Recognition 25

Classification Algorithms with a Complex Structure in Patter...

引用

25th IEEE International Conference of Young Professionals in Electron Devices and Materials, EDM 2024

作者： Nishanov, Akram Kh. Allamov, Oybek Rakhmanov, Askar T. Yusupova, Janar Ruzibaev, Ortik B. Department of Systematic and Practical Programming Tashkent University of Information Technologies named after Muhammad al-Khwarizmi Tashkent Uzbekistan Department of Software Engineering Urgench Branch of Tashkent University of Information Technology named after Muhammad al Khwarizmi Urgench Uzbekistan Department of Systematic and Practical Programming Tashkent University of Information Technologies named after Muhammad al-Khwarizmi Tashkent Uzbekistan Faculty of Software Engineering Tashkent University of Information Technologies named after Muhammad al-Khwarizmi Tashkent Uzbekistan

ISBN: (纸本)9798350389234

The article considers in the intellectual processing of information, moving from a large unit of measurement to a smaller, more important unit of measurement, selecting sets of informative symbols and classifying symbols, developing modern recognition systems that help specialists in the field, as well as evaluating the states of objects to be classified, developing a classification algorithm for multi-class cases of educational samples. The development of a multi-class algorithm for symbol classification serves to develop the theory of symbol recognition. It deals with the construction of a decision rule construction algorithm. Its main purpose is to determine which of the given classes the recognized object belongs to. The complexity or simplicity of the proposed algorithm depends on the number of classes participating in the study sample. If the number of classes is two, then the formulation of decision rules is simple. That is why the classification algorithms proposed by most authors are solved for cases where the number of classes is three or more, the decisive rule in the matter of classification of objects is solved by making two classes. The construction of a multi-class decision rule for classification, which takes into account all classes at the same time, is a complex and urgent issue. In the article, in the classification of objects, a multi-level complex structured decision rule was developed based on special inequalities, and two-, three- and multi-class classification algorithms were developed. © 2024 IEEE.

关键词： Consensus algorithm

来源：评论

学校读者我要写书评

暂无评论

Models and algorithms for determining the probability of occurrence of a critical combination of events for three-element minimum sections in intelligent decision support systems 4

Models and algorithms for determining the probability of occ...

引用

4th IEEE KhPI Week on Advanced Technology, KhPI Week 2023

作者： Kolomiitsev, Oleksii Osiievskyi, Serhii Zakharchenko, Iryna Rybalchenko, Alina Tretiak, Viacheslav Heiko, Hennadii Computer Engineering and Programming Department National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine Department of Mathematics and Software of ACS Ivan Kozhedub Kharkiv National Air Force University Kharkiv Ukraine

A method for determining the probability of occurrence of a critical combination of events for the three-element minimum cross-sections of attributes of the characteristics of the software quality model of intelligent... 详细信息

ISBN: (纸本)9798350395532

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service 5

Runtime Verification of Autonomous Systems Utilizing Digital...

引用

5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2024

作者： Kristensen, Morten Haahr Bonizzi, Alberto Gomes, Claudio Hansen, Simon Thrane Isasa, Carlos Iven, Hannes Kamburjan, Eduard Larsen, Peter Gorm Leucker, Martin Talasila, Prasad Tang, Valdemar Trojgard Tonetta, Stefano Vosteen, Lars B. Wright, Thomas Aarhus University Department of Electrical and Computer Engineering Denmark Fondazione Bruno Kessler Italy University of Luxembourg Interdisciplinary Centre for Security Reliability and Trust Luxembourg Institute for Software Engineering and Programming Languages Universität zu Lübeck Germany University of Oslo Department of Informatics Norway

ISBN: (纸本)9798350389760

Autonomous Systems (AS) enable systems to adapt to drastic and unprecedented environmental changes, a capability that can be enhanced through the utilization of Digital Twins (DTs). However, the additional capabilities of AS come at the cost of explainability, as the expanding adaptation space complicates the reasoning about the system's behavior. For certain types of systems, it is crucial to ensure that specific properties are upheld despite the system's autonomous behavior. To facilitate the monitoring of these properties, we propose the use of Runtime Verification (RV). This tutorial demonstrates the integration of RV tools into the Digital Twins as a Service (DTaaS) platform to monitor and verify the behavior of AS in real-time. By exploring various methods to incorporate RV tools within a DT context, the tutorial aims to advance the application of RV technologies in autonomic computing and self-adaptive system design. Specifically, we demonstrate how the behavior of a self-configuring DT can be verified utilizing RV. This is accomplished through the DTaaS platform, which supports seamless deployment of DT-based AS. © 2024 IEEE.

关键词： Adaptive systems

来源：评论

学校读者我要写书评

暂无评论

Academic Fraud Detection in Online Exams with DNN's Multilayer Model

Academic Fraud Detection in Online Exams with DNN's Multilay...

引用

International Symposium on Digital Forensic and Security (ISDFS)

作者： Bahaddin Erdem Murat Karabatak Department of Computer Programming Bitlis Eren University Bitlis Turkey Department of Software Engineering Firat University Elaziğ Turkey

ISBN: (数字)9798331509934

ISBN: (纸本)9798331509941

This study aims to reveal the best deep learning models that are improved and optimized by predicting undesirable behavior patterns using a dataset consisting of artificial and real exam data of students taking online distance education courses in an online environment through the distance education system. Using online exam data of 129 students, the researchers conducted analysis with two different scenarios to determine the best prediction performance through regression and classification models. The model we proposed was determined as a four-layer DNN with 80.4% test performance in detecting students who “cheated” from undesirable behavior patterns, which was performed with K-10, K-5 and K-3 cross-validation. The results prove that students' online distance education exam data can be easily applied to the DNN model. The models presented in the study provide a roadmap for educational institutions to evaluate their online examination practices and develop more effective strategies for academic honesty.

关键词： Deep learning Analytical models Digital forensics Predictive models Nonhomogeneous media Data models Educational courses Fraud Security

来源：评论

学校读者我要写书评

暂无评论

A Case Study on Data Protection for a Cloud- and AI-Based Homecare Medical Device 43rd

A Case Study on Data Protection for a Cloud- and AI-Based...

引用

43rd International Conference on Application and Theory of Petri Nets and Concurrency , Petri Nets 2022

作者： Bende, Philipp Vovk, Olga Caraveo, David Pechmann, Ludwig Leucker, Martin Institute for Software Engineering and Programming Languages University of Lübeck Lübeck Germany School of Information Technologies Department of Health Technologies Tallinn University of Technology Tallinn Estonia UniTransferKlinik Lübeck GmbH Lübeck Germany

ISBN: (纸本)9783662681909

To improve the treatment of many diseases, continuous monitoring of the patient at home with the ability of doctors to interact with individual cases demands an increasing number of medical devices connected to the cloud. To support the doctor’s duties, such devices may benefit from AI-based diagnosis routines. In order for such devices to be approved and placed on the market, they need to comply with various legal, regulatory, economic, and social requirements. An integral part of these requirements is the protection of the patients’ data. In this paper, based on a current use case, we describe a workflow on how to identify risks and address their mitigations. To this end, we recall the relevant legal, regulatory, economic, and social data protection requirements. We pursue our findings on a Homecare OCT device that is intended to be used by elderly patients on a daily basis, by taking images of their eyes and sending them for further analysis to a cloud- and AI-based system. The patient’s ophthalmologist gets notified for further dedicated treatment depending on the result. We then compare the Homecare OCT device with a clinical OCT System in regard to various risks to patient data which arise when a medical system is used outside of a secure hospital environment. To perform the risk management, we describe (i) the architecture of both systems, (ii) analyze their data flow, (iii) discuss several vectors of attack, (iv) propose ways to mitigate the risks, and (v) discuss the handling of potential data breaches. © 2024, The Author(s), under exclusive license to Springer-Verlag GmbH, DE, part of Springer Nature.

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

Verifying Multiple Virtual Networks in software Defined Networks

Verifying Multiple Virtual Networks in Software Defined Netw...

引用

2021 IEEE East-West Design and Test Symposium, EWDTS 2021

作者： Burdonov, Igor Yevtushenko, Nina Kossachev, Alexandr Ivannikov Institute for System Programming of RAS Software Engineering Department Moscow Russia Ivannikov Institute for System Programming Software Engineering Deparment Moscow Russia

ISBN: (纸本)9781665445030

software Defined Network (SDN) technology is one of the modern network virtualization technologies. When implementing a virtual network on the SDN data plane, undesired effects may occur: the appearance of undesired paths where packages can be sent, 'looping' when the packages are infinitely cycled and infinitely cloned, duplicate paths when the host receives the same package several times. We show that these effects can occur for the joint implementation of several virtual networks even if the implementation of each separate virtual network does not cause these effects. A method for verifying the implementation of several virtual networks is proposed. A sufficient condition is established for the graph of physical connections when any set of virtual networks can be implemented without the occurrence of the above undesirable effects. © 2021 IEEE.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in software engineering Using TLA+

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

Frontiers in Education (FIE) Conference

作者： Konstantin Läufer Gunda Mertin George K. Thiruvathukal Department of Computer Science Software and Systems Laboratory Loyola University Chicago Institute for Software Engineering and Programming Languages University of Lübeck

ISBN: (数字)9798350351507

ISBN: (纸本)9798350363067

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions $(\text{TLA}^{+})$ , into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive “failuresy” through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding $\text { TLA }^{+}$ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in $\text { TLA }^{+}$ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudi

关键词： Computer science Open Access Model checking System recovery software Safety Logic Reliability Proposals software engineering

来源：评论

学校读者我要写书评

暂无评论

Optimistic Versioning for Conflict-tolerant Collaborative Blended Modeling 10

Optimistic Versioning for Conflict-tolerant Collaborative Bl...

引用

STAF 2022 Workshop: 10th International Workshop on Bidirectional Transformations, BX 2022, 2nd International Workshop on Foundations and Practice of Visual Modeling, FPVM 2022 and 2nd International Workshop on MDE for Smart IoT Systems, MeSS 2022

作者： Exelmans, Joeri Pietron, Jakob Raschke, Alexander Vangheluwe, Hans Tichy, Matthias Department of Computer Science University of Antwerp - Flanders Make Antwerp Belgium Institute of Software Engineering and Programming Languages Ulm University Ulm Germany

Optimistic versioning is a key component in supporting collaborative workflows. Text-based versioning has been widely adopted for versioning code, but in model-driven engineering, dealing with visual concrete syntaxes, new methods are required. In the case of blended modeling, a mixture of both textual and visual syntaxes, concurrently editable and synchronizable, introduces additional challenges. We propose a type of operation-based versioning to record not only user edits, but also bi-directional change propagations between concrete and abstract syntax. This way we can support blended modeling with layout continuity, and flexible handling of missing information (e. g., layout information) when rendering changes from abstract to concrete syntax. In addition, the proposed versioning approach enables collaborative conflict resolution by allowing partial conflict resolution, thus deferring a final resolution. © 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：