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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

153 篇 会议
46 篇 期刊文献
10 册 图书

馆藏范围

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

日期分布

学科分类号

119 篇 工学
- 88 篇 计算机科学与技术...
- 75 篇 软件工程
- 18 篇 信息与通信工程
- 12 篇 控制科学与工程
- 9 篇 生物工程
- 8 篇 土木工程
- 7 篇 电气工程
- 7 篇 船舶与海洋工程
- 6 篇 机械工程
- 6 篇 电子科学与技术（可...
- 6 篇 网络空间安全
- 5 篇 生物医学工程（可授...
- 4 篇 建筑学
- 3 篇 仪器科学与技术
- 3 篇 材料科学与工程（可...
- 3 篇 化学工程与技术
- 3 篇 交通运输工程
- 3 篇 安全科学与工程
68 篇 理学
- 36 篇 数学
- 11 篇 物理学
- 11 篇 生物学
- 9 篇 系统科学
- 9 篇 统计学（可授理学、...
- 7 篇 海洋科学
- 3 篇 化学
29 篇 管理学
- 22 篇 管理科学与工程(可...
- 11 篇 工商管理
- 7 篇 图书情报与档案管...
7 篇 经济学
- 7 篇 应用经济学
6 篇 教育学
- 6 篇 教育学
4 篇 农学
3 篇 医学
1 篇 军事学

主题

11 篇 artificial intel...
6 篇 monitoring
6 篇 semantics
6 篇 information stor...
5 篇 computer science
5 篇 software enginee...
5 篇 software
5 篇 forecasting
5 篇 data models
4 篇 information syst...
4 篇 application soft...
4 篇 supercomputers
4 篇 computational mo...
4 篇 predictive model...
4 篇 dipper throated ...
4 篇 students
4 篇 standards
3 篇 internet of thin...
3 篇 intrusion detect...
3 篇 operating system...

机构

11 篇 department of sy...
10 篇 technical univer...
7 篇 department of pr...
6 篇 department of co...
6 篇 department of co...
6 篇 computer enginee...
6 篇 computer techniq...
5 篇 department of co...
5 篇 department of el...
5 篇 department of co...
5 篇 department of co...
4 篇 school of electr...
4 篇 department of co...
4 篇 department of co...
4 篇 department of pr...
4 篇 computer enginee...
4 篇 tashkent univers...
3 篇 department of pr...
3 篇 research group p...
3 篇 neuromorphica lt...

作者

11 篇 gancheva veska
8 篇 mostafa abotaleb
8 篇 abdelhameed ibra...
7 篇 veska gancheva
7 篇 philippsen micha...
5 篇 el-sayed m.el-ke...
5 篇 abdelaziz a.abde...
5 篇 doaa sami khafag...
5 篇 borovska plamenk...
4 篇 koparanov kiril ...
4 篇 minkovska daniel...
4 篇 minkovska daniel...
4 篇 henning christia...
4 篇 ujkani berat
3 篇 troels andreasen
3 篇 michael philipps...
3 篇 kiril andreev ko...
3 篇 el-sayed m. el-k...
3 篇 nataliia khatsko
3 篇 trendafilov iani...

语言

205 篇 英文
4 篇 其他

检索条件"机构=Department Computer Systems and Programming"

共 209 条记录，以下是41-50 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

Direct and Inverse Optimization Problems in a Gas Deposit Model 15

Direct and Inverse Optimization Problems in a Gas Deposit Mo...

引用

15th International Conference Management of Large-Scale System Development, MLSD 2022

作者： Skiba, Alexander Federal Research Center 'Computer Science and Control' of the Russian Academy of Sciences Design Methods for Developing Systems Department of Mathematical Methods of Regional Programming Moscow Russia

ISBN: (数字)9781665497015

ISBN: (纸本)9781665497015

A continuous dynamic model for the development of a gas field is studied. Two mathematical problems are posed, solved and analyzed. In the direct problem, we are looking for the maximum accumulated profit on a set of temporary functions of a certain type. In the inverse optimization problem, we define the entire set of planning horizons. We subject the assigned tasks to a comprehensive analysis. © 2022 IEEE.

关键词： Profitability

来源：评论

学校读者我要写书评

暂无评论

Hassenstein-Reichardt Detector Using Controllable Single Pulse Time-Delay Circuit for Neuromorphic Hardware 11

Hassenstein-Reichardt Detector Using Controllable Single Pul...

引用

11th International Scientific Conference on computer Science, COMSCI 2023

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

ISBN: (纸本)9798350325256

Inspired by the visual system of the fruit fly, we had created a generic building block for neuromorphic hardware that is vital for third generation neural networks. This enables time delay to be parametrized in a cheap and inexpensive way. The advantage of our proposal is the possibility of building and testing new networks using dynamicist approach in artificial intelligence. © 2023 IEEE.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

Organic and Pervasive Computing – ARCS 2004 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Christian Müller-Schloer Theo Ungerer Bernhard Bauer

ISBN: (数字)9783540247142

ISBN: (纸本)9783540212386

Where is system architecture heading? The special interest group on computer and systems Architecture (Fachausschuss Rechner- und Systemarchitektur) of the German computer and information technology associations GI and ITG a- ed this question and discussed it during two Future Workshops in 2002. The result in a nutshell: Everything will change but everything else will remain. Future systems technologies will build on a mature basis of silicon and IC technology,onwell-understoodprogramminglanguagesandsoftwareengineering techniques, and on well-established operating systems and middleware concepts. Newer and still exotic but exciting technologies like quantum computing and DNA processing are to be watched closely but they will not be mainstream in the next decade. Although there will be considerable progress in these basic technologies, is there any major trend which uni?es these diverse developments? There is a common denominator – according to the result of the two - ture Workshops – which marks a new quality. The challenge for future systems technologies lies in the mastering of complexity. Rigid and in?exible systems, built under a strict top-down regime, have reached the limits of manageable complexity, as has become obvious by the recent failure of several large-scale projects. Nature is the most complex system we know, and she has solved the problem somehow. We just haven’t understood exactly how nature does it. But it is clear that systems designed by nature, like an anthill or a beehive or a swarm of birds or a city, are di?erent from today’s technical systems that have beendesignedbyengineersandcomputerscientists.

关键词： computer System Implementation computer Communication Networks Software Engineering Operating systems Information Storage and Retrieval Information systems Applications (incl. Internet)

来源：评论

学校读者我要写书评

暂无评论

Information theoretical approach to minimization of AND/EXOR expressions of switching functions

Information theoretical approach to minimization of AND/EXOR...

引用

4th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, ITELSIKS 1999

作者： Shmerko, V. Popel, D. Stanković, R.S. Cheushev, V. Yanushkevich, S. Department of Computer Aided Design Systems Techinal University of Szczecin Poland Department of Computer Sicience State University of Informatics and Radioelectronics Minks Belarus Department of Computer Science Faculty of Electronic Engineering University of Nis Serbia Department of Programming Technologies State University Minsk Belarus

ISBN: (纸本)078035768X

In modern circuit design, the Shannon decomposition of switching functions is widely used. On the other hand, in information theory of telecommunication, the Shannon entropy used as a measure to represent the information in numerical values, is a key notion. In this paper, we relate these two concepts, belonging to different areas, into an approach to the minimisation of exclusive-or sum-of-products (AND/EXOR) expressions for switching functions. The Shannon decomposition, and the closely related Davio decomposition for AND/EXOR expressions are interpreted in terms of basic concepts in the information theory. Thanks to that, we have proposed an entropy based strategy for minimization of AND/EXOR expressions. We have provided a comparison and an experimental verification of this strategy with some known heuristic minimization strategies using benchmarks. In some cases, our program Info-EXOR produces extremely better results. Moreover, the information theory interpretation of classical decomposition of switching functions offers a new point of view to the existing design styles. © 1999 IEEE.

关键词： Information theory

来源：评论

学校读者我要写书评

暂无评论

Neuromorphic Assisted Sensor Grids 32

Neuromorphic Assisted Sensor Grids

引用

32nd International Scientific Conference Electronics, ET 2023

ISBN: (纸本)9798350302004

A particular problem in using artificial intelligence techniques in the sensor grid is the high power consumption. Remote sensors are usually limited by the amount of power available, thus our general goal is to minimize it while preserving accurate experimentation results. Using emerging technologies like spiking neural networks and neuromorphic hardware, we can create sensor grids that perform data processing with preserving low power consumption. In this paper, we demonstrate a remote node with integrated visual sensor that works on less than 10mW of energy, while performing continuous scene monitoring, object detection and classification. The system has intelligent power management and the ability to send data wirelessly. © 2023 IEEE.

关键词： Object detection

来源：评论

学校读者我要写书评

暂无评论

computerized concrete mix proportioning for large projects

Computerized concrete mix proportioning for large projects

引用

Impact of computers on the Practice of Structural Engineering in Concrete Symposium at the 1970 ACI Fall Convention

作者： Malhotra, V.M. Hibbert, P.D. Systems and Programming Division Computer Science Centre Department of Energy Mines and Resources OttawaON Canada Construction Materials Section Mines Branch Department of Energy Mines and Resources OttawaON Canada

This paper describes the use of a digital computer in the design of concrete mixes for large construction projects. The salient features of a program called CONMIX are outlined, the nature of input data and output arc discussed, and a flow chart of the program is included. The basis of the program is the absolute volume method, using various design tables as given in the latest revision of ACI Standard, "Recommended Practice for Selecting Proportions for Normal-Weight Concrete (ACI 613-54)." The paper is concluded by illustrating the use of the program with three typical examples, and by discussing its field applications. © 1972 American Concrete Institute. All rights reserved.

关键词： Quality control

来源：评论

学校读者我要写书评

暂无评论

Practical weak-atomicity semantics for Java STM 08

Practical weak-atomicity semantics for Java STM

引用

20th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA'08

作者： Menon, Vijay Adl-Tabatabait, Ali-Reza Balensiefer, Steven Hudson, Richard L. Shpeisman, Tatiana Saha, Bratin Welc, Adam Programming Systems Lab Intel Corporation Santa Clara CA 95054 Germany Department of Computer Science and Engineering University of Washington Seattle WA 98195 United States

ISBN: (纸本)9781595939739

As memory transactions have been proposed as a language-level replacement for locks, there is growing need for well-defined semantics. In contrast to database transactions, transaction memory (TM) semantics are complicated by the fact that programs may access the same memory locations both inside and outside transactions. Strongly atomic semantics, where non-transactional accesses are treated as implicit single-operation transactions, remain difficult to provide without specialized hardware support or significant performance overhead. As an alternative, many in the community have informally proposed that a single global lock semantics [18, 10], where transaction semantics are mapped to those of regions protected by a single global lock, provide an intuitive and efficiently implementable model for programmers. In this paper, we explore the implementation and performance implications of single global lock semantics in a weakly atomic STM from the perspective of Java, and we discuss why even recent STM implementations fall short of these semantics. We describe a new weakly atomic Java STM implementation that provides single global lock semantics while permitting concurrent execution, but we show that this comes at a significant performance cost. We also propose and implement various alternative semantics that loosen single lock requirements while still providing strong guarantees. We compare our new implementations to previous ones, including a strongly atomic STM. [24] Copyright 2008 ACM.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Demo: Approximative event processing on sensor data streams 9

Demo: Approximative event processing on sensor data streams

引用

9th ACM International Conference on Distributed Event-Based systems, DEBS 2015

作者： Löffler, Christoffer Mutschler, Christopher Philippsen, Michael Fraunhofer Institute for Integrated Circuits IIS Locating and Communication Department Sensor Fusion and Event Processing Group Erlangen Germany Department of Computer Science Programming Systems Group Erlangen Germany

ISBN: (纸本)9781450332866

Event-Based systems (EBS) can efficiently analyze large streams of sensor data in near-realtime. But they struggle with noise or incompleteness that is seen in the unprecedented amount of data generated by the Internet of Things. We present a generic approach that deals with uncertain data in the middleware layer of distributed event-based systems and is hence transparent for developers. Our approach calculates alternative paths to improve the overall result of the data analysis. It dynamically generates, updates, and evaluates Bayesian Networks based on probability measures and rules defined by developers. An evaluation on position data shows that the improved detection rate justifies the computational overhead.

关键词： Bayesian networks

来源：评论

学校读者我要写书评

暂无评论

METHOD OF DETECTION OF INTRUSIONS BASED ON STACKING META-ALGORITHM 5

METHOD OF DETECTION OF INTRUSIONS BASED ON STACKING META-ALG...

引用

5th IEEE KhPI Week on Advanced Technology, KhPIWeek 2024

作者： Gavrylenko, Svitlana Zozulia, Vladislav Khatsko, Nataliia Department of Computer Engineering and Programming National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine Department Information Systems and Technologies National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine

ISBN: (纸本)9798350384499

An analysis of modern computer network intrusion detection systems was carried out. The application of machine and deep learning methods for classification problems has been investigated. The UNSW-NB15 dataset, developed at the Australian Cyber Security Center's (ACCS) Cyber Range Laboratory, contains data on normal network operations and synthetic intrusions. Data pre-processing was performed, including class balancing using the SMOTEENN method and selection of informative features using the Recursive Feature Elimination method. The possibility of using the stacking meta-algorithm to detect intrusions into computer networks has been investigated. A new algorithm for generating packets of raw data is proposed, which generates two sets of training data: one for training basic models, the other for a meta-model. A study of the effectiveness of using Random Forest, ANN, K Nearest Neighbor methods and Support Vector Machine and Random Forest as a decision-making meta-model was conducted. The use of the stacking meta-algorithm with the proposed algorithm for forming packets of output data, as well as basic models and a meta-model, led to a significant improvement in the quality of the model. It was found that, on average, recall and f1 score increased by 55.6% and 37.4%, respectively, compared to raw data and other models. ©2024 IEEE.

关键词： Network intrusion

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：