A multivariate fuzzy c-means method

Fuzzy c-means (FCMs) is an important and popular unsupervised partitioning algorithm used in several application domains such as pattern recognition, machine learning and data mining. Although the FCM has shown good performance in detecting clusters, the membership values for each individual computed to each of the clusters cannot indicate how well the individuals are classified. In this paper, a new approach to handle the memberships based on the inherent information in each feature is presented. The algorithm produces a membership matrix for each individual, the membership values are between zero and one and measure the similarity of this individual to the center of each cluster according to each feature. These values can change at each iteration of the algorithm and they are different from one feature to another and from one cluster to another in order to increase the performance of the fuzzy c-means clustering algorithm. To obtain a fuzzy partition by class of the input data set, a way to compute the class membership values is also proposed in this work. Experiments with synthetic and real data sets show that the proposed approach produces good quality of clustering.     

A novel technique for producing metallic microjets and microdrops

A new technique for producing steady metallic jets is proposed. It allows the production of supercritical jets with Weber numbers well below unity, which entails important technological advantages over existing techniques. The metallic liquid is injected through a micrometer converging nozzle located inside a gas stream. Both the liquid jet and the coflowing gas current cross an orifice located in front of the nozzle. The gas stream stabilizes the jet by sweeping away the capillary waves growing on the free surface. In this way, one can steadily produce microjets with a kinetic energy much lower than the interfacial energy, a possibility that has been predicted theoretically (Gañán-Calvo in Phys Rev E 78:026304, 2008). Experiments were conducted with mercury to assess the performance of the new technique. The experimental results agreed remarkably well with the predictions calculated from the convective/absolute instability transition of the jet. The jet breakup mechanism did not correspond to classical Rayleigh instability, but to the growth of surface waves over a capillary column which ends at a fixed location. The results were compared with those obtained with the well-established flow focusing method to show that the new technique considerably favors the jet’s stability.     

Experience with model-based performance, reliability, and adaptability assessment of a complex industrial architecture

In this paper, we report on our experience with the application of validated models to assess performance, reliability, and adaptability of a complex mission critical system that is being developed to dynamically monitor and control the position of an oil-drilling platform. We present real-time modeling results that show that all tasks are schedulable. We performed stochastic analysis of the distribution of task execution time as a function of the number of system interfaces. We report on the variability of task execution times for the expected system configurations. In addition, we have executed a system library for an important task inside the performance model simulator. We report on the measured algorithm convergence as a function of the number of vessel thrusters. We have also studied the system architecture adaptability by comparing the documented system architecture and the implemented source code. We report on the adaptability findings and the recommendations we were able to provide to the system’s architect. Finally, we have developed models of hardware and software reliability. We report on hardware and software reliability results based on the evaluation of the system architecture.     

Software reuse: The Brazilian industry scenario

This paper aims at identifying some of the key factors in adopting an organization-wide software reuse program. The factors are derived from practical experience reported by industry professionals, through a survey involving 57 Brazilian small, medium and large software organizations. Some of them produce software with commonality between applications, and have mature processes, while others successfully achieved reuse through isolated, ad hoc efforts. The paper compiles the answers from the survey participants, showing which factors were more associated with reuse success. Based on this relationship, a guide is presented, pointing out which factors should be more strongly considered by small, medium and large organizations attempting to establish a reuse program.     

A review on the combination of binary classifiers in multiclass problems

Several real problems involve the classification of data into categories or classes. Given a data set containing data whose classes are known, Machine Learning algorithms can be employed for the induction of a classifier able to predict the class of new data from the same domain, performing the desired discrimination. Some learning techniques are originally conceived for the solution of problems with only two classes, also named binary classification problems. However, many problems require the discrimination of examples into more than two categories or classes. This paper presents a survey on the main strategies for the generalization of binary classifiers to problems with more than two classes, known as multiclass classification problems. The focus is on strategies that decompose the original multiclass problem into multiple binary subtasks, whose outputs are combined to obtain the final prediction.     

A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas

Explaining the causes of infeasibility of Boolean formulas has practical applications in numerous fields, such as artificial intelligence (repairing inconsistent knowledge bases), formal verification (abstraction refinement and unbounded model checking), and electronic design (diagnosing and correcting infeasibility). Minimal unsatisfiable subformulas (MUSes) provide useful insights into the causes of infeasibility. An unsatisfiable formula often has many MUSes. Based on the application domain, however, MUSes with specific properties might be of interest. In this paper, we tackle the problem of finding a smallest-cardinality MUS (SMUS) of a given formula. An SMUS provides a succinct explanation of infeasibility and is valuable for applications that are heavily affected by the size of the explanation. We present (1) a baseline algorithm for finding an SMUS, founded on earlier work for finding all MUSes, and (2) a new branch-and-bound algorithm called Digger that computes a strong lower bound on the size of an SMUS and splits the problem into more tractable subformulas in a recursive search tree. Using two benchmark suites, we experimentally compare Digger to the baseline algorithm and to an existing incomplete genetic algorithm approach. Digger is shown to be faster in nearly all cases. It is also able to solve far more instances within a given runtime limit than either of the other approaches.     

The Green language type system

A programming language that considers basic values and classes as objects brings more opportunities of code reuse and it is easier to use than a language that does not support this feature. However, popular statically typed object-oriented languages do not consider classes as first-class objects because this concept is difficult to integrate with static type checking. They also do not consider basic values as objects for sake of efficiency. This article presents the Green language type system which supports classes as classless objects and offers a mechanism to treat basic values as objects. The result is a reasonably simple type system which is statically typed and easy to implement. It simplifies several other language mechanisms and prevents any infinite regression of metaclasses.     

NodeWiz: Fault-tolerant grid information service

Large scale grid computing systems may provide multitudinous services, from different providers, whose quality of service will vary. Moreover, services are deployed and undeployed in the grid with no central coordination. Thus, to find out the most suitable service to fulfill their needs, or to find the most suitable set of resources on which to deploy their services, grid users must resort to a Grid Information Service (GIS). This service allows users to submit rich queries that are normally composed of multiple attributes and range operations. The ability to efficiently execute complex searches in a scalable and reliable way is a key challenge for current GIS designs. Scalability issues are normally dealt with by using peer-to-peer technologies. However, the more reliable peer-to-peer approaches do not cater for rich queries in a natural way. On the other hand, approaches that can easily support these rich queries are less robust in the presence of failures. In this paper we present the design of NodeWiz, a GIS that allows multi-attribute range queries to be performed efficiently in a distributed manner, while maintaining load balance and resilience to failures.     

Relaxation of the mouse pubic symphysis during late pregnancy is not accompanied by the influx of granulocytes

In some animals, such as mice and guinea pigs, a hormonally controlled mechanism increases the flexibility of the pubic symphysis and enhances the cervical remodeling necessary for safe delivery. Cervical ripening during pregnancy is associated with a paradoxical influx of leukocytes. However, the changes in cell metabolism during relaxation of the mouse pubic symphysis for delivery have not been extensively studied. In this work, we used light microscopy and transmission and scanning electron microcopy, as well as immunohistochemistry and Western blotting for MMP-8, to investigate the involvement of granulocytes or resident stromal cells in the relaxation of the virgin pubic symphysis during late pregnancy (days 18 and 19, before delivery) in vivo and in explanted joints. MMP-8 was studied because this collagenase is a hallmark for cervical ripening associated with the influx of granulocytes during late pregnancy. Extensive dissolution and disorganization of the extracellular matrix was seen around fibroblastic-like cells in late pregnancy. In contrast to the cervix (positive control), morphological and immunohistochemical analyses revealed that there was no characteristic cellular inflammatory response in the interpubic tissue. Staining for MMP-8 was observed in chondroid and fibroblastic-like cells of virgin and relaxed interpubic ligament, respectively. However, no granulocytes were seen during the extensive remodeling of the pubic joint in late pregnancy. These results indicate that constitutive stromal cells may have an important role in tissue relaxation during remodeling of the pubic symphysis in pregnancy.