搜索结果: 1-15 共查到“工学 types”相关记录85条 . 查询时间(0.071 秒)
Determining rapeseed lodging angles and types for lodging phenotyping using morphological traits derived from UAV images
rapeseed lodging angles lodging phenotyping UAV images
2024/4/1
Crop lodging detrimentally affects crop yield and mechanical harvest efficiency. Traditional remote sensing-based methods primarily focus on the identification and area extraction of lodging using ima...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Qualitative study of two types of kinetic equations
动力学方程 定性研究 弗拉索夫方程
2023/4/18
In recent years, the study of kinetic equations has attracted much attention because it involves many important scientific phenomena and fields of science, such as nuclear reactor diffusion phenomena,...
ON VERTICAL DISTRIBUTION OF MAJOR AEROSOL TYPES OVER DIFFERENT PARTS OF ASIA
CALIOP dust polluted dust smoke Asia
2019/2/28
Asia, being the largest continent, both in its size and population is affected by different types of atmospheric aerosols. Also, owing to different local emissions/sources along with the long range tr...
Pore Types and Quantitative Evaluation of Pore Volumes in the Longmaxi Formation Shale of Southeast Chongqing, China
southeast Chongqing Longmaxi Formation shale total porosity organic porosity inorganic porosity
2018/4/10
The common microscale to nanoscale pore types were introduced and divided into organic and inorganic pores to estimate their contributions to porosity in the Lower Silurian Longmaxi Formation shale of...
A NOVEL INDEX FOR ATMOSPHERIC AEROSOL TYPES CATEGORIZATION WITH SPECTRAL OPTICAL DEPTHS FROM SATELLITE RETRIEVAL
AOD SSA Aerosol Type NGAI MODIS AERONET
2016/11/30
In general, the type of atmospheric aerosols can be efficiently identified with the characteristics of optical properties, such as Ångström exponent (AE) and single scattering albedo (SSA). ...
AN OBJECT-BASED METHOD FOR CHINESE LANDFORM TYPES CLASSIFICATION
Landform Classification DEM Object-based Random Forest Gray-level Co-occurrence Matrix
2016/11/23
Landform classification is a necessary task for various fields of landscape and regional planning, for example for landscape evaluation, erosion studies, hazard prediction, et al. This study proposes ...
THE LAND SURFACE TEMPERATURE IMPACT TO LAND COVER TYPES
Land surface temperature Land cover Remote Sensing Geographical Information System
2016/7/28
Land cover type is an important signature that is usually used to understand the interaction between the ground surfaces with the local temperature. Various land cover types such as high density built...
Characterisation of phenolics and other quality parameters of different types of honey
physicochemical parameters phenolic acids flavonoids
2016/7/6
In order to provide a general picture of phytochemical characteristics of nectar honey, honeydew, and mixed honeys, an overall comparison of physicochemical parameters, and phenolic profile as well as...
RADIOMETRIC NORMALIZATION OF LARGE AIRBORNE IMAGE DATA SETS ACQUIRED BY DIFFERENT SENSOR TYPES
Multi-Sensor Aerial Images Sensor Radiometry Radiometric Adjustment Mosaic
2016/7/4
Generating seamless mosaics of aerial images is a particularly challenging task when the mosaic comprises a large number of im-ages, collected over longer periods of time and with different sensors un...
We present a simple and powerful type inference method for dynamically typed languages where no type information is supplied by the user. Type inference is reduced to the problem of solvability of a s...
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)
Optimal Representations Polymorphic Types Subtyping (Extended Abstract)
2016/5/24
Many type inference and program analysis systems include notions of subtyping and parametric polymorphism. When used together, these two features induce equivalences that allow types to be simpli ed b...
On Typability for Rank-2 Intersection Types with Polymorphic Recursion
Typability Rank-2 Intersection Types Polymorphic Recursion
2016/5/24
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context free language (CFL) g...
First-class Runtime Generation of High-performance Types using Exotypes
First-class Runtime Generation High-performance Types Exotypes
2016/5/24
We introduce exotypes, user-defined types that combine the flexibility of meta-object protocols in dynamically-typed languages with the performance control of low-level languages. Like objects in dyna...
Many type inference and program analysis systems include notions of subtyping and parametric polymorphism. When used together, these two features induce equivalences that allow types to be simpli ed b...
Investigation into the automatic generation of heights of different Danish landscape types
automatic generation heights different Danish landscape types
2016/5/23
This article describes an investigation using automatic generation of heights over a typical Danish landscape. For this investigation the program Match-T has been used. The investigation is carried ou...