Agile Tasking of Robotic Systems with Explicit Autonomy

Task agility is an increasingly desirable feature for robots in application domains such as manufacturing. The Canonical Robot Command Language (CRCL) is a lightweight information model built for agile tasking of robotic systems. CRCL replaces the underlying complex proprietary robot programming interface with a standard interface. In this paper, we exchange the automated planning component that CRCL used in the past for a rational agent in the Gwendolen agent programming language, thus providing greater possibilities for formal verification and explicit autonomy. We evaluate our approach by performing agile tasking in a kitting case study.

Audit Command Language (ACL) Analytics: A Practical Guide for Beginners

Tired of performing an audit manually? This module provides a useful step-by-step approach to perform an audit using ACL. Easy to understand and follow. No such module in the market so far. This module is designed to assist users on how to use ACL as a powerful tool to audit. The module is divided into 8 Chapters. Chapter 1 introduces audit and information technology (IT) audit, audit assertions, audit procedures, and the relationship between audit assertions and audit procedures. Chapter 2 explains ACL in the audit, describing in brief its advantages and disadvantages. Chapter 3 assists users with using ACL. In this chapter, users will learn how to install ACL (version 9), and get familiar with the ACL menus and user interfaces. This module uses a step-by-step approach to guide users from creating a new project from ACL to viewing and modifying the table in ACL. Chapter 4 elaborates how to use ACL commands for data integrity verification. For this purpose, users will learn how to count records, total numeric fields or expression, and check for validity errors. Chapter 5 shows users how to analyse their data using the ACL command. The analyse include statistics, stratify, classify, examine the sequence, check for gaps, check for duplicates, ageing, and summarise commands. The remaining chapters cover three main accounting information systems (AIS) cycles, namely, sales and cash receipts (Chapter 6), purchase and cash payments (Chapter 7), and human resource (Chapter 8). For each cycle, cases are given for better assimilation.

Comparação da classificação na prova da OBMEP por meio da Teoria de Resposta ao Item (TRI) e da Teoria Clássica de Testes (TCT)

Este estudo objetiva investigar se a Teoria de Resposta ao Item (TRI) se aplica na Olimpíada Brasileira de Matemática-OBMEP-2017 e comparar com o modelo tradicional de Teoria Clássica de Testes (TCT). A amostra foi composta por 350 estudantes que estavam cursando o ensino médio, no Instituto Federal de Educação, Ciência e Tecnologia do Sudeste de Minas Gerais (IF SUDESTE), campus Rio Pomba/MG. Avaliou-se os itens (questões) da prova da OBMEP-2017 (nível 3) primeira etapa. A análise das questões foi pelo modelo de Teoria de Resposta ao Item (TRI) e análise dos parâmetros pelo Programa Computacional ICL (IRT Command Language). Os dados foram analisados na Linguagem R. Conclui-se que a TRI é aplicável às provas da OBMEP no que diz respeito ao ajuste dos modelos logísticos com 1, 2 e 3 parâmetros, já o modelo de 3 parâmetros foi o que apresentou melhor ajuste pelo Critério de Informação de Akaike (AIC).

PENGGUNAAN PROFILE, STATISTIC, DAN STRATIFY D ALAM MENGAUDIT ACCOUNT RECEIVABLE (STUDI KASUS)

<p class="Style1">Computer Assisted Audit Techniques (CAATs) refers to the software ACL (Audit Command Language Version 9), is useful to calculate profile, statistics, and stratibi automatically. It uses to know the whether the occurrence of anomalies in an Account Receivable (AR) balances information. The field amount were used where the final balances ofAR are stored. This research has discussed the 161 records from 772 records have negative balances or 27.72% of total AR Balances. The research has examined the company policy against negative balances. Does a negative balance can be converted into goods or collateral accounts. If a positive balance equal to a negative balance, the AR balance will be zero.<em> This leads to miss interpretation of the AR and affect the credibility of sales information, which the Information is as no sale occurred when credit sales did occurred.</em></p><p class="Style1"><em><br /></em></p>

How I Learned to Love Normal-Mode Rossby–Haurwitz Waves

Several important developments in the 1960s showed the way to using spectral analysis to identify and describe atmospheric waves predicted by theory. Among these waves were normal-mode Rossby–Haurwitz waves (NMRHWs). What follows is, first, a brief outline of how the influence of these developments on analyses of data collected during the Line Islands Experiment led to work on NMRHWs. Next, theoretical expectations of free NMRHWs as described by Kasahara and Kasahara and Puri in the early 1980s are discussed. Finally, spectral analyses of observed vorticity fields are presented for easy comparison with those expectations. The similarity between these relatively simple model predictions and observations is unique in meteorology, where complexity is the general rule. Readily available routines coded in NCAR Command Language (NCL) were used to isolate NMRHWs. It should be noted that, while these routines provide approximations to the theoretical predictions, open-access software for exact solutions has become available.

APPLICATION OF GENETIC PROGRAMMING TOOLS AS A MEANS OF SOLVING OPTIMIZATION PROBLEMS

Purpose. The article is devoted to the problem of practical application of genetic programming tools as a means of solving optimization problems and the use of genetic programming in various fields of activity. It is established that the evolution of genetic programming is directly related to the development of the genetic algorithm, it is also determined that with the passage of time a significant improvement in genetic programming has occurred. Since the advent of the genetic algorithm, many modifications and software implementations have appeared. This in turn led to the implementation of the genetic algorithm toolkit in software products, namely: specialized software, applications for mathematical and analytical packages, frameworks and libraries. The article reveals the significant impact of genetic programming in the areas of: quantum computing, electrical circuit design, etc. Not only advantages, but also disadvantages are considered, attention is also paid to methods of eliminating deficiencies by improving optimization methods and applying a genetic algorithm. Results. The analysis of the main directions of the practical use of genetic programming is carried out and tasks that can be effectively solved using this toolkit are outlined. Scientific novelty. It was determined that the improvement of optimization methods and the expansion of the use of genetic algorithms, stimulates the appearance of such software products on the market, simplifies the structure of software tools, designs the interface for working with a specific commercial user community, simplifies the command language, which allows the use of genetic programming tools circle of users with different levels of training.