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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

32 篇 会议
8 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

31 篇 工学
- 24 篇 计算机科学与技术...
- 20 篇 软件工程
- 6 篇 控制科学与工程
- 6 篇 生物医学工程（可授...
- 6 篇 生物工程
- 5 篇 机械工程
- 5 篇 信息与通信工程
- 3 篇 光学工程
- 2 篇 力学（可授工学、理...
- 2 篇 材料科学与工程（可...
- 2 篇 冶金工程
- 2 篇 电子科学与技术（可...
- 2 篇 安全科学与工程
- 1 篇 仪器科学与技术
- 1 篇 动力工程及工程热...
- 1 篇 电气工程
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 化学工程与技术
- 1 篇 交通运输工程
17 篇 理学
- 9 篇 数学
- 7 篇 生物学
- 4 篇 物理学
- 2 篇 统计学（可授理学、...
- 1 篇 化学
- 1 篇 地质学
10 篇 管理学
- 7 篇 管理科学与工程(可...
- 5 篇 图书情报与档案管...
- 2 篇 工商管理
2 篇 农学
1 篇 法学
- 1 篇 社会学
1 篇 医学

主题

3 篇 artificial intel...
2 篇 software enginee...
2 篇 information tech...
2 篇 data structures
2 篇 management of co...
2 篇 algebra
2 篇 user interfaces ...
1 篇 covid-19
1 篇 software systems
1 篇 conferences
1 篇 three-dimensiona...
1 篇 information syst...
1 篇 theory of comput...
1 篇 cultural heritag...
1 篇 software enginee...
1 篇 frequency modula...
1 篇 programming
1 篇 task analysis
1 篇 signal resolutio...
1 篇 automation

机构

3 篇 dept. of informa...
2 篇 tissue engineeri...
2 篇 biomedical engin...
2 篇 department of sy...
2 篇 dept. computer a...
2 篇 dept. safety com...
2 篇 dept. of process...
2 篇 department of pr...
2 篇 dept. of informa...
2 篇 sulaiman al-rajh...
2 篇 dept. of metrolo...
2 篇 department of co...
2 篇 national institu...
1 篇 celera genomics ...
1 篇 school of comput...
1 篇 sana'a community...
1 篇 dept. kino and a...
1 篇 lebs c.n.r.s. gi...
1 篇 ss jain subodh a...
1 篇 queen elizabeth ...

作者

3 篇 jonsson bengt
3 篇 steffen bernhard
3 篇 howar falk
2 篇 cassel sofia
2 篇 börcsök j.
2 篇 schwarz m.h.
2 篇 marei mona k.
2 篇 solouma nahed h.
2 篇 baeten j.c.m.
2 篇 kadah yasser m.
2 篇 nassef tamer m.
1 篇 j. garnier
1 篇 j. h. lees
1 篇 b. bhattacharyya
1 篇 gouri jas
1 篇 tanaka kazuaki
1 篇 c. shutter
1 篇 werner bonath
1 篇 bhattacharya sum...
1 篇 j. börcsök

语言

42 篇 英文
1 篇 日文

检索条件"机构=Programming Technology Dept"

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

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

详细简洁

排序：

Revisiting Data-Information-Knowledge-Wisdom Hierarchy from a Logic Perspective 23

Revisiting Data-Information-Knowledge-Wisdom Hierarchy from ...

引用

23rd IEEE International Conference on High Performance Computing and Communications, 7th IEEE International Conference on Data Science and Systems, 19th IEEE International Conference on Smart City and 7th IEEE International Conference on Dependability in Sensor, Cloud and Big Data Systems and Applications, HPCC-DSS-SmartCity-DependSys 2021

作者： Nikitchenko, Mykola Taras Shevchenko National University of Kyiv Dept. of Theory and Technology of Programming Kyiv Ukraine

ISBN: (纸本)9781665494571

Among various approaches to explication of Data-Information-Knowledge-Wisdom Hierarchy (DIKW) we advocate a logic-oriented approach. It stems from analysis of the notion of wisdom which often is understood as the ability to think and act in a profound way. But thinking and acting are notions of logic. This poses a question of explication of all notions of the DIKW hierarchy on the basis of logic. We try to give such explications in integrity of three levels of consideration: methodological (philosophical), conceptual (scientific), and formal (mathematical). Categories of the philosophical level are projected (are finitized) to scientific and then to mathematical levels. At the latter levels notions are considered in integrity of their intensional and extensional aspects. We start with the notion of intensionalized data, then specify information as interpreted intensionalized data, and describe knowledge as a logic over such data. At last, wisdom is treated as an ability to choose and utilize a logic necessary to solve a formulated task. The complexity of the notion of wisdom is illustrated by an example of Floyd-Hoare logic with partial conditions. The proposed intensionalized explication of DIKW notions can be considered as some generalization of traditional extensional explication of these notions. © 2021 IEEE.

关键词： Smart cities Complexity theory Task analysis

来源：评论

学校读者我要写书评

暂无评论

A succinct canonical register automaton model for data domains with binary relations

A succinct canonical register automaton model for data domai...

引用

10th International Symposium on Automated technology for Verification and Analysis, ATVA 2012

作者： Cassel, Sofia Jonsson, Bengt Howar, Falk Steffen, Bernhard Dept. of Information Technology Uppsala University Sweden Department of Programming Systems Technical University Dortmund Germany

ISBN: (纸本)9783642333859

We present a novel canonical automaton model for languages over infinite data domains, that is suitable for specifying the behavior of services, protocol components, interfaces, etc. The model is based on register automata. A major contribution is a construction of succinct canonical register automata, which is parameterized on the set of relations by which elements in the data domain can be compared. We also present a Myhill Nerode-like theorem, from which minimal canonical automata can be constructed. This canonical form is as expressive as general deterministic register automata, but much better suited for modeling in practice since we lift many of the restrictions on the way variables can be accesed and stored: this allows our automata to be significantly more succinct than previously proposed canonical forms. Key to the canonical form is a symbolic treatment of data languages, which allows us to construct minimal representations whenever the set of relations can be equipped with a so-called branching framework. © 2012 Springer-Verlag.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Formal development of correct algorithms: An example based on Earley's recogniser

Formal development of correct algorithms: An example based o...

引用

1972 ACM Conference on Proving Assertions about Programs

作者： Jones, C.B. Programming Technology Dept Product Test Laboratory IBM Laboratories Ltd Hursley Park Winchester Hants United Kingdom

This paper contains the formal development of a correct algorithm from an implicit definition of the task to be performed. Each step of the development can be accompanied by a proof of its correctness. As well as ensuring the correctness of the final program, the structured development gives considerable insight into the algorithm and possible alternatives. The example used is a simplified form of the recognition algorithm due to Earley. © 1972 ACM.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Different aspects to be considered for safety related development

Different aspects to be considered for safety related develo...

引用

23rd International Congress on Condition Monitoring and Diagnostic Engineering Management, COMADEM 2010

作者： Schwarz, M.H. Börcsök, J. Dept. Computer Architecture and System Programming University of Kassel Germany Safety Computer Technology University of Kassel Germany

ISBN: (纸本)9784883254194

This paper presents the recent design and development aspects considered within a current project running at the department of computer architecture and system programming. The project "Safety WLAN architectures for safety critical applications related to diagnostic and predictive maintenance possibilities" includes the aspects of diagnostic and predictive maintenance strategies as well as safety related hardware, reliable software design and reliable wireless communication. This paper considers design strategies for the development of reliable, safe sensor systems for process control.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Mirages: Behavioral intercession in a mirror-based architecture

Mirages: Behavioral intercession in a mirror-based architect...

引用

2007 ACM SIGPLAN International Conference on Object-Oriented programming, Systems, Languages and Applications, OOPSLA - 2007 Dynamic Languages Symposium, DLS

作者： Mostinckx, Stijn Van Cutsem, Tom Timbermont, Stijn Tanter, Éric Programming Technology Lab. Vrije Universiteit Brussel Belgium Computer Science Dept. DCC/CWR University of Chile Chile

ISBN: (纸本)9781595938688

Mirror-based systems are object-oriented reflective architectures built around a set of design principles that lead to reflective APIs which foster a high degree of reusability, loose coupling with base-level objects and whose structure and design corresponds to the system being mirrored. However, support for behavioral intercession has been limited in contemporary mirror-based architectures, in spite of its many interesting applications. This is due to the fact that mirror-based architectures only support explicit reflection, while behavioral intercession requires implicit reflection. This work reconciles mirrors with behavioral intercession. We discuss the design of a mirror-based architecture with implicit mirrors that can be absorbed in the interpreter, and mirages, base objects whose semantics are defined by implicit mirrors. We describe and illustrate the integration of this reflective architecture for the distributed object-oriented programming language AmbientTalk. © 2007 ACM.

关键词： Mirrors

来源：评论

学校读者我要写书评

暂无评论

A Tool for reliable model-based design for programming logic controllers

A Tool for reliable model-based design for programming logic...

引用

1st IFAC Workshop on Advances in Control and Automation Theory for Transportation Applications, ACATTA 2013

作者： Schwarz, M.H. Sheng, H. Chaaban, W. Börcsök, J. Dept. Safety Computer Technology University of Kassel Kassel Germany Dept. Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9783902823519

This paper presents an automated code generation and validation, verification approach to convert model based developments into IEC 61131-3 conform function blocks. IEC 61131-3 programming languages are supported by PLC manufacturers and software environment developers and provide the possibility that novel and intelligent algorithms can be directly operated on industrial accepted systems. Railway and transportation also receive drastic changes from purely hardware based systems to microcontroller + software driven systems. However, the conversion has to follow certain steps to ensure that the adaptation is done correctly and functionality is not alternated, added or deleted. Concepts suggested by different international standards such as the IEC 61508 can help to derive a tool chain to verify the generated code. © IFAC.

关键词： Manufacture

来源：评论

学校读者我要写书评

暂无评论

Advanced tool for predictive diagnosis and maintenance using case-based reasoning and fuzzy logic

Advanced tool for predictive diagnosis and maintenance using...

引用

25th European Modeling and Simulation Symposium, EMSS 2013

作者： Christova, Nikolinka Atanassov, Atanas Dept. of Automation of Industry University of Chemical Technology and Metallurgy 1756 Sofia Bulgaria Dept. of Programming and Computer System Application University of Chemical Technology and Metallurgy 1756 Sofia Bulgaria

ISBN: (纸本)9788897999225

The application of computational intelligence in condition-based maintenance and diagnosis plays a leading role in the technology development of intelligent manufacturing systems. Case-Based Reasoning (CBR) is mostly used in designing the real time application having the decision support capability. In this study implementation of fuzzy logic in the CBR systems that deriving effective knowledge representation schemes has been described. The benefits of the approach have been presented. The applications of the developed advanced tool based on fuzzy logic and CBR for solving the real problems of predictive diagnosis and maintenance in industrial systems have been discussed. © 2013 DIME UNIVERSITÀ DI GENOVA.

关键词： Case based reasoning

来源：评论

学校读者我要写书评

暂无评论

Inferring semantic interfaces of data structures

Inferring semantic interfaces of data structures

引用

5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012

作者： Howar, Falk Isberner, Malte Steffen, Bernhard Bauer, Oliver Jonsson, Bengt Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany Dept. of Information Technology Uppsala University Sweden

ISBN: (纸本)9783642340253

In this paper, we show how to fully automatically infer semantic interfaces of data structures on the basis of systematic testing. Our semantic interfaces are a generalized form of Register Automata (RA), comprising parameterized input and output, allowing to model control- and data-flow in component interfaces concisely. Algorithmic key to the automated synthesis of these semantic interfaces is the extension of an active learning algorithm for Register Automata to explicitly deal with output. We evaluated our algorithm on a complex data structure, a "stack of stacks", the largest of which we could learn in merely 20 seconds with less than 4000 membership queries, resulting in a model with rougly 800 nodes. In contrast, even when restricting the data domain to just four values, the corresponding plain Mealy machine would have more than 109 states and presumably require billions of membership queries. © 2012 Springer-Verlag.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

Learning extended finite state machines

引用

12th International Conference on Software Engineering and Formal Methods, SEFM 2014

作者： Cassel, Sofia Howar, Falk Jonsson, Bengt Steffen, Bernhard Dept. of Information Technology Uppsala University Sweden Carnegie Mellon University Moffet CA United States Department of Programming Systems Technical University Dortmund Germany

ISBN: (纸本)9783319104300

We present an active learning algorithm for inferring extended finite state machines (EFSM)s, combining data flow and control behavior. Key to our learning technique is a novel learning model based on so-called tree queries. The learning algorithm uses the tree queries to infer symbolic data constraints on parameters, e.g., sequence numbers, time stamps, identifiers, or even simple arithmetic. We describe sufficient conditions for the properties that the symbolic constraints provided by a tree query in general must have to be usable in our learning model. We have evaluated our algorithm in a black-box scenario, where tree queries are realized through (black-box) testing. Our case studies include connection establishment in TCP and a priority queue from the Java Class Library. © 2014 Springer International Publishing.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

Concept of an Optical Distance and Speed Sensor Using Novel Offsetless Spatial Frequency Filters in the Area of Functional Safety 32

Concept of an Optical Distance and Speed Sensor Using Novel ...

引用

32nd IEEE International Symposium on Industrial Electronics, ISIE 2023

作者： Wasinski, Frank Bonath, Werner Ricklefs, Ubbo Borcsok, Josef Schwarz, Michael Hahn, Eike University of Applied Sciences THM Dept. of Electrical Engineering and Information Technology Giessen Germany Institute for Computer Architecture and System Programming University of Kassel ICAS Kassel Germany

ISBN: (纸本)9798350399714

Optical speed sensors based on the spatial frequency filter method are a proven technology that offer high measurement accuracy over a wide speed range. Newly developed variants also enable measurements at very low speeds and increase the robustness of the method [1]. This makes the sensor very suitable for use in the area of functional safety. A measurement chain up to safety integrity level 3 (SIL3) should be feasible via a combination with a safety system on a chip (SoC) for evaluating the measurement data and an extension of the sensor module to include safety-related elements [2], [3]. By integrating the sensor at IC level, a compact overall solution is to be made possible. After the first successful tests with the safety SoC, further examinations of the measuring method with regard to functional safety are now necessary. © 2023 IEEE.

关键词： System-on-chip

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共5页 << < 1 2 3 4 5 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：