搜索结果: 1-15 共查到“order”相关记录125条 . 查询时间(0.125 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Calculation of high-order harmonic generation of atoms and molecules by combining time series prediction and neural networks
时间序列预测 神经网络计算 原子分子 高阶谐波生成
2022/11/17
High-order harmonic generation (HHG) from the interaction of ultra-intense laser pulses with atoms is an important tabletop short-wave coherent light source. Accurate quantum simulations of it present...
Studies of ‘amorphous ice’ reveal hidden order in glass（图）
amorphous ice hidden order glass
2017/10/2
In the study, researchers at Princeton University and the City University of New York used computer simulations to show that the water molecules in amorphous ice are arranged in a previously undetecte...
Finding Order and Structure in the Atomic Chaos Where Materials Meet
Order Structure Atomic Chaos Materials Meet
2017/4/20
Materials science researchers have developed a model that can account for irregularities in how atoms arrange themselves at the so-called “grain boundaries” – the interface where two materials meet. B...
Better Static Memory Management: Improvements to Region-Based Analysis of Higher-Order Languages.
Memory Management Region-Based Analysis Higher-Order Languages.
2016/5/24
Static memory management replaces runtime garbage collection with compile-time annotations that make all memory allocation and deallocation explicit in a program. We improve upon the Tofte/Talpin regi...
We investigate the first-order theory of subtyping constraints.We show that the first-order theory of nonstructural subtyping is undecidable, and we show that in the case where all constructors are ei...
Local Response of Topological Order to an External Perturbation
Local Response Topological Order External Perturbation
2016/1/23
We study the behavior of the Re ′nyi entropies for the toric code subject to a variety of different perturbations, by means of 2D density matrix renormalization group and analytical methods. We find t...
Third-Order Intermodulation in a Micromechanical Thermal Mixer
Bandpass filter Duffing oscillator intermediate frequency microelectromechanical systems (MEMS)
2015/8/27
A radio frequency (RF) micromechanical shell-type resonator with a resistive thermal actuator is shown to perform as a highly linear, broadband mixer and a high-quality factor post-translation (interm...
A rank minimization heuristic with application to minimum order system approximation
Variable control system analysis and controller synthesis matrix rank linear matrix inequality (lmi) the positive semi-definite matrix variables
2015/8/11
Several problems arising in control system analysis and design, such as reduced order controller synthesis, involve minimizing the rank of a matrix variable subject to linear matrix inequality (LMI) c...
Compressed sensing based cone-beam computed tomography reconstruction with a first-order method
Department of Radiation Oncology Stanford University Stanford California 94305
2015/8/7
This article considers the problem of reconstructing cone-beam computed tomography (CBCT) images from a set of undersampled and potentially noisy projection measurements. The authors cast the reconstr...
Code generation for embedded second-order cone programming
The validation code convex optimization embedded applications the second-order cone programming
2015/8/7
This paper describes a framework for generating easily verifiable code to solve convex optimization problems in embedded applications by transforming them into equivalent second-order cone programs. I...
FINDING COMPOSITE ORDER ORDINARY ELLIPTIC CURVES USING THE COCKS-PINCH METHOD
ORDER ORDINARY ELLIPTIC CURVES COCKS-PINCH METHOD
2015/8/5
We apply the Cocks-Pinch method to obtain pairing-friendly composite order groups with prescribed embedding degree associated to ordinary
elliptic curves, and we show that new security issues arise i...
Herding to A Side of Order Book Balance
econophysics order book imbalance Indonesian stock market
2015/7/31
In the growing econophysics, it is quite rare that the presented analyses approach the interesting properties of order book. However, a lot of data are available in the order book, and analysis on thi...
Simulation of the Compressible Taylor Green Vortex using High-Order Flux Reconstruction Schemes
Compressible Taylor Green Vortex High-Order Flux Reconstruction Schemes
2015/7/6
In this paper, we investigate the ability of high-order Flux Reconstruction (FR) numerical schemes to perform accurate and stable computations of compressible turbulent ows on coarse meshes. Two new F...
Verification and Validation of HiFiLES: a High-Order LES unstructured solver on multi-GPU platforms
Verifi cation Validation HiFiLES High-Order LES unstructured solver multi-GPU platforms
2015/7/6
The goal of this paper is to present a verification and validation study of HiFiLES: a high-order LES solver developed in the Aerospace Computing Laboratory (ACL) at Stanford University. HiFiLES...
Shock detection and capturing methods for high order Discontinuous-Galerkin Finite Element Methods
Shock detection capturing methods high order Discontinuous-Galerkin Finite Element Methods
2015/7/6
High-order Discontinuous Galerkin (DG) methods have shown a lot of promise in being able to provide high accuracy and eciency as well as the exibility to handle complex unstructured grids. However in...