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

International Symposium on Parallel Processing

作者： M. Neeracher R. Ruhl Integrated Systems Laboratory Swiss Federal Institute of Technology Zurich Switzerland

Distributed memory parallel processors (DMPPs) have no hardware support for a global address space. However, conventional programs written in a sequential imperative language such as Fortran typically manipulate few, large arrays. The Oxygen compiler, developed as part of the K2 project, accepts conventional Fortran code, augmented with code and data distribution directives. These directives support a global name space through a run-time mechanism called data consistency analysis. Many sequential Fortran programs can be efficiently parallelized, with Oxygen directives introduced manually by the user into the sequential code. This work presents an analysis pass added to the compiler that makes suggestions for the directives to be inserted into the code. automatic parallelization of LINPACK routines was attempted and results are given.< >

关键词： Oxygen Educational institutions Space technology Runtime Data analysis Laboratories Hardware automatic programming Parallel programming Program processors

来源：评论

学校读者我要写书评

暂无评论

On simplifying the automatic design of a fuzzy logic controller

On simplifying the automatic design of a fuzzy logic control...

引用

Conference of the North American Fuzzy Information Processing Society - NAFIPS

作者： F. Cheong R. Lai School of Business IT RMIT University Melbourne VIC Australia Department of Computer Science and Compuer Engineering La Trobe University Bundoora VIC Australia

With the availability of a wide range of evolutionary algorithms such as genetic algorithms, evolutionary programming, evolution strategies and differential evolution, every conceivable aspect of the design of a fuzzy logic controller has been optimized and automated. Although there is no doubt that these automated techniques can produce an optimal fuzzy logic controller, the structure of such a controller is often obscure and in many cases these optimizations are simply not needed. We believe that the automatic design of a fuzzy logic controller can be simplified by using a generic rule base such as the Mac Vicar-Whelan rule base and using an evolutionary algorithm to optimize only the membership functions of the fuzzy sets. Furthermore, by restricting the overlapping of fuzzy sets, using triangular membership functions and singletons, and reducing the number of parameters to represent the membership functions, the design can be further simplified. This paper describes this method of simplifying the design and some experiments performed to ascertain its validity.

关键词： Fuzzy logic automatic control Evolutionary computation Algorithm design and analysis Design optimization Optimal control Fuzzy sets Genetic algorithms automatic programming Genetic programming

来源：评论

学校读者我要写书评

暂无评论

Robots on self-organizing knowledge networks

Robots on self-organizing knowledge networks

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： Nak Young Chong H. Hongu M. Miyazaki K. Takemura K. Ohara K. Ohba S. Hirai K. Tanie School of Information Science Japan Advanced Institute of Science and Technology Ishikawa Japan Intelligent Systems Institute AIST Ibaraki Japan Advanced Engineering Systems University of Tsukuba Ibaraki Japan Graduate School of Engineering Shibaura Institute of Technology Tokyo Japan

In this work, we propose a new framework for better deployment and utilization of robots in our uncertain, unstructured everyday environments. programming robots can be a very time-consuming process and seems almost impossible for ordinary end users. To cope with many challenges in the user programming, this work is to provide an open environment for building robot programming automatically, where we have robots learn how to accomplish commanded tasks interacting with the object. An integrated sensing and computing tag is embedded into every single object in the environment. In the robot controller, only the basic software libraries for low-level robot motion control are provided by the robot manufacturer. The main contributions of this work is to develop the knowledge integrator platform that we call Omniscient Organizer that generates the application programs and send them to the robot controller through networks. In the Omniscient Organizer, the object-related information downloaded from the object Web server merges into robot control software based on the task commands from the human. We have built a test bed and demonstrated that a robot can perform common household tasks such as clearing the table within the proposed framework.

关键词： Robotics and automation Robot control Robot programming Robot sensing systems automatic control Motion control automatic programming Embedded computing Software libraries Robot motion

来源：评论

学校读者我要写书评

暂无评论

CASE-tools for software development

CASE-tools for software development

引用

IEE Colloquium on Engineering for Time to Market

作者： S.C. Stobart J.B. Thompson P. Smith The Commercial Software Engineering Group School of computer Studies and Mathematics Sunderland and Polytechnic UK

Computer Aided Software/Systems Engineering (CASE) is one of the latest approaches to solving the problems of generating software applications quickly. CASE is the automation of software engineering methods and practices, with the use of automated tools to support the creation of computer applications. The authors examine the level of life cycle support that tools provide, the methods of increasing efficiency and quality, and the benefits and problems sophisticated integrated-CASE (ICASE) tools bring. Conclusions are drawn as to whether CASE achieves the goal of speeding up software development, while still maintaining a high degree of confidence in the quality of the systems produced.< >

关键词： automatic programming Software tools

来源：评论

学校读者我要写书评

暂无评论

Decision support for rule, and technique discovery in an uncertain environment

Decision support for rule, and technique discovery in an unc...

引用

International Conference on Information Fusion

作者： J.F. Smith Naval Research Laboratory Inc. WA USA

For many applications it is desirable to construct expert systems to be used as decision aids. It is often essential that the algorithm make decisions at least at the quality level of the best human experts according to some measure. The algorithm should not only incorporate human expertise and its related uncertainty, but also be able to exploit an opponent's uncertainty. In many instances, due to newly emerging paradigms, the necessary human expertise does not exist. Approaches based on fuzzy logic, fuzzy number theory, evolutionary algorithms, game theory, and fuzzy linear and nonlinear programming have been developed that allow the automatic inversion of rules from data bases. The rules discovered are shown to be equivalent to rules already developed by human experts or in the case, where no human being has expertise, to be original. Along with the theoretical basis, an application to electronic warfare, and related experimental results are given.

关键词： Humans Fuzzy logic Expert systems Evolutionary computation Game theory automatic programming Genetic programming Linear programming Logic programming Electronic warfare

来源：评论

学校读者我要写书评

暂无评论

AUTOMATED COMPUTER PROGRAM EVALUATION AND PROJECTS – OUR EXPERIENCES

arXiv

引用

arXiv 2024年

作者： Srinivasan, Bama Nehru, Mala Parthasarathi, Ranjani Mukherjee, Saswati Thankachan, Jeena A. Department of Information Science and Technology CEG Campus Anna University Chennai600 025 India

This paper provides a few approaches to automating computer programming and project submission tasks, that we have been following for the last six years and have found to be successful. The approaches include using CodeRunner with Learning Management System (LMS) integration for programming practice and evaluation, and Git (GitHub) for project submissions and automatic code evaluation. In this paper, we describe the details of how we set up the tools and customized those for computer science courses. Based on our experiences, we also provide a few insights on using these tools for effective learning. © 2024, CC BY-NC-SA.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Identification of Idiom Usage in C++ Generic Libraries

Identification of Idiom Usage in C++ Generic Libraries

引用

IEEE Workshop on Program Comprehension

作者： Andrew Sutton Ryan Holeman Jonathan I. Maletic Department of Computer Science Kent University Kent OH USA

A tool supporting the automatic identification of programming idioms specific to the construction of C++ generic libraries is presented. The goal is to assist developers in understanding the complex syntactic elements of these libraries. Large C++ generic libraries are notorious for being extremely difficult to comprehend due to their use of advanced language features and idiomatic nature. To facilitate automated identification, the idioms are equated to micropatterns, which can be evaluated by a fact extractor. These micropattern instances act as beacons for the idioms being identified. The method is applied to study a number of widely used open source C++ generic libraries.

关键词： Program processors Data structures Software libraries Object oriented programming Computer science Application software Casting Computer languages automatic programming Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

A Software Safety Certification Tool for automatically Generated Guidance, Navigation and Control Code

A Software Safety Certification Tool for Automatically Gener...

引用

IEEE Conference on Aerospace

作者： Ewen Denney Steven Trac NASA Ames Research Center Moffett Field CA USA University of Miami Coral Gables FL USA

Model-based' design and automated code generation are being used increasingly at NASA. Many NASA projects now use MathWorks Simulink and Real- Time Workshop for at least some of their modeling and code development. The trend is to move beyond simulation and prototyping to actual flight code, particularly in the Guidance, Navigation, and Control domain. However, there are substantial obstacles to more widespread adoption of code generators in such safety-critical domains. Since code generators are typically not qualified, there is no guarantee that their output is correct, and consequently the generated code still needs to be fully tested and certified. Moreover, the regeneration of code can require complete recertification, which offsets many of the advantages of using a generator. Indeed, manual review of autocode can be more challenging than for hand-written code. Since the direct V&V of code generators is too laborious and complicated due to their complex (and often proprietary) nature, we have developed a generator plug-in to support the subsequent certification of the code that is generated. Specifically, the AutoCert tool supports certification by formally verifying that the generated code is free of different safety violations, by constructing an independently verifiable certificate, and by explaining its analysis in a textual form suitable for code reviews. This enables missions to obtain assurance about the safety and reliability of the code without excessive manual V&V effort and, as a consequence, increases the acceptance of code generators in safety-critical contexts. The generation of explicit certificates and textual reports is particularly well-suited to supporting independent V&V. The key technical idea of our approach is to exploit the idiomatic nature of auto-generated code in order to automatically infer logical annotations. These allow the automatic formal verification of the safety properties without requiring access to the internals of the code

关键词： Software safety Certification Navigation automatic generation control NASA Aerospace simulation Virtual prototyping automatic control Testing automatic programming

来源：评论

学校读者我要写书评

暂无评论

Improving software quality via code searching and mining

Improving software quality via code searching and mining

引用

ICSE Workshop on Search-Driven Development-Users, Infrastructure, Tools and Evaluation, SUITE

作者： Madhuri R. Marri Suresh Thummalapenta Tao Xie Department of Computer Science North Carolina State University USA

ISBN: (纸本)9781424437405

Enormous amount of open source code is available on the Internet and various code search engines (CSE) are available to serve as a means for searching in open source code. However, usage of CSEs is often limited to simple tasks such as searching for relevant code examples. In this paper, we present a generic life-cycle model that can be used to improve software quality by exploiting CSEs. We present three example software development tasks that can be assisted by our life-cycle model and show how these three tasks can contribute to improve the software quality. We also show the application of our life-cycle model with a preliminary evaluation.

关键词： Software quality Internet Search engines Computer science Application software programming profession Open source software automatic programming Pattern analysis Large-scale systems

来源：评论

学校读者我要写书评

暂无评论

The Implementation of Evolvable Hardware Closed Loop

The Implementation of Evolvable Hardware Closed Loop

引用

International Conference on Intelligent Computation Technology and Automation, ICICTA

作者： Jie Chu Qiang Zhao Guo-liang Ding Liang Yuan Department of Computer Engineering Mechanical Engineering College Shijiazhuang China

To find an easy experimental way for evolvable hardware (EHW), an closed loop platform was discussed based on a field programmable gate array (FPGA) chip, a microprocessing unit (MPU) and the software tool-Quartus II. A binary digit to VHDL converter was proposed. It facilitated the using of the different FPGA chips as evolving carriers and avoided learning of the technological details inside the chips and analyzing of the different and complicated bitstream structures of chips. Tool command language (Tcl) scripting was used to create a Quartus II projectand add VHDL files into the project automatically. Command-line operation and batch processing were used to achieve analysis, synthesis, and programming FPGAs automatically step by step. The closed loop was implemented, which is the key of online evolution study for EHW. The students can conduct EHW experiments and needn't to know the bitstreamstructures of FPGA with the closed loop platform.

关键词： Hardware Field programmable gate arrays Biological cells Automation Mechanical engineering Educational institutions Software tools Command languages automatic programming Impedance

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：