搜索结果: 1-15 共查到“Rigorous”相关记录48条 . 查询时间(0.04 秒)
Simultaneous Optimization of a Heat-Integrated Coal-to-SNG/MeOH Polygeneration Process Based on Rigorous Kinetic Models
SNG MeOH Heat-Integrated Kinetic Models
2023/6/19
In this article, a novel simulation-optimization method is proposed for the simultaneous design of a heat-integrated coal-to-SNG/MeOH (CTSM) polygeneration process, aiming at exergy efficiency enhance...
A Simplified Approach to Rigorous Degree 2 Elimination in Discrete Logarithm Algorithms
Discrete Logarithm Algorithms discrete logarithm problem
2018/5/14
we revisit the ZigZag strategy of Granger, Kleinjung and Zumbrägel. In particular, we provide a new algorithm and proof for the so-called degree 2 elimination step. This allows us to provide a st...
New Rigorous Analysis of Truncated Differentials for 5-round AES
AES Truncated-Differential Cryptanalysis Distinguisher/Attack
2018/3/6
Since the development of cryptanalysis of AES and AES-like constructions in the late 1990s, the set of inputs (or a subset of it) which differ only in one diagonal has special importance. It appears i...
2017反应性系统严格检验国际研讨会（International Workshop on Rigorous Examination of Reactive Systems）
2017 反应性系统 严格检验 国际研讨会
2017/6/29
The RERS Challenge 2017 is the 7th International Challenge on the Rigorous Examination of Reactive Systems and is co-located with the SPIN Symposium 2017. The event will be held on July 12th 2017 in S...
A SEMI-RIGOROUS SENSOR MODEL FOR PRECISION GEOMETRIC PROCESSING OF MINI-RF BISTATIC RADAR IMAGES OF THE MOON
SAR bistatic sensor models extraterrestrial Moon
2016/11/8
The spaceborne synthetic aperture radar (SAR) instruments known as Mini-RF were designed to image shadowed areas of the lunar poles and assay the presence of ice deposits by quantitative polarimetry. ...
Multiple Differential Cryptanalysis: A Rigorous Analysis
multiple differential cryptanalysis Chernoff bounds martingales
2016/4/26
Statistical analysis of multiple differential attacks are considered in this paper. Following the work of
Blondeau and G磂rard, the most general situation of multiple differential attack where there a...
Rigorous Upper Bounds on Data Complexities of Block Cipher Cryptanalysis
block cipher linear cryptanalysis differential cryptanalysis
2015/12/23
All statistical analysis of symmetric key attacks use the central limit theorem to approximate the distribution
of a sum of random variables using the normal distribution. Expressions for data comple...
Bundle Adjustment of Mars HIRISE Stereo Images Based on Rigorous Sensor Model
Digital Photogrammetry Sensor Models Adjustment Topographic Mapping High Resolution Image
2015/12/17
Launched in August 2005, the Mars Reconnaissance Orbiter (MRO)’s primary goal is to obtain detailed morphologic information on the Martian surface using its onboard HiRISE sensor with a 0.3-meter grou...
Rigorous Photogrammetric Processing of HiRISE Stereo Images for Mars Topographic Mapping
Digital Photogrammetry Sensor Models Bundle Adjustment Mars Topographic Mapping
2015/12/17
High-resolution (submeter) orbital imagers opened possibilities for Mars topographic mapping with unprecedented precision. While the typical sensor model for other Martian orbiters has been the linear...
Transformation between Rational Function Model and Rigorous Sensor Model for HigH Resolution Satellite Imagery
Space Photogrammetry High Resolution Satellite Imagery Sensor Models
2015/11/23
The rigorous sensor model based on the collinear equation describes the imaging geometric relationship between the image points and homologous ground points, with parameters which have understandable ...
SISAR:A RIGOROUS ORIENTATION MODEL FOR SYNCHRONOUS AND ASYNCHRONOUS PUSHBROOM SENSORS IMAGERY
Pushbroom sensors imagery orientation rigorous models software
2015/9/17
The correct georeferencing of remote sensing imagery is a fundamental task in the photogrammetric processing for orthoimages,DEM/DSM generation and 3D features extraction. In this paper we focus on th...
an improved model for along track stereo sensors using rigorous orbit mechanics and navigation data
along track sensor model orbit determination Kepler motion navigation data
2015/9/1
In this paper a major improvement of the generic rigorous sensor model for along track stereo optical satellite sensors which has been developed at UCL over the last three years is introduced, in deta...
A Quaternion based Rigorous sensor model for Quickbird with only one Ground Control point
Rigorous sensor model Ground Control point
2015/8/31
The basic image product of Quickbird PAN data contains information about satellite
position, velocity and orientation information together with interior orientation
parameters. The model utilizes th...
ORTHORECTIFICATION OF BILSAT IMAGERY USING RIGOROUS AND SIMPLE GEOMETRIC MODELS
Bilsat Rigorous model Simple model Orthorectification Accuracy Turkey
2015/8/17
The orthorectification accuracies of Bilsat Multispectral (XS) imagery using a rigorous and eight simple geometric models are
presented. Majority of the selected test area was covered by the existin...
On an Initial Transient Deletion Rule with Rigorous Theoretical Support
Initial Transient Deletion Rule Theoretical Support
2015/7/6
We study an initial transient deletion rule proposed by Glynn and Iglehart. We argue that it has desirable properties both from a theoretical and practical standpoint; we discuss its bias reducing pro...