期刊文献+
共找到619篇文章
< 1 2 31 >
每页显示 20 50 100
Monitoring absolute vertical land motions and absolute sea-level changes from GPS and tide gauges data over French Polynesia
1
作者 Xianjie Li Jean-Pierre Barriot +2 位作者 Bernard Ducarme Marania Hopuare Yidong Lou 《Geodesy and Geodynamics》 EI CSCD 2024年第1期13-26,共14页
In this study,we estimate the absolute vertical land motions at three tidal stations with collocated Global Navigation Satellite System(GNSS)receivers over French Polynesia during the period 2007-2020,and obtain,as an... In this study,we estimate the absolute vertical land motions at three tidal stations with collocated Global Navigation Satellite System(GNSS)receivers over French Polynesia during the period 2007-2020,and obtain,as ancillary results,estimates of the absolute changes in sea level at the same locations.To verify our processing approach to determining vertical motion,we first modeled vertical motion at the International GNSS Service(IGS)THTI station located in the capital island of Tahiti and compared our estimate with previous independent determinations,with a good agreement.We obtained the following estimates for the vertical land motions at the tide gauges:Tubuai island,Austral Archipelago-0.92±0.17 mm/yr,Vairao village,Tahiti Iti:-0.49±0.39 mm/yr,Rikitea,Gambier Archipelago-0.43±0.17 mm/yr.The absolute variations of the sea level are:Tubuai island,Austral Archipelago 5.25±0.60 mm/yr,Vairao village,Tahiti Iti:3.62±0.52 mm/yr,Rikitea,Gambier Archipelago 1.52±0.23 mm/yr.We discuss these absolute values in light of the values obtained from altimetric measurements and other means in French Polynesia. 展开更多
关键词 GPS Tide gauges Sea level changes Vertical land motion
下载PDF
Research on the strain gauge mounting scheme of track wheel force measurement system based on high-speed wheel/rail relationship test rig
2
作者 Yuanwu Cai Bo Chen Chongyi Chang 《Railway Sciences》 2024年第4期503-513,共11页
Purpose-This paper aims to analyze the stress and strain distribution on the track wheel web surface and study the optimal strain gauge location for force measurement system of the track wheel.Design/methodology/appro... Purpose-This paper aims to analyze the stress and strain distribution on the track wheel web surface and study the optimal strain gauge location for force measurement system of the track wheel.Design/methodology/approach-Finite element method was employed to analyze the stress and strain distribution on the track wheel web surface under varying wheel-rail forces.Locations with minimal coupling interference between vertical and lateral forces were identified as suitable for strain gauge installation.Findings-The results show that due to the track wheel web’s unique curved shape and wheel-rail force loading mechanism,both tensile and compressive states exit on the surface of the web.When vertical force is applied,Mises stress and strain are relatively high near the inner radius of 710 mm and the outer radius of 1110mmof the web.Under lateral force,high Mises stress and strain are observed near the radius of 670mmon the inner and outer sides of the web.As the wheel-rail force application point shifts laterally toward the outer side,the Mises stress and strain near the inner radius of 710 mm of the web gradually decrease under vertical force while gradually increasing near the outer radius of 1110 mm of the web.Under lateral force,the Mises stress and strain on the surface of the web remain relatively unchanged regardless of the wheel-rail force application point.Based on the analysis of stress and strain on the surface of the web under different wheel-rail forces,the inner radius of 870 mm is recommended as the optimal mounting location of strain gauges for measuring vertical force,while the inner radius of 1143 mm is suitable for measuring lateral force.Originality/value-The research findings provide valuable insights for determining optimal strain gauge locations and designing an effective track wheel force measurement system. 展开更多
关键词 Track wheel High-speed wheel/rail relationship test rig Instrumented wheelset Strain gauge Finite element
下载PDF
Unification of Gravitational and Strong Interaction Fields Using Partial Gauge Symmetry
3
作者 Young Hwan Yun Kiho Jang 《Journal of High Energy Physics, Gravitation and Cosmology》 CAS 2024年第2期515-533,共19页
We propose the new field potential by maintaining both the symmetry of the scalar gauge and the conservation law keeping N?ether’s theorem, while disregarding the symmetry of the vector gauge. The new potential forms... We propose the new field potential by maintaining both the symmetry of the scalar gauge and the conservation law keeping N?ether’s theorem, while disregarding the symmetry of the vector gauge. The new potential forms like the well-type potential where a particle behaves almost freely but is very hard to escape without external energy, which can be interpreted as local confinement and asymptotic freedom. By assuming a 2-dimensional metric tensor in 4-dimensional space-time, we suggest the existence of 3 kinds of particles that resemble QCD with 3 color charges. We also show that the mass term exists but comes to zero and derive the charge and spin values. We can regard the particle with this new potential as a gluon, and the interaction in this well-type potential as a strong interaction for the properties of mass, charge, spin, and its behavior. We suggest the eight-fold way with this new particle, which is similar to the existing method based on SU (3) symmetry. Even though the strong interaction has been analyzed in the standard model and string theory, we build a new consistent model based on the theory of relativity including Riemann geometry, and show the unification of gravitational and strong interactional field. 展开更多
关键词 Strong Interaction gauge Symmetry RELATIVITY QCD CONFINEMENT Asymptotic Freedom
下载PDF
Observation about the Classical Electromagnetic Gauge Transformation and Its Quantum Correspondence
4
作者 Gustavo V. López Jorge A. Lizarraga 《Journal of Modern Physics》 2024年第4期474-479,共6页
Using the Landau and symmetric gauges for the vector potential of a constant magnetic field and the quantum problem of a charged particle moving on a flat surface, we show the classical electromagnetic gauge transform... Using the Landau and symmetric gauges for the vector potential of a constant magnetic field and the quantum problem of a charged particle moving on a flat surface, we show the classical electromagnetic gauge transformation does not correspond to a one-dimensional unitary group transformation U(1) of the wave function for the quantum case. In addition, with the re-examination of the relation between the magnetic field B and its vector potential  A, we found that, in order to have a consistent formulation of the dynamics of the charged particle with both expressions, we must have that B=∇×A if and only if B≠0. 展开更多
关键词 gauge Transformation Harmonic Oscillator Quantum Hall Effect Electromagnetic Potentials
下载PDF
Influence of band microstructure on carbide precipitation behavior and toughness of 1 GPa-grade ultra-heavy gauge low-alloy steel 被引量:5
5
作者 Peng Han Zhipeng Liu +4 位作者 Zhenjia Xie Hua Wang Yaohui Jin Xuelin Wang Chengjia Shang 《International Journal of Minerals,Metallurgy and Materials》 SCIE EI CAS CSCD 2023年第7期1329-1337,共9页
This study investigated the influence of band microstructure induced by centerline segregation on carbide precipitation behavior and toughness in an 80 mm-thick 1 GPa low-carbon low-alloy steel plate.The quarter-thick... This study investigated the influence of band microstructure induced by centerline segregation on carbide precipitation behavior and toughness in an 80 mm-thick 1 GPa low-carbon low-alloy steel plate.The quarter-thickness(1/4t)and half-thickness(1/2t)regions of the plate exhibited similar ductility and toughness after quenching.After tempering,the 1/4t region exhibited~50%and~25%enhancements in both the total elongation and low-temperature toughness at-40°C,respectively,without a decrease in yield strength,whereas the toughness of the 1/2t region decreased by~46%.After quenching,both the 1/4t and 1/2t regions exhibited lower bainite and lath martensite concentrations,but only the 1/2t region exhibited microstructure bands.Moreover,the tempered 1/4t region featured uniformly dispersed short rod-like M_(23)C_(6)carbides,and spherical MC precipitates with diameters of~20–100 nm and<20 nm,respectively.The uniformly dispersed nanosized M_(23)C_(6)carbides and MC precipitates contributed to the balance of high strength and high toughness.The band microstructure of the tempered 1/2t region featured a high density of large needle-like M3C carbides.The length and width of the large M3C carbides were~200–500 nm and~20–50 nm,respectively.Fractography analysis revealed that the high density of large carbides led to delamination cleavage fracture,which significantly deteriorated toughness. 展开更多
关键词 band microstructure carbides TOUGHNESS heavy gauge steel centerline segregation
下载PDF
Combination of Tsoft and ET34-ANA-V80 software for the preprocessing and analysis of tide gauge data in French Polynesia 被引量:1
6
作者 Bernard Ducarme Jean-Pierre Barriot Fangzhao Zhang 《Geodesy and Geodynamics》 CSCD 2023年第1期26-34,共9页
Since 2008 a network of five sea-level monitoring stations was progressively installed in French Polynesia.The stations are autonomous and data,collected at a sampling rate of 1 or 2 min,are not only recorded locally,... Since 2008 a network of five sea-level monitoring stations was progressively installed in French Polynesia.The stations are autonomous and data,collected at a sampling rate of 1 or 2 min,are not only recorded locally,but also transferred in real time by a radio-link to the NOAA through the GOES satellite.The new ET34-ANA-V80 version of ETERNA,initially developed for Earth Tides analysis,is now able to analyze ocean tides records.Through a two-step validation scheme,we took advantage of the flexibility of this new version,operated in conjunction with the preprocessing facilities of the Tsoft software,to recover co rrected data series able to model sea-level variations after elimination of the ocean tides signal.We performed the tidal analysis of the tide gauge data with the highest possible selectivity(optimal wave grouping)and a maximum of additional terms(shallow water constituents).Our goal was to provide corrected data series and modelled ocean tides signal to compute tide-free sea-level variations as well as tidal prediction models with centimeter precision.We also present in this study the characteristics of the ocean tides in French Polynesia and preliminary results concerning the non-tidal variations of the sea level concerning the tide gauge setting. 展开更多
关键词 Tide gauges Tidal data processing Mean sea level
下载PDF
Water Gauge Image Denoising Model Based on Improved Adaptive Total Variation 被引量:1
7
作者 SHI Zhenting ZHOU Xianchun +2 位作者 ZHANG Ying LI Ting LU Siqi 《Instrumentation》 2023年第1期59-68,共10页
As an important part of water level warning in water conservancy projects,often due to the influence of environmental factors such as light and stains,the acquired water gauge images have sticky,broken and bright spot... As an important part of water level warning in water conservancy projects,often due to the influence of environmental factors such as light and stains,the acquired water gauge images have sticky,broken and bright spot conditions,which affect the identification of water gauges.To solve this problem,a water gauge image denoising model based on improved adaptive total variation is proposed.Firstly,the regular term exponent in the adaptive total variational equation is changed to an inverse cosine function;secondly,the differential curvature is used to distinguish the image noise points and increase the smoothing strength at the noise points;finally,according to the characteristics of the gradient mode and adaptive gradient threshold after Gaussian filtering,the New model can adaptively denoise in the smooth area and protect the edge area,so as to have the characteristics of both edge-preserving denoising.The experimental results show that the new model has a great improvement in image vision,higher iteration efficiency and an average increase of 1.6 dB in peak signal-to-noise ratio,and an average increase of 9%in structural similarity,which is more beneficial to practical applications. 展开更多
关键词 Water gauge Image Adaptive Total Variation Differential Curvature Gradient Mode Adaptive Gradient Threshold
下载PDF
Silicone oil injection and removal in 27-gauge vitreous surgery
8
作者 Yorihisa Kitagawa Hiroyuki Shimada +1 位作者 Masayoshi Yukita Saigen Naruse 《International Journal of Ophthalmology(English edition)》 SCIE CAS 2023年第1期139-142,共4页
Dear Editor,The advent of 23-gauge(G),25-G,and 27-G vitrectomy systems[1]since the beginning of the 21stcentury has allowed vitrectomy via a smaller incision compared to the 20-G system;hence the name"microincisi... Dear Editor,The advent of 23-gauge(G),25-G,and 27-G vitrectomy systems[1]since the beginning of the 21stcentury has allowed vitrectomy via a smaller incision compared to the 20-G system;hence the name"microincision vitrectomy surgery".Microincision vitrectomy surgery has gainedpopularity among vitreoretinal surgeons. 展开更多
关键词 SURGERY INJECTION gauge
下载PDF
余拟群双代数的Gauge变换
9
作者 尹清红 张宇飞 方小利 《绍兴文理学院学报》 2023年第8期38-43,共6页
在余拟群双代数上利用Gauge变换构造了一个新的余拟群双代数,并且证明了两个余拟群双代数的余表示范畴是张量群等价的.
关键词 余拟群双代数 gauge变换 群范畴
下载PDF
An Outline of the Grand Unified Theory of Gauge Fields
10
作者 Bi Qiao 《Journal of Modern Physics》 CAS 2023年第3期212-326,共25页
This paper attempts to propose a grand unified guiding principle of gauge fields from the mathematical and physical picture of fiber bundles: it is believed that our universe may have more fundamental interactions tha... This paper attempts to propose a grand unified guiding principle of gauge fields from the mathematical and physical picture of fiber bundles: it is believed that our universe may have more fundamental interactions than the four fundamental interactions, and the gauge fields of these fundamental interactions are just a unified gauge potential on the fiber bundle manifold or the components connected to the bottom manifold, that is, our universe;these components can meet the transformation of gauge potential, and even can be transformed from a fundamental interaction gauge potential to another fundamental interaction gauge potential, and can be summarized into a unified equation, namely the expression of the generalized gauge equation, corresponding to the gauge transformation invariance;so gauge transformation invariance is a necessary condition to unify field theory, but quantization of field is not a necessary condition;the four (or more) fundamental interaction fields of the universe are unified into a universal gauge field defined by the connection of the principal fiber bundle on the cosmic base manifold. 展开更多
关键词 gauge Field Principal Fiber Bundle gauge Transformation Invariance Grand Unified Theory of Physics
下载PDF
Integration of Transport and Land Use Planning by Transit-Oriented Development for Economic Sustainability of the Standard Gauge Railway Projects in Tanzania
11
作者 Emmanuel Elifadhili Mchome Uwezo Wilbard Nzoya 《Journal of Transportation Technologies》 2023年第4期756-771,共16页
Tanzania is one of the countries in Africa that has engaged in the projects for construction of the electrified Standard Gauge Railway (SGR). However, lack of integration of transportation and land-use planning threat... Tanzania is one of the countries in Africa that has engaged in the projects for construction of the electrified Standard Gauge Railway (SGR). However, lack of integration of transportation and land-use planning threatens economic sustainability of the SGR project. This study was carried out for the purpose of finding-out how transportation can be integrated with land-use planning for economic sustainability of the project. The study was carried-out by using qualitative research approach through demonstration as case study. Findings show that construction of the SGR is not integrated with land-use planning around the stations and along the SGR corridor. It is concluded that economic sustainability of the SGR projects can be achieved by integration of transport and land-use planning. As demonstrated, it is recommended to deliberate for integration of transportation and land-use planning in the SGR projects of which the prime land within Transit Stations can be efficiently used by using Transit Oriented Development and secure more land for production activities around the Transit Stations and along the SGR corridor. 展开更多
关键词 Economic Sustainability Standard gauge Railway Land Planning Transit-Oriented Development SGR Transit Stations
下载PDF
The Significance of Generalized Gauge Transformation across Fundamental Interactions
12
作者 Bi Qiao 《Journal of Modern Physics》 CAS 2023年第5期604-622,共19页
The author of this paper has put forward a unified program of gauge field from the mathematical and physical picture of the principal associated bundles: thinking that our universe may have more fundamental interactio... The author of this paper has put forward a unified program of gauge field from the mathematical and physical picture of the principal associated bundles: thinking that our universe may have more fundamental interactions than the four fundamental interactions, and these basic interaction gauge fields are only the projection components to the base manifold, that is our universe, from a unified gauge potential or connection of the principal associated bundle manifold on the base manifold. These components can satisfy the transformation of gauge potential, and can even be transformed from one basic interaction gauge potential to another basic interaction gauge potential, and can be summarized into a unified equation, that is, the generalized gauge Equation (GGE), but the gauge potential or connection on the principal bundle is invariant, corresponding to the invariance of gauge transformation [1]. In this paper, we will continue to discuss this aspect concretely, and specifically construct a spatiotemporal model with the frame bundle as the principal bundle, and the tensor bundle as the associated bundle, so that the four fundamental interactions, especially the electromagnetic interaction and the gravitational interaction, can be reflected in the bottom manifold, that is, the regional distributions in our universe. Furthermore, this paper studies the existence of gauge transformation across basic interactions by establishing a model of gauge transformation of basic interaction field;it is found that the unified expression formula is GGE and the expression relation on the curvature of space-time. Therefore, the author discusses the feasibility of the generalized gauge transformation across the basic electromagnetic interaction and the basic gravitational interaction, and on this basis, specifically determines a method or way to find the generalized gauge transformation, so as to try to realize the last step of the “unification” of the four fundamental interactions in physics, that is, the “unification” of electromagnetism and gravity. 展开更多
关键词 Generalized gauge Transformation Unification of Fundamental Interactions Principal Bundle Connection and Curvature
下载PDF
Challenges of the Performance Standards of the International Finance Corporation in Financing the African Integrated High-Speed Railway Network and the Way Forward: The Case of Standard Gauge Railway in Tanzania
13
作者 Emmanuele Elifadhili Mchome Uwezo Wilbard Nzoya 《Journal of Transportation Technologies》 2023年第4期772-788,共17页
Financing of the African Integrated High-Speed Railway Network (AIHSRN) through Standard Gauge Railway (SGR) Projects is very expensive. As a result, most of the African countries seek financial supports from the Inte... Financing of the African Integrated High-Speed Railway Network (AIHSRN) through Standard Gauge Railway (SGR) Projects is very expensive. As a result, most of the African countries seek financial supports from the International Financial Institutions (IFIs). However, conditions provided by the IFIs through the Performance Standards (PS) of the International Financial Corporation (IFC) increase cost of the projects and thus, it becomes a burden to most of the African countries. This study aimed to explore the causes of IFC-PS through the SGR Projects that escalate costs and how to address them. The Tanzania SGR Lot 1 Project that covered 205 km from Dar es Salaam to Morogoro was selected as a case study. The methods used for data collection involved literature review, focus group discussions and interviews. The results and findings show a gap between the IFC-PS and the National Laws and Regulations that escalates costs of the projects if funds from the IFIs were to be secured. To bridge the gap, it is recommended that the African countries should engage into negotiations with the IFIs to agree to waive IFC-PS conditions that escalate costs provided they are adequately covered in the national laws and regulations;engagement of locally established national and regional financial institutions;and the responsible government institutions in the African countries should sit together for assessment and review of the IFC-PS against the national laws and regulations. 展开更多
关键词 African Integrated High-Speed Railway Network International Financial Institutions Standard gauge Railway Performance Standards
下载PDF
Cryogenic Digital Image Correlation as a Probe of Strain in Iron-Based Superconductors
14
作者 Ziye Mo Chunyi Li +4 位作者 Wenting Zhang Chang Liu Yongxin Sun Ruixian Liu Xingye Lu 《Chinese Physics Letters》 SCIE EI CAS CSCD 2024年第10期84-89,共6页
Uniaxial strain is a powerful tuning parameter that can control symmetry and anisotropic electronic properties in iron-based superconductors.However,accurately characterizing anisotropic strain can be challenging and ... Uniaxial strain is a powerful tuning parameter that can control symmetry and anisotropic electronic properties in iron-based superconductors.However,accurately characterizing anisotropic strain can be challenging and complex.Here,we utilize a cryogenic optical system equipped with a high-spatial-resolution microscope to characterize surface strains in iron-based superconductors using the digital image correlation method.Compared with other methods such as high-resolution x-ray diffraction,strain gauge,and capacitive sensor,digital image correlation offers a non-contact full-field measurement approach,acting as an optical virtual strain gauge that provides high spatial resolution.The results measured on detwinned BaFe_(2)As_(2)are quantitatively consistent with the distortion measured by x-ray diffraction and neutron Larmor diffraction.These findings highlight the potential of cryogenic digital image correlation as an effective and accessible tool for probing the isotropic and anisotropic strains,facilitating applications of uniaxial strain tuning in research of quantum materials. 展开更多
关键词 ANISOTROPIC gauge PROBE
下载PDF
Economic Upturn Boosts Confidence
15
作者 Zhang Hui 《China Today》 2024年第1期2-2,共1页
As the eventful year of 2023 drew to a close,China’s decisive economic rebound over the preceding 11 months continued to propel steady recovery of the flagging global economy.Last November,China’s retail sales of co... As the eventful year of 2023 drew to a close,China’s decisive economic rebound over the preceding 11 months continued to propel steady recovery of the flagging global economy.Last November,China’s retail sales of consumer goods-a major gauge of consumption strength-maintained accelerated growth,evident in a registered year-on-year increase of 10.1 percent,according to National Bureau of Statistics(NBS)data published on December 15.During the January-November period,moreover,total retail sales of the country’s consumer goods swelled to RMB 42.79 trillion-a 7.2 percent increase over the previous year. 展开更多
关键词 maintained continued gauge
下载PDF
再谈“strain gauge”等若干名词术语的译意 被引量:1
16
作者 尹福炎 《衡器》 2017年第1期33-41,共9页
为了进一步规范应变片技术的学术名词术语,现把常容易出错的一些学术用语的翻译和释义做一些介绍。并用相应的图示加以进一步说明,以供从事应变片、传感器技术研究及应用人员参考。
关键词 STRAIN gauge 名词术语
下载PDF
Ashtekar-Kodama Gravity as a Classical and Quantum Extension of Loop Quantum Gravity
17
作者 Jan Helm 《Journal of Modern Physics》 2024年第6期864-937,共74页
This paper presents a new theory of gravity, called here Ashtekar-Kodama (AK) gravity, which is based on the Ashtekar-Kodama formulation of loop quantum gravity (LQG), yields in the limit the Einstein equations, and i... This paper presents a new theory of gravity, called here Ashtekar-Kodama (AK) gravity, which is based on the Ashtekar-Kodama formulation of loop quantum gravity (LQG), yields in the limit the Einstein equations, and in the quantum regime a full renormalizable quantum gauge field theory. The three fundamental constraints (hamiltonian, gaussian and diffeomorphism) were formulated in 3-dimensional spatial form within LQG in Ashtekar formulation using the notion of the Kodama state with positive cosmological constant Λ. We introduce a 4-dimensional covariant version of the 3-dimensional (spatial) hamiltonian, gaussian and diffeomorphism constraints of LQG. We obtain 32 partial differential equations for the 16 variables E<sub>mn</sub> (E-tensor, inverse densitized tetrad of the metric) and 16 variables A<sub>mn</sub> (A-tensor, gravitational wave tensor). We impose the boundary condition: for large distance the E-generated metric g(E) becomes the GR-metric g (normally Schwarzschild-spacetime). The theory based on these Ashtekar-Kodama (AK) equations, and called in the following Ashtekar-Kodama (AK-) gravity has the following properties. • For Λ = 0 the AK equations become Einstein equations, A-tensor is trivial (constant), and the E-generated metric g(E) is identical with the GR-metric g. • When the AK-equations are developed into a Λ-power series, the Λ-term yields a gravitational wave equation, which has only at least quadrupole wave solutions and becomes in the limit of large distance r the (normal electromagnetic) wave equation. • AK-gravity, as opposed to GR, has no singularity at the horizon: the singularity in the metric becomes a (very high) peak. • AK-gravity has a limit scale of the gravitational quantum region 39 μm, which emerges as the limit scale in the objective wave collapse theory of Gherardi-Rimini-Weber. In the quantum region, the AK-gravity becomes a quantum gauge theory (AK quantum gravity) with the Lie group extended SU(2) = ε-tensor-group(four generators) as gauge group and a corresponding covariant derivative. • AK quantum gravity is fully renormalizable, we derive its Lagrangian, which is dimensionally renormalizable, the normalized one-graviton wave function, the graviton propagator, and demonstrate the calculation of cross-section from Feynman diagrams. 展开更多
关键词 Quantum Gravity Loop Quantum Gravity General Relativity Gravitational Wave gauge Field Theory Graviton Hamiltonian Constraint Gaussian Constraint Diffeomorphism Constraint
下载PDF
Gauge积分在HOL4中的形式化 被引量:7
18
作者 谷伟卿 施智平 +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
关于Gauge积分的注记
19
作者 张勤海 张旭 《山西师范大学学报(自然科学版)》 2004年第1期1-5,共5页
在[1]中Armstrong和Lamoreaux定义了一种新型的积分,即Gauge积分和参导数 本文则证明了[1]中一些未证明的结论,并首次提出了Gauge积分的一些性质,对[1]作了一些补充;进一步,本文还系统讨论了Riemann,Lebesgue,Gauge三种积分之间的关系.
关键词 gauge积分 参导数 γ-覆盖 γ-分划
下载PDF
基于FusionWidgets Gauges开发高职院校人才培养工作状态数据仪表盘
20
作者 刘耿龙 眭伟芳 《电脑知识与技术》 2012年第4X期2750-2752,共3页
提出使用FusionWidgets Gauges仪表盘套件展示高职院校人才培养工作状态数据量化指标的仪表盘方法,给出了实现原理,文末给出实现实例。
关键词 FusionWidgets gauges 仪表盘 状态数据 XML HTML
下载PDF
上一页 1 2 31 下一页 到第
使用帮助 返回顶部