1) temporal calculus
时态演算
2) temporal data calculation
时态数据演算
1.
Then, the denotation of temporal elements and a group of temporal data calculations was defined, and some primary elements in Temporal Workflow were formalized.
通过对一个典型工作流元模型的分析,得出时态属性是工作流各要素及其关系的普遍属性;定义了时态信息的规范表示和一组时态数据演算,并对时态工作流中主要元素进行了形式化描述;用一个例子说明如何运用上述成果进行过程建模、并处理工作流中的时态数据。
3) temporal tuple calculus
时态元组演算
1.
In this paper,the author discusses the feasibilty of expressing temporal relations in nested relations and temporal tuple calculus in nested tuple calculus;and proposes a method for inplementing temporal DB system in nested relational DB.
讨论嵌套关系表达时态关系、嵌套元组演算表达时态元组演算的能力，提出一种用嵌套关系数据库（ＤＢ）实现时态数据库系统的方法。
4) duration calculi
时段演算
1.
As a case study of hybrid system, a redundancy management system in flight control system is formally investigated and its specification and verification are presented using an approach incorporating program logic into duration calculi.
采用的手段是时段演算技术及其扩展。
2.
This paper focuses on the modeling methods, including Equivalent Discrete Event (EDE) model, hybrid automata, petri nets, duration calculi and its extension.
在概述混合系统概念、特点、发展近况以及混合系统框架的基础上,介绍了混合系统研究中的建模问题,重点介绍了等价离散事件模型、混合自动机、Petri网、时段演算及其扩展等建模方法,最后介绍了混合系统研究中的一些重要成果以及一些仿真方法。
5) duration calculus
时段演算
1.
A formal semantics of VHDL based on duration calculus;
一种基于时段演算的VHDL的形式语义
2.
switch platform with the aid of the duration calculus theory.
利用最新时段演算等理论，形式化负荷监测功能的告警原理和组合输出问题，并进行必要的形式化推导，以确保规范说明具有可理解性和准确性。
3.
In order to formalize the parallel model of DDS, we firstly introduce duration calculus with which we can formalize DDS model.
传统的时段演算可以很好地对DDS模型进行形式化,但却不能描述加入了空间限制条件的DDS并行模型。
6) real-time calculus
实时演算
补充资料：时态法（temporalmethod）
企业在对外币会计报表折算时，将现金、应收和应付项目按资产负债表编制日当时现行汇率折算，其他所有资产和负债则依其特性分别按现行汇率和历史汇率折算的方法。具体地说，凡其他所有用货币价格计量的资产和负债均应按货币价格所属日期的外汇汇率折算。也就是，国外附属公司报表上以历史成本（过去交换价格）记载的资产、负债按历史汇率折算，按现行价值（现行交换价格或未来交换价格）记载的资产、负债按现行汇率折算。至于损益类项目，则按会计期的平均汇率折算。实收资本则按投入时的历史汇率折算。
时态法能使折算的资产和负债保持交易发生时原有的计量基础，在折算上更具灵活性。如果企业采用历史成本记账体系，则时间性法的折算结果往往在实际上与货币非货币法的折算结果相似，如果改用现行成本会计，时间性法可以自动地将全部资产和负债，包括非货币资产，都按现行汇率折算。因此，时间性法只是改变了外币报表各项目的计量单位，而没有改变其计量属性，它以各资产、负债项目的计量属性作为选择折算汇率的依据，具有较强的理论性。美国财务会计准则委员会颁布的第52号准则公告要求附属公司确定以跨国公司所在地的货币为功能性货币时，应使用时间性法来进行外币会计报表的计算。
时间性法的主要缺点是，由于对资产负债表各项目使用的折算汇率不同，因而折算后资产负债表各个项目之间不能保持原外币报表的比例关系，据此计算出来的财务比率，也不符合国外子公司的实际经营情况。
时态法能使折算的资产和负债保持交易发生时原有的计量基础，在折算上更具灵活性。如果企业采用历史成本记账体系，则时间性法的折算结果往往在实际上与货币非货币法的折算结果相似，如果改用现行成本会计，时间性法可以自动地将全部资产和负债，包括非货币资产，都按现行汇率折算。因此，时间性法只是改变了外币报表各项目的计量单位，而没有改变其计量属性，它以各资产、负债项目的计量属性作为选择折算汇率的依据，具有较强的理论性。美国财务会计准则委员会颁布的第52号准则公告要求附属公司确定以跨国公司所在地的货币为功能性货币时，应使用时间性法来进行外币会计报表的计算。
时间性法的主要缺点是，由于对资产负债表各项目使用的折算汇率不同，因而折算后资产负债表各个项目之间不能保持原外币报表的比例关系，据此计算出来的财务比率，也不符合国外子公司的实际经营情况。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条