搜索结果：Technique

The precise Doppler method for measuring stellar radial velocities (RV) is a fundamental technique in modern astronomy. This method records a star's spectrum and detects periodic Doppler shifts in its spectral features, which indicate the gravitational influences induced by orbiting companions. The Doppler technique has yielded remarkable successes in exoplanet detection, uncovering a diverse array of planetary systems ranging from hot Jupiters to Neptune-mass planets and super-Earths. Having led to the discovery of over 1100 exoplanets, the RV method is the most effective approach for measuring orbital geometries and minimum masses, which are of fundamental importance when accessing planet formation and evolution scenarios. However, exoplanet detection via precise RV measurements poses significant challenges, including managing various sources of interference, such as instrumental errors, and mitigating spurious Doppler shifts induced by phenomena like stellar activity. Key to this technique's advancement is instrumental calibration methods, notably precise calibration methods and ultra-stable spectrographs. This technique holds promise in systematically exploring the domain of Jo

The application of suitable numerical boundary conditions for hyperbolic conservation laws on domains with complex geometry has become a problem with certain difficulty that has been tackled in different ways according to the nature of the numerical methods and mesh type. In this paper we present a technique for the extrapolation of information from the interior of the computational domain to ghost cells designed for structured Cartesian meshes (which, as opposed to non-structured meshes, cannot be adapted to the morphology of the domain boundary). This technique is based on the application of Lagrange interpolation with a filter for the detection of discontinuities that permits a data dependent extrapolation, with higher order at smooth regions and essentially non oscillatory properties near discontinuities.

Silicon-based semiconductor nanofabrication technology has achieved a remarkable level of sophistication and maturity, and color centers in silicon naturally inherit this advantage. Besides, their emissions appear in telecommunication bands, which makes them play a crucial role in the construction of quantum network. To address the challenge of weak spontaneous emission, different optical cavities are fabricated to enhance the emission rate. However, the relative location between cavity and emitter is random, which greatly reduce the success probability of enhancement. Here, we report on a fluorescence-localization technique (FLT) for precisely locating single G center in silicon and embedding it in the center of a circular Bragg grating cavity in situ, achieving 240-times improvement of the success probability. We observe a 30-fold enhancement in luminescence intensity, 2.5-fold acceleration of the emission from single G center, corresponding to a Purcell factor exceeding 11. Our findings pave the way for the large-scale integration of quantum light sources including those with spins.

We present a new technique to constrain the gravitational potential of a galaxy from the observed stellar mass surface density alone under a number of assumptions. It uses the classical Eddington Inversion Method to compute the phase-space distribution function (DF) needed for the stars to reside in a given gravitational potential. In essence, each potential defines a set of density profiles, and it is the expansion of the observed profile in this database that provides the DF. If the required DF becomes negative then the potential is inconsistent with the observed stars and can be discarded. It is particularly well-suited for analyzing low-mass low surface brightness galaxies, where photometric but not spectroscopic data can be obtained. The recently discovered low surface brightness galaxy 'Nube' was used to showcase its application. For the observed Nube's stellar core to be reproduced with non-negative DF, cuspy NFW (Navarro, Frenk, and White) potentials are highly disfavored compared with potentials having cores (Schuster-Plummer or rho-230). The method assumes the stellar system to have spherical symmetry and isotropic velocity distribution, however, we discuss simple extensi

SABR models have been used to incorporate stochastic volatility to LIBOR market models (LMM) in order to describe interest rate dynamics and price interest rate derivatives. From the numerical point of view, the pricing of derivatives with SABR/LIBOR market models (SABR/LMMs) is mainly carried out with Monte Carlo simulation. However, this approach could involve excessively long computational times. For first time in the literature, in the present paper we propose an alternative pricing based on partial differential equations (PDEs). Thus, we pose original PDE formulations associated to the SABR/LMMs proposed by Hagan \cite{haganSABRLIBOR}, Mercurio \& Morini \cite{mercurioMorini} and Rebonato \cite{rebonatoWhite}. Moreover, as the PDEs associated to these SABR/LMMs are high dimensional in space, traditional full grid methods (like standard finite differences or finite elements) are not able to price derivatives over more than three or four underlying interest rates. In order to overcome this curse of dimensionality, a sparse grid combination technique is proposed. A comparison between Monte Carlo simulation results and the ones obtained with the sparse grid technique illustrat

This paper attempts to undertake the study of segmentation image techniques by using five threshold methods as Mean method, P-tile method, Histogram Dependent Technique (HDT), Edge Maximization Technique (EMT) and visual Technique and they are compared with one another so as to choose the best technique for threshold segmentation techniques image. These techniques applied on three satellite images to choose base guesses for threshold segmentation image.

One recent promising approach to the Visual Place Recognition (VPR) problem has been to fuse the place recognition estimates of multiple complementary VPR techniques using methods such as SRAL and multi-process fusion. These approaches come with a substantial practical limitation: they require all potential VPR methods to be brute-force run before they are selectively fused. The obvious solution to this limitation is to predict the viable subset of methods ahead of time, but this is challenging because it requires a predictive signal within the imagery itself that is indicative of high performance methods. Here we propose an alternative approach that instead starts with a known single base VPR technique, and learns to predict the most complementary additional VPR technique to fuse with it, that results in the largest improvement in performance. The key innovation here is to use a dimensionally reduced difference vector between the query image and the top-retrieved reference image using this baseline technique as the predictive signal of the most complementary additional technique, both during training and inference. We demonstrate that our approach can train a single network to sel

In this paper we propose modifications to the neural network framework, AutoVC for the task of singing technique conversion. This includes utilising a pretrained singing technique encoder which extracts technique information, upon which a decoder is conditioned during training. By swapping out a source singer's technique information for that of the target's during conversion, the input spectrogram is reconstructed with the target's technique. We document the beneficial effects of omitting the latent loss, the importance of sequential training, and our process for fine-tuning the bottleneck. We also conducted a listening study where participants rate the specificity of technique-converted voices as well as their naturalness. From this we are able to conclude how effective the technique conversions are and how different conditions affect them, while assessing the model's ability to reconstruct its input data.

Image interpolation has been used spaciously by customary interpolation techniques. Recently, Kriging technique has been widely implemented in simulation area and geostatistics for prediction. In this article, Kriging technique was used instead of the classical interpolation methods to predict the unknown points in the digital image array. The efficiency of the proposed technique was proven using the PSNR and compared with the traditional interpolation techniques. The results showed that Kriging technique is almost accurate as cubic interpolation and in some images Kriging has higher accuracy. A miscellaneous test images have been used to consolidate the proposed technique.

The objective behind the Twin Sort technique is to sort the list of unordered data elements efficiently and to allow efficient and simple arrangement of data elements within the data structure with optimization of comparisons and iterations in the sorting method. This sorting technique effectively terminates the iterations when there is no need of comparison if the elements are all sorted in between the iterations. Unlike Quick sort, Merge sorting technique, this new sorting technique is based on the iterative method of sorting elements within the data structure. So it will be advantageous for optimization of iterations when there is no need for sorting elements. Finally, the Twin Sort technique is more efficient and simple method of arranging elements within a data structure and it is easy to implement when comparing to the other sorting technique. By the introduction of optimization of comparison and iterations, it will never allow the arranging task on the ordered elements.

Steganography is the art of concealing a secret message within an appropriate-multimedia carrier such as images, audio, video files, and even network packets. Steganographic techniques have been used since ancient times to hide the message from third-parties deemed to be enemies. On one hand, Steganography is a useful technique that has been applied in various useful applications. On the other hand, however, the same technique has been applied and used for the wrong purposes by people who have ill intentions. The increase in computational power and increase in security-awareness over the past few years have propelled the application of steganography in computational security-techniques. Being robust, undetectable, and having a good capacity of hidden-data, steganography has been preferred for hiding data than watermarking and cryptographic-techniques. This paper clarifies the application of steganography on different multimedia-carriers by using various potential tools, methods, and principles to either apply or detect steganography techniques.

Logic locking is a method to prevent intellectual property (IP) piracy. However, under a reasonable attack model, SAT-based methods have proven to be powerful in obtaining the secret key. In response, many locking techniques have been developed to specifically resist this form of attack. In this paper, we demonstrate two SAT modeling techniques that can provide many orders of magnitude speed up in discovering the correct key. Specifically, we consider relaxed encodings and symmetry breaking. To demonstrate their impact, we model and attack a state-of-the-art logic locking technique, Full-Lock. We show that circuits previously unbreakable within 15 days of run time can be solved in seconds. Consequently, in assessing the strength of any given locking, it is imperative that these modeling techniques be considered. To remedy this vulnerability in the considered locking technique, we demonstrate an extended version, logic-enhanced Banyan locking, that is resistant to our proposed modeling techniques.

We present a simple and efficient acceleration technique for an arbitrary method for computing the Euclidean projection of a point onto a convex polytope, defined as the convex hull of a finite number of points, in the case when the number of points in the polytope is much greater than the dimension of the space. The technique consists in applying any given method to a "small" subpolytope of the original polytope and gradually shifting it, till the projection of the given point onto the subpolytope coincides with its projection onto the original polytope. The results of numerical experiments demonstrate the high efficiency of the proposed acceleration technique. In particular, they show that the reduction of computation time increases with an increase of the number of points in the polytope and is proportional to this number for some methods. In the second part of the paper, we also discuss a straightforward extension of the proposed acceleration technique to the case of arbitrary methods for computing the distance between two convex polytopes, defined as the convex hulls of finite sets of points.

A loss-less compression technique is proposed which uses a variable length Region formation technique to divide the input file into a number of variable length regions. Huffman codes are obtained for entire file after formation of regions. Symbols of each region are compressed one by one. Comparisons are made among proposed technique, Region Based Huffman compression technique and classical Huffman technique. The proposed technique offers better compression ratio for some files than other two.

There has been a significant increase in leakage energy dissipation of CMOS circuits with each technology generation. Further, due to their large size, last level caches (LLCs) spend a large fraction of their energy in the form of leakage energy and hence, addressing this has become extremely important to meet the challenges of chip power budget. For addressing this, several techniques have been proposed. However, most of these techniques require offline profiling and hence cannot be used for real-life systems which usually run multitasking programs, with possible pre-emptions. In this paper, we propose a dynamic profiling based technique for saving cache leakage energy in multitasking systems. Our technique uses a small coloring-based profiling cache, to estimate performance and energy consumption of multiple cache configurations and then selects the best (least-energy) configuration among them. Our technique uses non-intrusive profiling and saves energy despite intra-task and inter-task variations; thus, it is suitable for multitasking systems. Simulations performed using workloads from SPEC2006 suite show the superiority of our technique over an existing cache energy saving tech

In this paper we explore some applications of a certain technique (that we call the Freese's technique), which is a tool for identifying certain lattices as sublattices of the congruence lattice of a given algebra. In particular we will give sufficient conditions for two family of lattices (called the rods and the snakes) to be admissible as sublattices of a variety generated by a given algebra, extending an unpublished result of R. Freese and P. Lipparini.

In the first place, a novel, yet straightforward in-place integer value-sorting algorithm is presented. It sorts in linear time using constant amount of additional memory for storing counters and indices beside the input array. The technique is inspired from the principal idea behind one of the ordinal theories of "serial order in behavior" and explained by the analogy with the three main stages in the formation and retrieval of memory in cognitive neuroscience: (i) practicing, (ii) storage and (iii) retrieval. It is further improved in terms of time complexity as well as specialized for distinct integers, though still improper for rank-sorting. Afterwards, another novel, yet straightforward technique is introduced which makes this efficient value-sorting technique proper for rank-sorting. Hence, given an array of n elements each have an integer key, the technique sorts the elements according to their integer keys in linear time using only constant amount of additional memory. The devised technique is very practical and efficient outperforming bucket sort, distribution counting sort and address calculation sort family of algorithms making it attractive in almost every case even whe

The credit on {\it reduction theory} goes back to the work of Lagrange, Gauss, Hermite, Korkin, Zolotarev, and Minkowski. Modern reduction theory is voluminous and includes the work of A. Lenstra, H. Lenstra and L. Lovasz who created the well known LLL algorithm, and many other researchers such as L. Babai and C. P. Schnorr who created significant new variants of basis reduction algorithms. In this paper, we propose and investigate the efficacy of new optimization techniques to be used along with LLL algorithm. The techniques we have proposed are: i) {\it hill climbing (HC)}, ii) {\it lattice diffusion-sub lattice fusion (LDSF)}, and iii) {\it multistage hybrid LDSF-HC}. The first technique relies on the sensitivity of LLL to permutations of the input basis $B$, and optimization ideas over the symmetric group $S_m$ viewed as a metric space. The second technique relies on partitioning the lattice into sublattices, performing basis reduction in the partition sublattice blocks, fusing the sublattices, and repeating. We also point out places where parallel computation can reduce run-times achieving almost linear speedup. The multistage hybrid technique relies on the lattice diffusion a

Ever since the introduction of behavioral equivalences on processes one has been searching for efficient proof techniques that accompany those equivalences. Both strong bisimilarity and weak bisimilarity are accompanied by an arsenal of up-to techniques: enhancements of their proof methods. For branching bisimilarity, these results have not been established yet. We show that a powerful proof technique is sound for branching bisimilarity by combining the three techniques of up to union, up to expansion and up to context for Bloom's BB cool format. We then make an initial proposal for casting the correctness proof of the up to context technique in an abstract coalgebraic setting, covering branching but also η, delay and weak bisimilarity.