Parallelization of Logical Inference for Confluent Rule-based System

* This paper was made according to the program № 14 of fundamental scientific research of the Presidium of the Russian Academy of Sciences, the project 06-I-П14-052

A Log Tool for Software Systems Analyses

The article presents a new type of logs merging tool for multiple blade telecommunication systems based on the development of a new approach. The introduction of the new logs merging tool (the Log Merger) can help engineers to build a processes behavior timeline with a flexible system of information structuring used to assess the changes in the analyzed system. This logs merging system based on the experts experience and their analytical skills generates a knowledge base which could be advantageous in further decision-making expert system development. This paper proposes and discusses the design and implementation of the Log Merger, its architecture, multi-board analysis of capability and application areas. The paper also presents possible ways of further tool improvement e.g. - to extend its functionality and cover additional system platforms. The possibility to add an analysis module for further expert system development is also considered.

Data Mining for Software Development Life Cycle Quality Management

Computer software plays an important role in business, government, society and sciences. To solve real-world problems, it is very important to measure the quality and reliability in the software development life cycle (SDLC). Software Engineering (SE) is the computing field concerned with designing, developing, implementing, maintaining and modifying software. The present paper gives an overview of the Data Mining (DM) techniques that can be applied to various types of SE data in order to solve the challenges posed by SE tasks such as programming, bug detection, debugging and maintenance. A specific DM software is discussed, namely one of the analytical tools for analyzing data and summarizing the relationships that have been identified. The paper concludes that the proposed techniques of DM within the domain of SE could be well applied in fields such as Customer Relationship Management (CRM), eCommerce and eGovernment. ACM Computing Classification System (1998): H.2.8.

Re-visualising international relations:audio-visual projects and direct encounters with the political in security studies

In this paper we discuss how an innovative audio-visual project was adopted to foster active, rather than declarative learning, in critical International Relations (IR). First, we explore the aesthetic turn in IR, to contrast this with forms of representation that have dominated IR scholarship. Second, we describe how students were asked to record short audio or video projects to explore their own insights through aesthetic and non-written formats. Third, we explain how these projects are understood to be deeply embedded in social science methodologies. We cite our inspiration from applying a personal sociological imagination, as a way to counterbalance a ‘marketised’ slant in higher education, in a global economy where students are often encouraged to consume, rather than produce knowledge. Finally, we draw conclusions in terms of deeper forms of student engagement leading to new ways of thinking and presenting new skills and new connections between theory and practice.

CloudMPL:a domain specific language for describing management policies for an autonomic cloud infrastructure

To benefit from the advantages that Cloud Computing brings to the IT industry, management policies must be implemented as a part of the operation of the Cloud. Among others, for example, the specification of policies can be used for the management of energy to reduce the cost of running the IT system or also for security policies while handling privacy issues of users. As cloud platforms are large, manual enforcement of policies is not scalable. Hence, autonomic approaches for management policies have recently received a considerable attention. These approaches allow specification of rules that are executed via rule-engines. The process of rules creation starts by the interpretation of the policies drafted by high-rank managers. Then, technical IT staff translate such policies to operational activities to implement them. Such process can start from a textual declarative description and after numerous steps terminates in a set of rules to be executed on a rule engine. To simplify the steps and to bridge the considerable gap between the declarative policies and executable rules, we propose a domain-specific language called CloudMPL. We also design a method of automated transformation of the rules captured in CloudMPL to the popular rule-engine Drools. As the policies are changed over time, code generation will reduce the time required for the implementation of the policies. In addition, using a declarative language for writing the specifications is expected to make the authoring of rules easier. We demonstrate the use of the CloudMPL language into a running example extracted from a management energy consumption case study.

Gesture Recognition Using Neural Networks Based on HW/SW Cosimulation Platform

Hardware/software (HW/SW) cosimulation integrates software simulation and hardware simulation simultaneously. Usually, HW/SW co-simulation platform is used to ease debugging and verification for very large-scale integration (VLSI) design. To accelerate the computation of the gesture recognition technique, an HW/SW implementation using field programmable gate array (FPGA) technology is presented in this paper. The major contributions of this work are: (1) a novel design of memory controller in the Verilog Hardware Description Language (Verilog HDL) to reduce memory consumption and load on the processor. (2) The testing part of the neural network algorithm is being hardwired to improve the speed and performance. The American Sign Language gesture recognition is chosen to verify the performance of the approach. Several experiments were carried out on four databases of the gestures (alphabet signs A to Z). (3) The major benefit of this design is that it takes only few milliseconds to recognize the hand gesture which makes it computationally more efficient.

Efeito agudo do exercício físico associado a praxias ideomotoras sobre as concentrações séricas de cortisol e memória declarativa em indivíduos com idade entre 51 e 74 anos

Introduction: Several modifications are identified as aging, causing more or less limitation imposed by over the years. Among these, one can highlight the different degrees of cognitive decline, particularly memory that can involve the daily activities and the subject functionality. Studies have shown an association between levels of serum cortisol and stress imposed by the exercise on this. However, there are few studies that references the performance on cognitive aspects of declarative memory and cortisol on the exercise in the water with automatic and práxicos movements and moderate. Objective: Check the effect based on the acute physical exercise and práxicos automatic movements on the performance of visual declarative memory and in serum cortisol in subjects aged between 51 and 74 years. Materials and Methods: It builds a survey characterized as cross with a first sample of 32 physically active subjects aged between 51 and 74 years, divided into two exercise groups (March of Automatic Group - MAG and the March of Praxis Group - MPG). We used a probabilistic and random sampling for sample selection. Used the MMSE (Mini Mental State Examination) to check the general cognitive status, visual acuity test - optotypes chart "E" Rasquin and was even used the declarative visual memory test proposed by Nitrini and collaborators (1994), applying before motor stimulation and immediately after, and the day of blood collection with 2 ml for analysis of cortisol hormone. The normality and homogeneity were verified from the Shapiro-Wilk and Levene tests. Thus we adopted a descriptive statistics to characterize the sample. The Split-Plot ANOVA was used along with the paired t-test to verify the identified differences. We adopted a significance level of p <0.05. Results: It was observed that the groups (MAG and MPG) and the anthropometric variables, perceived exertion, education, cognitive assessment and visual acuity showed no significant differences (p > 0.05), showing that the groups are homogeneous, with variables and similar means. After the stimulation session, lasting 30 min, it was observed that the amount of hits for Δ of declarative memory questionnaire visual images increased, presenting significant for both groups (MAG, p < 0.001; MPG, p = 0.042). The same was observed for cortisol concentration with a reduction in the levels immediately after the stimulus (MAG and MPG, p < 0.001). Conclusion: The results showed that the exercises proposed in its acute effect provide significantly memories of gains and also showed a reduction in cortisol levels.

Changing Attitudes And Expectations In A University Setting: A Case Study

First and second year students enrolled in a four-year movement education based university Physical Education program completed a questionnaire regarding their expectations on entering university. In addition, graduates of the program were interviewed, one year after graduation, with regard to their understanding of and attitude towards movement education and how these had developed relative to their overall degree program. Most students had no knowledge of movement education prior to entering the program and the selection of this particular program was simply coincidental with their desire to pursue physical education. Whereas the students did participate in an activity course and a theory course in Year 1, it was only when participating in a Year 2 movement course which combined theory and practice within the same course that students recognized the movement base of the content. The progress of the students through the program reflects distinct declarative and procedural stages in knowledge development followed by an ability to generalize that knowledge a conceptual stage. The real understanding of movement education came as the students were required to teach movement education to students, children, and other groups.

Supporting Run-time Monitoring of UML-RT through Customizable Monitoring Configurations in PapyrusRT

Model Driven Engineering uses the principle that code can automatically be generated from software models which would potentially save time and cost of development. By this methodology, a systems structure and behaviour can be expressed in more abstract, high level terms without some of the accidental complexity that the use of a general purpose language can bring. Models are the actual implementation of the system unlike in traditional software development where models are often used for documentation purposes only. However once the code is generated from the model, testing and debugging activities tend to happen on the code level and the model is not updated. We believe that monitoring on the model level could potentially facilitate quality assurance activities as the errors are detected in the early phase of development. In this thesis, we create a Monitoring Configuration for an open source model driven engineering tool called PapyrusRT in Eclipse. We support the run-time monitoring of UML-RT elements with a tracing tool called LTTng. We annotate the model with monitoring information to be used by the code generator for adding tracepoint statements for the corresponding elements. We provide the option of a timing specification to discover latency errors on the model. We validate the results by creating and tracing real time models in PapyrusRT.

Imperative, subjunctive, and the desiderative-appellative space in Spanish

After defining the “enunciative scheme” (sentence type) as a communicative unit, the imperative is characterized as a morphologized modality of appellative kind used when the following conditions occur: appellative meaning, 2nd person, future tense and absence of negation. In Spanish, any variation of any of these requirements determines that the subjunctive is used. We reject the idea that the imperative is a variant of subjunctive specialized in appellative function and that both modes share a desiderative morpheme. Working in this way means attributing to a morphological category of the verb a property that actually corresponds to the enunciative schemes (sentence types). We propose to integrate the imperative and subjunctive in the framework of what we call the “desiderative-appellative space”. This “space” brings together various grammatical or grammaticalized means based on the imperative and the subjunctive. Semantically, it is organized around a component of desirability (action appears as desirable) that, by varying several factors, configures a route that goes from a center (the imperative) to a periphery (the expression of desire).

FPGA-based soft-core processors for image processing applications

With security and surveillance, there is an increasing need to process image data efficiently and effectively either at source or in a large data network. Whilst a Field-Programmable Gate Array (FPGA) has been seen as a key technology for enabling this, the design process has been viewed as problematic in terms of the time and effort needed for implementation and verification. The work here proposes a different approach of using optimized FPGA-based soft-core processors which allows the user to exploit the task and data level parallelism to achieve the quality of dedicated FPGA implementations whilst reducing design time. The paper also reports some preliminary
progress on the design flow to program the structure. An implementation for a Histogram of Gradients algorithm is also reported which shows that a performance of 328 fps can be achieved with this design approach, whilst avoiding the long design time, verification and debugging steps associated with conventional FPGA implementations.

Memória e envelhecimento: Qual o real impacto da idade?

RESUMO Objetivos. O défice mnésico é uma das alterações cognitivas que mais afeta as pessoas idosas. A idade é considerada um dos fatores de relevo nas alterações de memória, inclusivamente pelas próprias pessoas idosas. A investigação tem mostrado que existem outros fatores além da idade que afetam a memória das pessoas idosas. Contudo, fica por esclarecer qual o real papel da idade sobre a memória quando é controlada a influência de outras variáveis. Assim, o presente estudo pretende analisar o impacto da idade no funcionamento mnésico de pessoas idosas e verificar se, ao controlar o papel de outras variáveis (sexo, escolaridade, profissão, situação civil, situação residencial e situação clínica), esse potencial impacto se mantém. Métodos. A amostra global foi constituída por 1126 participantes (283 homens e 843 mulheres; 226 residentes na comunidade e 900 em resposta social dirigida à população idosa) com idades compreendidas entre os 60 e os 100 anos. A avaliação foi realizada com recurso aos itens do Mini-Mental State Examination (memória de trabalho), o fator do Montreal Cognitive Assessment (memória declarativa verbal) e Figura Complexa de ReyOsterrieth (memória visuoespacial). Resultados. Globalmente, a idade, escolaridade, profissão, situação civil, residencial e clínica influenciaram a memória de forma diferenciada consoante o tipo de memória. As análises de regressão hierárquica mostraram que a idade é um fator preditivo em todos os tipos de memória. Emergiram ainda outros fatores preditivos com coeficientes de regressão superiores à idade conforme o tipo de memória (exceto na memória de trabalho). Conclusões. A idade, a escolaridade e a profissão influenciam a memória, assim como os fatores que potencialmente estimulam cognitiva e socialmente (como ter um companheiro e residir na comunidade). Os resultados apontam para a importância de intervir em pessoas em respostas sociais, mais idosas, sem companheiro, com baixa escolaridade e profissão manual. ABSTRACT Goals. Memory impairment is one of the types of cognitive impairment that most affects the elderly. Age is considered one of the major factors in memory impairment, including by the elderly themselves. Research has shown that there are other factors affecting memory of elderly persons. It remains, however, unclear what is the real impact of age in memory when controlling the influence of other variables. Thus, this study aims to analyze the impact of age on memory functioning of elderly persons and check if the potential impact remains when controlling the role of other variables (sex, education, profession, marital status, residential status, and clinical situation). Methods. The global sample comprised 1126 subjects (283 men and 843 women, 226 residents in the community and 900 institutionalized elderly) aged from 60 to 100 years. The assessment included items from the MiniMental State Examination (working memory), the Montreal Cognitive Assessment factor (verbal declarative memory), and Rey-Osterrieth Complex Figure (visuospatial memory). Results. Overall, age, education, profession, marital, residential, and clinical condition have differently influenced memory, depending on the type of memory. The hierarchical regression analysis showed that age is a predictive factor in all types of memory. However, other predictors have emerged with higher regression coefficients compared to age, according to the type of memory (except in working memory). Conclusions. Age, education and profession influence memory, as well as factors that potentially stimulate cognitively and socially (like having a partner and living in the community). The results indicate the importance of intervening, especially among institutionalized elderly, older, unmarried, with low education, and manual profession.

High-performance parallel systems for data-intensive computing

Thesis (Ph.D.)--University of Washington, 2016-08

PORBS: A parallel observation-based slicer

Abstract—This paper presents PORBS, a parallelised observation-based slicing tool. The tool itself is written in Java making it platform independent and leverages the build chain of the system being sliced to avoid the need to replicate complex compiler analysis. The target audience of PORBS is software engineers and researchers working with and on tools and techniques for software comprehension, debugging, re-engineering, and maintenance.

The Design and Implementation of a SD Card File System

SD card (Secure Digital Memory Card) is widely used in portable storage medium. Currently, latest researches on SD card, are mainly SD card controller based on FPGA (Field Programmable Gate Array). Most of them are relying on API interface (Application Programming Interface), AHB bus (Advanced High performance Bus), etc. They are dedicated to the realization of ultra high speed communication between SD card and upper systems. Studies about SD card controller, really play a vital role in the field of high speed cameras and other sub-areas of expertise. This design of FPGA-based file systems and SD2.0 IP (Intellectual Property core) does not only exhibit a nice transmission rate, but also achieve the systematic management of files, while retaining a strong portability and practicality. The file system design and implementation on a SD card covers the main three IP innovation points. First, the combination and integration of file system and SD card controller, makes the overall system highly integrated and practical. The popular SD2.0 protocol is implemented for communication channels. Pure digital logic design based on VHDL (Very-High-Speed Integrated Circuit Hardware Description Language), integrates the SD card controller in hardware layer and the FAT32 file system for the entire system. Secondly, the document management system mechanism makes document processing more convenient and easy. Especially for small files in batch processing, it can ease the pressure of upper system to frequently access and process them, thereby enhancing the overall efficiency of systems. Finally, digital design ensures the superior performance. For transmission security, CRC (Cyclic Redundancy Check) algorithm is for data transmission protection. Design of each module is platform-independent of macro cells, and keeps a better portability. Custom integrated instructions and interfaces may facilitate easily to use. Finally, the actual test went through multi-platform method, Xilinx and Altera FPGA developing platforms. The timing simulation and debugging of each module was covered. Finally, Test results show that the designed FPGA-based file system IP on SD card can support SD card, TF card and Micro SD with 2.0 protocols, and the successful implementation of systematic management for stored files, and supports SD bus mode. Data read and write rates in Kingston class10 card is approximately 24.27MB/s and 16.94MB/s.