Highly fault-tolerant cycle embeddings of hypercubes

The hypercube Q_n is one of the most popular networks. In this paper, we first prove that the n-dimensional hypercube is 2n − 5 conditional fault-bipancyclic. That is, an injured hypercube with up to 2n − 5 faulty links has a cycle of length l for every even 4 ⩽ l ⩽ 2ⁿ when each node of the hypercube is incident with at least two healthy links. In addition, if a certain node is incident with less than two healthy links, we show that an injured hypercube contains cycles of all even lengths except hamiltonian cycles with up to 2n − 3 faulty links. Furthermore, the above two results are optimal. In conclusion, we find cycles of all possible lengths in injured hypercubes with up to 2n − 5 faulty links under all possible fault distributions.     

Approximate Solutions of Polynomial Equations

In this paper, we introduce “approximate solutions" to solve the following problem: given a polynomial F(x, y) over Q, where x represents an n -tuple of variables, can we find all the polynomials G(x) such that F(x, G(x)) is identically equal to a constant c in Q ? We have the following: let F(x, y) be a polynomial over Q and the degree of y in F(x, y) be n. Either there is a unique polynomial g(x)  ∈ Q [ x ], with its constant term equal to 0, such that F(x, y)  = ∑_j = 0ⁿc_j(y − g(x))^jfor some rational numbers c_j, hence, F(x, g(x)  + a)  ∈ Q for all a ∈ Q, or there are at most t distinct polynomials g₁(x),⋯ , g_t(x), t ≤ n, such that F(x, g_i(x))  ∈ Q for 1  ≤ i ≤ t. Suppose that F(x, y) is a polynomial of two variables. The polynomial g(x) for the first case, or g₁(x),⋯ , g_t(x) for the second case, are approximate solutions of F(x, y), respectively. There is also a polynomial time algorithm to find all of these approximate solutions. We then use Kronecker’s substitution to solve the case of F(x, y).     

On reliability of the folded hypercubes

In this paper, we explore the 2-extra connectivity and 2-extra-edge-connectivity of the folded hypercube FQ_n. We show that κ₂(FQ_n) = 3n − 2 for n ⩾ 8; and λ₂(FQ_n) = 3n − 1 for n ⩾ 5. That is, for n ⩾ 8 (resp. n ⩾ 5), at least 3n − 2 vertices (resp. 3n − 1 edges) of FQ_n are removed to get a disconnected graph that contains no isolated vertices (resp. edges). When the folded hypercube is used to model the topological structure of a large-scale parallel processing system, these results can provide more accurate measurements for reliability and fault tolerance of the system.     

Modelling of urban sensible heat flux at multiple spatial scales: A demonstration using airborne hyperspectral imagery of Shanghai and a temperature–emissivity separation approach

Urbanization related alterations to the surface energy balance impact urban warming (‘heat islands’), the growth of the boundary layer, and many other biophysical processes. Traditionally, in situ heat flux measures have been used to quantify such processes, but these typically represent only a small local-scale area within the heterogeneous urban environment. For this reason, remote sensing approaches are very attractive for elucidating more spatially representative information. Here we use hyperspectral imagery from a new airborne sensor, the Operative Modular Imaging Spectrometer (OMIS), along with a survey map and meteorological data, to derive the land cover information and surface parameters required to map spatial variations in turbulent sensible heat flux (Q_H). The results from two spatially-explicit flux retrieval methods which use contrasting approaches and, to a large degree, different input data are compared for a central urban area of Shanghai, China: (1) the Local-scale Urban Meteorological Parameterization Scheme (LUMPS) and (2) an Aerodynamic Resistance Method (ARM). Sensible heat fluxes are determined at the full 6 m spatial resolution of the OMIS sensor, and at lower resolutions via pixel aggregation and spatial averaging. At the 6 m spatial resolution, the sensible heat flux of rooftop dominated pixels exceeds that of roads, water and vegetated areas, with values peaking at ～ 350 W m^? 2, whilst the storage heat flux is greatest for road dominated pixels (peaking at around 420 W m^? 2). We investigate the use of both OMIS-derived land surface temperatures made using a Temperature–Emissivity Separation (TES) approach, and land surface temperatures estimated from air temperature measures. Sensible heat flux differences from the two approaches over the entire 2 × 2 km study area are less than 30 W m^? 2, suggesting that methods employing either strategy maybe practica1 when operated using low spatial resolution (e.g. 1 km) data. Due to the differing methodologies, direct comparisons between results obtained with the LUMPS and ARM methods are most sensibly made at reduced spatial scales. At 30 m spatial resolution, both approaches produce similar results, with the smallest difference being less than 15 W m^? 2 in mean Q_H averaged over the entire study area. This is encouraging given the differing architecture and data requirements of the LUMPS and ARM methods. Furthermore, in terms of mean study Q_H, the results obtained by averaging the original 6 m spatial resolution LUMPS-derived Q_H values to 30 and 90 m spatial resolution are within ～ 5 W m^? 2 of those derived from averaging the original surface parameter maps prior to input into LUMPS, suggesting that that use of much lower spatial resolution spaceborne imagery data, for example from Advanced Spaceborne Thermal Emission and Reflection Radiometer (ASTER) is likely to be a practical solution for heat flux determination in urban areas.     

Curves of Genus 2 with (N,N) Decomposable Jacobians

Let C be a curve of genus 2 and ψ₁: C  −  → E ₁  a map of degree n, from C to an elliptic curveE₁ , both curves defined over C. This map induces a degree n map φ₁:P¹  −  → P ¹  which we call a Frey–Kani covering. We determine all possible ramifications for φ₁. If ψ₁:C  −  → E ₁  is maximal then there exists a maximal map ψ₂: C  −  → E ₂  , of degree n, to some elliptic curveE₂ such that there is an isogeny of degree n²from the JacobianJ_C to E₁ × E₂. We say thatJ_C is (n, n)-decomposable. If the degree n is odd the pair (ψ₂, E₂) is canonically determined. For n =  3, 5, and 7, we give arithmetic examples of curves whose Jacobians are (n, n)-decomposable.     

A fast fault-identification algorithm for bijective connection graphs using the PMC model

Diagnosis of reliability is an important topic for interconnection networks. Under the classical PMC model, Dahura and Masson [5] proposed a polynomial time algorithm with time complexity O(N^2.5) to identify all faulty nodes in an N-node network. This paper addresses the fault diagnosis of so called bijective connection (BC) graphs including hypercubes, twisted cubes, locally twisted cubes, crossed cubes, and Möbius cubes. Utilizing a helpful structure proposed by Hsu and Tan [20] that was called the extending star by Lin et al. [24], and noting the existence of a structured Hamiltonian path within any BC graph, we present a fast diagnostic algorithm to identify all faulty nodes in O(N) time, where N = 2ⁿ, n ? 4, stands for the total number of nodes in the n-dimensional BC graph. As a result, this algorithm is significantly superior to Dahura–Masson’s algorithm when applied to BC graphs.     

Fast Constructive Recognition of a Black Box Group Isomorphic toSnorAnusing Goldbach’s Conjecture

The well-known Goldbach Conjecture (GC) states that any sufficiently large even number can be represented as a sum of two odd primes. Although not yet demonstrated, it has been checked for integers up to 10¹⁴. Using two stronger versions of the conjecture, we offer a simple and fast method for recognition of a gray box group G known to be isomorphic to S_n(or A_n) with knownn ≥  20, i.e. for construction1of an isomorphism from G toS_n (or A_n). Correctness and rigorous worst case complexity estimates rely heavily on the conjectures, and yield times of O([ρ + ν + μ ] n log²n) or O([ ρ + ν + μ ] n logn / loglog n) depending on which of the stronger versions of the GC is assumed to hold. Here,ρ is the complexity of generating a uniform random element of G, ν is the complexity of finding the order of a group element in G, and μ is the time necessary for group multiplication in G. Rigorous lower bound and probabilistic approach to the time complexity of the algorithm are discussed in the Appendix.     

Taylor approximation for hybrid systems

We propose a new approximation technique for Hybrid Automata. Given any Hybrid Automaton H, we call Approx(H, k) the Polynomial Hybrid Automaton obtained by approximating each formula ϕ in H with the formulae ϕ_k obtained by replacing the functions in ϕ with their Taylor polynomial of degree k. We prove that Approx(H, k) is an over-approximation of H. We study the conditions ensuring that, given any ϵ > 0, some k₀ exists such that, for all k > k₀, the “distance” between any vector satisfying ϕ_k and at least one vector satisfying ϕ is less than ϵ. We study also conditions ensuring that, given any ϵ > 0, some k₀ exists such that, for all k > k₀, the “distance” between any configuration reached by Approx(H, k) in n steps and at least one configuration reached by H in n steps is less than ϵ.     

Calibration and validation of hyperspectral indices for the estimation of broadleaved forest leaf chlorophyll content,leaf mass per area,leaf area index and leaf canopy biomass

This article aims at finding efficient hyperspectral indices for the estimation of forest sun leaf chlorophyll content (CHL, µg cm_leaf^? 2), sun leaf mass per area (LMA, g_{dry matter} m_leaf^? 2), canopy leaf area index (LAI, m²_leaf m_soil^? 2) and leaf canopy biomass (B_leaf, g_{dry matter} m_soil^? 2). These parameters are useful inputs for forest ecosystem simulations at landscape scale. The method is based on the determination of the best vegetation indices (index form and wavelengths) using the radiative transfer model PROSAIL (formed by the newly-calibrated leaf reflectance model PROSPECT coupled with the multi-layer version of the canopy radiative transfer model SAIL). The results are tested on experimental measurements at both leaf and canopy scales. At the leaf scale, it is possible to estimate CHL with high precision using a two wavelength vegetation index after a simulation based calibration. At the leaf scale, the LMA is more difficult to estimate with indices. At the canopy scale, efficient indices were determined on a generic simulated database to estimate CHL, LMA, LAI and Bleaf in a general way. These indices were then applied to two Hyperion images (50 plots) on the Fontainebleau and Fougères forests and portable spectroradiometer measurements. They showed good results with an RMSE of 8.2 µg cm^? 2 for CHL, 9.1 g m^? 2 for LMA, 1.7 m² m^? 2 for LAI and 50.6 g m^? 2 for Bleaf. However, at the canopy scale, even if the wavelengths of the calibrated indices were accurately determined with the simulated database, the regressions between the indices and the biophysical characteristics still had to be calibrated on measurements. At the canopy scale, the best indices were: for leaf chlorophyll content: ND_chl = (ρ₉₂₅ ? ρ₇₁₀)/(ρ₉₂₅ + ρ₇₁₀), for leaf mass per area: ND_LMA = (ρ₂₂₆₀ ? ρ₁₄₉₀)/(ρ₂₂₆₀ + ρ₁₄₉₀), for leaf area index: D_LAI = ρ₁₇₂₅ ? ρ₉₇₀, and for canopy leaf biomass: ND_Bleaf = (ρ₂₁₆₀ ? ρ₁₅₄₀)/(ρ₂₁₆₀ + ρ₁₅₄₀).     

Modeling of the energies and splitting of the Qx and Qy bands in positional isomers of zinc pyridinoporphyrazines by TDDFT approach: Can TDDFT help distinguishing the structural isomers?

Electronic structures, energies and splitting of the Q_x and Q_y bands for positional isomers of zinc mono-, di-, tri-, and tetra pyridinoporphyrazines as well as parent zinc phthalocyanine were investigated using density functional theory (DFT) and time-dependent (TD) DFT approaches. The influence of the Hartree–Fock exchange on excited state energies and Q_x and Q_y bands splitting were studied using GGA BP86 and hybrid B3LYP and PBE1PBE exchange-correlation functionals. Solvent effects were estimated using the polarized continuum model (PCM) approach and cyclohexane, toluene, or DMSO as solvents. It was found that general trends in the Q_x and Q_y band energies and splitting correlate very well with the available experimental data on pyridinoporphyrazines and follow the trends in HOMO–LUMO and HOMO–LUMO + 1 energy gaps as well as LUMO–LUMO + 1 splitting. TDDFT trends allow estimation of the Q_x and Q_y band energies and splitting in unknown tripyridinoporphyrazines and in individual positional isomers of tetrapyridinoporphyrazines.     

Evolution of structure,stability, and nonlinear optical properties of the heterodinuclear CNLin (n = 1–10) clusters

The lowest-energy structures and stabilities of the heterodinuclear clusters, CNLi_n (n = 1–10) and relevant CNLi_n⁺ (n = 1–10) cations, are studied using the density functional theory with the 6-311 + G(3df) basis set. The CNLi₆ and CNLi₅⁺ clusters are the first three-dimensional ones in the CNLi_n^0/+ series, respectively, and the CN group always caps the Li_n^0/+ moiety in the CNLi_n^0/+ (n = 1–9) configurations. The CN triple bond is found to be completely cleaved in the CNLi₁₀^0/+ clusters where the C and N atoms are bridged by two Li atoms. The CNLi_n (n = 2–10) clusters are hyperlithiated molecules with delocalized valence electrons and consequently possess low VIP values of 3.780–5.674 eV. Especially, the CNLi₈ and CNLi₁₀ molecules exhibit lower VIPs than that of Cs atom and can be regarded as heterobinuclear superalkali species. Furthermore, these two superalkali clusters show extraordinarily large first hyperpolarizabilities of 19,423 and 42,658 au, respectively. For the CNLi_n⁺ cationic species, the evolution of the energetic and electronic properties with the cluster size shows a special stability for CNLi₂⁺.     

Conditional fault-tolerant hamiltonicity of star graphs

The star graph possesses many nice topological properties. In this study, we show that for any n-dimensional star graph (n ⩾ 4) with ⩽2n − 7 edge faults in which each node is incident to at least two non-faulty edges, there exists a fault-free Hamiltonian cycle. Compared with the corresponding study in hypercube, our method is rather succinct. Additionally, we also show the probability that an n dimensional star graph with arbitrary 2n − 7 faulty edges at most is Hamiltonian is very close to one.     

Scalable 2D Convex Hull and Triangulation Algorithms for Coarse Grained Multicomputers

In this paper we describe scalable parallel algorithms for building the convex hull and a triangulation ofncoplanar points. These algorithms are designed for thecoarse grained multicomputermodel:pprocessors withO(n/p)⪢O(1) local memory each, connected to some arbitrary interconnection network. They scale over a large range of values ofnandp, assuming only thatn⩾p^1+ε(ε>0) and require timeO((T_sequential/p)+T_s(n, p)), whereT_s(n, p) refers to the time of a global sort ofndata on approcessor machine. Furthermore, they involve only a constant number of global communication rounds. Since computing either 2D convex hull or triangulation requires timeT_sequential=Θ(n log n) these algorithms either run in optimal time,Θ((n log n)/p), or in sort time,T_s(n, p), for the interconnection network in question. These results become optimal whenT_sequential/pdominatesT_s(n, p) or for interconnection networks like the mesh for which optimal sorting algorithms exist.     

Computational assessment of several hydrogen-free high energy compounds

Tetrazino-tetrazine-tetraoxide (TTTO) is an attractive high energy compound, but unfortunately, it is not yet experimentally synthesized so far. Isomerization of TTTO leads to its five isomers, bond-separation energies were empolyed to compare the global stability of six compounds, it is found that isomer 1 has the highest bond-separation energy (1204.6 kJ/mol), compared with TTTO (1151.2 kJ/mol); thermodynamic properties of six compounds were theoretically calculated, including standard formation enthalpies (solid and gaseous), standard fusion enthalpies, standard vaporation enthalpies, standard sublimation enthalpies, lattice energies and normal melting points, normal boiling points; their detonation performances were also computed, including detonation heat (Q, cal/g), detonation velocity (D, km/s), detonation pressure (P, GPa) and impact sensitivity (h₅₀, cm), compared with TTTO (Q = 1311.01 J/g, D = 9.228 km/s, P = 40.556 GPa, h₅₀ = 12.7 cm), isomer 5 exhibites better detonation performances (Q = 1523.74 J/g, D = 9.389 km/s, P = 41.329 GPa, h₅₀ =  28.4 cm).     

A new class of massively parallel direction splitting for the incompressible Navier–Stokes equations

We introduce in this paper a new direction splitting algorithm for solving the incompressible Navier–Stokes equations. The main originality of the method consists of using the operator (I ? ?_xx)(I ? ?_yy)(I ? ?_zz) for approximating the pressure correction instead of the Poisson operator as done in all the contemporary projection methods. The complexity of the proposed algorithm is significantly lower than that of projection methods, and it is shown the have the same stability properties as the Poisson-based pressure-correction techniques, either in standard or rotational form. The first-order (in time) version of the method is proved to have the same convergence properties as the classical first-order projection techniques. Numerical tests reveal that the second-order version of the method has the same convergence rate as its second-order projection counterpart as well. The method is suitable for parallel implementation and preliminary tests show excellent parallel performance on a distributed memory cluster of up to 1024 processors. The method has been validated on the three-dimensional lid-driven cavity flow using grids composed of up to 2 × 10⁹ points.     

Investigation of pollution flashover on high voltage insulators using artificial neural network

High voltage insulators form an essential part of the high voltage electric power transmission systems. Any failure in the satisfactory performance of high voltage insulators will result in considerable loss of capital, as there are numerous industries that depend upon the availability of an uninterrupted power supply. The importance of the research on insulator pollution has been increased considerably with the rise of the voltage of transmission lines. In order to determine the flashover behavior of polluted high voltage insulators and to identify to physical mechanisms that govern this phenomenon, the researchers have been brought to establish a modeling. Artificial neural networks (ANN) have been used by various researches for modeling and predictions in the field of energy engineering systems. In this study, model of V_C = f (H, D, L, σ, n, d) based on ANN which compute flashover voltage of the insulators were performed. This model consider height (H), diameter (D), total leakage length (L), surface conductivity (σ) and number of shed (d) of an insulator and number of chain (n) on the insulator.     

Analysis of high-Q,gallium nitride nanowire resonators in response to deposited thin films

Gallium nitride nanowires (GaN-NWs) are systems of interest for mechanical resonance-based sensors due to their small mass and, in the case of c-axis NWs, high mechanical quality (Q) factors of 10,000–100,000. We report on singly-clamped NW mechanical cantilevers of roughly 100 nm diameter and 15 μm length that resonate near 1 MHz and describe the behavior of GaN-NW resonant frequencies and Q factors following coating with various materials deposited by atomic layer deposition (ALD), including alumina (Al₂O₃), ruthenium (Ru), and platinum (Pt). Changes in the GaN-NW resonant frequencies with ALD deposition clearly distinguish conformal film growth versus island film growth. Conformal films lead to a stiffening of the NW and typically increase resonant frequency, whereas island films simply increase the NW mass and cause decreased resonant frequencies. We find that conformal growth of ALD alumina leads to stiffening of ～4 kHz per nm of alumina, in agreement with previously measured material properties. Conformal growth of Ru and Pt, respectively, qualitatively confirm our analytical predictions of positive and negative resonant frequency shifts. Island growth of ALD Ru has demonstrated a decrease in resonant frequency consistent with mass loading of ～0.2 fg for a 150 ALD-cycle film, also consistent with analytical predictions. Resonant Q factors are found to decrease with ALD film growth, offering the additional possibility of studying mechanical dissipation processes associated with the ALD-NW composite structures.     

Solving multi-criteria decision making with incomplete linguistic preference relations

When there are n criteria or alternatives in a decision matrix, a pairwise comparison methodology of analytic hierarchy process (AHP) with the time of n(n ? 1)/2 is frequently used to select, evaluate or rank the neighboring alternatives. But while the number of criteria or comparison level increase, the efficiency and consistency of a decision matrix decrease. To solve such problems, this study therefore uses horizontal, vertical and oblique pairwise comparisons algorithm to construct multi-criteria decision making with incomplete linguistic preference relations model (InLinPreRa). The use of pairwise comparisons will not produce the inconsistency, even allows every decision maker to choose an explicit criterion or alternative for index unrestrictedly. When there are n criteria, only n ? 1 pairwise comparisons need to be carried out, then one can rest on incomplete linguistic preference relations to obtain the priority value of alternative for the decision maker’s reference. The decision making assessment model that constructed by this study can be extensively applied to every field of decision science and serves as the reference basis for the future research.