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

Workshop on Category Theory and computer programming, 1985

作者： Dybjer, Peter Programming Methodology Group Department of Computer Sciences Chalmers University of Technology and University of Göteborg GöteborgS-412 96 Sweden

ISBN: (纸本)9783540171621

I have not tried to be comprehensive here. Instead I have tried to pursue the idea of category theory as a kind of type theory and thereby I have only included those uses of category theory which I have found particularly useful for understanding type theory, domain theory and algebraic semantics. Therefore, several things have been excluded, such as Arbib and Manes' (1980) partially additive semantics and Winskel's (1984) categories of Petri nets, to mention only two examples of interest. © 1986, Springer-Verlag.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

A new involutory 4×4 MDS matrix for the AES-like block ciphers

引用

International Review on computers and Software 2011年第1期6卷 96-103页

作者： Aslan, Füsun Yavuzer Sakall, M. Tolga Aslan, Bora Bulut, Selma Computer Engineering Department Trakya University Turkey Computer Programming Department Kirklareli University Turkey

Maximum Distance Separable (MDS) codes are used as diffusion layers in the design of the well known block ciphers like the Advanced Encryption Standard (AES) and Khazad. The reason for the use of MDS codes in the design of block ciphers is that they provide optimal diffusion effect to meet security of a round function of a block cipher. On the other hand, the constructions of these diffusion layers are various. For example, while the AES use a 4×4 MDS matrix over GF(28), Khazad use an 8×8 involutory MDS matrix over GF(28). In this study, a new involutory 4×4 MDS matrix for the AES-like block ciphers is proposed and an efficient software implementation of this matrix is given. The new involutory matrix replaces Mix Columns operation used in the AES cipher in order to provide equally good performance for both encryption and decryption operations. In the design of our involutory MDS matrix, we use Hadamard matrix construction instead of circulant matrices such as in the AES. © 2011 Praise Worthy Prize S.r.l.

关键词： Diffusion

来源：评论

学校读者我要写书评

暂无评论

Design of a Novel Safe Approach to Monitor Drivers While Operating Their Cars 7

Design of a Novel Safe Approach to Monitor Drivers While Ope...

引用

7th International Conference on Advances in Biomedical Engineering, ICABME 2023

作者： Elhawawsha, Aseel Zeine, Carla Zeid Daou, Roy Abi Kalinowski, Dominik Khattar, Joseph Telawi, Samer Boercsoek, Josef University of Kassel Department of Computer Architecture and System Programming Kassel Germany Université la Sagesse Saculty of Engineering Mechatronics Eng. Department Beirut Lebanon

ISBN: (纸本)9798350325850

Road accidents have been known to be one of the leading death causes around the world for a long time. Thus, cars and all kinds of road vehicles form a huge source of danger, and they relate to multiple high risks. There are many factors that can contribute to road traffic accidents such as the health condition of the driver if a medical emergency event happened while driving, drowsiness, or mind-wandering. The proposed system can monitor the behavior of the driver while driving as well as his/her health status. Moreover, it analyzes the monitored data, alerts the driver in a timely manner, and assists him/her in adjusting the driving behavior. Different dangerous and risky situations which can be faced during driving can be captured and avoided by using such a system which leads at the end to increase road traffic safety and reduce vehicle collisions. Notifications are developed in cases of drowsiness, loss of focus, or other concerns that may emerge while driving. However, when the driver's ability to operate the vehicle safely is hampered by a health concern, the implemented system is only able at this stage to alarm the driver itself and the surrounding cars as a first level of alarms. © 2023 IEEE.

关键词： Roads and streets

来源：评论

学校读者我要写书评

暂无评论

A Multithreaded Approach to Masking Images used for Animation 5

A Multithreaded Approach to Masking Images used for Animatio...

引用

5th Technology Innovation Management and Engineering Science International Conference, TIMES-iCON 2024

作者： Gancheva, Veska Belov, Kalin Georgiev, Ivaylo Department of Programming and Computer Technologies Technical University of Sofia Sofia Bulgaria Stephan Angeloff Institute of Microbiology Bulgarian Academy of Sciences Sofia Bulgaria

ISBN: (纸本)9798350362602

—The current research is focused on designing a multithreaded parallel solution for processing a pair of raster image files that are used to create an animation. In the computational process, a multithreaded model was used when processing arrays of data. The proposed approach is verified by a multithreaded parallel program implementation. The effectiveness of the proposed solution has been verified experimentally by processing an image with dimensions 4320x5400 and a white color mask. The obtained results in terms of execution time show an acceleration of the computational process when increasing the number of threads. ©2024 IEEE.

关键词： Animation

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Smart Medicine Box System 2

Smart Medicine Box System

引用

2nd IEEE International Multidisciplinary Conference on Engineering Technology, IMCET 2018

作者： Zeidan, Hiba Karam, Khalil Daou, Roy Abi Zeid Hayek, Ali Boercsoek, Josef Biomedical Technologies Department Lebanese German University Faculty of Public Health Jounieh Lebanon Department of Computer Architecture and System Programming Kassel University Kassel Germany

ISBN: (纸本)9781538645000

An advanced medicine box monitoring, analysis and control system is proposed in this paper. The latter design is based on a smart and safe medical box that assists patients in taking their pills treatment on time. Two main functionalities characterize this system: safety which assures the wellbeing of the patient and the good functioning of the system by duplicating the electrical components and the security that helps keeping the medication out of the reach of the children by automatically looking the medical box whenever the patient takes his pills. This system can also be monitored by the patient parents as it will be linked to a phone application. This application will be used to configure the medical box by calculating the weight of each pill, setting the schedule of medical intake, alarming the user of the number of remaining pills, generating alarms whenever the patient does not take the required number of pills or doesn't take them at all, and so on... This system was implemented and tested by more than 50 patients who were taking several medication types (each one of them takes one medication only) and were using different mobile phone. The overall results were very acceptable with a faulty alarm generation below 3%. © 2018 IEEE.

关键词： Pelletizing

来源：评论

学校读者我要写书评

暂无评论

Rule-based fuzzy classifier for spinal deformities

Rule-based fuzzy classifier for spinal deformities

引用

作者： Birtane, Sibel Korkmaz, Hayriye Department of Computer Programming Vocational School Istanbul Arel University Istanbul Turkey Department of Electrical and Electronics Engineering Faculty of Technology Marmara University Istanbul Turkey

In this paper, 2-steps software using image processing and enhancement technologies is developed to obtain a scoliosis patient's spine pattern from 2D coronal X-Ray images without manual land marking. Then, a Rule-based Fuzzy classifier is implemented on those images to classify the spine patterns using the King-Moe classification approach. © 2014 - IOS Press and the authors.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Multilevel functions in Martin-Löf's type theory

Multilevel functions in Martin-Löf's type theory

引用

Workshop on Programs as Data Objects, 1985

作者： Nordström, Bengt Programming Methodology Group Department of Computer Sciences University of Göteborg Chalmers University of Technology GöteborgS-412 96 Sweden

ISBN: (纸本)9783540164463

Multilevel arrays have been used in the VDL and VDM projects for representing abstract syntax trees. In the same way as the function type can be seen as a generalization of the array type, it is possible to generalize multilevel arrays to multilevel functions. They are general trees with finite depth but arbitrary branching. In this paper, a definition of multilevel functions is given in the framework of Martin-Löf's type theory. The formal rules associated with the new data type is given and justified using the semantics of type theory. The paper contains some programs for manipulating the functions and some data types (vectors, natural numbers, lists, binary trees and functions) are seen as special cases of multilevel functions. © 1986, Springer-Verlag.

关键词： Binary trees

来源：评论

学校读者我要写书评

暂无评论

Inverse image analysis 14th

Inverse image analysis

引用

14th International Colloquium on Automata, Languages, and programming, ALP 1987

作者： Dybjer, Peter Programming Methodology Group Department of Computer Sciences Chalmers University of Technology and University of Göteborg GöteborgS-412 96 Sweden

ISBN: (纸本)9783540180883

A method for analysing the inverse of a first-order functional program is proposed. This method is based on denotational semantics: we analyse the inverse image of a Scott open set under the continuous function which the program denotes. Inverse image analysis is one possible way of extending strictness analysis to languages with lazy data structures and could perhaps be used to optimise code in implementations of such languages. © 1987, Springer-Verlag.

关键词： Image analysis

来源：评论

学校读者我要写书评

暂无评论

GIDTS - A Graphical programming Environment for Prolog

GIDTS - A Graphical Programming Environment for Prolog

引用

1999 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 1999

作者： Kókai, Gabriella Nilson, Jörg Niss, Christian Department of Computer Science Programming Languages Friedrich-Alexander-University of Erlangen-Nürnberg Martensstr. 3 ErlangenD-91058 Germany

ISBN: (纸本)9781581131376

This paper puts forward the Graphical Interactive Diagnosing, Testing and Slicing System (GIDTS) which is a graphical programming environment for PROLOG programs. The IDTS part of the system integrates Shapiro's Interactive Diagnosis Algorithm with the Category Partition Testing Method (CPM) and a slicing technique performing the algorithmic debugging and functional testing of PROLOG programs. The integration of IDTS with a graphical user interface (GUI) supports the whole functionality of IDTS and provides a user-friendly environment giving the user more information on the state of the debugging process. GIDTS extends IDTS to a complete programming environment. It allows one to handle the debugging of complex programs using the extended syntax and semantics of PROLOG in a very flexible way. A static code diagnosis has also been implemented. In addition GIDTS supports debugging-directed editing of the source program, and a quick source code navigation via any of the tools (for example: the debugger, the static call graph and the information retriever). All these features are supported by the graphical user interface. © 1999 ACM

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：