Narrow Results

In this paper, we present a resolution of discrete singular fibers of a closed 5-manifold equipped with a locally free S¹-action, and prove its compatibility with the resolution of cyclic surface singularities in the quotient orbifold by the S¹-action.

The inclusion of metamorphic buffer layers (MBL) in the design of lattice-mismatched semiconductor heterostructures is important in enhancing reliability and performance of optical and electronic devices. These metamorphic buffer layers usually employ linear grading of composition, and materials including In_xGa_1-xAs and GaAs_1-yP_y have been used. Non-uniform and continuously graded profiles are beneficial for the design of partially-relaxed buffer layers because they reduce the threading dislocation density by allowing the distribution of the misfit dislocations throughout the metamorphic buffer layer, rather than concentrating them at the interface where substrate defects and tangling can pin dislocations or otherwise reduce their mobility as in the case of uniform compositional growth. In this work we considered heterostructures involving a linearly-graded (type A) or step-graded (type B) buffer layer grown on a GaAs (001) substrate. For each structure type we present minimum energy calculations and compare the cases of cation (Group III) and anion (Group V) grading. In addition, we studied the (i) average and surface in-plane strain and (ii) average misfit dislocation density for heterostructures with various thickness and compositional profile. Moreover, we show that differences in the elastic stiffness constants give rise to significantly different behavior in these two commonly-used buffer layer systems.

We have analyzed the strain resolution of x-ray rocking curve profiles from measurements of the peak position and peak width made with finite counting statistics. In this work, we have considered x-ray rocking curves which may be Gaussian or Lorentzian in character and have analyzed the influence of the effective number of counts, full-width-at-half-maximum (FWHM) and the Bragg angle on the resolution. Often experimental resolution values are estimated on the order of 10⁻⁵ whereas this work predicts more sensitive values (10⁻⁹) with smaller FWHM and larger effective counts and Bragg angles.

A distributed system consists of a set of loosely connected state machines which do not share a global memory. The global state of the system depends on the state of each process in the system. The set of global states can be split up into two categories, legal and illegal. This paper deals with methods of detecting deadlocks in distributed systems. One way that has been used to detect deadlocks is by sending probes around the system. If a process thinks that it may be deadlocked, it initiates a probe. If the probe is received by the initiator, the initiator declares deadlock. This paper uses the idea of states of processes In order to detect the deadlock. The algorithm runs continually and does not have to be initiated. This paper presents deadlock detection algorithms for single and multiple outstanding requests. A method for deadlock resolution is also discussed. The algorithms detect all deadlocks and do not detect false deadlocks.

Based on the working principle of the signal detection and servo feedback control of the electrostatic accelerometer, in this paper, the main electronic noise components affecting the measurements of the accelerometer are analyzed and the corresponding expressions are determined. The resolution of the designed electrostatic accelerometer is lower than 10${}^{-9}$m/s²/Hz${}^{1/2}$, which cannot be verified directly due to limitations imposed by the vibration of the ground environment. However, it can be evaluated indirectly by the testing of electronic noise under open-loop conditions. Through this process, the resolution of 3× 10${}^{-9}$m/s²/Hz${}^{1/2}$ of the Taiji-1 inertial sensor was verified and found to be in agreement with results obtained in orbit.

We prove existence of BGG resolution of an irreducible highest weight module over a quantum group, classify morphisms of Verma modules over a quantum group and find formulas for singular vectors in Verma modules. As an application we find cohomology of the quantum group of the type with coefficients in a finite-dimensional module.

Global warming is an alarming issue in our daily life. As we know that CFCs and HCFCs have a great impact on ozone depletion and global warming process. So, there must be a cheaper way to detect CFCs and HCFCs from refrigerant products like refrigerator, aerosols, air-conditioner, etc. So, for the very first time, this paper proposes a novel highly sensitive dual-core bi-layer gold-coated surface plasmon resonance (DB-SPR)-based photonic crystal fiber (PCF) for sensing CFCs and HCFCs in the field of chemical and biosensing. The analysis is assumed at 20${}^{\circ }$C (293 K) for the concentration level of CFCs and HCFCs ranging between 20% and 80%. The entire numerical evaluation process is done by using finite element method (FEM) with a full vectorial software named COMSOL V-5.1 by examining the number of mesh elements of 228,120 which has better flexibility in the fabrication process. The proposed model can prove itself better than any other models by the justification of the major optical parameters, such as birefringence (B${}_i$), coupling length (L${}_c$), confinement loss (${\alpha }_c$), transmittance (T${}_x$), transmittance variance (T${}_v$), power fraction (P${}_f$), amplitude sensitivity (S${}_A$), wavelength sensitivity (S${}_w$), figure of merit (FOM), resolution (Rl), resonance (R²), etc. which respectively corresponds to their maximum performance profiles of 0.038, 40 $\mu$m, 1140 dB/cm, −180 dB, 410 dB/RIU, 51%, −3200 RIU${}^{-1}$, 30450.43 nm/RIU, 1300, 1.25×10${}^{-5}$, 0.98712. So, it is evident that proposed SPR PCF can be a tough competitor in the field of biosensing and chemical sensing as well as gas sensing.

Surface plasmon resonance (SPR)-based single-core photonic crystal fiber (PCF) biosensor is investigated with external gold coating. All the geometrical parameters such as a gold layer, an analyte layer, a lattice period and cladding air holes are optimized to enhance the sensing ability of the sensor by introducing the finite element method. The designed sensor is able to achieve the highest amplitude sensitivity (AS) of 2258.95 RIU${}^{-1}$ with an acceptable refractive index sensitivity (RIS) of 6000 nm/RIU over the analyte refractive index (ARI) span of 1.31–1.40. This sensor can detect a slight index alteration in the sensing medium using a resolution of $1.66\times 10^{-5}$ and a high figure of merit (FOM) of 79.01. With the enhanced modal behavior with simple geometry, the resulting sensor can be suitable for real-time monitoring in biological, biochemical and bio-imaging applications.

The near-field distribution of surface plasmon polariton (SPP) on metallic photonic crystal slabs has been studied. Preliminary numerical simulations indicate that the interference of SPP on the exit side of metallic photonic crystal slabs can redistribute the illumination light into nano-scale spatial distribution, which beats the Rayleigh diffraction limit. The electric field distribution of SPP with a resolution of 50 nm was measured by recording the high intensity range into photoresist with a wavelength of 436 nm. Because of the small wavelength of the plasmon wave, a much higher spatial resolution can be obtained, which can provide a new nano-fabrication or nano-storage method by using optical light with a long wavelength.

In order to further improve fractional-pel interpolation image quality of video sequence with different resolutions and reduce algorithm complexity, the fractional-pel interpolation algorithm based on adaptive filter (AF_FIA) is proposed. This algorithm adaptively selects the interpolation filters with different orders according to the three video sequence regions with different resolutions; in the three video sequence regions with different resolutions, the high-order interpolation filter is replaced by low-order interpolation filter according to the correlation between pixels to realize the adaptive selection of filter. The complexity analysis results show that compared with other algorithms, this algorithm reduces space complexity and computation complexity, thus reducing the storage access and coding time. The simulation results indicate that compared with other algorithms, this algorithm has good coding performance and robustness for video sequences with different resolutions.

Deep Convolutional Neural Networks (CNNs) show remarkable performance in many areas. However, most of the applications require huge computational costs and massive memory, which are hard to obtain in devices with a relatively weak performance like embedded devices. To reduce the computational cost, and meantime, to preserve the performance of the trained deep CNN, we propose a new filter pruning method using an additional dataset derived by downsampling the original dataset. Our method takes advantage of the fact that information in high-resolution images is lost in the downsampling process. Each trained convolutional filter reacts differently to this information loss. Based on this, the importance of the filter is evaluated by comparing the gradient obtained from two different resolution images. We validate the superiority of our filter evaluation method using a VGG-16 model trained on CIFAR-10 and CUB-200-2011 datasets. The pruned network with our method shows an average of 2.66% higher accuracy in the latter dataset, compared to existing pruning methods when about 75% of the parameters are removed.

The concept of fuzzy equality and its related contents to the first order predicate calculus are discussed. It is proved that, in the viewpoint of computational logic, resolution and paramodulation mechanisms are complete and sound for fuzzy logic with equality. Term rewriting system, that is the set of left to right directional equations, provides an essential computational paradigm for word problems in universal algebra. We embody the fuzzy equality to the theory of this computation system and give an algorithmic solution to the word problems in fuzzy algebra.

Nowadays time-to-digital converter (TDC) is the most popular method of time measurement in many applications. The CMOS process, which gains an advantage over Emitter Coupled Logic (ECL) and GaAs in cost and portability, provides sufficient space for TDC development. This paper presents a review of CMOS TDCs classified by circuit topologies and performance. For each TDC structure, the principle exposition and performance analysis are given in detail. Moreover, a comparison among all kinds of TDCs mentioned in this paper is presented in tabular form. Finally, we discuss the obstacle to the development of TDC and the possible tendency for future work in summary.

Multiple clock domain (MCD) systems have different blocks/IP cores operating at different frequencies. These different clocks are generated from a high frequency clock usually by integer division. Fractional-N frequency dividers (FFDs) are needed when the clock required by a block in MCD system is not possible to be derived by simple integer division. In this paper, we present such a FFD with an improved resolution of (1/8). Post layout simulation results after parasitic RC extraction in the 90-nm technology node show that our FFD is able to fractionally divide signals upto 2 GHz frequency with an average error of 0.11% in division ratio even with 2.5° phase error at the input. Our FFD consumes 754 μW when fractionally dividing a 2 GHz signal with a resolution of (1/8).

In switching algebra, there exist standard forms of Boolean functions such as the disjunctive or conjunctive form. This paper discusses the theory of the extended standard forms of Boolean functions. In addition to the four existing standard forms, two further forms are introduced and thus expanded to six basic forms. On the one hand, the existence of the extended forms is presented and on the other hand new formulas and equations are illustrated. Equations relating to the resolution and/or solution of conjunction/disjunctions are detailed and proven to be valid. In addition, equations for conversion between forms are exemplified. Finally, certain formal relations between the basic forms that are valid under certain conditions are featured.

The fractal geometries are applied extensively in many applications like pattern recognition, texture analysis and segmentation. The application of fractal geometry requires estimation of the fractal features. The fractal dimension and fractal length are found effective to analyze and measure image features, such as texture, resolution, etc. This paper proposes a new wavelet–fractal technique for image resolution enhancement. The resolution of the wavelet sub-bands are improved using scaling operator and then it is transformed into texture vector. The proposed method then computes fractal dimension and fractal length in gradient domain which is used for resolution enhancement. It is observed that by using scaling operator in the gradient domain, the fractal dimension and fractal length becomes scale invariant. The major advantage of the proposed wavelet–fractal technique is that the feature vector retains fractal dimension and fractal length both. Thus, the resolution enhanced image restores the texture information well. The texture information has also been observed in terms of fractal dimension with varied sample size. We present qualitative and quantitative analysis of the proposed method with existing state of art methods.

This work suggests an all-digital temperature sensor with a high sampling rate that is based on a time-to-digital converter (TDC). Two on-chip voltage-controlled oscillators (VCOs) are used in the design of the sensor core, which senses temperatures between $-40^{\circ }$C and 200${}^{\circ }$C. For digital code conversion, the outputs of the VCO are fed into two asynchronous counters. In both low- and high- resolution modes, the error following two-point calibration is observed between $-1.08^{\circ }$C and $+1.06^{\circ }$C. The sensor’s ability to function in both high- and low-resolution modes based on conversion time is an important feature. At a sampling frequency of 0.19MHz, the maximum resolution achieved is 0.18${}^{\circ }$C. Additionally, the sensor has control logic built in to turn off the sensing as soon as the conversion is complete. At 90-nm process, 1.1V supply voltage and 27${}^{\circ }$C, the proposed sensor occupies $0.044{\mathrm{\text{mm}}}^2$ and consumes $817.5\mu \mathrm{\text{W}}$.

This work presents an all-digital time-mode subthreshold temperature sensor for monitoring SoC self-heating problem. The sensor incorporated a low-power differential inverter interlaced cascaded delay cell followed by a gated ring oscillator with different temperature coefficients of $-$1736.10 and $-$5880.33 ppm/^∘C, respectively. The differential inverter interlaced cascaded delay cell and XOR gate produce a temperature-dependent large delay pulse, whereas the gated ring oscillator produces temperature-dependent output code for each point of temperature within the delay pulse generated by the differential inverter interlaced cascaded delay cell and XOR. The corresponding temperature code is recorded by an asynchronous counter. At 90-nm CMOS process and 0.6/0.3V supply voltage Vdd, the sensor occupies 0.009mm² and consumes only 876nW at 27^∘C. The sensor has a sampling rate of 52.16KS/s and the resolution is noted to be 0.40^∘C for a temperature span of 0–100^∘C. Besides, the proposed design achieves a very small energy/conversion of 17 pJ, which ensures 2.72 pJ$\times$C² and 0.13 nJ%² resolution FoM and inaccuracy FoM, respectively.

Gradle is one of the widely used tools to automatically build a software project. While developers execute the Gradle build for projects, they face various build errors in practice. However, fixing build errors is not easy because developers should manually find out the cause of the build error and its resolution on their project. For this reason, developers spend much time fixing them, and especially it can be worse if a developer lacks the experience of handling build errors. To address this issue, we propose a novel approach named Gradle-AutoFix to automatically fix build errors along with providing their causes and resolutions. In this approach, we collect build errors to group their causes and resolutions and then generate feature vectors from build error messages by applying Bag-of-Word (BoW), Term Frequency-Inverse Document Frequency (TF-IDF), Bigram, and an embedding layer. The feature vectors are utilized for training two classification models on cause and resolution. Next, we analyze fixing patterns and define seven resolution rules to fix the build error automatically. Based on our trained models and defined resolution rules, we built Gradle-AutoFix. For the evaluation, we measured how appropriately Gradle-AutoFix provides causes of build errors and resolutions. As a result, we obtained 96% and 91% accuracy, respectively. Also, we assessed how properly Gradle-AutoFix fixes the project’s build error based on the seven resolution rules. The outcome showed a 64.5% build error resolution rate for 231 projects.

This paper discusses a computational treatment of the localization $A_L$ of an affine coordinate ring $A$ at a prime ideal $L$ and its associated graded algebra ${\mathrm{\text{Gr}}}_{𝔞}(A_L)$ with the means of computer algebra. Building on Mora’s paper [T. Mora, La queste del Saint ${\mathrm{\text{Gr}}}_{𝔞}(A_L)$: A computational approach to local algebra, Discrete Appl. Math.33 (1991) 161–190], we present shorter proofs on two of the central statements and expand on the applications touched by Mora: resolutions of ideals, systems of parameters and Hilbert polynomials, as well as dimension and regularity of $A_L$. All algorithms are implemented in the library graal.lib for the computer algebra system Singular.