Formalizing Performance Evaluation of Mobile Manipulator Robots Using CTML

Author(s):  
Omar Aboul-Enein ◽  
Yaping Jing ◽  
Roger Bostelman

Abstract Computation Tree Measurement Language (CTML) is a newly developed formal language that offers simultaneous model verification and performance evaluation measures. While the theory behind CTML has been established, the language has yet to be tested on a practical example. In this work, we wish to demonstrate the utility of CTML when applied to a real-world application based in manufacturing. Mobile manipulators may enable more flexible, dynamic workflows within industry. Therefore, an artifact-based performance measurement test method for mobile manipulator robots developed at the National Institute of Standards and Technology was selected for evaluation. Contributions of this work include the modeling of robot tasks implemented for the performance measurement test using Petri nets, as well as the formulation and execution of sample queries using CTML. To compare the numerical results, query support, ease of implementation, and empirical runtime of CTML to other temporal logics in such applications, the queries were re-formulated and evaluated using the PRISM Model Checker. Finally, a discussion is included that considers future extensions of this work, relative to other existing research, that could potentially enable the integration of CTML with Systems Modeling Language (SysML) and Product Life-cycle Management (PLM) software solutions.

Author(s):  
Tahere Yaghoobi ◽  
Firoozeh Haddadi

Purpose Performance measurement, especially at the enterprise level, requires intense consideration of experts and managers in organizations from both theoretical and practical aspects. The purpose of this paper is to investigate the overall organizational performance by developing a performance evaluation model, based on integrating two methodologies of balanced scorecard (BSC) – a multiple perspective plan for performance assessment – and analytic hierarchy process (AHP) – a structured technique for organizing and analyzing complex decisions. Design/methodology/approach The method was conducted in Isfahan Telecommunications Company (ITC), in 2013. In total, 27 managers of ITC were invited to participate. First, according to overall firm goals, key performance indicators (KPIs) were established with respect to four perspectives of BSC framework. Then pairwise comparisons were done, through standard AHP questionnaires, to determine the preference weights of each indicator and perspective and give precedence to them. Findings Organizational performance can be measured by the proposed model in a telecommunications industry. According to the adopted method, company KPIs, relative importance of BSC perspectives and performance evaluation of functional areas were identified. Practical implications This study provides guidance regarding strategies for improving organizational performance beyond the financial perspective. Originality/value Previous studies illustrate various applications of joint BSC and AHP. However, this study applies the integrated framework throughout an organization in a new application field and shows not only company’s features but also telecommunications industry features.


Author(s):  
Ning Pan ◽  
Melissa Lum ◽  
Brian Tran

Current instrumental technology in evaluating performance of skin care creams is still rather limited and there are no industrial standard testing equipment, method and performance specifications for it.  In this paper, we report our attempt in using an instrument called PhabrOmeter for this purpose. PhabrOmeter is a commercialized instrument for sensory performance evaluation of textiles, leather, paper and nonwoven and has been designated by American Association of Textile Chemists and Colorists (AATCC) as a standard test method for textiles, AATCC TM 202 in 2013.    By adopting artificial skin samples treated with skin care creams, we have developed a procedure to apply this instrument for evaluation of skin care creams from sample preparation, measurement to data analysis and interpretation. The results using commercial skin care creams to demonstrate the feasibility and advantages of this instrument are provided.


2013 ◽  
Vol 291-294 ◽  
pp. 2990-2994
Author(s):  
Jun Ling Zhang ◽  
Shu Yi Zhou

This paper tries to construct a five-dimensional informatization performance measurement indicator system on the basis of BSC and Performance Prism for small-and-medium sized enterprises and combined with AHP and Delphi method proposes the firm performance evaluation steps. in order to present a new approach to evaluate the small-and-medium sized enterprises.


2012 ◽  
Vol 87 (4) ◽  
pp. 1309-1334 ◽  
Author(s):  
Mirko S. Heinle ◽  
Christian Hofmann ◽  
Alexis H. Kunz

ABSTRACT We examine the impact of identity preferences on the interrelation between incentives and performance measurement. In our model, a manager identifies with an organization and loses utility to the extent that his actions conflict with effort-standards issued by the principal. Contrary to prior arguments in the literature, we find conditions under which a manager who identifies strongly with the organization receives stronger incentives and faces more performance evaluation reports than a manager who does not identify with the organization. Our theory predicts that managers who experience events that boost their identification with the firm can decrease their effort in short-term value creation. We also find that firms are more likely to employ less precise but more congruent performance measures, such as stock prices, when contracting with managers who identify little with the organization. In contrast, they use more precise but less congruent measures, such as accounting earnings, when contracting with managers who identify strongly with the firm.


2017 ◽  
Vol 7 (1) ◽  
pp. 192 ◽  
Author(s):  
Amani Hussein

Nowadays, complexity in the business environment, and advanced technology intensified the challenges for more management accounting information to meet global competition. Therefore, contemporary management accounting practices have emerged which focused on financial and non-financial information to support managers’ decision making. The research aimed at examining the adoption, importance and barriers to the implementation of CMAPs. To achieve the research aim a list of forty MAPs, 171 questionnaires and factor analysis were used. In terms of MAPs adoption the results indicated 9 factors :fundamental TMAPs; control; WCM; performance evaluation non-financial; budgeting for planning cash flows ;contemporary decision support; traditional decision support; planning and capital budget practice. In terms of importance there are 10 factors; benchmarking practices; costing and decision support; fundamental TMAPs; traditional performance evaluation; control; contemporary performance evaluation; budget for planning day to day; WCM –MRP practice, product life cycle practice and performance evaluation – customer satisfaction. The main conclusion was the relative adoption of TMAPs are higher than CMAPs however, the Egyptian companies are realizing the importance of large number of CMAPs. Moreover, the research examined barriers that could limit the implementation of CMAPs and revealed that the highest barriers were; it takes longer time to change the societal values and practices, high degree of uncertainty avoidance and high cost to implement these advanced practices respectively.


2019 ◽  
Vol 2019 ◽  
pp. 1-13 ◽  
Author(s):  
Long Chen ◽  
Wen-ku Shi ◽  
Zhi-yong Chen

Theoretical modeling and experimental research are carried out on the dynamic torsional characteristics of a dual-mass flywheel (DMF) in this paper. Firstly, the structure and working principle of the DMF are analyzed. Secondly, the arc spring is analyzed by the discrete element method. For the different frictional torques in the working process, the linear fitting and equivalent energy methods are used to model the frictional torque under the dynamic condition of the arc spring. The fractional derivative model is used to model the viscous damping of DMF. Then, the parameter identification and model verification are carried out on the model, and the model error is analyzed. Finally, an experimental study on the dynamic torsional characteristics of DMF is carried out. The results demonstrate that the torsional stiffness of the DMF varies with the excitation amplitude and frequency. This modeling and test method can be used for structural design and performance prediction analysis of DMF.


Sign in / Sign up

Export Citation Format

Share Document