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

Note on asymptotically flat empty spaces

General Relativity and Gravitation 1972年第1-2期3卷 43-58页

作者： Unti, T.W.J. Jet Propulsion Laboratory California Institute of Technology Pasadena 91103 California United States

The algebraic programming system FORMAC is used to extend asymptotic solutions of the Newman-Penrose equations. The expansions are then applied to metrics with geodesic rays and to the Newman-Penrose conserved terms. It is shown how the expansion may prove useful in finding new solutions to the field equations. © 1972 Plenum Publishing Company Limited.

关键词： Field Equation Differential Geometry Asymptotic Solution Empty Space programming system

来源：评论

学校读者我要写书评

暂无评论

SYNC-CALL Composition Operator of Property-preserving Petri Net Process Algebra

SYNC-CALL Composition Operator of Property-preserving Petri ...

引用

10th International Conference on Strategic Management and its Support by Information systems

作者： Martinik, Ivo VSB Tech Univ Ostrava Fac Econ Ostrava Czech Republic

ISBN: (纸本)9788024830964

Petri nets represent popular formalism and methodology for the development of information systems and generally of all kind of parallel or concurrent systems. Property-preserving Petri net process algebras (PPPA) were originally designed for the specification and verification of manufacturing systems. Among other features, PPPA does not need to verify composition of Petri net processes because all their algebraic operators preserve the specified set of the properties. In this article the additional PPPA operator SYNC-CALL is defined and its chosen properties are proved. With the support of this operator the PPPA can be easily extended also to the area of design, simulation and verification of multithreading programming systems executing in parallel or distributed environment and based on functional or object-oriented paradigms.

关键词： Petri nets process algebras SYNC-CALL operator property preservation composition programming system

来源：评论

学校读者我要写书评

暂无评论

Constructing Programs from Example Computations

引用

IEEE Transactions on Software Engineering 1976年第3期SE-2卷 141-153页

作者： Biermann, Alan W. Krishnaswamy, Ramachandran Department of Computer Science Computation Center Duke University Durham NC 27706 United States Department of Computer Science Ohio State University Columbus OH 43210 United States

An autoprogrammer is an interactive computer programming system which automatically constructs computer programs from example computations executed by the user. The example calculations are done in a scratch pad fashion at a computer display using a light pen or other graphic input device, and the system stores a detailed history of all of the steps executed in the process. Then the system automatically synthesizes the shortest possible program which is capable of executing the observed examples. The paper describes the computational environment provided by the system, proves that the program synthesis technique is both “sound” and “complete,” describes the design of the system, and gives some programs it was used to create. Copyright © 1976 by The Institute of Electrical and Electronics Engineers, Inc.

关键词： Automatic program synthesis autoprogramming induction techniques interactive graphics system interactive program construction program inference programming system

来源：评论

学校读者我要写书评

暂无评论

On some problems relevant to city planning and management in China

On some problems relevant to city planning and management in...

引用

2010 International Conference on Management and Service Science, MASS 2010

作者： Zhang, Zhibin Song, Yu State Key Laboratory of Frozen Soil Engineering CARREERI CAS Lanzhou 730000 China College of Geography and Environment Science Northwest Normal University Lanzhou 730070 China

ISBN: (纸本)9781424453269

Based on the behavioral characteristics of city planning, the thesis makes a systemic analysis of the problems brought about in the practice of city planning and management in China. The focus of the author's research is mainly on four aspects: institution set up, programming system, policy and regulations, and operating mechanism. The aim of the thesis is to reveal the reasons that cause these problems and to provide suggestions for China's city planning and management which is at the stage of fast development and structural transformation. © 2010 IEEE.

关键词： China behavioral characteristics city management city planning institution set up operating mechanism programming system structural transformation town and country planning

来源：评论

学校读者我要写书评

暂无评论

Concept-Monadic Model of Technological Environment of programming 2

Concept-Monadic Model of Technological Environment of Progra...

引用

2nd IEEE International Conference on system Analysis and Intelligent Computing, SAIC 2020

作者： Redko, Igor Yahanov, Petro Zylevich, Maksym National Technical University of Ukraine «igor Sikorsky Kiev Polytechnic Institute» Faculty of Electronics Dept. Chair of Electronic Computing Equipment Kyiv Ukraine

ISBN: (纸本)9781728190822

In this paper, the principles of an adaptive technological programming environment based on an intersubjective paradigm are developed. For this purpose, the understanding of programming is adequately enriched by introducing conceptual logical structures. This allows you to move away from the general concept of programming as a subject-defined activity and to lay the foundations for its technologization. © 2020 IEEE.

关键词： composite composition concept essential relation monad oracle oracle scheme programming environment programming system reduction

来源：评论

学校读者我要写书评

暂无评论

Mit :: Ai :: Aim :: Aim-698

引用

2016年

Mit :: Ai :: Aim :: Aim-698 by published by

关键词： aim-698 artificial intelligence compliant motion coordinate coordinate frames industrial robots motion position positions program programming programming system programming systems robot robot programming robot programs robot systems robots systems task task planner

来源：评论

学校读者我要写书评

暂无评论

Mit :: Ctss :: Scherr Analysisoftscompsys

引用

2016年

Mit :: Ctss :: Scherr Analysisoftscompsys by published by

关键词： analysisoftscompsys ctss ctss environment function return input interaction markov model model predictions processor processor time program programming system response time scheduling algorithm scherr simulation simulation programming system system hardware transfer user users

来源：评论

学校读者我要写书评

暂无评论

Ibm :: Series1 :: Gc34-0084-0 Pl I Introduction Feb77

引用

2016年

Ibm :: Series1 :: Gc34-0084-0 Pl I Introduction Feb77 by published by

关键词： attribute attribute option attribute statement data environment environment attribute event feb77 function gc34-0084-0 introduction key option language extensions option program program preparation programming system realtime programming sensor series1 statement statement option statement statement task

来源：评论

学校读者我要写书评

暂无评论

Ibm :: Serviceforconsultants :: Service for Consultants 198208

引用

2016年

Ibm :: Serviceforconsultants :: Service for Consultants 198208 by published by

关键词： binary synchronous consultants data data set driven executive event driven ibm program program preparation programming programming system programs realtime realtime programming service serviceforconsultants system system version task task set user version written permission

来源：评论

学校读者我要写书评

暂无评论

Ibm :: Serviceforconsultants :: Service for Consultants 198401 :: 198401 14 Program Rpq

引用

2016年

[Auto Generated] Provides the ability to create, maintain, and dynamically locate symbolic files on all models of the 4962 Disk Storage Unit and 4964 Diskette Unit. Additionally, there is transportability between diskettes written on a Realtime programming system configuration and a system running Control Program Support. This support includes data set definition, deletion, open, symbolic copy, and other data set manipulation utilities. Operator Message I/O This function provides the user with a

关键词： consultants control program ibm letter writer ming system modification level program program preparation program support programming programming rpq programming system prpq realtime realtime programming rpq service serviceforconsultants support system system version user version

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：