Furthermore, as an application of the characterization, the authors give the distance formula for the finite-partition sub-module.
进而,作为该刻画的一个应用,文中给出有限分划子模的距离公式。
The paper is concerned with the algorithms for extraction of minimal unsatisfiable (mu) Boolean sub-formula. The algorithms include approximate and exact methods.
研究了极小布尔不可满足子式的提取算法,它分为近似算法和精确算法两种。
Based on the analytic formula of groundwater inflow into tunnel, this paper puts forward a method to choose the minimal rock cover of sub-sea tunnel.
基于隧道涌水量解析公式,从隧道涌水量的角度出发考虑确定海底隧道的最小岩石覆盖厚度。
Describe how to use Jones calculus to describe the sub-wavelength period grating and the formula for representation of sub-wavelength period grating's impact on the phase of light.
介绍了怎样用琼斯算法来描述亚波长周期光栅,以及亚波长周期光栅对光波的相位造成影响的公式表示形式。
A calculation formula of strength of concrete subjected to sub-high temperature was presented.
通过试验还给出了亚高温下混凝土受压强度的计算公式。
A calculation formula of strength of concrete subjected to sub-high temperature was presented.
通过试验还给出了亚高温下混凝土受压强度的计算公式。
应用推荐