多维门限GARCH模型的平稳遍历性

给出了多维双门限自回归GARCH模型；该模型是一维双门限自回归GARCH模型在多维情况的一种推广，并且讨论了多维双门限自回归GARCH模型存在严平稳遍历性的充分必要条件。     

宇宙的拓扑结构及应用

宇宙的拓扑结构及应用杨旭（四平师范学院）关键词宇宙，拓扑，模型通过对几何公理内在矛盾的分析和近代科学发展内在逻辑之探讨，本文揭示了宇宙的拓扑结构并提出一个全新的宇宙模型，从而对宇宙奇点，有限无限以及黑洞与白洞的问题给出更为合理的解答．在奇点处被消灭的...     

组织和个体激励效益合理最大化的规划模型

激励是人力资源管理中的一项重要职能 ,激励是有投入与产出的管理活动 .文章通过定义激励过程中的组织和个体的激励效益及其合理最大化的概念 ,建立了一个组织激励效益和个体效益合理最大化的规划模型     

半参数模型约束条件下估计量的统计诊断

利用最小惩罚二乘原理构造加权惩罚平方和，导出了约束条件下，半参数模型中正规化矩阵正定时半参数平差的计算方法，用直接法得到了参数和半参数的估计量，并将此方法引入测绘领域，给出了相应的公式。     

分布式虚拟战场环境中地理环境模型的研究

现代战争是陆、海、空多兵种协同作战的全方位的复杂战场环境,对战场环境的综合仿真是一项庞大的系统工程,因此,通过计算机仿真为武器系统的研究提供强有力的技术手段。本文主要讨论了分布式虚拟战场环境中的地理环境模型,详细阐述了分布式虚拟环境中综合地面环境研究的各个方面,提出了一种可以实时估算各种地理环境因素动态变化的计算模型。     

模型化推理与理论的建构

理论模型并不完全与理论一致.模型化推理的逻辑特征在于在原型与模型之间,以及模型与理论假设之间尽可能地建立起可靠的、完善的逻辑联系.利用模型化推理建构理论时,首先是提出模型,然后对其进行检验,最后根据检验结果,看看这个模型是否代表待说明现象的内在结构.理论的延伸可沿两条不同的路线进行.一是形式化的延伸;二是非形式化的延伸,它又可区分为两类:展开与发展.     

Mechanism and Defense on Malicious Code

With the explosive growth of network applications, the threat of the malicious code against network security becomes increasingly serious. In this paper we explore the mechanism of the malicious code by giving an attack model of the maliciouscode, and discuss the critical techniques of implementation and prevention against the malicious code. The remaining problems and emerging trends in this area are also addressed in the paper.     

温度对荒漠沙蜥在体心脏单相动作电位的影响

采用吸附式电极记录了荒漠沙蜥在不同体温条件下 ,在体心脏的单相动作电位 (MAP:Monophasic Action Potential) .实验温度为 :5℃ ,10℃ ,15℃ ,2 0℃ ,2 5℃ ,30℃和 35℃ 7个温度等级 .结果表明 :(1)在最适温度 (2 0～ 2 5℃ )时 ,荒漠沙蜥心脏单相动作电位的基本波形与高等动物及人类基本相似 ;但也有其特殊性 :动作电位 0期除极期最大幅值为 11.4 2± 2 .5 8m V;复极 2期电位幅值基本保持恒定 ,呈平台期 (PP2 :Plateau Phase2 ) ;在复极 3期末 ,电位基本恢复到 0电位(膜电位为 0 m V) .(2 )随着体温的升高 (5～ 35℃ ) ,荒漠沙蜥心脏单相动作电位时程呈温度依赖性减小 ;0期最大除极速度 (Vmax)呈温度依赖性增加 (5℃为 77.0 8± 4 7.11m V/ms;35℃为 614.63±10 5 . 0 2 m V/ms) ;低于最适温度时 (2 0～ 2 5℃ ) ,在 2相平台期末 ,又出现一次除极电位 (后隆起波 ) .其最大电位为 0 .5 8± 0 .18m V.(3)随着体温的升高 ,荒漠沙蜥心脏单相动作电位复极 1期电位呈温度依赖性降低 (5℃为 2 .2 4± 1.31m V/ms;35℃为 0 .82± 0 .4 9m V/ms) .(4 )心电图 (ECG)的同步记录表明 :心电图中的 QRS波与心脏单相动作电位 0期除极完全相对应 ;T波与动作电位的复极 3期相对应 .     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

Study on End Milling Generation Surface Model and Simulation in View of Main Axle s Tolerance

In accordance with the relative movement between end-milling cutter and workpiece surface, a theoretical generation model for milled surface was established with the movement error of principal axle considered. Then the milled surfaces under various cutting condition were simulated, the results of which showed that end milled surfaces were of “vaulted profile“, heights of surface irregularty at various points to be different with maximum value in the middle and smaller at both sides, the difference were ...