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

Asia-Pacific Conference on Software Engineering

作者： Niklas Pettersson Welf Lowe School of Mathematics and Systems Engineering Váxjö University Sweden

Pattern detection is part of many solutions to software engineering problems. Unfortunately, it is a hard problem in itself in both theory and practice. Both exact and approximative approaches have been used earlier to increase efficiency. We propose a novel method to improve the performance of pattern detection, which is in many cases both exact and efficient. It is based on the idea of filtering information from the program representation (graphs), which is unnecessary for detecting a particular pattern. This makes the remaining program representation graph planar, in many cases, thus allowing for linear pattern detection. We evaluate our approach experimentally: we detect six design patterns in six software systems. Filtering leads to planar program representation graphs in 14 out of 36 cases. For most of the remaining graphs, filtering makes the graphs almost planar and gives a significant reduction of the graph size, which speeds up existing heuristics.

关键词： Software systems Software engineering Mathematics Systems engineering and theory Information filtering Information filters logic programming Databases Production facilities Graph theory

来源：评论

学校读者我要写书评

暂无评论

Toward a practical methodological theory

Toward a practical methodological theory

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： N. Callaos B. de Callaos Departmento de Procesos y Sistemas Universidad Simón Bolívar Caracas Venezuela

The general objective of this paper is to describe the way the authors have been relating general system theory (GST) to practice. The authors applied GST to design a methodology for software development, first. Then, by means of the experience/knowledge learned from applying the methodology to specific systems, a continuous redesigning process started, which simultaneously generalized the methodologies and increased its complexity adding new modules for an increasing diversity of diverse-tasks needed for different systems/situations. The methodological kernel increased it generality and the sub-methodological modules increased its details. This paved the way for a general systems methodology which, when including cognitive/thinking method would return to the theoretical realm, i.e. to a methodological theory which, in turn, would pave the way to theoretical methodology.

关键词： programming Design methodology Information systems Software systems Electronic mail Internet Open systems Feedback logic Application software

来源：评论

学校读者我要写书评

暂无评论

A review of literature on parallel constraint solving

arXiv

引用

arXiv 2018年

作者： Gent, Ian P. McCreesh, Ciaran Miguel, Ian Moore, Neil C.A. Nightingale, Peter Prosser, Patrick Unsworth, Chris School of Computer Science University of St.Andrews St.AndrewsKY16 9SX United Kingdom School of Computing Science University of Glasgow GlasgowG12 8RZ United Kingdom School of Computer Science University of St.Andrews St.AndrewsKY16 9SX United Kingdom Adobe Systems Incorporated Edinburgh United Kingdom School of Computer Science University of St.Andrews St.AndrewsKY16 9SX United Kingdom School of Computing Science University of Glasgow GlasgowG12 8RZ United Kingdom 13 Grasmere Drive YorkYO10 3RY United Kingdom

As multicore computing is now standard, it seems irresponsible for constraints researchers to ignore the implications of it. Researchers need to address a number of issues to exploit parallelism, such as: Investigating which constraint algorithms are amenable to parallelisation;whether to use shared memory or distributed computation;whether to use static or dynamic decomposition;and how to best exploit portfolios and cooperating search. We review the literature, and see that we can sometimes do quite well, some of the time, on some instances, but we are far from a general solution. Yet there seems to be little overall guidance that can be given on how best to exploit multicore computers to speed up constraint solving. We hope at least that this survey will provide useful pointers to future researchers wishing to correct this situation. Under consideration in theory and practice of logic programming (TPLP. Copyright © 2018, The Authors. All rights reserved.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Correctness of compiling polymorphism to dynamic typing

引用

JOURNAL OF FUNCTIONAL programming 2017年 27卷 1-24页

作者： Hou (Favonia), Kuen-Bang Benton, Nick Harper, Robert Carnegie Mellon Univ Pittsburgh PA 15213 USA Microsoft Res Cambridge Cambridge Cambs England

The connection between polymorphic and dynamic typing was originally considered by Curry et al. (1972, Combinatory logic, vol. ii) in the form of "polymorphic type assignment" for untyped lambda-terms. Types are assigned after the fact to what is, in modern terminology, a dynamic language. Interest in type assignment was revitalized by the proposals of Bracha et al. (1998, OOPSLA) and Bank et al. (1997, POPL) to enrich Java with polymorphism (generics), which in turn sparked the development of other languages, such as Scala, with similar combinations of features. In such a setting, where the target language already has a monomorphic type system, it is desirable to compile polymorphism to dynamic typing in such a way that as much static typing as possible is preserved, relying on dynamics only insofar as genericity is actually required. The basic approach is to compile polymorphism using embeddings from each type into a universal "top" type, ID, and partial projections that go in the other direction. This scheme is intuitively reasonable, and, indeed, has been used in practice many times. Proving its correctness, however, is non-trivial. This paper studies the compilation of System F to an extension of Moggi's computational meta-language with a dynamic type and shows how the compilation may be proved correct using a logical relation.

关键词： Computation theory

来源：评论

学校读者我要写书评

暂无评论

Website Design and Development with HTML5 and CSS3 1

引用

2021年

作者： Hassen Ben Rebah Hafedh Boukthir Antoine Chédebois

ISBN: (数字)9781119885122

ISBN: (纸本)9781786306968

Combining theory and practice, Website Design and Development with HTML5 and CSS3 is aimed at both beginners who want to design their first website, and experienced developers who want to consolidate their technical skills. This book addresses the theoretical aspects of HTML5 and CSS3, including: HTML elements, semantic containers, semantic text formatting, multimedia elements, forms, tables, definition and integration of CSS styles, text formatting, and container and box styles. It also encompasses a practical section which presents the process of creating a website, as well as the key rules to apply in order to not only achieve project success, but also to meet user needs. Illustrated by numerous examples, this book includes corrected practical work, structured according to an evolutionary logic ranging from the design of a simple HTML5 page to the creation of a professional website.

关键词： website design design and development web programming

来源：评论

学校读者我要写书评

暂无评论

Optimal Deployment and Dimensioning of Fog Computing Supported Vehicular Network

Optimal Deployment and Dimensioning of Fog Computing Support...

引用

IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)

作者： Ping Guo Bin Lin Xin Li Rongxi He Sen Li Department of Information Science and Technology Dalian Maritime University Dalian China

ISBN: (纸本)9781509032068

Vehicular network is regarded as an important part of the Intelligent Transportation System (ITS). However, with the increasing number of vehicular applications, it is a challenge to meet the demands of both communication and computation. Fog computing can provide mobile users with the demanded services through low latency and short-distance local connections. This paper investigates the optimal deployment and dimensioning (ODD) of fog computing supported vehicular network. The ODD problem is important for fog computing from theory to practical deployment. We formulate the problem as an integer linear programming (ILP) and the objective is to minimize the cost of deployment. Two different models based on coupling and decoupling fog devices with Roadside Units (RSUs) are developed and the results show that the decoupling model is a way more cost-effective in practice.

关键词： Edge computing logic gates Cloud computing Computer architecture Delays Computational modeling Optimization

来源：评论

学校读者我要写书评

暂无评论

A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification

arXiv

引用

arXiv 2020年

作者： Costabile, Roberta Catalano, Gelsomina Cuteri, Bernardo Morelli, Maria Concetta Leone, Nicola Manna, Marco Department of Mathematics and Computer Science University of Calabria Italy DLVSystem Srl Rende Italy

Decision support systems play an important role in medical fields as they can augment clinicians to deal more efficiently and effectively with complex decision-making processes. In the diagnosis of headache disorders, however, existing approaches and tools are still not optimal. On the one hand, to support the diagnosis of this complex and vast spectrum of disorders, the International Headache Society released in 1988 the International Classification of Headache Disorders (ICHD), now in its 3rd edition: a 200 pages document classifying more than 300 different kinds of headaches, where each is identified via a collection of specific nontrivial diagnostic criteria. On the other hand, the high number of headache disorders and their complex criteria make the medical history process inaccurate and not exhaustive both for clinicians and existing automatic tools. To fill this gap, we present HEAD-ASP, a novel decision support system for the diagnosis of headache disorders. Through a REST Web Service, HEAD-ASP implements a dynamic questionnaire that complies with ICHD-3 by exploiting two logical modules to reach a complete diagnosis while trying to minimize the total number of questions being posed to patients. Finally, HEAD-ASP is freely available on-line and it is receiving very positive feedback from the group of neurologists that is testing it. Under consideration for publication in theory and practice of logic programming. Copyright © 2020, The Authors. All rights reserved.

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

Using heuristics for constraint satisfaction problems in scheduling

Using heuristics for constraint satisfaction problems in sch...

引用

IEE Colloquium on Advanced Software Technologies for Scheduling

作者： B. Smith Division of AI School of Computer Studies University of Leeds Leeds UK

Scheduling problems such as job shop scheduling and timetabling can be expressed as constraint satisfaction problems (CSPs) and so are, at least in theory, amenable to solution by standard constraint satisfaction algorithms. Unfortunately, CSPs (and most scheduling problems) are in general NP-complete. Hence we should expect the time required to solve a CSP to increase exponentially with the size of the problem, so that in practice there will be a limit to the size of problem which can be solved in a reasonable time. One approach to tackling a problem which is too large to be solved exactly by a standard search algorithm is to devise algorithms which abandon the idea of a systematic search of the entire search space. Typically these algorithms form an initial solution which is deficient in some way (infeasible or suboptimal), and attempt to improve it by making local changes or repairs. The algorithm moves through a sequence of solutions, each of which is a neighbour, in some sense, of the preceding one. Several papers have described repair-based heuristic methods of this kind for constraint satisfaction and related problems. The author describes a heuristic of the same type, originally developed as part of the ROSA system (B.M. Smith, S. Bennett, 1992), which produces weekly anaesthetists' rotas for a hospital anaesthetics department.< >

关键词： Complexity theory logic programming Scheduling Search methods

来源：评论

学校读者我要写书评

暂无评论

Automatically checking commitment protocols in ProVerif without false attacks

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2015年 9036卷 137-155页

作者： Chothia, Tom Smyth, Ben Staite, Chris School of Computer Science University of Birmingham United Kingdom Mathematical and Algorithmic Sciences Lab France Research Center Huawei Technologies Co. Ltd France

ISBN: (纸本)9783662466650

ProVerif over-approximates the attacker’s power to enable verification of processes under replication. Unfortunately, this results in ProVerif finding false attacks. This problem is particularly common in protocols whereby a participant commits to a particular value and later reveals their value. We introduce a method to reduce false attacks when analysing secrecy. First, we show how inserting phases into nonreplicated processes enables a more accurate translation to Horn clauses which avoids some false attacks. Secondly, we generalise our methodology to processes under replication. Finally, we demonstrate the applicability of our technique by analysing BlueTooth Simple Pairing. Moreover, we propose a simplification of this protocol that achieves the same security goal. © Springer-Verlag Berlin Heidelberg 2015.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Modular architecture with microcontroller for advanced electronic practices

Modular architecture with microcontroller for advanced elect...

引用

Technologies Applied to Electronics Teaching (TAEE)

作者： Javier Diz J. Fernando Garcia Jorge Dominguez Department Electronics IES Escolas Proval Nigran Spain

The high level of complexity of integrated circuits is one of the main problems in modern electronic practices. These circuits can only be explained on a theoretical level or require expensive and specialized equipment. The traditional teaching of electronics based on discrete components or LSI integrated circuits as logic gates or flip-flops is being clearly outdated, and runs the risk of creating a gap between theory and practice that goes against the spirit of professional training. This article presents a hardware and software set of components designed for advanced electronic practices whose centerpiece is a microcontroller that connects different peripherals such as analog-to-digital converters, keyboards, displays of different technologies (including latest graphics LCD modules), power and different communications interfaces and protocols. This modular architecture can be used in basic training modules (such as analog and digital electronics) but also in more specific modules such as sound, home automation, robotics and industrial control. The components used are cheap and modules can be built in the schools to reduce its cost. The schematics and printed circuit boards are free to use and for their design has been used the open source program Kicad. The microcontroller programming environment is based on Eclipse-SDCC, which is also open source and multiplatform. This system can be used for demonstrations and school practices. The system can also be used as a platform for teaching C programming or assembler for microcontrollers. All the elements have been developed at the institute "Escolas Proval" of Nigrán (Pontevedra) by a team of electronics teachers and students. Over the last years have been designed and built some of the modules and it is planned to continue making new ones based on the training needs that will be detected and new professional qualifications currently under implementation.

关键词： Microcontrollers programming profession Power supplies Robots Connectors Education

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：