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

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

浅析当前大学数学教育中的若干问题

从大学数学教育的改革的紧迫性、必然性出发,以当前大学数学教育面临的形势和存在的主要问题为背景,以未来社会对人才的需求为理论依据,提出大学数学教学改革的具体思路,具体表现在:转变教育观念,树立正确的学习意识;转变教师的角色,帮助学生树立自学与研究精神;多媒体技术与传统教学模式相结合,设置数学实验课,熟悉使用数学软件包等。     

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

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

振动磨简体内部的能量传递规律

在对大量摄像实验反复观测和研究后发现:磨筒内的磨介存在抛射、整体回转和本身自转3种运动状态;磨介与筒壁的抛离与接触是沿着振动方向发生的,此过程是周期性的,其周期与振动周期相同．在此基础上,建立了粉磨介质冲量传递模型,探讨了振动磨简体内部的冲量传递、能量传输和能量耗散的分布规律,揭示了振动磨的粉碎机理．以此为理论依据,提出了减小磨筒内的惰性区、提高粉磨效率的途径．     

Crystallization kinetics of （Ni0.75 Fe0.25）78-xNbxSi10B12 （ x = 0, 5 ） amorphous alloys

Amorphous ribbons of （Ni0.75 Fe0.25 ） 78- x Nbx Silo B12 （x = 0, 5 ） were prepared by a single roller melt-spinning technique in air atmosphere. The crystallization kinetics of the alloys were investigated by means of continuous heating, and the activation energies of the alloys were calculated using Kissinger plot method and Ozawa plot method on the basis of differential thermal analysis data.     

Modeling Locking Angle of the Multi-layered Biaxial Weft Knitted Fabric in Shear Deformation

This paper introduces the construction of the multi-layered biaxial weft knitted fabric （MBWK fabric） and studies the locking angle of this kind of fabric. Moreover, a locking angle model of the MBWK fabric is established for the first time according to its unique construction. Two kinds of locking angles are considered under different restraint conditions： the locking angle θ1 controlled by the inserting yarns and the locking angle θ2 controlled by the stitch yarns. It is concluded that the ultimate value of the locking angle θ is the larger one of the two angles.     

Transports of K^＋, Ca^2＋ Ions in Liquid Membrane with Calixarene Derivatives as Carriers

A few derivatives of calixarenes have been synthesized and characterized by IR, ^1H NNtR, thermal and elemental analysis. The transport of potassium or calcium ion through the liquid membrane, in which the derivatives act as carriers, has been studied. The electron-effect of the substituent on the upper rim of calixarene possesses important effect on the net transport of metal ions. The p- tert-butylcalix[4]arene is the best carrier of calcium ion, compared with p-tert-calix[4]arene（n = 4, 6, 8）. The ptert-butylcalix[4]arene acid is better than p-tert-butylcalix [4]arene. The calixr43crown is the best carrier of calcium ions of all the carriers. The pH gradient between the source and receiving phase, and the concentration of K^＋ , Ca^2＋ ions in the source phase affect mainly transport. After the transport, the pH value of the source phase is found to be decreased, once the calix [n ] arene derivatives act as carrier. But it is not the case for the calix[n] crowns. It might be interpreted as the result of their different mechanisms.     

Liquid Flow in Shaped Fiber Bundle

By computation and comparison of the critical spreading coefficient parameter, it was found that shaped fiber bundle is better for wetting. Liquid-air interface tension of liquid arising the shaped fiber bundle body is considered as one critical factor besides liquid viscosity, inertia force and liquid-fiber interface tension. Experimental result simulation demonstrated that the liquid-air interface tension is correlated with the geometric size of the liquid arising in body, Φ0 （x） and which is affected by the cross sectional shape of fiber and the radius of single fiber. The shaped fiber bundle model is/ntroduced to/nvestigate liquid flow in fiber assembly. The model is generated based on a random function for stochastic forming of fibers in bundle and it is necessary to combine this fundamental model with physical explanation for investigation of liquid flow in fiber assembly.     

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

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

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

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