工作流网WRI WF-net的验证方法研究及实现

WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是WF-net的子集,能够直接保证工作流模型的合理性,这样只需确保用户建立的工作流模型符合WRI WF-net的约束,而不需要进行合理性验证.提出一个WRI WF-net的验证方法,能够在结构上验证模型是否满足WRI WF-net的约束,并且阐述了方法的实现.     

敦煌壁画数字图像的三维信息恢复

详细阐述了用数字近景摄影测量和计算机图像处理技术来恢复敦煌壁画三维信息的过程,以达到原样数字保存敦煌壁画的目的.通过建立洞窟的统一坐标系统,对洞窟壁画进行近景摄影测量,并把近景摄影测量获取的底片用高分辨率的扫描仪扫描成数字图像.然后经过坐标变换,建立每个墙面壁画的辅助空间坐标.在此基础上,经过模型定向、核线重采样、影像匹配、数字表面模型的生成,直至最后生成正射影像,恢复壁画的三维信息.从壁画图像处理的结果来看,所有控制点绝对定向的残差都在毫米级,壁画数字表面模型的中误差也在毫米级,也就是说敦煌壁画图像数据的几何纠正达到了毫米级.这表明用近景摄影测量和计算机图像处理技术可以很精确地恢复敦煌壁画的三维空间信息,从而达到保护和永久地数字化存贮敦煌壁画、塑像文物的目的.同时也为我们提供了一种文物保护的新方法和新思路,为古代珍贵文物的保护、复原与研究提供了新的手段.     

基于CARIMA模型的PFC与GPC的等价性

建立了新型的模型预测控制方法——预测函数控制(PFC)与传统的广义预测控制(GPC)的联系.首先推导了基于含有色噪声的自回归增量滑动平均(CARIMA)模型的预测函数控制的控制律,然后通过选取不同的基函数获取PFC控制律的形式并与GPC控制律进行比较.从而证明了在一定的基函数的选取方式下,基于CARIMA模型的PFC算法和GPC算法是等价的.揭示了PFC与GPC两者之间深刻的内在联系,为PFC的工程应用提供了理论保证.     

基于角色的工作流访问控制模型

提出了一个基于角色的工作流访问控制模型WACBR(Workflow access control model based on role).WACBR中加入了"任务"的概念,任务是工作流系统执行时的最小工作单元.由于工作流中的任务分别对用户和权限进行授权,采用两种不同粒度的角色分别作为这两种授权的中介.     

基于模糊集μRX的α-截集和强β-截集的粗近似

研究了基于模糊集μRX的α-截集和强β-截集的粗近似问题,提出了(α,β)-粗糙集模型,讨论了粗糙近似算子的一些重要性质,给出了粗糙度和近似精度的定义和性质,证明了该模型比Pawlak粗糙集模型具有更好的精度.     

水波与淤泥质底床相互作用数值模拟——基于滞后回路特征的淤泥体流变模型

应用一个滞后回路特征的半经验的淤泥体流变模型描述表面水波作用下底床软泥层的振荡运动，建立了表面水波与淤泥质底床相互作用的垂向二维耦合模型。在数值处理上，为提高数值格式对水－泥界面附近流动的分辨力，较好地再现界面附近速度梯度大的流动特点，采用垂向对数网格处理技巧。模型验证是通过计算水波波高衰减率和底床软泥体输移速度，并与有关的实验测量数据进行比较。     

公理化设计与TRIZ的比较研究及其集成模型

摆脱设计对经验的依赖，探索以科学原理为基础的设计理论是设计方法学的研究热点。公理化设计理论和创新问题解决理论是基于科学的设计方法学，近年来已得到设计界的高度重视。分析比较了两种理论的内在联系和区别，以此为基础建立了产品概念设计过程集成模型。给出了应用案例，验证了模型的有效性     

基于子结构分析的多重子步模型修正方法

为了解决模型修正过程中修正目标众多和测量信息有限的矛盾，提出了多重子步模型修正方法(MSMUM)，先进行误差定位，再实现参数修正，把复杂的模型修正过程分步实现。利用子结构技术，使结构模型在整体上仅包含有限数目的子结构，对各子结构所对应的超级单元的刚度参与系数进行识别来实现误差定位，通过建立测量信息与待修正参数间的代数方程来修正误差定位后子结构内部构件的参数。数值算例表明，建立的模型修正方法有效可靠。利用建立的多重子步模型修正方法对润扬大桥南汊悬索桥桥塔模型进行了修正。     

垃圾填埋场气体产生及其模型研究

对填埋气的回收利用，既能减排温室气体，又能回收能源。分析了填埋气产生的原理和过程，对目前出现的填埋场产气模型进行了分类，并系统地分析了各种产气模型的计算方法、优缺点以及适用条件，为填埋气体的大规模利用提供可靠的方法。     

现代投资组合理论模型的比较研究

对证券组合理论的Markowitz均值-方差模型以及均衡时关于资产的期望收益率的资本资产定价模型（CAPM）和套利定价理论（APT），进行了深入地比较研究，同时从动态投资组合理论，基于VaR的投资组合理论以及行为投资组合理论三个领域阐述了现代投资组合理论的新进展，并对其未来的发展进行了展望。