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

International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT)

作者： Anton Korshunov Information Systems Department The Institute for System Programming Russian Academy of Sciences Moscow Russia

The paper describes a method for keyterm extraction from messages of microblogs. The described approach utilizes the information obtained by the analysis of structure and content of Wikipedia. The algorithm is based on computation of “keyphraseness” measure for each term, i.e. an estimation of probability that it can be selected as a key in the text. The experimental study of the proposed technique demonstrated satisfactory results which significantly outpaces analogues. As a demonstration of possible application of the algorithm, the prototype of context-sensitive advertising system has been implemented. This system is able to obtain the descriptions of the goods relevant to the found keyterms from Amazon online store. Several suggestions are also made on how to utilize the information obtained by the analysis of Twitter messages in different auxiliary services.

关键词： Twitter Internet Blogs Encyclopedias Electronic publishing Databases

来源：评论

学校读者我要写书评

暂无评论

About an autonomous adaptive control methodology

About an autonomous adaptive control methodology

引用

IEEE International Symposium on Intelligent Control (ISIC)

作者： A.A. Zhdanov Simulation Systems Department Institute for System Programming Russian Academy of Science Moscow Russia

We present the basis of the original autonomous adaptive control (AAC) methodology. It is an approach to the design of intelligent systems that simulate structure and functions of the nervous system and brain. The AAC methodology idea is that structure and functions of the nervous system are forced to follow the control system conditions at an initial moment. The initial conditions are: (a) the control system (CS) is a discrete device; (b) the CS is located inside of the controlled object; (c) the CS has minimum initial knowledge. We briefly described the AAC CS structure and functions. The AAC CS can be made, for example, in neural networks form.

关键词： Adaptive control Control systems Nervous system Intelligent systems Organisms Brain modeling Electronic mail World Wide Web Intelligent structures Force control

来源：评论

学校读者我要写书评

暂无评论

Delta-oriented model-based SPL regression testing

Delta-oriented model-based SPL regression testing

引用

International Workshop on Product Line Approaches in Software Engineering (PLEASE)

作者： Sascha Lity Malte Lochau Ina Schaefer Ursula Goltz Institute for Programming and Reactive Systems Technical University of Braunschweig Brunswick Germany Institute for Software Systems Engineering Technical University of Braunschweig Brunswick Germany

Testing software product lines by considering each product variant in isolation is impracticable due to the high number of potential product configurations. Therefore, applying SPL reuse principles also to test artifacts in a concise way is essential. We address this open issue by a novel, model-based SPL testing framework based on reusable delta-oriented state machine test models and regression-based test suite evolution. Therein, SPL test artifacts are incrementally evolved for every product variant by explicitly considering commonality and variability between two subsequent products under test. Our approach guarantees for every product configuration stable test coverage and allows the derivation of redundancy-reduced, yet reliable retesting obligations. We illustrate our framework by means of an automotive case study and compare our experimental results with alternative SPL testing strategies w.r.t. efficiency improvements.

关键词： Testing Modeling Automotive engineering programming Adaptation models Software systems

来源：评论

学校读者我要写书评

暂无评论

User-level synthesis: Treating product lines as systems of constraints 15

User-level synthesis: Treating product lines as systems of c...

引用

19th International Software Product Line Conference, SPLC 2015

作者： Steffen, Bernhard Lamprecht, Anna-Lena Margaria, Tiziana Department for Programming Systems TU Dortmund University Dortmund44227 Germany Institute for Informatics and Computational Science Potsdam University Potsdam14482 Germany Lero - Irish Software Research Centre University of Limerick Limerick Ireland

ISBN: (纸本)9781450336130

In this paper, we sketch how treating product lines as systems of possibly heterogeneous constraints allows one to elegantly and consistently manage product lines in terms of a product line of product lines. In fact, as will also be illustrated along our example scenarios, this leads to a framework for a consistent division of labour in an "easy for the many difficult for the few" fashion which supports correctness by construction. Central for this approach are our powerful model-based synthesis and code generation technologies, which turn systems of constraints into executable models or target code. © 2015 Copyright held by the owner/author(s). Publication rights licensed to ACM.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Methodology for Model-based Development and Automated Verification of Software for Aerospace systems

A Methodology for Model-based Development and Automated Veri...

引用

IEEE Aerospace Conference

作者： Lukas Martin Maxim Schatalov Matthias Hagner Ursula Goltz Olaf Maibaum Institute for Programming and Reactive Systems TU Braunschweig Simulation and Software Technology German Aerospace Center

ISBN: (纸本)9781467318129

Today's software for aerospace systems typically is very complex. This is due to the increasing number of features as well as the high demand for safety, reliability, and quality. This complexity also leads to significant higher software development costs. To handle the software complexity, a structured development process is necessary. Additionally, compliance with relevant standards for quality assurance is a mandatory concern. To assure high software quality, techniques for verification are necessary. Besides traditional techniques like testing, automated verification techniques like model checking become more popular. The latter examine the whole state space and, consequently, result in a full test coverage. Nevertheless, despite the obvious advantages, this technique is rarely yet used for the development of aerospace systems. In this paper, we propose a tool-supported methodology for the development and formal verification of safety-critical software in the aerospace domain. The methodology relies on the V-Model and defines a comprehensive work flow for model-based software development as well as automated verification in compliance to the European standard series ECSS-E-ST-40C. Furthermore, our methodology supports the generation and deployment of code. For tool support we use the tool SCADE Suite (Esterel Technology), an integrated design environment that covers all the requirements for our methodology. The SCADE Suite is well established in avionics and defense, rail transportation, energy and heavy equipment industries. For evaluation purposes, we apply our approach to an up-to-date case study of the TET-1 satellite bus. In particular, the attitude and orbit control software is considered. The behavioral models for the subsystem are developed, formally verified, and optimized.

关键词： aerospace systems computer software Quality assurance Workflow Software design Verification state space safety-critical software computer programs test coverage Automation avionics Formal verification

来源：评论

学校读者我要写书评

暂无评论

Multi-Objective Test Suite Optimization for Incremental Product Family Testing

Multi-Objective Test Suite Optimization for Incremental Prod...

引用

IEEE International Conference on Software Testing, Verification and Validation

作者： Hauke Baller Sascha Lity Malte Lochau Ina Schaefer TU Braunschweig Institute for Programming and Reactive Systems TU Darmstadt Real Time Systems Lab TU Braunschweig Institute of Software Engineering and Automotive Informatics

ISBN: (纸本)9781479922567

The design of an adequate test suite is usually guided by identifying test requirements which should be satisfied by the selected set of test cases. To reduce testing costs, test suite minimization heuristics aim at eliminating redundancy from existing test suites. However, recent test suite minimization approaches lack (1) to handle test suites commonly derived for families of similar software variants under test, and (2) to incorporate fine-grained information concerning cost/profit goals for test case selection. In this paper, we propose a formal framework to optimize test suites designed for sets of software variants under test w.r.t. multiple conflicting cost/profit objectives. The problem representation is independent of the concrete testing methodology. We apply integer linear programming (ILP) to approximate optimal solutions. We further develop an efficient incremental heuristic for deriving a sequence of representative software variants to be tested for approaching optimal profits under reduced costs. We evaluated the algorithm by comparing its outcome to the optimal solution.

关键词： Testing Strategies Test Coverage of Specifications Constrained Optimization Linear programming

来源：评论

学校读者我要写书评

暂无评论

The FX-87 Interpreter

The FX-87 Interpreter

引用

International Conference on Computer Languages

作者： P. Jouvelot D.K. Gifford Programming Systems Research Group Laboratory for Computer Science Massachusetts Institute of Technology Cambridge MA USA

The first implementation of the programming language FX-87, a polymorphic typed functional language based on a system for static program analysis, is described. This polymorphic effect system integrates type checking and side-effect analysis into a single framework and allows the automatic detection of parallelizable expressions at compile-time. In FX-87, every expression has two static properties: a type and an effect. Type and effect polymorphism permits the behavior of first-class procedures to be statically modeled. The integration of type and effect analysis has resulted in the first system that is able (by accurate modeling of the side-effects of procedure values and masking of unobservable effects in the heap) to detect a compile-time, parallelizable constructs in both functional and imperative programs.< >

关键词： programming profession Job shop scheduling Computer languages Parallel programming Parallel machines Program processors Functional programming Laboratories Computer science Performance analysis

来源：评论

学校读者我要写书评

暂无评论

Dialog-Based Meaning Derivation Service for Technical Language Domains

Dialog-Based Meaning Derivation Service for Technical Langua...

引用

International Conference on Semantic Computing

作者： Alexander Wachtel Sophie Schulz Walter F. Tichy Chair for Programming Systems Prof Walter F. Tichy Karlsruhe Institute of Technology Karlsruhe Germany

In our previous work, we present on how new algorithms can be recognized and learned from human descriptions. In this case, end users are able to extend the given system by their own functionality. During the evaluation, due to language limits on the system, it could interpret only 59 % of user input correctly. In this paper, we provide an approach on the Dialog-based Meaning Derivation Service (DMDS). In case, user input does not match to the system knowledge, DMDS serves various word networks to find relevant synonyms as candidates for the unknown word. DMDS then tries to verify these candidates to the given knowledge base. Finally, matched candidates are presented to the end user by the dialog system for confirmation of a contextual match. The meaning is learned after the user confirmation and is mapped to the given functionality, and can be used afterwards. Therefore, the model developed in this work can be categorized as supervised learning. Finally, both the performance and the quality recorded by input from a user study were examined. However, DMDS improves the correct interpretation of the system from 59 % to 82 %. Our focus is to improve the interaction between humans and machines and enable the end user to instruct programmable devices, without having to learn a programming language.

关键词： Semantics Vocabulary Knowledge based systems Natural languages Computer languages programming profession

来源：评论

学校读者我要写书评

暂无评论

Place Bisimulation Equivalences for Design of Concurrent and Sequential systems

引用

Electronic Notes in Theoretical Computer Science 1998年 18卷 191-206页

作者： Igor V. Tarasyuk Theoretical Programming Laboratory A.P. Ershov Institute of Informatics Systems 6 Acad. Lavrentiev ave. Novosibirsk 630090 Russia

In this paper, we supplement the set of basic and back-forth behavioural equivalences for Petri nets considered in [11] by place bisimulation ones. The relationships of all the equivalence notions are examined, and their preservation by refinements is investigated to find out which of these relations may be used in top-down design. It is demonstrated that the place bisimulation equivalences may be used for the compositional and history preserving reduction of Petri nets. In addition, we consider all the mentioned equivalences on sequential nets which are a special subclass of general Petri nets modelling sequential systems, where no two actions can happen simultaneously. On this net subclass all pomset equivalences merge with the corresponding interleaving ones, and it allows us to simplify their check.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Initial Implementation of Natural Language Turn-Based Dialog System

引用

Procedia Computer Science 2016年 84卷 49-56页

作者： Alexander Wachtel Sebastian Weigelt Walter F. Tichy Karlsruhe Institute of Technology Chair for Programming Systems Prof. Walter F. Tichy Am Fasanengarten 5 76131 Karlsruhe Germany

Our prototype implements a natural language dialog system for Excel spreadsheets. The work is motivated by a pilot study which shows that novice users have difficulties with the formula language of Excel and need interactive assistance. JustLingo 1 allows spreadsheet calculations in ordinary, written English. Furthermore, users can extend the system functionality by explaining of the calculations to the prototype. The keyword-based system analyzes the input using natural language processing techniques and translates it into Excel formulas. It asks for missing information such as operands and target cells and provides alternatives if there are ambiguities. It also handles references to previous inputs, allowing step-by-step construction of calculations. An evaluation shows that it properly resolves 82% of references and correctly interprets 79,5% of overall user input. Although far from perfect, the prototype demonstrates that computers may soon begin to take on simple, limited-domain programming tasks based on natural-language input.

关键词： Natural Language Processing Natural Language Interfaces Dialog systems End-User programming Spreadsheet

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：