The hardness profile as a tool to detect spurious stationary points in the potential energy surface

The energy and hardness profile for a series of inter and intramolecular conformational changes at several levels of calculation were computed. The hardness profiles were found to be calculated as the difference between the vertical ionization potential and electron affinity. The hardness profile shows the correct number of stationary points independently of the basis set and methodology used. It was found that the hardness profiles can be used to check the reliability of the energy profiles for those chemical system

Are the maximum hardness and minimum polarizability principles always obeyed in nontotally symmetric vibrations?

An overview is given on a study which showed that not only in chemical reactions but also in the favorable case of nontotally symmetric vibrations where the chemical and external potentials keep approximately constant, the generalized maximum hardness principle (GMHP) and generalized minimum polarizability principle (GMPP) may not be obeyed. A method that allows an accurate determination of the nontotally symmetric molecular distortions with more marked GMPP or anti-GMPP character through diagonalization of the polarizability Hessian matrix is introduced

Basis set effects on the energy and hardness profiles of the hydrogen fluoride dimer

In earlier work, the present authors have shown that hardness profiles are less dependent on the level of calculation than energy profiles for potential energy surfaces (PESs) having pathological behaviors. At variance with energy profiles, hardness profiles always show the correct number of stationary points. This characteristic has been used to indicate the existence of spurious stationary points on the PESs. In the present work, we apply this methodology to the hydrogen fluoride dimer, a classical difficult case for the density functional theory methods

The impact of balancing on problem hardness in a highly structured domain

Random problem distributions have played a key role in the study and design of algorithms for constraint satisfaction and Boolean satisfiability, as well as in ourunderstanding of problem hardness, beyond standard worst-case complexity. We consider random problem distributions from a highly structured problem domain that generalizes the Quasigroup Completion problem (QCP) and Quasigroup with Holes (QWH), a widely used domain that captures the structure underlying a range of real-world applications. Our problem domain is also a generalization of the well-known Sudoku puz- zle: we consider Sudoku instances of arbitrary order, with the additional generalization that the block regions can have rectangular shape, in addition to the standard square shape. We evaluate the computational hardness of Generalized Sudoku instances, for different parameter settings. Our experimental hardness results show that we can generate instances that are considerably harder than QCP/QWH instances of the same size. More interestingly, we show the impact of different balancing strategies on problem hardness. We also provide insights into backbone variables in Generalized Sudoku instances and how they correlate to problem hardness.

Hardness of FRHC-Cu determined by statistical analysis

A statistical indentation method has been employed to study the hardness value of fire-refined high conductivity copper, using nanoindentation technique. The Joslin and Oliver approach was used with the aim to separate the hardness (H) influence of copper matrix, from that of inclusions and grain boundaries. This approach relies on a large array of imprints (around 400 indentations), performed at 150 nm of indentation depth. A statistical study using a cumulative distribution function fit and Gaussian simulated distributions, exhibits that H for each phase can be extracted when the indentation depth is much lower than the size of the secondary phases. It is found that the thermal treatment produces a hardness increase, due to the partly re-dissolution of the inclusions (mainly Pb and Sn) in the matrix.

Del Noguerola al Segre: els problemes de la qualitat ambiental de l'aigua

Treball de recerca realitzat per un alumne d'ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit científic del Jovent l'any 2009. Els principals objectius del treball són intentar demostrar, cinc anys més tard, si el riu Noguerola és encara fruit d'abocaments residuals en el seu pas subterrani per la ciutat de Lleida, i observar i analitzar com el riu Segre sofreix múltiples impactes ambientals provinents, especialment, de les activitats agrícoles i ramaderes. Es van fer dos campanyes de mostrejos en les confluències de 10 afluents dels marges dret i esquerre del riu Segre, i en 5 punts al llarg d'aquest. Per a cada mostra es van analitzar: conductivitat, temperatura, ph, nitrats, nitrits, amoni, fosfats, duresa i microorganismes. A més a més, es van delimitar i determinar les superfícies de les conques i es van fer balanços hidrometeorològics per determinar les aportacions naturals de l’aigua de pluja, i es van estimar els excedents de reg de totes les conques, per així calcular les masses totals de cada paràmetre, aportades per cada afluent. Les principals conclusions a què s’ha arribat són: que el riu Noguerola continua sent fruit d'abocaments residuals en el seu pas subterrani per la ciutat de Lleida. I que, tant les activitats agrícoles i ramaderes, com les captacions d'aigua dels canals de Balaguer i de Seròs per a l’obtenció d’energia hidroelèctrica, provoquen greus impactes ambientals al riu Segre.

Friction Stir Processing : a new microstructure improvement technique

In the present work, microstructure improvement using FSP (Friction Stir Processing) is studied. In the first part of the work, the microstructure improvement of as-cast A356 is demonstrated. Some tensile tests were applied to check the increase in ductility. However, the expected results couldn’t be achieved. In the second part, the microstructure improvement of a fusion weld in 1050 aluminium alloy is presented. Hardness tests were carried out to prove the mechanical propertyimprovements. In the third and last part, the microstructure improvement of 1050 aluminium alloy is achieved. A discussion of the mechanical property improvements induced by FSP is made. The influence of tool traverse speed on microstructure and mechanical properties is also discussed. Hardness tests and recrystallization theory enabled us to find out such influence

Negative Fukui functions: new insights based on electronegativity equalization

The occurrence of negative values for Fukui functions was studied through the electronegativity equalization method. Using algebraic relations between Fukui functions and different other conceptual DFT quantities on the one hand and the hardness matrix on the other hand, expressions were obtained for Fukui functions for several archetypical small molecules. Based on EEM calculations for large molecular sets, no negative Fukui functions were found

Estudio de la microdureza de la serie CrK(SO4)2.12H2O - AlK(SO4)2.12H2O

En el presente trabajo se mide la microdureza de cristales pertenecientes a la serie isomorfa Alumbre crómico potásico, Alumbre alumínico potásico Las cargas empleadas son 5, 10 y 20 pondios; para esta última carga se obtienen durezas Vickers entre 64 y 70 kg/mm3. Se calculan las constantes de la Ley de Kick.

Interpretación de los valores de microdureza a partir de la recta de Gahm. Aplicación a la dureza de la hematites y la cobaltina

Se describe la obtención de los valores experimentales de la dureza a escala microscópica (microdureza) en las hematites y la cubaltina y de los respectivos equipos utilizados. Se exponen a continuación las gráficas de los valores obtenidos, según Gahm, para la obtención de la recta de regresión. Se establecen las conclusiones y recomendaciones al efectuar trabajo, de investigación sobre la dureza de los minerales.

Molecular dynamics study of the longitudinal modes in disparate-mass binaryliquid mixtures.

A series of molecular dynamics simulations of simple liquid binary mixtures of soft spheres with disparate-mass particles were carried out to investigate the origin of the marked differences between the dynamic structure factors of some liquid binary mixtures such as the Li0.7Mg0.3 and Li0.8Pb0.2 alloys. It is shown that the facility for observing peaks associated with fast-propagating modes in the partial Li-Li dynamic structure factor of Li0.8Pb0.2 should be mainly attributed to the structure of this alloy, which is characterized by an incipient ABAB ordering as found in molten salts. The longitudinal dispersion relations at intermediate wave vectors obtained from the longitudinal current spectra are very similar for the two alloys and reflect the existence of both fast-and slow-propagating modes of kinetic character associated with light and heavy particles, respectively. The influence of the hardness of the repulsive potential cores as well as the composition of the mixture on the longitudinal collective modes is also discussed.

High pressure processing of swede (Brassica napus): Impact on quality properties

The effects of combined pressure/temperature treatments (200, 400 and 600 MPa, at 20 and 40 °C) on the physical and nutritional properties of swede roots (Brassica napus var. napobrassica) were assessed. Changes induced by high pressure processing (HPP) on the original properties of swede samples were compared with those produced by thermal treatment (blanching). All studied treatments altered the physical properties of swede, resulting in a loss of hardness and water binding capacity. The strongest alteration of texture was observed after HPP at 400 MPa, while 600 MPa was the treatment that better preserved the texture properties of swede. Blanching caused less total colour changes (ΔE) than HPP. Antioxidant properties of swede were measured as total antioxidant capacity, ascorbic acid and total phenol content. All treatments caused a loss of antioxidant capacity, which was less pronounced after HPP at 600 MPa and 20 °C and blanching. Four glucosinolates were detected in swede roots, glucoraphanin, progoitrin, glucobrassicanapin and glucobrassicin. Glucobrassicanapin and glucobrassicin contents were reduced with all studied treatments. Progoitrin content was not affected by blanching and HPP at 200 MPa. HPP at higher pressure levels (400 and 600 MPa), though, induced an increase of progoitrin levels. The results indicated that blanching and HPP at 600 MPa and 20 °C were the treatments that better preserved the original quality properties of swede.

Generating highly balanced sudoku problems as hard problems

Sudoku problems are some of the most known and enjoyed pastimes, with a never diminishing popularity, but, for the last few years those problems have gone from an entertainment to an interesting research area, a twofold interesting area, in fact. On the one side Sudoku problems, being a variant of Gerechte Designs and Latin Squares, are being actively used for experimental design, as in [8, 44, 39, 9]. On the other hand, Sudoku problems, as simple as they seem, are really hard structured combinatorial search problems, and thanks to their characteristics and behavior, they can be used as benchmark problems for refining and testing solving algorithms and approaches. Also, thanks to their high inner structure, their study can contribute more than studies of random problems to our goal of solving real-world problems and applications and understanding problem characteristics that make them hard to solve. In this work we use two techniques for solving and modeling Sudoku problems, namely, Constraint Satisfaction Problem (CSP) and Satisfiability Problem (SAT) approaches. To this effect we define the Generalized Sudoku Problem (GSP), where regions can be of rectangular shape, problems can be of any order, and solution existence is not guaranteed. With respect to the worst-case complexity, we prove that GSP with block regions of m rows and n columns with m = n is NP-complete. For studying the empirical hardness of GSP, we define a series of instance generators, that differ in the balancing level they guarantee between the constraints of the problem, by finely controlling how the holes are distributed in the cells of the GSP. Experimentally, we show that the more balanced are the constraints, the higher the complexity of solving the GSP instances, and that GSP is harder than the Quasigroup Completion Problem (QCP), a problem generalized by GSP. Finally, we provide a study of the correlation between backbone variables – variables with the same value in all the solutions of an instance– and hardness of GSP.

On balanced CSPs with high treewidth

Tractable cases of the binary CSP are mainly divided in two classes: constraint language restrictions and constraint graph restrictions. To better understand and identify the hardest binary CSPs, in this work we propose methods to increase their hardness by increasing the balance of both the constraint language and the constraint graph. The balance of a constraint is increased by maximizing the number of domain elements with the same number of occurrences. The balance of the graph is defined using the classical definition from graph the- ory. In this sense we present two graph models; a first graph model that increases the balance of a graph maximizing the number of vertices with the same degree, and a second one that additionally increases the girth of the graph, because a high girth implies a high treewidth, an important parameter for binary CSPs hardness. Our results show that our more balanced graph models and constraints result in harder instances when compared to typical random binary CSP instances, by several orders of magnitude. Also we detect, at least for sparse constraint graphs, a higher treewidth for our graph models.

How hard is a commercial puzzle: the eternity II challenge

Recently, edge matching puzzles, an NP-complete problem, have received, thanks to money-prized contests, considerable attention from wide audiences. We consider these competitions not only a challenge for SAT/CSP solving techniques but also as an opportunity to showcase the advances in the SAT/CSP community to a general audience. This paper studies the NP-complete problem of edge matching puzzles focusing on providing generation models of problem instances of variable hardness and on its resolution through the application of SAT and CSP techniques. From the generation side, we also identify the phase transition phenomena for each model. As solving methods, we employ both; SAT solvers through the translation to a SAT formula, and two ad-hoc CSP solvers we have developed, with different levels of consistency, employing several generic and specialized heuristics. Finally, we conducted an extensive experimental investigation to identify the hardest generation models and the best performing solving techniques.