1) dynamic term rewriting calculus
动态项重写计算
1.
The dynamic term rewriting calculus is a formal computation model for meta-computation of term rewriting systems, which has characteristic features as the hierarchical declaration and dynamic rewriting, and is applied to the automated formal proving for the inductive theorems and weak termination of term rewriting systems.
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面。
2) dynamic weighing
动态计重
1.
Design of the dynamic weighing system for high speed highway based on ARM;
基于ARM的高速公路动态计重系统设计
3) dynamic calculation
动态计算
1.
With dynamic calculation method, heating energy consumption of building outside walls and roofs are calculated by means of hourly outside weather data of the typical year.
利用典型年逐时室外气象数据,采用动态计算方法来计算外墙及屋顶的采暖能耗,综合考虑了室外空气温度、太阳辐射等因素的影响,提高了计算准确度,进而较准确地把握太阳辐射对外墙及屋顶传热耗热量的影响。
2.
With a dynamic calculation method, the heating energy consumption of building outside windows is calculated by means of hourly outside weather data of the typical year.
采用动态计算方法,可以利用典型的年逐时室外气象数据来计算外窗的采暖能耗,综合考虑室外空气温度、太阳辐射等因素的影响,以提高计算准确度,进而较准确地把握太阳辐射对外窗采暖能耗的影响。
3.
An optimum model, which was suitable for dynamic calculation, was put forward based on the analysis of oversaturated flow and a method of time smooth was provided in order to reduce the error due to random characteristics of traffic system.
在此基础上 ,以 SIGNAL94为基本模型 ,针对北京市交通的实际情况 ,建立了适合北京市交通特性和动态计算的排队长度优化模型。
4) transient calculation
动态计算
1.
Research on Natural Gas Long Distance Transportation Pipelines Steady and Transient Calculation and Load Forecasting;
天然气长输管网稳动态计算及负荷预测研究
5) Dynamic Packet Rewriting(DPR)
动态报文重写(DPR)
6) term rewriting
项重写
1.
Model based on term rewriting provides an algebra specification for the realization of risk analysis.
项重写的风险分析模型以其良好的代数规范为风险分析的实现提供了理论基础。
补充资料：国际现代五项和冬季两项联盟
1948年成立国际现代五项联合会，1969年由于增加了冬季两项活动改为现名,会址设在瑞典兰斯克鲁纳。现代五项有50个会员协会,冬季两项有40个会员协会,正式工作语言为英语和法语。
国际现代五项和冬季两项联盟的宗旨是：推动现代五项和冬季两项运动及其附属项目综合训练的发展和技术水平的提高；促进各协会领导人和运动员之间的诚挚、友好合作，反对任何种族、宗教或政治的歧视。
国际现代五项和冬季两项联盟的最高权力机构是全体代表大会，每4年举行1次（在奥运会年的秋季召开），一个协会只有 1票表决权，可以委托投票。现代五项和冬季两项每年还分别召开 1次代表大会。单项代表大会只对与本项目有关的事宜作出决定。每个会员协会有1票表决权，可以委托投票。代表大会闭会期间，国际现代五项和冬季两项联盟的领导机构是行政理事会。理事会每年在夏、冬两季各召开1次会议。联盟的日常事务由执?形被岣涸稹Ｖ次嵊芍飨⒌?1副主席、两名执行副主席、秘书长、司库、副秘书长和副司库组成。联盟下设技术委员会、医务委员会和新闻委员会。现任主席是S.托费尔特（瑞典）；秘书长是W.格吕特(瑞典)。联盟管辖的世界锦标赛有:现代五项运动(跑、马术、击剑、射击和游泳），冬季两项（滑雪＋射击）。
国际现代五项和冬季两项联盟的宗旨是：推动现代五项和冬季两项运动及其附属项目综合训练的发展和技术水平的提高；促进各协会领导人和运动员之间的诚挚、友好合作，反对任何种族、宗教或政治的歧视。
国际现代五项和冬季两项联盟的最高权力机构是全体代表大会，每4年举行1次（在奥运会年的秋季召开），一个协会只有 1票表决权，可以委托投票。现代五项和冬季两项每年还分别召开 1次代表大会。单项代表大会只对与本项目有关的事宜作出决定。每个会员协会有1票表决权，可以委托投票。代表大会闭会期间，国际现代五项和冬季两项联盟的领导机构是行政理事会。理事会每年在夏、冬两季各召开1次会议。联盟的日常事务由执?形被岣涸稹Ｖ次嵊芍飨⒌?1副主席、两名执行副主席、秘书长、司库、副秘书长和副司库组成。联盟下设技术委员会、医务委员会和新闻委员会。现任主席是S.托费尔特（瑞典）；秘书长是W.格吕特(瑞典)。联盟管辖的世界锦标赛有:现代五项运动(跑、马术、击剑、射击和游泳），冬季两项（滑雪＋射击）。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条