Automatically running experiments on checking multi-party contracts

Contracts play an important role in business management where relationships among different parties are dictated by legal rules. Electronic contracts have emerged mostly due to technological advances and electronic trading between companies and customers. New challenges have then arisen to guarantee reliability among the stakeholders in electronic negotiations. In this scenario, automatic verification of electronic contracts appeared as an imperative support, specially the conflict detection task of multi-party contracts. The problem of checking contracts has been largely addressed in the literature, but there are few, if any, methods and practical tools that can deal with multi-party contracts using a contract language with deontic and dynamic aspects as well as relativizations, over the same formalism. In this work we present an automatic checker for finding conflicts on multi-party contracts modeled by an extended contract language with deontic operators and relativizations. Moreover a well-known case study of sales contract is modeled and automatically verified by our tool. Further, we performed practical experiments in order to evaluate the efficiency of our method and the practical tool.

     

Smoothing: A natural way to detect contour features

This work presents a dominant point detector. The angles of the contour are characterized through local entropy produced by a rotationally symmetric smoothing. The proposed scheme uses a punctual multi-scale approach in which only the candidates are analyzed in higher scales. To preserve the angle-entropy relationship in higher scales, we propose a smoothing kernel which presents special features that ensure its steepness in every scale. It is built from the sum of two Gaussians with different openings resembling center-surround receptive fields. The outputs of the proposed method are confronted to a ground-truth found in the literature, and to popular boundary based corner detectors that used the same set of images. Results reveal that the proposed detector performs extremely well.     

Synthesis, characterization and crystal structure of a novel thiocyanate–ruthenium(II) complex

The cis-[Ru(dppb)(Me-bipy)(NCS)₂], dppb = 1,4-bis (diphenylphosphino)butane, Me-bipy = 4,4′-dimethyl-2,2′-bipyridine, and NCS = thiocyanate, was synthesized and characterized by spectroscopic and electrochemical techniques and its structure was determined by crystal X-ray analysis. The crystal structure reveals that the coordination geometry around the Ru(II) center is distorted octahedron where two molecules of thiocyanate are bonded to the ruthenium through nitrogen atom in cis orientation. The half-wave formal potential value E_1/2 = 0.8 V (versus Ag/AgCl) observed is considerable higher than that for the cis-[RuCl₂(dppb)(Me-bipy)] complex, E_1/2 = 0.6 V (versus Ag/AgCl), well illustrating the strong π-acceptor effect the NCS ligand toward the backbonding interaction with the Ru(II) metal center. The MLCT absorption bands of the thiocyanate complex present a higher molar absorptivity (about 12%) compared with the cis-[RuCl₂(dppb)(Me-bipy)] complex, in the same experimental conditions. These properties make the complex potentially promising for the photosensitization process.     

Optimizing the use of dry cutting in rough turning steel operations

The main objective of using cutting fluids in machining operations is the reduction of temperature in the cutting region to increase tool life. However, the advantages offered by cutting fluids have been strongly debated because of their negative effects on the economic aspect, the environment and the health of workers using them. A trend to solve these problems is cutting without fluid, a method named dry cutting, which has been made possible due to technological innovations. This work aims to seek conditions in which dry cutting is satisfactory compared with the flood of fluid (called here wet cutting) usually used. Aiming at this goal, several experiments were carried out varying parameters such as cutting speed, feed, depth of cut and tool material in rough turning of ABNT 1045 steel in dry and wet cutting. The analysis of the results showed that wet turning is, as expected, better for tool life. The second conclusion is that dry cutting cannot be used with large depth of cut. But the main conclusion is that, if the tool material is changed to a more wear resistant one, dry cutting can be used with results very similar to those obtained with a flood of fluid.     

Human gait recognition using extraction and fusion of global motion features

This paper proposes a novel computer vision approach that processes video sequences of people walking and then recognises those people by their gait. Human motion carries different information that can be analysed in various ways. The skeleton carries motion information about human joints, and the silhouette carries information about boundary motion of the human body. Moreover, binary and gray-level images contain different information about human movements. This work proposes to recover these different kinds of information to interpret the global motion of the human body based on four different segmented image models, using a fusion model to improve classification. Our proposed method considers the set of the segmented frames of each individual as a distinct class and each frame as an object of this class. The methodology applies background extraction using the Gaussian Mixture Model (GMM), a scale reduction based on the Wavelet Transform (WT) and feature extraction by Principal Component Analysis (PCA). We propose four new schemas for motion information capture: the Silhouette-Gray-Wavelet model (SGW) captures motion based on grey level variations; the Silhouette-Binary-Wavelet model (SBW) captures motion based on binary information; the Silhouette–Edge-Binary model (SEW) captures motion based on edge information and the Silhouette Skeleton Wavelet model (SSW) captures motion based on skeleton movement. The classification rates obtained separately from these four different models are then merged using a new proposed fusion technique. The results suggest excellent performance in terms of recognising people by their gait.     

A method for fingerprint image identification based on Gabor filter and power spectrum

This work presents a fingerprint identification scheme using a coefficient map based on Gabor filter and power spectrum. This process uses Poincaré index in order to locate fingerprint core and delta points and the images are aligned through these singular points before matching. From the core point, this technique divides an input image into quadrants, where information about texture orientation on three Gabor-filter directions is extracted. In the frequency domain, the analysis is based on the power spectrum, aiming towards reducing computational time. Results illustrate the method efficiency and accuracy.     

Stability analysis of discrete-time Lur’e systems

A class of Lyapunov functions is proposed for discrete-time linear systems interconnected with a cone bounded nonlinearity. Using these functions, we propose sufficient conditions for the global stability analysis, in terms of linear matrix inequalities (LMI), only taking the bounded sector condition into account. Unlike frameworks based on the Lur’e-type function, the additional assumptions about the derivative or discrete variation of the nonlinearity are not necessary. Hence, a wider range of cone bounded nonlinearities can be covered. We also show that there is a link between global stability LMI conditions based on this new Lyapunov function and a transfer function of an auxiliary system being strictly positive real. In addition, the novel function is considered in the local stability analysis problem of discrete-time Lur’e systems subject to a saturating feedback. A convex optimization problem based on sufficient LMI conditions is formulated to maximize an estimate of the basin of attraction. Another specificity of this new Lyapunov function is the fact that the estimate is composed of disconnected sets. Numerical examples reveal the effectiveness of this new Lyapunov function in providing a less conservative estimate with respect to the quadratic function.     

Dam Hydrological Risk and the Design Flood Under Non-stationary Conditions

Water Resources Management - Increasing global trends in time series of annual maximum daily streamflow (AMX) raise the concern that the safety of dams and other sensitive structures is...     

Microstructure and mechanical properties of Al2O3/ZrO2 composites by two-step sintering

Composites of Al₂O₃/ZrO₂ (containing 25, 50, and 75 vol% ZrO₂) were prepared by mixing Al₂O₃ and ZrO₂ suspensions. The microstructural control via two-step sintering (TSS) was the main objective of this work. For this purpose, different sintering curves were constructed, aiming to achieve the best temperature combination for the sintering steps that provides higher density and finer microstructure. The results were compared with single-step sintering (SSS). Furthermore, microhardness and fracture toughness were measured for the best TSS specimens under each composition. The results showed that the high densities were obtained, and the reduction of grain size was greater than 40% for two-step sintered specimens, compared to SSS ones. Consequently, microhardness values increased. However, fracture toughness values remained unchanged.