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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

526 篇 会议
196 篇 期刊文献
21 册 图书

馆藏范围

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

日期分布

学科分类号

464 篇 工学
- 374 篇 计算机科学与技术...
- 305 篇 软件工程
- 55 篇 信息与通信工程
- 52 篇 控制科学与工程
- 27 篇 电气工程
- 27 篇 土木工程
- 24 篇 电子科学与技术（可...
- 23 篇 船舶与海洋工程
- 22 篇 生物工程
- 19 篇 机械工程
- 16 篇 建筑学
- 15 篇 网络空间安全
- 14 篇 生物医学工程（可授...
- 10 篇 材料科学与工程（可...
- 9 篇 农业工程
222 篇 理学
- 124 篇 数学
- 38 篇 系统科学
- 35 篇 物理学
- 29 篇 生物学
- 27 篇 统计学（可授理学、...
- 21 篇 海洋科学
117 篇 管理学
- 76 篇 管理科学与工程(可...
- 44 篇 图书情报与档案管...
- 41 篇 工商管理
18 篇 经济学
- 17 篇 应用经济学
15 篇 法学
- 14 篇 社会学
15 篇 教育学
- 13 篇 教育学
15 篇 医学
- 12 篇 临床医学
- 11 篇 基础医学(可授医学...
12 篇 农学
- 11 篇 作物学
3 篇 文学
2 篇 哲学
1 篇 军事学

主题

21 篇 application soft...
21 篇 artificial intel...
20 篇 software enginee...
20 篇 semantics
17 篇 programming
17 篇 software
14 篇 testing
14 篇 unified modeling...
13 篇 optimization
12 篇 monitoring
12 篇 data models
11 篇 runtime
11 篇 hardware
10 篇 java
9 篇 computer archite...
9 篇 model checking
9 篇 analytical model...
8 篇 computer science
8 篇 software systems
8 篇 electronic mail

机构

15 篇 institute for pr...
11 篇 department of sy...
10 篇 technical univer...
8 篇 programming syst...
7 篇 chair for progra...
7 篇 department of pr...
6 篇 department of co...
6 篇 programming syst...
6 篇 department of co...
6 篇 computer enginee...
6 篇 computer techniq...
5 篇 department of co...
5 篇 department of el...
5 篇 department of pr...
5 篇 technical univer...
5 篇 tu braunschweig ...
5 篇 department of co...
5 篇 department of co...
5 篇 institute for so...
5 篇 institute for pr...

作者

48 篇 steffen bernhard
33 篇 margaria tiziana
22 篇 bernhard steffen
19 篇 michael philipps...
17 篇 bauer bernhard
15 篇 philippsen micha...
14 篇 tiziana margaria
13 篇 goltz ursula
13 篇 wu youfeng
13 篇 lochau malte
12 篇 gancheva veska
12 篇 christopher muts...
10 篇 veska gancheva
9 篇 wang cheng
9 篇 lamprecht anna-l...
9 篇 youfeng wu
9 篇 christiansen hen...
9 篇 naujokat stefan
9 篇 niehren joachim
8 篇 mostafa abotaleb

语言

716 篇 英文
18 篇 其他
5 篇 德文
2 篇 中文
1 篇 法文
1 篇 日文

检索条件"机构=Programming Systems"

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

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

详细简洁

排序：

Employing Polyhedral Methods to Reduce Data Movement in FPGA Stencil Codes 35th

Employing Polyhedral Methods to Reduce Data Movement in FP...

引用

35th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2022

作者： Mayer, Florian Brandner, Julian Philippsen, Michael Programming Systems Group Erlangen Germany

ISBN: (纸本)9783031314445

Due to the ubiquity of stencil codes in scientific computing there is a strong need to optimize their runtimes. When using a GPU as an accelerator, programmers need to amortize the cost of shipping data to/from the device. When using an FPGA as an accelerator, the situation is worse as programmers also need to build a cache-like data shipment on the device. To avoid this tedious and error-prone task, our source-to-source compiler takes OpenMP pragma-annotated stencil codes, derives a polyhedral model from them, finds and merges overlapping contiguous read accesses, and instruments the code with vendor-specific annotations that guide the FPGA synthesis to generate efficient stencil hardware with fast data shipment and fast on-FPGA cache-like structures. Our data movement optimization improves the runtime of a set of stencil codes from three different sources by between 1.3 × and 5.8 ×, on average. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

Towards LLM-Based System Migration in Language-Driven Engineering 8th

Towards LLM-Based System Migration in Language-Driven Engin...

引用

8th International Conference on Engineering of Computer-Based systems, ECBS 2023

作者： Busch, Daniel Bainczyk, Alexander Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany

ISBN: (纸本)9783031492518

In this paper we show how our approach of extending Language Driven Engineering (LDE) with natural language-based code generation supports system migration: The characteristic decomposition of LDE into tasks that are solved with dedicated domain-specific languages divides the migration tasks into portions adequate to apply LLM-based code generation. We illustrate this effect by migrating a low-code/no-code generator for point-and-click adventures from JavaScript to TypeScript in a way that maintains an important property: generated web applications can automatically be validated via automata learning and model analysis by design. In particular, this allows to easily test the correctness of migration by learning the difference automaton for the generated products of the source and the target system of the migration. © 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages 1st

ChatGPT in the Loop: A Natural Language Extension for Dom...

引用

1st International Conference on Bridging the Gap between AI and Reality, AISoLA 2023

作者： Busch, Daniel Nolte, Gerrit Bainczyk, Alexander Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany

ISBN: (纸本)9783031460012

This paper presents an approach to no-code development based on the interplay of formally defined (graphical) Domain-Specific Languages and informal, intuitive Natural Language which is enriched with contextual information to enable referencing of formally defined entities. The paper focuses on the use and automated integration of these enriched intuitive languages via ChatGPT-based code generation to exploit the best of both language paradigms for domain-specific application development. To compensate for the lack of control over the intuitive languages we apply automated system-level validation via automata learning and subsequent model checking. All this is illustrated using the development of point-and-click adventures as a minimal viable example. © 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Automata Learning Language-driven Engineering Large Language Models Low-Code/No-Code Prompt Engineering Software Engineering Verification Web Application

来源：评论

学校读者我要写书评

暂无评论

Healthcare Data Analytics Based on Machine Learning

Healthcare Data Analytics Based on Machine Learning

引用

2024 IEEE International Conference on Communications, Computing, Cybersecurity and Informatics, CCCI 2024

作者： Gancheva, Veska Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies Sofia1000 Bulgaria

ISBN: (纸本)9798350349832

Technology advancements have transformed medical science and practice, leading to the vast gathering of a wide range of medical data. Medical researchers use artificial intelligence techniques extensively because they enable the identification and creation of models of complicated datasets and the interactions between them. This, in turn, enables the successful prediction of future outcomes associated with a specific sickness type. An artificial intelligence-based approach to healthcare data analytics is presented, which leverages data to build a desired model and solve a particular issue. The suggested approach for healthcare data analytics uses a random forest and feedforward artificial neural network with two hidden layers as its basis to get the best model. © 2024 IEEE.

关键词： Adversarial machine learning

来源：评论

学校读者我要写书评

暂无评论

Approbation of a Generalization of the Synergetic Design of Regulators for a Stochastic Base Immunology System 10

Approbation of a Generalization of the Synergetic Design of ...

引用

10th International Conference on Information Technology and Nanotechnology, ITNT 2024

作者： Kolesnikova, Svetlana Kustova, Ekaterina Institute Of Computational Systems And Programming St. Petersburg State University Of Aerospace Instrumentation St. Petersburg Russia

ISBN: (纸本)9798350372939

The results of application of the invariance condition as the basic principle of the synergetic control theory to a stochastic biomedical object - immunology, are presented. Using four-dimensional nonlinear base object with a delay, it is shown that the assumptions on the object controllability in the state space and the analytical description of the target invariant of the system are the sufficient conditions for an existence of a stochastic regulator minimizing the dispersion of the output variable in transferring a random controlled object to a target manifold of states. © 2024 IEEE.

关键词： Immunology

来源：评论

学校读者我要写书评

暂无评论

Human VS AI-Generated Content: Where to Draw the Line? 33

Human VS AI-Generated Content: Where to Draw the Line?

引用

33rd International Scientific Conference Electronics, ET 2024

作者： Minkovska, Daniela V. Antonova, Elena V. Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd. Sofia1000 Bulgaria

ISBN: (纸本)9798350376449

The integration and detection of AI (Artificial Intelligence) in a variety of fields, primarily education, are examined in this paper. With an emphasis on virtual assistants and their uses, it explores the potential and constraints of such technology. A study was conducted with students at the Technical University of Sofia, to assess their ability to distinguish between texts written by humans and AI. The results showcase that learners need to develop their critical analysis skills evidenced by their mixed expertise. © 2024 IEEE.

关键词： Adversarial machine learning

来源：评论

学校读者我要写书评

暂无评论

Software Anomaly Detection Method Based on Artificial Neural Network 20

Software Anomaly Detection Method Based on Artificial Neural...

引用

20th IEEE International Conference on e-Business Engineering, ICEBE 2024

作者： Gancheva, Veska Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd. Sofia1000 Bulgaria

ISBN: (纸本)9798350365856

A growing range of data sets have been created in recent years;these are used by platforms and software applications and kept in remote access repositories. Datasets are therefore more susceptible to harmful attacks. As a result, network security in data transmission is becoming a more important area of study. One well-known method for safeguarding computer systems is the deployment of intrusion detection systems. This study proposes an artificial intelligence based method for data analysis-based anomaly detection. Methods based on machine learning and rules are mixed together. The right rules are created via a genetic algorithm. Relevant features are extracted using principal component analysis with the goal of enhancing performance. The KDD Cup 1999 dataset is used to empirically validate the suggested procedure, satisfying the criterion of using appropriate data. Using the well-known benchmark dataset, the suggested approach is used to identify and examine four different kinds of attacks: Neptune, Ipsweep, Pod, and Teardrop. During the machine learning phase, the data is categorized into categories of attacks and normal behavior after the features set during the training phase are tested. For the purpose of data analysis, the input data is divided into training and testing sets for an artificial neural network. The first 80% of the data are used to train the neural network, and the remaining 20% are used for testing. The estimated accuracy improves with the number of epochs and is higher for training data and lower for validation test data, according to experimental results. Consequently, the trained model can be retained and used to detect discrepancies. The learnt model is used to the system to compute new input parameters that are not used during training or validation. © 2024 IEEE.

关键词： Network intrusion

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Optimization of MIMO Antenna Approach for 5G Wireless Applications 11

Optimization of MIMO Antenna Approach for 5G Wireless Applic...

引用

11th IEEE International Conference on systems and Control, ICSC 2023

作者： Atuwayr, Aqreerah Asmeida, Akrem Ben Abdelmula, Haitham Saleh Anaiba, Abdulhakim Alhadi High Institution of Engineering Technology College of Computer Technology Zawia Libya Libyan Center for Electronic Systems Programming and Aviation Research Libya

ISBN: (纸本)9798350304886

In this communication, an improved MIMO antenna array with defected ground structure (DGS) is designed for 5G wireless applications. Its schematic comprises eight radiator elements, situated at the center of an FR-4 printed circuit board. For optimizing the mutual coupling features, the metamaterial rectangular slots are employed between adjacent elements. Extensive simulation results prove that our proposed design 4x4 MIMO array operated at 5.8 GHz offers significantly better performance in terms of antenna gain and envelope correlation coefficient (ECC) with 6 dB and less than 0.0009 respectively. Rendering to the reached outcomes, the proposed MIMO antenna is an efficient application-oriented design for 5G communication. © 2023 IEEE.

关键词： Defected ground structures

来源：评论

学校读者我要写书评

暂无评论

Development and Analysis of Genetic Algorithm for Optimization of Continuous Cast Billets Warehousing Process

Development and Analysis of Genetic Algorithm for Optimizati...

引用

2024 International Russian Smart Industry Conference, SmartIndustryCon 2024

作者： Shchegolikhin, Ivan S. Andreev, Sergey M. Nosov Magnitogorsk State Technical University Department of Computer Engineering and Programming Magnitogorsk Russia Nosov Magnitogorsk State Technical University Department of Automated Control Systems Magnitogorsk Russia

ISBN: (纸本)9798350395044

Warehouses are an important logistic component of various companies. Warehouses may have different layouts, equipment and their own features. Optimization of warehouse operations can decrease overhead costs and increase the economic efficiency of industry. The technological process of steel sheet production at a metallurgical company includes two major stages: casting of liquid steel into billets and rolling of these billets on a rolling mill. In order to coordinate the productivity of these two stages and to be able to fulfill orders promptly, a warehouse of slabs (billets) is used. Billets of different parties and steel grades are stored in stacks. The billets are moved to the warehouse for storage and from the warehouse to the rolling mill by bridge cranes. In this paper the problem of optimization of the process of continuous cast billets storage is solved to minimize the number of slab handling operations. The problem is decomposed into two subproblems SLAP (Storage Location Assignment Problem) and CSP (Crane Scheduling Problem). A modified genetic algorithm was applied to solve the problem. Using a simulation model of the warehouse, the efficiency of the algorithm was evaluated using different approaches to take the restrictions imposed on the process of slab handling into account. It is shown that the most effective is the algorithm in which there is no restriction on the placement of stacks of billets belonging to one melting. © 2024 IEEE.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：