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

Stanford :: Cs Techreports :: Stan-Cs-76-562 Earlydevelpgmglang Aug76

2016年

Stanford :: Cs Techreports :: Stan-Cs-76-562 Earlydevelpgmglang Aug76 by published by

关键词： acm national algebraic aug76 automatic automatic coding automatic programming compiler digital computers earlydevelpgmglang fortran language machine machine language naval ordnance notation program programming programming languages short code stan-cs-76-562 stanford techreports tpk tpk algorithm von neumann

来源：评论

学校读者我要写书评

暂无评论

Computeranterstützte Diagnosenclokumentation

引用

Methods of Information in Medicine 2018年第4期16卷 205-210页

作者： D. Hölzel

Die Diagnosenverschlüsselung wird häufig nur als Problem der medizinischen Dokumentation betrachtet. Unter Gesichtspunkten der Informatik können Lösungsansätze entwickelt werden, die auch im Hinblick auf Standardisierung und Auswertung Vorteile aufweisen. Ein solches System zur computerunterstützten Diagnosendokumentation wird beschrieben. Es wird ein modifizierter ICD/E Diagnosenschlüssel eingesetzt. Aspekte einer maschinellen Unterstützung für die Präsentation und Pflege des Diagnosenschlüssels, die automatische Codierung und die Auswertung werden dargestellt. Notwendig ist eine Integration der verschiedenen Probleme. Sie führt zu mehrfach verwertbaren Schlüsselkomponenten, mit denen sich die genannten Aufgaben abdecken lassen. Vorauszusetzen ist, daß disziplinspezifisch ein Standard von Diagnosenformulierungen vordefiniert und kontrolliert erweitert wird. Für die Realisiermag der Anforderungen ist dann ein eindimensionaler Schlüssel von Vorteil.

关键词： Auswertung automatische Verschlüsselung Diagnosenschlüssel Evaluation automatic coding Diagnosis Code

来源：评论

学校读者我要写书评

暂无评论

automatic synthesis of VHDL Hardware Components from IOPT Petri Net models

Automatic synthesis of VHDL Hardware Components from IOPT Pe...

引用

Annual Conference of the IEEE Industrial Electronics Society

作者： Fernando Pereira Luis Gomes ISEL Instituto Superior de Engenharia de Lisboa Universidade Nova de Lisboa - Faculdade de Ciencias e Tecnologia

ISBN: (纸本)9781479902255

The IOPT Petri net class, designed to implement embedded system controllers, combining the well known properties of Petri nets with input and output functions, provides a set of capabilities suitable to specify digital controller systems. This paper presents an automatic code generation tool used to create VHDL controller implementations of IOPT models and describes the underlying code generation strategies. The new tool is integrated under the Web based IOPT-Tools framework (accessible at ), containing a complete tool-chain ranging from interactive model design and edition, model checking and simulation tools to automatic code generation, allowing the design of embedded system controllers using only graphical tools and without the need to manually write any hardware description or software code.

关键词： Petri nets Code generation very high density lipoproteins automatic coding model design Embedded systems Controllers simulation tool Computer hardware controller system

来源：评论

学校读者我要写书评

暂无评论

automatic Code Generation for Spacecraft Attitude Determination and Control

Automatic Code Generation for Spacecraft Attitude Determinat...

引用

IEEE Aerospace Conference

作者： Bryce Carpenter Sierra Nevada Corporation

ISBN: (纸本)9781479916191

Government and commercial customers are increasingly interested in robust, reusable flight software. For many spacecraft, Attitude Determination and Control Subsystem (ADCS) contributes a significant portion of the FSW. Thus refinements to ADCS code pay dividends for code development and reuse. Sierra Nevada Corporation (SNC) has recently developed an ADCS model and code set that follows model based design techniques. It uses Simulink for algorithm design and verification, a modular parameter database to customize mission profiles, and automatic code generation to create production quality embedded software. The code will be used on a LEO Earth imaging nanosat. This paper presents an overview of the algorithms, model architecture, parameter database, and code generation process.

关键词： Code generation Position measurement automatic coding Flight Software Codes Algorithm design Standing Orders design techniques Spacecraft Government MISSION PROFILES

来源：评论

学校读者我要写书评

暂无评论

Synthesis of Discrete-Event Controllers from Sequence-Based Specifications

Synthesis of Discrete-Event Controllers from Sequence-Based ...

引用

IEEE Annual Conference on Decision and Control

作者： Thijs Janssen Joanna van de Mortel-Fronczak Emile van Gerwen Michel Reniers Atlas Copco Oosterhout The Netherlands Department of Mechanical Engineering Eindhoven University of Technology Eindhoven The Netherlands FEI Company Eindhoven The Netherlands

ISBN: (纸本)9781479978878

As recognized by various engineering disciplines, formal models have the potential to support and speed up development of cyber-physical systems. They enable extensive functional and performance analysis of designs, including formal verification, and control code generation. There are two general approaches to application of formal models in engineering processes for the design of discrete-event controllers. Controllers are modeled, e.g. using sequence-based specifications, and, subsequently, verified against relevant system properties, such as the absence of blocking or the compliance to defined interfaces. Alternatively, from formal models of system components and requirements (finite automata and state-based expressions) non-blocking controllers are synthesized satisfying the requirements per definition. In both cases, models used are suitable for automatic code generation. This paper discusses lessons learned from the integrated application of these two approaches to an industrial case study. The experiment shows that they are complementary and that it is possible to combine them in one engineering process to mutual advantage.

关键词： Controllers Formal verification synthesis Specifications second approximation Cyber-physical systems Complementary Control Code Engineering Code generation automatic coding

来源：评论

学校读者我要写书评

暂无评论

The design of the PSI program synthesis system 76

The design of the PSI program synthesis system

引用

Proceedings of the 2nd international conference on Software engineering

作者： Cordell Green

This paper presents an overview of the current state of the PSI automatic program synthesis system and discusses the design considerations. The PSI system allows a user to specify a desired program in a dialogue using natural language and traces. PSI then synthesizes a program meeting these specifications. The target programs are simple symbolic computation programs in *** may be described as a knowledge-based program understanding system. It is organized as a collection of closely interacting modules, or experts in the areas of natural language, discourse, traces, application domain, high-level program modelling, coding, and efficiency. An implementation effort is underway and several modules are now working.

关键词： Program synthesis Program inference Algorithm analysis Knowledge-based systems automatic coding Natural language automatic programming Program understanding Program modelling

来源：评论

学校读者我要写书评

暂无评论

Experimental Validation of Nonlinear MPC on an Overhead Crane using automatic Code Generation

Experimental Validation of Nonlinear MPC on an Overhead Cran...

引用

American Control Conference

作者： Milan Vukov Wannes Van Loock Boris Houska Hans Joachim Ferreau Jan Swevers Moritz Diehl Department of Electrical Engineering KU Leuven Kasteelpark Arenberg 10 3001 Leuven Belgium Department of Mechanical Engineering KU Leuven Celestijnenlaan 300 B 3001 Leuven Belgium

ISBN: (纸本)9781457710957

Recent advances in improving the efficiency of nonlinear model predictive control (MPC) algorithms have made them suited for challenging mechatronic applications that require high sampling rates. We demonstrate this fact by applying a highly efficient nonlinear MPC algorithm to a laboratory-scale overhead crane setup, featuring a fast moving cart and a winch mechanism. The aim is to perform optimized point-to-point motions with varying line length while respecting actuator limits. In order to solve the resulting optimization problems in less than one millisecond, an automatically generated Gauss-Newton real-time iteration algorithm is employed. We show experimental results illustrating the control performance of the closed-loop system as well as the efficiency of the nonlinear MPC algorithm.

关键词： CRANE BRIDGE Maximum Allowable Concentration Cranes control performance automatic coding line length nonlinear model predictive control nonlinearity Closed loop systems

来源：评论

学校读者我要写书评

暂无评论

Research on incomplete data mining and filling algorithm during depth learning process

Research on incomplete data mining and filling algorithm dur...

引用

2016 2nd International Conference on Materials Engineering and Information Technology Applications(MEITA 2016)

作者： Liping Wang Pingxiang University

ISBN: (纸本)9781510837003

In this paper,an incomplete data padding algorithm based on depth learning is *** algorithm has a rich information dimension for large data.A depth-filling network is constructed to extract the depth features of large data,and then the missing values are *** results showed that the algorithm proposed in this paper can effectively improve the accuracy of data *** solve this problem,this paper proposes an incomplete data filling algorithm based on depth *** algorithm is based on the automatic coding machine to establish the automatic filling *** this basis,a deep-filling network model is constructed to analyze the depth characteristics of incomplete data and calculate the network parameters according to the layer-by-layer training idea and back propagation ***,the incomplete data is restored by deep filling network,and the missing value is *** the next step,we explore how to improve the data filling accuracy in multi-miss mode.

关键词： Depth learning missing data filling automatic coding

来源：评论

学校读者我要写书评

暂无评论

A methodology for improving software design lifecycle in embedded control systems 08

A methodology for improving software design lifecycle in emb...

引用

2008 Design, Automation and Test in Europe (DATE 2008), vol.3

作者： Mohamed El Mongi Ben Gaid Remy Kocik Yves Sorel Redha Hamouche INRIA Grenoble-Rhône-Alpes France COSI Lab ESIEE Paris France INRIA Paris-Rocquencourt

ISBN: (纸本)9783981080131

Control design and real-time implementation are usually performed in isolation. The effects of the computer implementation on control system performance are still evaluated on the last phases of the development cycle. It is expected that modeling the computer implementation in order to simulate its impact on control would help reducing the length and the effort of the development cycle. This paper proposes ideas towards achieving these objectives. To this end, implementation effect on control performance is first studied. Then, we describe the preliminary ideas of a methodology considering a control law designed with the Scicos simulation environment and implemented on a distributed architecture with the SynDEx system-level CAD tool. This methodology allows simulating the impact of the distributed implementation early in the design lifecycle and provides an automatic code generation of this implementation.

关键词： control systems development time Life cycle control law Software design design control Code generation control performance automatic coding

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：