期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
Gauge积分在HOL4中的形式化 被引量:7
1
作者 谷伟卿 施智平 +3 位作者 关永 张杰 赵春娜 叶世伟 《计算机科学》 CSCD 北大核心 2013年第2期191-194,228,共5页
积分是许多数学理论的基础,如实数分析、信号与系统中微分方程的求解等等。Gauge积分是黎曼积分在闭区间上的推广,应用更加方便。将Gauge积分的运算性质在HOL4(Higher-Order Logic 4)中形式化,包括积分的线性运算性质、积分不等式、分... 积分是许多数学理论的基础,如实数分析、信号与系统中微分方程的求解等等。Gauge积分是黎曼积分在闭区间上的推广,应用更加方便。将Gauge积分的运算性质在HOL4(Higher-Order Logic 4)中形式化,包括积分的线性运算性质、积分不等式、分部积分、积分分裂定理、子区间的可积性、对特殊函数的积分的形式化及积分极限定理、柯西可积准则,并根据相关性质对反相积分器进行了验证。 展开更多
关键词 形式化验证 定理证明 gauge积分 HOL4 积分器
在线阅读 下载PDF
Space Charge Effects in CSL Gauge——with previously assumed charge distribution
2
作者 T.Kanaji T.Urano S.Hongo 《真空科学与技术学报》 EI CAS CSCD 1992年第Z1期83-86,共4页
The "cascade static lens (CSL) gauge" has a high sensitivity(S) because the emitted electrons repeat the go and back oscillation before they are received by the electrodes. (S=18.6 Pa<sup>-1</su... The "cascade static lens (CSL) gauge" has a high sensitivity(S) because the emitted electrons repeat the go and back oscillation before they are received by the electrodes. (S=18.6 Pa<sup>-1</sup> (2480 Torr<sup>-1</sup> in a 展开更多
关键词 CSL with previously assumed charge distribution Space Charge Effects in CSL gauge
在线阅读 下载PDF
Improved Smith prediction monitoring AGC system based on feedback-assisted iterative learning control 被引量:4
3
作者 张浩宇 孙杰 +2 位作者 张殿华 陈树宗 张欣 《Journal of Central South University》 SCIE EI CAS 2014年第9期3492-3497,共6页
The performance of Smith prediction monitoring automatic gauge control(AGC) system is influenced by model mismatching greatly in strip rolling process. Aiming at this problem, a feedback-assisted iterative learning co... The performance of Smith prediction monitoring automatic gauge control(AGC) system is influenced by model mismatching greatly in strip rolling process. Aiming at this problem, a feedback-assisted iterative learning control strategy, which learned unknown modeling error by using previous control information repeatedly, was introduced into Smith prediction monitoring AGC system. Firstly, conventional Smith predictor and improved Smith predictor with PI-P controller were analyzed. Secondly, on the basis of establishing of feedback-assisted iterative learning control strategy for improved Smith predictor, process control signal update law and control error were deduced, then convergence condition of this strategy was put forward and proved. Finally, after modeling the automatic position control system, the PI-P Smith prediction monitoring AGC system with feedback-assisted iterative learning control was researched through simulation. Simulation results indicate that this system remains stable during model mismatching. The robustness and response of monitoring AGC is improved by development of feedback-assisted iterative learning control strategy for PI-P Smith predictor. 展开更多
关键词 automatic gauge control Smith predictor monitoring automatic gauge control (AGC) feedback-assisted iterativelearning control automatic position control
在线阅读 下载PDF
Characteristics structure analysis on debris cloud in the hypervelocity impact of disk projectile on thin plate 被引量:7
4
作者 Chun-bo Zhang De-ning Di +1 位作者 Xiao-wei Chen Ken Wen 《Defence Technology(防务技术)》 SCIE EI CAS CSCD 2020年第2期299-307,共9页
In this paper,the gauge points setting is introduced in the SPH simulation to analyze the debris cloud structure generated by the hypervelocity impact of disk projectile on thin plate.Compared with the experiments,mor... In this paper,the gauge points setting is introduced in the SPH simulation to analyze the debris cloud structure generated by the hypervelocity impact of disk projectile on thin plate.Compared with the experiments,more detailed information of the debris cloud structure can be classified from the numerical simulation.However,due to the solitary dispersion and overlap display of the particles in the SPH simulation,accurate comparison between numerical and experimental results is difficult to be performed.To track the velocity and spatial distribution of the particles in the debris cloud induced from disk and plate,gauge points are locally set in the single-layer profile in the SPH model.By analyzing the gauge points’spatial coordinate and velocity,the location and velocity of characteristic points in the debris cloud are determined.The boundary of debris cloud is achieved,as well as the fragments distribution outside the main structure of debris cloud. 展开更多
关键词 HYPERVELOCITY impact DEBRIS cloud SPH method Particle gauge points Motion CHARACTERISTICS
在线阅读 下载PDF
Algorithm design and application of novel GM-AGC based on mill stretch characteristic curve 被引量:6
5
作者 姬亚锋 张殿华 +3 位作者 陈树宗 孙杰 李旭 邸洪双 《Journal of Central South University》 SCIE EI CAS 2014年第3期942-947,共6页
As the spring equation is limited to the accuracy of mill stiffness and the linearity of the mill spring curve, the traditional gaugemeter automatic gauge control(GM-AGC) system based on spring equation cannot meet th... As the spring equation is limited to the accuracy of mill stiffness and the linearity of the mill spring curve, the traditional gaugemeter automatic gauge control(GM-AGC) system based on spring equation cannot meet the requirements of practical production. In allusion to this problem, a kind of novel GM-AGC system based on mill stretch characteristic curve was proposed. The error existing in calculating strip thickness by spring equation were analyzed first. And then the mill stretch characteristic curve which could effectively eliminate the influence of mill stiffness was described. The novel GM-AGC system has been applied successfully in a hot strip mill, the application results show that the thickness control precision is improved significantly, with the novel GM-AGC system, over 98.6% of the strip thickness deviation of 3.0 mm class can be controlled within the target tolerances of ±20 μm. 展开更多
关键词 hot strip mill gauge meter automatic gauge control mill stretch characteristic curve mill stiffness
在线阅读 下载PDF
A new Ignition-Growth reaction rate model for shock initiation 被引量:3
6
作者 Yang Yang Zhuo-ping Duan +4 位作者 Shu-rui Li Lian-sheng Zhang Feng-lei Huang Yong Han Hui Huang 《Defence Technology(防务技术)》 SCIE EI CAS CSCD 2023年第5期126-136,共11页
Accurately predicting reactive flow is a challenge when characterizing an explosive under external shock stimuli as the shock initiation time is on the order of a microsecond.The present study constructs a new Ignitio... Accurately predicting reactive flow is a challenge when characterizing an explosive under external shock stimuli as the shock initiation time is on the order of a microsecond.The present study constructs a new Ignition-Growth reaction rate model,which can describe the shock initiation processes of explosives with different initial densities,particle sizes and loading pressures by only one set of model parameters.Compared with the Lee-Tarver reaction rate model,the new Ignition-Growth reaction rate model describes better the shock initiation process of explosives and requires fewer model parameters.Moreover,the shock initiation of a 2,4-Dinitroanisole(DNAN)-based melt-cast explosive RDA-2(DNAN/HMX(octahydro-1,3,5,7-tetranitro-1,3,5,7-tetrazoncine)/aluminum)are investigated both experimentally and numerically.A series of shock initiation experiments is performed with manganin piezoresistive pressure gauges and corresponding numerical simulations are carried out with the new Ignition-Growth reaction rate model.The RDA-2 explosive is found to have higher critical initiation pressure and lower shock sensitivity than traditional explosives(such as the Comp.B explosive).The calibrated reaction rate model parameters of RDA-2 could provide numerical basis for its further application. 展开更多
关键词 Shock initiation Ignition-growth reaction rate model Manganin pressure gauge Insensitive explosive DNAN-Based melt-cast explosive
在线阅读 下载PDF
Measurement of Mechanical Quantities
7
《计量学报》 CSCD 1991年第S1期56-63,共8页
03001 Controlled Behaviour of the Meniscus LiquidSurface and its Applications. Sheng Yitang. XuJiangyong.Fang Jingfu: 1(1 ). 1980. pp.36--45An expression of the meniscus liquid surface which isin contact with a solid ... 03001 Controlled Behaviour of the Meniscus LiquidSurface and its Applications. Sheng Yitang. XuJiangyong.Fang Jingfu: 1(1 ). 1980. pp.36--45An expression of the meniscus liquid surface which isin contact with a solid wall is derived.The principlethat controls the behaviour of the meniscus Surface bymeans of different Shapes of the solid wall is proposed.and the controlled condition or the meniscus surface isalso calculated Finally it is applied to achieve stablebuoyancy of a specified float. 展开更多
关键词 BEHAVIOUR BEHAVIOUR CONTROLLED FLOAT Sheng specified analysed gauge dynam RESONANT
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部