基于类型系统的完整性信息流控制

构造了一种实现完整性信息流控制的安全类型系统.首先,为π-演算建立具有完整性安全等级的安全类型.然后,建立该安全类型的子类规则和类型规则,这些规则实现了系统的完整性策略及对系统行为的限制.最后,证明该类型系统的类型合理性,表明满足初始安全策略的系统经过不断的演进、交互,系统的安全属性依然可被满足.所建立的完整性信息流控制机制可通过静态类型检验高效实现.     

网络环境下组合体交互式3D动画的设计

工程制图组合体网络教学系统的特点是三维实体造型多,动画数据量大,交互性强,对网络带宽要求高,开发该系统的关键和难点在于实现组合体三维动画的网络快速传输和实时交互.介绍了建立组合网络3D模型、动画及交互式操作,以及如何提高三维模型网络传输速度的实现方法.实验表明,基于Java 3D的组合体动画具有网络响应速度快、交互性强、文件占用空间小的优点,对于开发组合体网络教学系统十分适用.     

用于可压缩Navier-Stokes方程的多速度级与多能级

构造了用于可压缩Navier Stokes方程的25 bit格子Boltzmann模型, 它具有3个速度级和3个能级. 令其局部平衡态分布函数具有质量、 动量和能量守恒, 同时假设平衡态分布函数满足高阶矩条件, 得到了具有二阶截断误差的可压缩Navier Stokes方程. 数值模拟表明, 所得结果比一阶模型的结果有较高的精度与分辨率.     

定态量子流体动力学模型解的一些估计

有关量子流体动力学模型的研究成为了一个热点问题。研究了当电子密度为正,引入新的变换ω=ρ后,得到稳定态半导体量子流体动力系统的解的L∞估计、H1估计和H2估计。     

基于混合编码框架的H.264/AVC核心新技术

介绍了H.264独有的特点,包括帧内预测、整数余弦变换、二进制自适应算术编码、概念性网络适配、多种块尺寸运动搜索、1/8像素运动估计精度等。     

小子样条件下幂律退化模型的加速因子分析

结合长寿命、高可靠性产品加速寿命试验的特点,在失效机理不变的条件下,提出了幂律退化模型加速因子的概念。推导了加速寿命试验条件下幂律退化模型参数的极大似然估计。并利用Bayes方法,结合额定应力环境下的小子样数据和加速因子的先验分布,推导出加速因子后验分布。在此基础上,给出了小子样条件下可靠性的一、二阶矩的估计公式,进而运用矩等效方法得到可靠性的验后分布,结合实例说明了方法的有效性。     

组织内收入偏好分布与主体激励——模型构建和模拟

组织成员的收入偏好影响其工作积极性，并最终作用于组织绩效。以往的相关研究主要把组织成员看作独立的主体进行分析，忽略了其他相关主体的收入偏好可能具有的影响。在特定组织中，各成员的收入偏好存在差异，因而在组织层面上表现出一定的分布特征，可以用均值、标准差、偏度和峰度等参数进行描述。本文通过建立一个多主体模型来分析组织内成员收入偏好的分布是如何影响特定主体的努力水平，进而影响亚组织（部门、项目团队等）的绩效。研究表明，组织内成员收入偏好的均值和标准差对其努力水平的影响较为显著，说明组织在招聘过程中要注意控制潜在员工收入偏好水平的高低和离散程度。     

Relationships of the Monetary Policy, Stock Market and Real Investment in China Based on Markov-Switching Model

This paper studies the relationships of the monetary policy, stock market and real investment in China based on Markov-Switching-Vector Error Correction Model. It shows that there is a cointegration relationship among the three ones. We disclose the riddle that the stock market is in recession, but the growth rate of economy is very high in recent years. We also find that Chinese economy operated stably most of the time during the past 8 years. But if the economy is difficult to continue its high growth, it is more likely to appear ＂hard landing＂ than ＂soft landing＂. The impulse response analysis indicates the asymmetry between the ＂too cold＂ economy regime and the ＂too hot＂ regime. And the economy will oscillate during the subsequent time when it is shocked under the ＂too hot＂ regime.     

圆环射线分解投影轮廓的三维模型检索方法

虚拟现实、可视化技术、数字化和三维图形建模的发展使互联网和专用数据库中三维模型的数量和检索需求快速增长,因此提出了一种圆环射线分解投影轮廓的三维模型检索算法。首先,对三维模型进行位姿对准、投影变换和边界提取;然后,对提取的投影轮廓用圆环射线分解的组合方法参数化,并对该参数化函数进行傅立叶分解,得到图形特征;最后,对特征描述符做相似性匹配,计算特征比较值,得到检索结果。实验表明,该种方法对三维模型的检索效果较好。     

一个支持战争分析仿真实验的策略模型

针对战争分析仿真实验运行控制过程中的新要求,在介绍战争分析仿真引擎的基础上,提出一种支持战争分析仿真实验的仿真运行机制模型,即集成策略-运行策略-应用策略模型,并给出了相关的关键算法,使得能够实现模型集成和驱动机制、可控实验、单方评估/对抗仿真等多种仿真需求,完成对战争分析的虚拟实验。