一种基于虚拟对象的进程检查点实现方法

检查点回卷恢复策略是实现软件容错的一种重要方法。基于虚拟对象策略的进程检查点实现方法把应用层与系统层的直接交互被重定向为应用层与虚拟对象层的交互以及虚拟对象层与系统层的交互。故障恢复时,虚拟对象层重新和系统层捆绑结合,使得进程环境故障前后的差异性对应用层透明。另外,基于虚拟对象的检查点策略不须要进行对象句柄转换,避免了对象句柄转换所带来的开销。该方法具有开销小的特点,并且支持多线程及线程间的同步。     

分布式仿真系统非阻塞式协同检查点协议

联邦存储是实现分布式仿真系统容错的基础,IEEE1516-2000中提供了一种阻塞式的系统状态存储协议,实际使用时会给系统带来很大开销。根据对系统状态存储过程中仿真组件状态变化影响因素的分析,提出了一种非阻塞式的系统状态存储协议,该协议完整地解决了由于在系统状态存储期间允许时间推进导致所保存的RTI状态和对应成员状态时间上的不一致、由于成员间消息传递导致不同成员状态的不一致及in-transit消息问题。先完成状态保存的成员不需阻塞,该协议在一定程度上降低了联邦存储的开销。证明了该协议的正确性。     

基于检查点和Rejuvenation的软件可靠性建模分析

处于运行阶段的软件往往存在老化现象，即性能的逐渐下降或失效。为了避免软件老化造成的影响，人们提出了软件rejuvenation技术。这是一种预防性的软件容错策略，能有效的提高软件系统的可靠性和可用性。但由于rejuvenation操作过程的复杂性，它的成本也是不可忽略的。相对于rejuvenation来说，检查点是一种轻量级的软件容错策略，其成本远小于rejuvenation的成本。本文旨在结合rejuvenation和检查点技术，在rejuvenation周期间插入适当数目的检查点，以降低系统的宕机成本。丈中给出了系统的Detri网模型，并结合实例进行了分析。     

分布式仿真系统socket迁移

在分布式仿真系统进程迁移中,除了要保存、恢复仿真进程本身的状态,进程之间通信状态的保存与恢复也是关键。通信状态主要包括两部分:进程IP地址以及进程间的交互数据。我们通过截获系统调用的方式,在用户空间完成了上述通信状态保存与恢复,实现了socket迁移。其中连接错误的监控通过心跳机制实现;进程的IP地址及交互消息被修改的系统调用透明的保存在checkpoint文件中;基于保存的上述信息,我们实现了联邦成员和RTI之间通信关系的恢复。测试结果表明该系统可以实现socket通信关系的迁移。     

扩展时间戳状态类

状态类方法是时间Petri进行可达性分析的主要方法.提出扩展时间戳状态类方法,该方法通过扩展变迁的同步使能信息到时间戳状态类, 解决了时间戳状态类方法中同步使能变迁的可实施性问题.最后以一个典型生产系统为例展示扩展时间戳状态类方法的应用.     

基于模板的并行离散事件仿真持久框架

在仿真中持久框架不但用于系统的负载平衡而且用于检查点及恢复操作，是并行离散事件仿真（PDES）引擎中至关重要的一层支撑结构。首先提出PDES引擎的层次结构并分析各层的功能，在此基础上提出持久框架的结构，重点研究持久框架的支撑模块——持久库对持久框架性能的影响。通过对基于数据库的持久框架和基于C＋＋模板的持久框架的性能差异进行分析，得出后者更具优越性的结论。     

基于FPGA的时间触发协议控制器实现

时间触发协议是TTA架构必需的通信协议,用于在要求高可靠性的分布式容错实时系统中电子模块之间的互连。目前作为时间触发通信系统重要组成部分的时间触发控制器主要是采用处理器来实现协议的处理,协议开销比较大。基于FPGA的时间触发协议控制器的设计,采用了具有较好同步能力的编码方式和合理的帧格式,在建立全局时间基准的基础上优化了协议处理状态机,利用FPGA的并行处理能力,降低了协议开销,增加了总线的效率,同时也提高了时钟同步精度和容错能力。仿真结果表明,基于FPGA的时间触发协议控制器具有较好的性能。     

并行离散事件仿真中的回退和持续机制研究

介绍了并行仿真驱动及支持软件KD-PARSE基于状态变换对象（SXO），采用增量式状态保存法，实现透明、可扩展自动回退机制以支持并行离散事件仿真中的乐观时间管理算法的方法，并给出了诸回退框架的整体结构设计。介绍了该软件实现的一种持续机制以支持仿真运行中的检查点功能。该持续机制利用持续数据库不仅实现了持续化内存管理，主持程序运行中的可回退动态内存分配和删除操作。     

区域交通网络行程时间估计的半Markov链模型

利用模糊聚类分析及典型判别方法,将区域交通网络单元路段的状态划分为3类,考虑到各类交通状态下拥挤效应的异同,对各状态下的瞬时行程时间函数进行了标定。然后,对区域交通网络的状态进行了定义,应用半Markov链随机过程理论,分析了给定时间段内某区域交通网络各种状态的随机变化规律,计算了各种状态出现的极限概率。最后,结合各状态下网络单元路段的瞬时行程时间函数,给出了给定时间段内的区域交通网络行程时间估计方法。将模型估计得到的行程时间与实测行程时间进行了对比,利用t检验法对估计结果进行了检验,检验结果表明,在显著性水平α=0.05的条件下,估计平均行程时间与实测行程时间均值没有显著性差异。     

一种基于均值Hamming距离的异常入侵检测方法

对进程级的入侵检测技术进行了研究,提出了一种基于均值Hamming距离的异常入侵检测方法—AHDAD,监控对象为特权进程的系统调用序列,通过计算偏离量检测入侵。AHDAD算法简单、检测准确率高、时间开销小,使实时入侵检测成为可能。最后,用原型实验证实了方法的可行性。     

论现代企业文化结构之功能

社会经济系统在结构变革过程中，催生了“现代企业文化”，这一崭新的序参量，在企业的经济活动中，充分展现了参量系统三大要素的特殊功能，即科学文化的动力功能；道德文化的尽善功能；艺术文化的尽美功能。“真、善、美”的统一，是企业从“经济人”向“伦理人”提升的必经途径。     

测度产业结构和土地利用关系的方法探讨

产业结构的演变是经济和非经济的因素综合作用的结果,区域产业结构和土地利用变化之间存在着内在的联系。采用灰色关联分析方法,以德州市产业结构与土地利用之间的互动关系为例,对产业结构与土地利用关系的方法进行了探索。结果表明,产业结构与土地利用之间的关系在一定经济发展阶段可以定量测度。德州市工业化进入了中期阶段,第一产业对未利用地和耕地影响最显著,第二产业对交通用地影响最强烈,第三产业对交通用地和居民用地及工矿用地面积影响最明显;土地总体利用对产业结构的影响程度排序为第三产业、第二产业、第一产业。并相应地提出了土地合理利用建议。     

基于"关系"发展视角的企业集群式创新研究

为比较太量生产和精益生产方式下，不同的客户一供应商关系结构对于企业技术创新的影响，文章首先简速了合作理论的发展；然后通过供应商结构的实证分析以比较其效率差异，利用行为生态学的方法分析了企业粜群式创新的出现及其优势f最后从实践建议的角度，分析了“关系”中客户和供应商的战略定位及可能的发展方向。     

基于混合遗传的粗集理论在工期目标实现中的应用

提出了一种基于混合遗传算法的相对约简算法,把模拟退火融入到遗传算法中形成混合遗传算法,提高了遗传算法的优化效率,并用这种混合遗传算法寻求最小条件属性集及最小属性值约简.并把该算法引入到工程管理中,提出若干条决策规则,工程管理人员按照这种决策规则进行施工过程的管理,确保在预定时间内完成工程任务.如果对整个施工过程的每道工序都提出决策规则,就可以实现施工过程的智能化管理.     

从整体与部分的辩证关系看系统论与还原论的适用范围

无论是系统论还是还原论,都是以整体与部分的关系作为客观基础的,都是整体与部分的辩证关系在方法论上的反映。还原论反映的是整体与部分的统一性,系统论反映的是整体与部分的对立性,还原论和系统论都只有局部真理性,应该将二者整合在一起,创立现代系统论,使其更好地为科学认识服务。     

铁路运输网络资源配置与组织模式研究

通过对铁路运输资源配置模式和组织模式对系统中的扰动因素传递过程影响的定量研究,建立确定的组织模式下的运输系统附加费用模型,提出对组织模式和系统资源配置的优化模型。     

超越启蒙时代精神

17—18世纪欧洲启蒙运动把人类从宗教迷信中解放出来,使理性大放光华,但也坠入理性崇拜之中兼有成就和缺失。片面的理性忽略人类的人性存在和用简单性思维方式看待事物,这造成近现代史上新的社会问题。所以我们现在需要超越启蒙时代精神,把理性与人类的人文精神价值结合起来,并建立起适应复杂世界的复杂性思维方式。     

离心机控制系统设计

研究的目的是针对离心机系统中存在的延迟滞后、惯性、非线性和时变性 ,设计离心机控制系统。研究方法是先给出控制系统的结构 ,提出可调节PID控制算法 ,利用传感器获取离心机当前的工作状态信息 ,通过软件方法进行查表得到PID参数。最后实验结果证明该控制系统是有效的。该控制器能较好地实现对指令信号的跟踪 ,具有广泛的实际应用价值。     

股指期货推出对股票市场质量的影响

通过建立理性预期均衡模型分析了股指期货推出对股票市场质量的影响。在股指期货推出前后两种不同交易环境下,股票市场的交易者会采取不同的交易策略,从而形成不同的均衡价格,最终会对股票市场质量产生影响。研究的结论表明股指期货推出提高了股票市场的流动性和信息效率,但对其波动性影响存在不确定性。总的来说,股指期货推出提高了股票市场质量。本文的研究,无论是对监管层制定跨市场监管制度,推出其他金融衍生产品,还是对投资者深刻理解股票市场,进行有效投资都具有很好的理论和实践意义。     

特征结构提取的高阶Hopfield神经网络实现

本文首先建立了特征结构提取问题的罚函数表示，通过对罚函数求极小可以求得原始协方差矩阵的主特征向量及其对应的特征值。为了求得其他特征结构，特构造了一个协方差矩阵序列。如果将罚函数展开并进行整理，高阶Ｈｏｐｆｉｅｌｄ神经网络可被引入到特征结构提取中。这种方法比较直观，它将网络稳定时的输出与所求协方差矩阵的主特征向量的各个分量相对应，而网络稳定时的能量则对应于协方差矩阵的迹与所求特征值之差，计算机仿真结果验证了这种方法的正确性。