Feature extraction of the first difference of EMG time series for EMG pattern recognition

This paper demonstrates the utility of a differencing technique to transform surface EMG signals measured during both static and dynamic contractions such that they become more stationary. The technique was evaluated by three stationarity tests consisting of the variation of two statistical properties, i.e., mean and standard deviation, and the reverse arrangements test. As a result of the proposed technique, the first difference of EMG time series became more stationary compared to the original measured signal. Based on this finding, the performance of time-domain features extracted from raw and transformed EMG was investigated via an EMG classification problem (i.e., eight dynamic motions and four EMG channels) on data from 18 subjects. The results show that the classification accuracies of all features extracted from the transformed signals were higher than features extracted from the original signals for six different classifiers including quadratic discriminant analysis. On average, the proposed differencing technique improved classification accuracies by 2–8%.     

PEM: The small company-dedicated software process quality evaluation method combining CMMISM and ISO/IEC 14598

Many small software organizations have recognized the need to improve their software product. Evaluating the software product alone seems insufficient since it is known that its quality is largely dependant on the process that is used to create it. Thus, small organizations are asking for evaluation of their software processes and products. The ISO/IEC 14598-5 standard is already used as a methodology basis for evaluating software products. This article explores how it can be combined with the CMMI to produce a methodology that can be tailored for process evaluation in order to improve their software processes. ^SM: CMMI is a service mark of Carnegie-Mellon University. Sylvie Trudel has over 20 years of experience in software. She worked for more than 10 years in development and implementation of management information systems and embedded real-time systems. Since 1996, she works as a process improvement specialist, implementing best practices into organizations processes from CMM and CMMI models. She performed several CMM and CMMI assessments and participated in many other CMM assessments such as CBA IPI, SCE, and other proprietary methods. She obtained a bachelors degree in computer science in 1986 from Laval University in Québec City and a Masters degree in Software Engineering at école de Technologie Supérieure (éTS) in Montréal. Sylvie is currently working as a software engineering advisor at the Centre de Recherche Informatique de Montréal (CRIM). Jean-Marc Lavoie has been working in software development for over 10 years. He performed and published a comparative study between the guide to the SWEBOK and the CMMI in 2003. Jean-Marc obtained a bachelor degree in Electrical Engineering. He is pursuing a Masters degree in Software Engineering at école de Technologie Supérieure (éTS) in Montréal while working as a software architect at Trisotech. Marie-Claude Pare has been working in software development for 7 years. Marie-Claude obtained a bachelor degree in Software Engineering from école Polytechnique in Montréal. She is pursuing a Masters degree in Software Engineering at école de Technologie Supérieure (éTS) in Montréal while working as a software engineer at Motorola GSG Canada. Dr Witold Suryn is a Professor at the école de technologie supérieure, Montreal, Canada (engineering school of the Université du Québec network of institutions) where he teaches graduate and undergraduate software engineering courses and conducts research in the domain of software quality engineering, software engineering body of knowledge and software engineering fundamental principles. Dr Suryn is also the principal researcher and the director of GELOG : IQUAL, the Software Quality Engineering Research Group at école de technologie supérieure. From October 2003 Dr. Suryn holds the position of the International Secretary of ISO/IEC SC7 – System and Software Engineering.     

Properties of two’s complement floating point notations

Few designs, mostly those of Texas Instruments, continue to use twos complement floating point units. Such units are simpler to build and to validate, but they do not comply to the dominant IEEE standard for floating point arithmetic. We compare some properties of the two systems in this text. Some features are lost, but others remain unchanged. One strong example is the case of Sterbenzs theorem and our recent extension. We show in the paper that the theorem and its extension hold for the twos complement architecture. Still, users should ensure that results are large enough on circuits that do not implement gradual underflow. Theorems have been proven and validated using the Coq automatic proof checker.     

A feasibility study on the use of anthropometric variables to make muscle–computer interface more practical

High classification accuracy has been achieved for muscle–computer interfaces (MCIs) based on surface electromyography (EMG) recognition in many recent works with an increasing number of discriminated movements. However, there are many limitations to use these interfaces in the real-world contexts. One of the major problems is compatibility. Designing and training the classification EMG system for a particular individual user is needed in order to reach high accuracy. If the system can calibrate itself automatically/semi-automatically, the development of standard interfaces that are compatible with almost any user could be possible. Twelve anthropometric variables, a measurement of body dimensions, have been proposed and used to calibrate the system in two different ways: a weighting factor for a classifier and a normalizing value for EMG features. The experimental results showed that a number of relationships between anthropometric variables and EMG time-domain features from upper-limb muscles and movements are statistically strong (average r=0.71?0.80) and significant (p<0.05). In this paper, the feasibility to use anthropometric variables to calibrate the EMG classification system is shown obviously and the proposed calibration technique is suggested to further improve the robustness and practical use of MCIs based on EMG pattern recognition.     

Preference-based English reverse auctions

This paper studies English reverse auctions within a unified framework for preference-based English reverse auctions. In this context, and particularly for electronic auctions, representing and handling the buyer?s preferences, so as to enable him/her to obtain the best possible outcome, is a major issue. Existing auction mechanisms, which are based on single or multi-attribute utility functions, are only able to represent transitive and complete preferences. It is well known, however, in the preference modeling literature that more general preference structures, allowing intransitivity and incomparability, are more appropriate to capture preferences. On the other hand, we must also consider properties on the evolution and, above all, on the outcome of any auction executed by an auction mechanism. These properties, as well as properties of non-dominance and fair competition defined for multiple criteria auctions, impose restrictions on the preference relation. This leaves room for interesting preference models to be implemented within English reverse auction mechanisms.     

Evolutionary Climate-Change Modelling: A Multi-Agent Climate-Economic Model

In climate-economic modelling, agent-based models are still an exception. Although numerous authors have discussed the usefulness of the approach, only a few models exist. The paper proposes an update to a multi-agent climate-economic model, namely the “battle of perspectives” (Janssen, 1996; Janssen and de Vries 1998). The approach of the paper is twofold. First, the reimplementation of the model follows the “model to model” concept. Supporters of the approach argue that replication is a useful way to check a model’s accuracy and robustness. Second, updating a model with current data and new scientific evidence is a robustness check in itself. The long-term validity and usefulness of a model depends on the variability of the data on which it is based, as well as on the model’s sensitivity to data changes. By offering this update, the paper contributes to the development of agent-based models in climate-economics. Acknowledging evolutionary processes in climate-policy represents a useful complement to intertemporal cost-benefit analyses, the latter of which derive optimal protection paths but are not able to explain why people do not follow them. Since the replication and update succeeded, the paper recommends using the model as a basis for further analysis.     

Empirical Study on Collaborative Writing: What Do Co-authors Do, Use, and Like?

How do people work when they are collaborating to write a document? What kind of tools do they use and, in particular, do they resort to groupware for this task? Forty-one people filled out a questionnaire placed on the World Wide Web. In spite of the existence of specialized collaborative writing tools, most respondents reported using individual word processors and email as their main tools for writing joint documents. Respondents noted the importance of functions such as change tracking, version control, and synchronous work for collaborative writing tools. This study also confirmed the great variability that exists between collaborative writing projects, whether it be group membership, management, writing strategy, or scheduling issues.     

Identification of design motifs with pattern matching algorithms

Design patterns are important in software maintenance because they help in understanding and re-engineering systems. They propose design motifs, solutions to recurring design problems. The identification of occurrences of design motifs in large systems consists of identifying classes whose structure and organization match exactly or approximately the structure and organization of classes as suggested by the motif. We adapt two classical approximate string matching algorithms based on automata simulation and bit-vector processing to efficiently identify exact and approximate occurrences of motifs. We then carry out two case studies to show the performance, precision, and recall of our algorithms. In the first case study, we assess the performance of our algorithms on seven medium-to-large systems. In the second case study, we compare our approach with three existing approaches (an explanation-based constraint approach, a metric-enhanced explanation-based constraint approach, and a similarity scoring approach) by applying the algorithms on three small-to-medium size systems, JHotDraw, Juzzle, and QuickUML. Our studies show that approximate string matching based on bit-vector processing provides efficient algorithms to identify design motifs.