An approximate planning model for distributed computing networks

We develop an approximate planning model for a distributed computing network in which a control system oversees the assignment of information flows and tasks to a pool of shared computers, and describe several optimization applications using the model. We assume that the computers are multithreaded, and have differing architectures leading to varying and inconsistent processing rates. The model is based on a discrete‐time, continuous flow model developed by Graves [Oper Res 34 (1986), 522–533] which provides the steady‐state moments of production and work‐in‐queue quantities. We make several extensions to Graves' model to represent distributed computing networks. First, we approximately model control rules that are nonlinear functions of the work‐in‐queue at multiple stations through a linearization approach. Second, we introduce an additional noise term on production and show its use in modeling the discretization of jobs. Third, we model groups of heterogeneous computers as aggregate, “virtual computing cells” that process multiple tasks simultaneously, using a judiciously selected control rule. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2005.     

移动数据库的应用研究

阐述了移动数据库的概念和特性,介绍了其应用现状及市场上存在的相关产品,分析了移动数据库在应用中要解决的关键问题,指出了其发展目标。     

静电放电及其抗扰度试验的研究现状与发展趋势

在综述ESD测试和抗扰度试验研究状况基础上,指出该研究领域当前需要进一步研究的问题和发展方向。静电放电的深入研究对现代电子设备(系统)的快速发展具有十分重要的意义。     

差分离散方法分布式并行计算的重叠边界优化

针对分布式存储环境下显式差分方法的并行计算问题 ,依据分布式存储多处理机的体系结构特点 ,提出了一个重叠边界优化模型 ;该模型目前已成功应用于中国科学院第三代海洋环流模式的分布式并行计算优化。     

校准方法和存内训练相结合的忆阻器神经形态计算方法

基于忆阻器的神经形态计算架构在图像分类、语音识别等领域取得了较好的效果,但当忆阻器阵列存在低良率问题时,其性能会出现明显下降。提出一种基于忆阻器神经形态计算的校准方法和原位训练相结合的算法,利用校准方法提高乘累加计算的准确率,并利用原位训练方法降低训练误差。为了验证所提方法的性能,采用多层感知器架构进行仿真。从仿真结果来看,神经网络的精度有明显的提高(近40%)。实验结果表明,与单纯的校准方法相比,采用所提方法训练的网络精度提高了约30%,与其他主流的方法相比,所提方法训练的网络精度提高了0.29%。     

谱分析在惯性平台试验数据处理中的应用

为了获取更多有效信息,将谱分析方法应用于惯性平台试验数据的定性分析。首先对试验数据进行差分处理得到平稳数据,再利用快速傅里叶变换就能得到数据的频谱。对某次试验数据进行处理后得到的频谱图进行了分析,结果表明此方法简单、有效。     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

载荷分布对六自由度运动平台动力学性能的影响

用Newton-Euler方法,分析了运动平台的力矢和力矩,建立了统一的六自由度运动平台动力学方程。利用该方程研究了不同载荷分布时六自由度运动平台各液压缸的受力情况,并用Matlab进行了计算。结果表明,不同载荷分布时,某些液压缸的驱动力的最大值成倍增加,变化极为复杂,为六自由度运动平台的设计及控制提供了理论指导。     

铁路区间信号系统测试评估平台——信号设备与列车运行仿真研究

铁路区间信号系统测试评估平台是对铁路区间列车运行安全控制和防护系统进行可靠性、安全性测试及评估的平台.区间信号设备与列车运行仿真子系统是平台的一个子系统,它为平台提供了一个虚拟的现场环境.采用面向对象技术和离散事件仿真技术对仿真子系统进行了研究.详细地阐述了信号设备及列车的仿真模型、设计和仿真算法,并给出仿真实例,满足平台对仿真子系统地要求.     

多目标多火力通道云调度策略研究

在水面舰艇面对多目标饱和攻击时,对多火力通道的最佳调度是水面舰艇自防御武器系统火力分配的关键问题。本文采用云模型方法将多目标威胁判断与反导武器系统多火力通道状态相匹配,通过实时评估目标威胁等级、武器系统抗击时间和最佳抗击距离等因素,提出一种兼顾目标和火力通道实时状态的新调度策略——云调度策略,有效降低舰艇损伤程度,提高反导武器系统抗击效率和抗击质量。仿真证明,此策略可提高整体反导防御效能。