基于闭包系统划分的概念格并行构造算法

随着处理的形式背景的增大，概念格的时空复杂度也会随着急剧增大。研究新的方法和手段来构造概念格，是概念格技术应用于大型复杂数据系统的前提．提高其构造效率的一种有效途径是利用高性能并行计算机和网络并行计算的能力，因此概念格的并行构造算法已成为众多学者的一个新的研究方向。概念格的并行构造思想就是根据不同的原理，采用分治策略，通过对形式背景的拆分，形成分布存储的多个子背景，然后构造相应的子概念格，再由子概念格的合并得到所需的概念格。目前建格算法的分布处理研究主要有形式背景的并置和叠置以及形式背景的折叠搜索子空间划分两种方法，本文在总结研究这两种方法的基础上，基于偏序集上闭包系统分解的思想，对提出的闭包系统划分为多个子闭包系统的判定定理进行了证明．使闭包系统的分解既不会产生冗余信息，也不会使信息丢失，并把所提出的判定定理用于概念格的并行处理．提出了一个新的基于闭包划分的概念格并行生成算法——Para-Prumng算法。通过实验，利用随机生成的数据集同经典NextClosure算法进行比较分析，验证了新算法的正确性和有效性。     

A nonsmooth approach to envelope theorems

We develop a nonsmooth approach to envelope theorems applicable to a broad class of parameterized constrained nonlinear optimization problems that arise typically in economic applications with nonconvexities and/or nonsmooth objectives. Our methods emphasize the role of the Strict Mangasarian–Fromovitz Constraint Qualification (SMFCQ), and include envelope theorems for both the convex and nonconvex case, allow for noninterior solutions as well as equality and inequality constraints. We give new sufficient conditions for the value function to be directionally differentiable, as well as continuously differentiable. We apply our results to stochastic growth models with Markov shocks and constrained lattice programming problems.     

INCOMPRESSIBLE MULTI-RELAXATION-TIME LATTICE BOLTZMANN MODEL IN 3-D SPACE

Multi-Relaxation-Time Lattice Boltzmann Method(MRT LBM) is of better numerical stability and has attracted more and more research interests.The previous MRT LBM included artificial compressible effects.To overcome the disadvantage,an incompressible MRT LBM has been proposed in two dimensions recently.In this article,we present incompressible MRT LBMs in 3-D space,with example of nineteen-velocity.The equilibria in momentum space are derived from an earlier incompressible Lattice Bhatnagar-Gross-Krook(LBGK) ...     

一种ARMA模型的格型迭代递推辨识法

本文针对ARMA模型的格型迭代法,推出了它的递推算法,并针对本算法提出了相应的判价方法.运用它对ARMA模型和时变ARMR模型进行了汁算机模拟瓣识,结果良好.     

A multi-factor Markovian HJM model for pricing American interest rate derivatives

This article presents a numerically efficient approach for constructing an interest rate lattice for multi-state variable multi-factor term structure models in the Makovian HJM [Econometrica 70 (1992) 77] framework based on Monte Carlo simulation and an advanced extension to the Markov Chain Approximation technique. The proposed method is a mix of Monte Carlo and lattice-based methods and combines the best from both of them. It provides significant computational advantages and flexibility with respect to many existing multi-factor model implementations for interest rates derivatives valuation and hedging in the HJM framework.

基于科学计量的创新研究群体合作网络构型可视化分析

创新研究群体是受自然科学基金资助的我国基础研究前沿的高水平科研创新团队,分析并把握其结构特征与合作网络构型,有助于提升合作效率并促进原始创新。通过知识图谱可视化分析,发现并验证了优秀群体合作网络构型为晶格结构,具有较高的网络密度值,主要节点也具有较高的合作频次与中介中心性。基于科学计量的比较分析,发现了群体晶格结构具有单晶核辐射型与多（准）晶核均衡型两种形态,主要成员合作方式分别为主导型领军人物+追随型研究骨干与协调型领军人物+准晶核研究骨干,两类构型互有交织,只是在程度上有所差异。     

扁球体颗粒沉降形态的数值模拟研究

该文利用三维格子玻耳兹曼-大涡模拟模型对不同雷诺数下(Re=5-2685)扁球体颗粒的静水沉降进行了模拟.结果表明,随着雷诺数的增加(颗粒增大),扁球体颗粒会经历五种沉降状态:稳定下落、阻尼摆动、周期摆动、混乱下落和斜线滚落,此颗粒运动形态与已有研究结果一致.并通过分析颗粒和周围流场的相互作用,即沉降过程中颗粒位移和受力以及颗粒对周围流场的影响,得到颗粒不同沉降运动形态的形成原因:雷诺数较小时,颗粒对流场扰动小,流线分布对称,流场对颗粒的作用力对称,合力作用线接近重心,合力矩也较小,颗粒运动形态较规则;雷诺数较大时,颗粒对流场的影响明显,流场分布紊乱,流场对颗粒作用力更加复杂,外力和外力矩都较大,颗粒运动形态较为不规则.     

关于格的三元关系同构

讨论了格的几种三元关系及其相应同构间的联系。     

Windows矢量字体在点阵广告牌中的应用

Windows环境下提供了大量的矢量字库，具有字体非常丰富、添加新的字库比较容易等特点，但在实际应用中，怎么把矢量字变成点阵字来显示是个难点。本文通过Delphi编程。实现了这一转换，并应用于高速公路广告牌上的显示。利用将显示汉字指令放在工控机中，上位机通过输出的点阵二进制数来控制广告牌上的显示汉字。同时文中也给出了实例。     

用Lattice Boltzmann方法模拟水击

新近发展起来的LB方法具有并行度高、几何边界易处理等优点。作为用之解决实际问题的尝试，本文建立了能模拟水电站水击的一维LB模型 ，给出了基本原理、方法及步骤，并与特征线法进行比较.分析表明LB方法是有效的，将之引入水电站流场计算具有可能性，值得探讨。