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

YET ANOTHER EFFICIENT BACKWARD EXECUTION ALGORITHM IN THE AND OR PROCESS MODEL

INFORMATION PROCESSING LETTERS 1991年第4期40卷 201-211页

作者： KIM, DH CHOE, KM Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 371-1 Kusong-Dong Yusang-Gu Taejon 305-701 South Korea

An efficient backward execution algorithm in the AND/OR Process Model for parallel evaluation of logic programs is proposed. The efficiency of the algorithm is achieved by means of information acquired during execution of clauses. The algorithm is considered to be efficient in the sense that it issues fewer number of cancel messages and avoids unnecessary resetting operations. Furthermore, it performs independent redoing and resetting more concurrently than other related works.

关键词： APPLICATIVE (LOGIC) programming PARALLEL EVALUATION OF LOGIC PROGRAMS AND OR PROCESS MODEL AND PARALLELISM BACKWARD EXECUTION ALGORITHM MULTIPLE FAILURE SELECTIVE RESETTING

来源：评论

学校读者我要写书评

暂无评论

The design and optimisation of a UCAV wing manufactured using advanced composite materials

The design and optimisation of a UCAV wing manufactured usin...

引用

Proceedings of the Third International Conference on Engineering Computational Technology

作者： Jonson, D. Jordan, K. Centre for Advanced Materials Design and Manufacturing Programming Durban Institute of Technology Durban South Africa

ISBN: (纸本)0948749857

The results of a study aimed at investigating the conceptual design for the composite wings of the prototype UCAV-TD aircraft is presented. The work is focused on identifying an appropriate structural configuration as well as addressing the optimization of the structural design of the wing when subjected to the typical aerodynamic pressure of the structural design of the wing when subjected to the typical aerodynamic pressure loading encountered at the upper edge of the operational envelope. The results of the optimization indicated that the multi-spar arrangement of the radial configuration is more efficient in limiting the deflection of the wing, thereby allowing for a reduction in wing skin thickness.

关键词： Structural optimization

来源：评论

学校读者我要写书评

暂无评论

Aerodynamic Analysis of Delta Wing Aircraft and Effect of the Propeller Using OpenFOAM

Aerodynamic Analysis of Delta Wing Aircraft and Effect of th...

引用

2023 Ivannikov ISPRAS Open Conference, ISPRAS 2023

作者： Mkoyan, Ruslan Romanova, Daria Sargsyan, Sevak Epikhin, Andrey Russian-Armenian University Ivannikov Institute for System Programming of the Ras Center of Advanced Software Technologies Yerevan Armenia Ivannikov Institute for System Programming of the Ras Lomonosov Msu Moscow Russia Ivannikov Institute for System Programming of the Ras Moscow Russia

ISBN: (纸本)9798350349993

This paper presents a calculation of the aerodynamic characteristics of the ZOHD Alpha Strike UAV model, designed with a delta wing. The focus of the study is the overall layout of the aircraft and the influence of the propeller on its aerodynamic characteristics. The computational fluid dynamics tool OpenFOAM is used as an effective method to solve the complex aerodynamic problems inherent in this UAV model. Research is carried out in an incompressible flow, due to the low speeds inherent in such aircraft. A numerical methodology is proposed for quick evaluation of the aerodynamic performances of UAV models with a propeller. A simple dynamic model and flight data are presented. The calculation results are verified using a flight experiment. © 2023 IEEE.

关键词： Computational fluid dynamics

来源：评论

学校读者我要写书评

暂无评论

Gradient Method Optimization of a Race Car Wing Airfoil at the Conceptual Design Phase 8th

Gradient Method Optimization of a Race Car Wing Airfoil at t...

引用

8th International Conference on Industrial Engineering, ICIE 2022

作者： Korobko, D.D. Mikaeva, S.A. Institute of Advanced Technologies and Industrial Programming of RTU MIREA 78 Vernadsky Avenue Moscow119454 Russia

ISBN: (纸本)9783031141249

Racecar wing airfoil optimization at the concept modeling stage based on NACA series airfoils with gradient descent method and finite volume method of aerodynamic characteristics calculation was studied. For efficiency estimation of the method, the problem of downforce coefficient maximization of the airfoil at zero angle of attack was considered. Simulations were performed using Open FOAM, which is an open source CFD software based on a finite volume method. The Spalart-Allmaras turbulence model was chosen for a steady-state two dimensional CFD analysis of an airfoil. Blockmesh utility was used for structured mesh generation. Airfoil parameterization, mesh generation, numerical simulation and optimization routine are automated with Python script. This study showed that gradient descent method optimization required low number of iterations for this type of problem. The goal of the algorithm was achieved and some high-downforce airfoils were found. The methodology could be used to carry out further optimization studies of many parameterized shapes for many different applications. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

Multiprogramming the RCA 601 61

Multiprogramming the RCA 601

引用

16th ACM National Meeting, ACM 1961

作者： Smith, R.D. Advanced Programming Electronic Data Processing Division Radio Corporation of America CamdenNJ United States

ISBN: (纸本)9781450373883

Multiprogramming may be defined as the execution of several computer programs concurrently, under a time-sharing mode, with the aim of keeping all independently operable computer components continuously busy. The benefit to be derived from such a multiprogramming mode of operation then is to achieve maximum computer effectiveness. However, the running time required to achieve multiprogramming must be significantly less than the resultant gain in computer effectiveness. There are three cogent reasons why multiprogramming can enhance computer effectiveness. Since most programs are either compute limited or Input-Output limited rather than evenly divided, a mixture of programs is potentially better balanced than a single program. Secondly, as computer capability increases, programs to be operated do not necessarily increase in size. Hence~ these programs are inherently incapable of utilizing the full capacity of the computer, whereas a program mixture would be able to use all of the computer capacity. Thirdly, the nature of a particular problem or the ineptitude of a programmer may result in poor simultaneity within individual programs. Since multiprogramming permits another program to use this "dead time", more efficient use of the computer is made and the requirements on programmer ability is significantly reduced. © 1961 Association for Computing Machinery, Inc. All rights reserved.

关键词： Multiprogramming

来源：评论

学校读者我要写书评

暂无评论

Design issues of fuzzy logic programming languages

Design issues of fuzzy logic programming languages

引用

Conference of the North American Fuzzy Information Processing Society - NAFIPS

作者： P. Marquez Laboratory for Logic Databases and Advanced Programming New Mexico State University Las Cruces NM USA

Logic programming (LP) has been successfully applied to solve many problems in artificial intelligence and many other areas. However, LP is unable to deal with uncertain, imprecise or vague information. On the other hand, fuzzy sets and fuzzy logic have demonstrated their applicability in dealing with uncertainty, and have motivated the research on extending classic LP to add fuzzy reasoning. However, a full fledged implementation of a fuzzy logic programming language universally accepted and/or in production does not exist yet. There are many reasons for this, and we present some of them. The aim of the paper is to briefly survey some of the major design problems we faced in implementing a fuzzy version of a Prolog-like logic programming language.

关键词： Fuzzy logic Computer languages Logic programming Fuzzy systems Bismuth Artificial intelligence Fuzzy sets Laboratories Databases Computer science

来源：评论

学校读者我要写书评

暂无评论

Note on the complement of a (minimal) linear language

引用

Information and Control 1964年第3期7卷 307-314页

作者： Haines, L.H. Department of Mathematics Massachusetts Institute of Technology Cambridge MA United States Advanced Programming Development IBM White Plains NY United States

关键词：

来源：评论

学校读者我要写书评

暂无评论

Combined strategy for efficient collision detection in 4D planning applications 17

Combined strategy for efficient collision detection in 4D pl...

引用

17th International Workshop on Intelligent Computing in Engineering, EG-ICE 2010

作者： Semenov, Vitaly Kazakov, Konstantine Zolotov, Vladislav Jones, Huw Jones, Stephan Institute for System Programming Russian Academy of Sciences Moscow Russia Advanced Construction Technologies - UK Coventry United Kingdom

ISBN: (纸本)9781907284601

Collision detection is the most time consuming component of many geometric reasoning applications like CAD/CAM, robotics and automation, computer graphics, and virtual reality. Performance is also a crucial factor for 4D planning applications targeted on scheduling of large industry projects by means of identifying and resolving of clashes in complex dynamic scenes, containing thousands and millions of objects. Many methods have been proposed and successfully implemented to deal with different statements and peculiarities of the dynamic collision detection problem. In this paper, we develop and analyze a combined strategy that exploits spatial and temporal coherence of scenes appearing in 4D planning applications. The strategy takes into account complexity and large scales of scenes, evolving character of fragments, significant temporal latency, and availability of identical objects. The strategy combines spatial decomposition, bounding volumes and temporal analysis methods yielding substantially faster collision detection than previous known methods being applied separately or discordantly. To implement the strategy, a special spatio-temporal partition schema (STPS) has been proposed and developed. The results are presented in conformity to performance benchmarks relating to architecture, engineering and construction projects. © 2018 Esprit. All rights reserved.

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

advanced Grammar-Based Fuzzing

Advanced Grammar-Based Fuzzing

引用

2022 Ivannikov Memorial Workshop, IVMEM 2022

作者： Sargsyan, Sevak Hakobyan, Jivan Mehrabyan, Matevos Mkoyan, Ruslan Sahakyan, Vardan Melkonyan, Vahagn Arutunian, Mariam Fahradyan, Arman Avetisyan, Arutyun Russian-Armenian University Center of Advanced Software Technologies Yerevan Armenia Programming of the RAS Ivannikov Institute for System Moscow Russia

ISBN: (数字)9781665492973

ISBN: (纸本)9781665492973

This article presents novel method for efficient fuzzing of programs accepting complex structured data. It generates input data based on formal grammar description. Data generator is periodically autoconfigured based on target programs code coverage. It means that the type of generated programs is dynamically changed to increase code coverage. Data generator uses descriptions of BNF (Backus-Naur Form) rules in ANTLR (ANother Tool for Language Recognition) platform. More than 250 languages and data formats are supported. Every rule of grammar is designed as universal pushdown automata, which allows automatically generate BNF compatible data by traversing automata. We added weights for each transition of automata to provide priority of highly efficient paths (sequence of transitions). These weights are automatically changed by fuzzing engine, which provides data generator adaptation based on the coverage of the target programs. According to experimental results, we were able to increase code coverage significantly for several widely used programs including compilers. © 2022 IEEE.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Knowledgesheet: A graphical spreadsheet interface for interactively developing a class of constraint programs 2nd

引用

2nd International Workshop on Practical Aspects of Declarative Languages, PADL 2000

作者： Gupta, Gopal Akhter, Shameem F. Laboratory for Logic Databases and Advanced Programming Department of Computer Science New Mexico State University Las CrucesNM United States

ISBN: (纸本)3540669922

We introduce a generalization of the spreadsheet paradigm, called Knowledgesheet, for solving a class of constraint satisfaction problems. The traditional spreadsheet paradigm is based on attaching arithmetic expressions to individual cells and then evaluating them;our Knowledgesheet interface instead allows finite domain constraints to be attached to individual cells that are then solved to obtain a solution. This extension provides an easy-to-use interface for solving a large class of constraint satisfaction problems|those whose specification and solution conforms to a 2-dimensional structure, e.g., scheduling problems, timetabling problems, etc. A prototype for the Knowledgesheet has been developed and applied to solve many different types of problems. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Spreadsheets

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：