基于扩展时间工作流网的工作流过程建模

工作流管理系统中时间约束意义重大.为了在工作流模型中引入时间因素,对模型的时间性能进行评估,提出一种基于扩展时间工作流网模型.通过对模型进行形式化定义,描述了模型到工作流过程模型的映射,并针对工作流网模型存在的4种基本逻辑结构,提出一种时间线性简化规则;运用此简化规则,对工作流网模型进行压缩,以便计算所建模型的时间性能.最后结合一个工作流实例,运用提出的简化规则对约束上的常量时间进行了初步分析.     

基于时间Petri网的铁通调度指挥系统建模与分析

在分析了铁通调度指挥系统(TDS)建模存在的问题后,本文提出了基于时间Petri网的铁通调度指挥系统工作流模型.在此模型中,用时间Petri网表示工作流模型,并分析了基本结构的时序关系.利用在线性时间复杂度内解决时间推理问题的线性推理规则,本文用时间Petri网建立了TDS停机停线的工作流模型.最后,对TDS停机停线的时间性能进行了分析.     

基于概率的不确定时态信息的表示模型

时态信息表示和推理是时态数据库的研究重点之一,现实生活中很多时态信息是不确定的,现有的时态数据库模型在处理不确定时态信息方面仍存在较大困难.本文提出一种用概率的方法表示不确定时态信息的模型,用于描述各种具有确定或不确定时态信息的事件,定义了各类时态对象(如时间点、时间区间)以及它们之间的关系,并给出了不确定时态推理的例子.     

基于Petri网的应急管理工作流模型

讨论了由Petri网发展起来的工作流网WF-net的定义、工作流执行结构及任务触发方法,引入WF-net建立应急管理信息系统工作流模型,提出了一种基于Petri网工作流模型的建模方法及其相关规则．以一个省级应急管理系统为例,详细阐述了构建Petri网工作流模型的过程,并利用验证工具对该模型进行了正确合理性分析．     

基于时间自动机的实时工作流时序约束一致性验证

提出一种基于时间自动机的实时工作流时间建模与验证方法.该方法首先将实时工作流的时间工作流图转换成时间自动机模型,再利用时间自动机的机制验证其时序约束一致性.     

基于XML的时态数据管理

时态数据的多种查询操作要求数据以时间为基准成组存放,XML文档中数据的半结构化特性很好地适应了这一要求.在不考虑索引技术等查询优化方法的情况下,时态数据文件的长度是影响查询效率的关键因素之一.首先探讨了两种常用的表示时间属性的方法：属性时戳模型和元素时戳模型;提出了一种新的方法：前缀时戳模型.在3种时态XML数据模型的基础上,利用XML文档中祖先元素与子孙元素在时间区间上的相关性,消除了文档中的时间冗余信息,实验结果表明这一方法能够取得较好的压缩比.     

基于服务的跨组织工作流时间模型

分析了基于服务的工作流与传统工作流在流程自治性和动态性上的不同点, 提出了一种基于服务的工作流时间模型.该模型将流程分为公开和私有两部分: 私有部分是流程的详细实现,包含了流程的结构信息和时间信息; 公开部分是流程的简化形式,只包含了流程的接口活动以及接口之间的时间约束信息. 设计了一个具有多项式时间复杂度的算法从流程私有部分自动生成相应的公开部分. 该工作流时间模型避免了由于流程以黑盒方式发布所造成的时间信息被屏蔽的缺点.利用该工作流时间模型对企业流程进行时间建模,不仅可以满足时间管理的要求,还保证了流程的安全性.     

时态因果诊断模型TCDM及其应用（Ⅲ）：时态信息传播特征的分析

给出了时态信息传播的若干性质。利用这些性质可使时态信息传播过程的一些计算得以化简。提出了时态传播的“集成”法,并证明了它与单点法的等效性。利用聚合法,可使子骨架相互作用时的时态信息传播过程更加简单。基于技术系统实时故障诊断的实际情况,给出了固有时间区间,生存最大周期等概念。利用这些概念引入了固有时间区间的关系类型,以及几种典型类型情况下用于时态一致性判断的一些启发式方法。     

建筑产品设计过程资源管理的仿真与优化

为了提高建筑产品设计过程资源管理效率,以产品设计信息约束条件下设计活动的资源管理和优化为中心,提出基于模糊时间有色工作流网的建筑产品设计过程资源管理模型的数学表达形式,加强了资源管理模型对系统动态模糊时间约束关系的支持,解决了对建筑产品设计过程资源管理的仿真和优化的关键问题.以某办公楼结构详细设计过程为例,构建基于模糊时间有色工作流网的建筑产品设计过程资源管理模型,利用CPNTools仿真软件进行资源管理仿真分析和优化研究,验证方法的正确性和实效性.     

MEC中面向动态环境的工作流D2D协同卸载方法

为解决现实场景中终端设备的移动性与性能波动对工作流D2D(device-to-device)协同卸载带来的问题,提出一种面向动态环境的工作流D2D协同卸载方法,以尽可能小的卸载成本保证工作流在时间约束内得到及时响应。在工作流的卸载执行过程中感知其执行时间状态,并提出贪婪有序自适应搜索算法进行高效的工作流D2D卸载决策,根据环境变化及工作流执行时间状态在线调整卸载方案。仿真结果表明,该卸载方法在动态环境中具有有效性,并且卸载决策所需的计算开销很低(仅为粒子群优化算法的1.63%),具有较高的实时性。     

A Real-time Data Model Based on Temporal Data

Real-time database systems contain not only transaction timing constraints, but also data timing constraints. This paper discusses the temporal characteristics of data in real-time databases and offers a definition of absolute and relative temporal consistency. In real-time database systems, it is often the case that the policies of transaction schedules only consider the deadline of real-time transactions, making it insufficient to ensure temporal correctness of transactions A policy is given by considering both the deadlines of transactions and the “data deadline” to schedule real-time transactions. A real-time relational data model and a real-time relational algebra based on the characteristics of temporal data are also proposed. In this model, the temporal data has not only corresponding values, but also validity intervals corresponding to the data values. At the same time, this model is able to keep historical data values. When validity interval of a relation is [NOW, NOW], real-time relational algebra will transform to traditional relational algebra.     

基于C-TRDM模型的时态数据存储研究

基于时态关系数据模型C-TRDM和时间过滤运算,提出时态数据栈的概念,定义了基于时态数据栈的两种操作方法,即分立时钟法和共用时钟法,并讨论了加速大容量时态数据存取的并行访存技术。     

一种周期时态关联规则挖掘算法

应用时态关联规则模型和时态事件空间,提出了一种单事件周期时态关联规则挖掘算法,并对其进行了可行性分析和复杂性分析。该算法通过挖掘不同时间间隔下的时态关联规则,能较好地处理非拐点的邻接点的趋势分布特征的挖掘,完整地挖掘时态数据趋势分布特征。最后,将该算法应用到股票数据的趋势挖掘中,得到了满意的实验结果。     

蒸发或冷凝液膜二维表面波的时域演化方程

以边界层理论为基础，考虑完整的边界条件，采用Ｃｏｌｌｏｃａｔｉｏｎ方法，推导出了以液膜厚度表示的沿倾斜壁面下降的、处于蒸发、等温和冷凝状态下普遍适用的二维表面波扰动时域演化方程。方程中考虑了雷诺数、表面张力、热毛细力、倾角、流体物性以及在蒸发、等温和冷凝条件的影响，为进一步分析上述因素在不同雷诺数下的作用，从理论上全面认识和分析液膜表面波的时域演化行为和稳定性提供一种简便可靠的物理模型。     

H Base 下时态信息索引策略研究

针对海量非结构化时态信息存储与快速检索的需求,提出使用Hadoop 平台下的分布式、非结构化数据库HBase对海量时态数据进行存储,构造以时态集合为时态存储单元的时态数据存储模型;设计了多级分布式哈希索引表算法（ tDHT）,实现对时态列族的时态属性值的高效、快速的检索。通过将时态属性值向二维空间映射,实现时态数据向空间对象的转化,采用对空间数据的处理方法对时态数据区域进行划分,生成多级时态数据子区域,利用分布式哈希表思想设计HBase存储的多级索引表目录。实验结果表明,该索引策略具有较高的性能,可以在一定程度上加快对HBase中时态信息的检索速度。     

时态数据库初等关键字范式问题的研究

为了探索能避免存储异常(插入,删除,修改异常,冗余),保证数据的完整性和一致性的数据库模式,依据具有多时间粒度的时态函数依赖约束的理论,采用时态数据库规范化方法,提出了时态初等关键字范式的概念,并分析了时态初等关键字范式与时态三范式和时态BC范式之间存在的联系,得到了用TEKNF分解来解决如果把TBCNF作为最终目标,很难实现保持函数依赖性,若把T3NF作为最终目标,又很难实现想要得到的规范化要求的问题,是时态数据库进一步规范化的基础．     

基于LTL Tableau的自动机构造

基于线性时序逻辑(LTL)的模型检验是使用较为广泛的技术。该种模型检验最终归结为有穷自动机的判空问题,其复杂性来源于性质和模型乘积自动机的状态空间膨胀。作者提出了一种构造迟滞交换Co-Büchi自动机(Stuffer Alternating Co-Büchi)的具有线性复杂度的方法,该方法能够降低最终乘积自动机的空间复杂度。     

Study on spatial temporal model in property management information system

Time is an important dimension for information in the geographical iniormatlon system. Data, such as the historical state of target property space and related events causing the state to be changed, should be saved as important files. This should be applied to property management. This paper designs and constructs a spatial temporal model, which is suitable to the property data changing management and spatial temporal query by analyzing the basic types and characteristics of property management spatial changing time and date. This model uses current and historical situational layers to organize and set up the relationship between current situation data and historical dates according to spatial temporal topological relations in property entities. By using Map Basic, housing property management and spatial query is realized.     

约束强度感知的时序约束服务组合

保障全局时序的时序约束分解模型（TCD）可以将时序服务组合分解成约束分解与局部优选两个相对独立的过程,但该模型可能丢失可行组合方案,在用户约束强度较强时可能导致无解。该文提出了一种约束强度感知的时序约束分解模型（CIA-TCD）,通过在现有的TCD模型中引入松弛因子,使得用户约束强度较弱时,能保证全局约束,而约束强度较强时,也能够保留一定量的组合方案,从而提高找到可行方案的概率。分析表明,当约束强度较强时,CIA-TCD模型较TCD模型找到可行组合方案的概率明显更大。