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

Normalising the associative law: An experiment with Martin-Löf's type theory

Formal Aspects of Computing 1991年第3期3卷 218-252页

作者： Hedberg, Michael Programming Methodology Group Department of Computer Sciences Chalmers University of Technology Göteborg S-412 96 Sweden

Martin-Löf's type theory contains a logic, a specification language and a programming language, so it is a tool with different uses. Although it is traditionally used as an integrated programming logic, it may well be used as an external logic, which is necessary if one wants to use the formalism of type theory to verify the correctness of an external program. Different tools, such as well founded recursion, measure functions, or the separation of correctness into termination and partial correctness, may be used to obtain a correct type theory program. Type theory is viewed as an open system with respect to inductively defined types and predicates, which makes it easy to represent an external program as a graph. Formal proofs have been edited using Larry Paulson's ISABELLE. © 1991 BCS.

关键词： Associative law Functional programming Inductive types Type theory

来源：评论

学校读者我要写书评

暂无评论

Graphingwiki - A semantic wiki extension for visualising and inferring protocol dependency

Graphingwiki - A semantic wiki extension for visualising and...

引用

1st Workshop on Semantic Wikis - From Wiki to Semantics, SemWiki 2006 - Co-located with the ESWC 2006

作者： Eronen, Juhani Röning, Juha Secure Programming Group Computer Engineering Laboratory University of Oulu FIN-90014 Oulu Finland

This paper introduces the Graphingwiki extension toMoinMoin Wiki. Graphingwiki enables the deepened analysis of the Wiki data by augmenting it with semantic data in a simple, practical and easy-to-use manner. Visualisation tools are used to clarify the resulting body of knowledge so that only the data essential for an usage scenario is displayed. Logic inference rules can be applied to the data to perform automated reasoning based on the data. Perceiving dependencies among network protocols presents an example use case of the framework. The use case was applied in practice in mapping effects of software vulnerabilities on critical infrastructures.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

Network virtualization for military application: Review and initial development of conceptual design

Network virtualization for military application: Review and ...

引用

14th International Conference on Advanced Communication Technology, ICACT 2012

作者： Kerdsri, Jiradett Wipusitwarkun, Komwut Computer and Programming Laboratory Defense Technology Institute Thailand Sirindhorn International Institute of Technology Thailand

ISBN: (纸本)9788955191639

Networking Technology, undoubtedly, plays a vital role in modern warfare especially in Network Centric Operations (NCOs) and Global Information Grid (GIG) concept. However, the current popular network infrastructure, mainly TCP/IP architecture, is in fact unsuitable with advanced military communication especially in tactical operation networks. The key characteristics of military communications are classified as delay/disruption/disconnection tolerant networks (DTNs) which are long and variable delays, high error rates and greatly heterogeneous. As a result a call for new type of network architecture emerges to support such peculiar characteristics of military communication network. This paper reviews the current approaches in network technology of military communication and proposes the conceptual design of Virtualization Network (VN) for military communication to address the limitation of current network infrastructure. The implementation of Military Network Virtualization Environment (MVNE) introduces the crucial two new key features of military tactical network: information classification and movable nodes. These features along with essential research challenges must be analyzed to realize a viable virtualization network for military communications. © 2012 GIRI.

关键词： Conceptual design

来源：评论

学校读者我要写书评

暂无评论

Optimal speed controller design with interval type-2 fuzzy sets 2

Optimal speed controller design with interval type-2 fuzzy s...

引用

2nd IEEE KhPI Week on Advanced Technology, KhPI Week 2021

作者： Zakovorotniy, Alexander Kharchenko, Artem National Technical University Kharkiv Polytechnic Institute Computer Engineering and Programming Department Kharkiv Ukraine

ISBN: (纸本)9781665412056

Interval type-2 fuzzy sets are often used in the designing of fuzzy systems associated with the speed control under uncertainty. In this paper, we consider the possibilities of using interval type-2 fuzzy sets to describing the uncertainties that arise when defining input variables. These uncertainties can be presented as the different meanings on the same dynamic system or changes in the technical parameters that occur due to external factors. We also present complex interval type-2 fuzzy sets and give the examples of their use to reduce the number of fuzzy sets and rules in a fuzzy knowledge base. The necessary conditions for the construction of complex interval type-2 fuzzy sets and methods for determining lower and upper membership functions in them are also given. The footprint of uncertainty for the complex interval type-2 fuzzy set is presented with upper and lower membership functions of different fuzzy sets. All methods which are described in this work can be used in decision support systems design, to select the optimal parameters of a nonlinear system, or in fuzzy speed controller design. © 2021 IEEE.

关键词： Fuzzy control

来源：评论

学校读者我要写书评

暂无评论

Fast decompilation of compiled Prolog clauses 3rd

引用

3rd International Conference on Logic programming, ICLP 1986

作者： Buettner, Kevin A. Logic Programming Research Group School of Computer & Information Science Syracuse University United States

ISBN: (纸本)9783540164920

Serious Prolog implementations in recent years have been primarily compiler-based, nearly all of which are founded on the abstract instruction set of Warren [1983]. The performance achieved by such implementations greatly outstrips that attainable in interpreter-based systems. Unfortunately, the sophistication of these compiler-based environments is often inferior to environments of interpreter-based systems to the extent that a "compatible" interpreter is often required for serious software development. Among the deficiencies of these environments, database operations such as assert, retract, and clause seem to be particularly afflicted. In addition, the ability to debug compiled code has been either non-existent or at best, very constrained. Unlike compiler technology of many traditional languages, there is little reason for this to be the case in Prolog. An efficient implementation of retract, listing, and clause by decompilation of compiled clause code is the subject of this paper. Techniques used in the implementation of the decompilation process have also proven useful in the implementation of the standard four port debugger found in many Prolog systems. © 1986, Springer-Verlag.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Coloring gray-scale image using artificial neural networks

Coloring gray-scale image using artificial neural networks

引用

2nd International Conference on Adaptive Science and Technology, ICAST 2009

作者： Karlik, Bekir Sariöz, Mustafa Haliç University Department of Computer Engineering 34381 Istanbul Turkey Fatih University Computer Technology and Programming 34500 Istanbul Turkey

ISBN: (纸本)9781424435234

This paper presents a novel method on coloring the grayscale images. For this purpose, a combination of artificial neural networks and some image processing algorithms was developed to transfer colors from a user-selected source image to a target grayscale image. According to the results of this combining method, a survey where volunteers were asked to rate the plausibility of the colorings generated automatically was performed for individual images. In most cases automatically-colored images were rated either as totally or mostly acceptable. ©2009 IEEE.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

Study of methods for improving the meta-algorithm of the bagging classifier 4

Study of methods for improving the meta-algorithm of the bag...

引用

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

作者： Gavrylenko, Svitlana Hornostal, Oleksii Department of Computer Engineering and Programming National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine

ISBN: (纸本)9798350395532

In this paper, we explored approaches that improve the performance of ensemble bagging classifiers for identifying the state of a computer system. The following algorithms are considered: Ensemble pruning, Advanced Voting Algorithms, Dynamic Voting Strategies, Confidence Calibration, Adaptation through Meta-Features and Meta-Learning, which allow improving the voting procedure of the bagging meta-algorithm. Artificial data was generated as initial data, which complicates the classification task and contains an increased amount of noise. In the Google Collab environment, software models of algorithms have been developed, and their quality has been assessed. It was found that the use of the Ensemble pruning and Adaptation through Meta-Features algorithm is the most qualitative. In addition, the Ensemble pruning algorithm reduces the number of basic ensemble classifiers, and, as a result, increases the efficiency of computer system identification. Based on the results of the study, a method for identifying a computer system was proposed through the integrated use of a bagging classifier and an optimization procedure based on the Ensemble pruning algorithm. © 2023 IEEE.

关键词： Calibration

来源：评论

学校读者我要写书评

暂无评论

Resource-oriented consistency analysis of engineering processes

Resource-oriented consistency analysis of engineering proces...

引用

14th International Conference on Enterprise Information Systems, ICEIS 2012

作者： Bauer, Bernhard Eisenbarth, Thomas Frenzel, Christoph Honke, Benjamin Programming Distributed Systems Lab. Institute of Computer Science University of Augsburg Augsburg Germany

ISBN: (纸本)9789898565105

A number of popular engineering processes and methodologies emerged over the past years which attracted interest in research and industry. For process enactment, enterprises have to match requirements of engineering processes with existing resources. Therefore, it has to be analyzed if employees have sufficient skills or if infrastructure has sufficient capabilities to match the requirements of a situational process. Both, maintaining a skill and resource database and matching requirements against this database are an enormously challenging and time-consuming task. Additionally, this matching has to be carried out regularly as employees join and leave the company and skills change over time. Based upon a formal, logical base, we present an approach that combines ontological and metamodeling technical spaces and enables an automatic analysis of engineering processes regarding the existence of necessary resources.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

DETECTION computer NETWORK INTRUSION USING DEEP NEURAL NETWORKS 5

DETECTION COMPUTER NETWORK INTRUSION USING DEEP NEURAL NETWO...

引用

5th IEEE KhPI Week on Advanced Technology, KhPIWeek 2024

作者： Gavrylenko, Svitlana Poltoratskyi, Vadym Department of Computer Engineering and Programming National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine

ISBN: (纸本)9798350384499

In this work, the effectiveness of using classical machine learning methods and modern deep neural network models for intrusion detection in computer networks has been investigated. The purpose of this work is to develop a model for detecting intrusions into computer networks based on the Transformer model using tabular input data. In this work, the UNSW-NB15 dataset is used as the source data. This dataset contains information about normal network behaviour as well as during synthetic intrusions. Models for intrusion detection in computer networks based on machine learning methods were investigated: Decision Tree, KNN, Logistic Regression, SVM, Gradient Boosting, Random Forest. A method of converting tabular data into images was developed, which made it possible to build intrusion detection models based on Vision Transformer and Vision Transformer for small-size datasets on modern Transformer architecture. The research results showed that developed model based on Vision Transformer and Vision Transformer for small-size datasets improves the quality of identification, and eliminates the need for a preprocessing step such as dimensionality reduction. ©2024 IEEE.

关键词： Logistic regression

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：