工业电雷管安全距离综述

简述了工业电雷管安全距离的发展历程,阐述了工业电雷管安全距离的两种分析方法。     

相变温控混凝土相变储热性能试验研究

混凝土中加入相变材料之后对水化反应产生的热量有一定的吸收,从而对混凝土内部温度有一定的控制作用,这将减少混凝土温度裂缝产生的几率.通过筛选带一定结晶水的硬脂酸、月桂酸和正十二醇的3种有机相变材料,模拟实际大体积混凝土工程来研究不同相变材料的掺量、控温效果.运用计算机软件绘制时间一温度曲线,从中搜寻出最佳的相变材料掺量.     

中子透射法测量氚活度浓度的蒙特卡罗计算

利用蒙特卡罗方法计算了中子在氚活度浓度不同的空气中的衰减,探讨了利用中子透射法进行空气中氚活度浓度监测在原理上的可行性,并指出了尚需解决的问题。     

隋唐东北亚的地缘环境与政治博弈——以隋唐东征军事活动为中心的考察

从政治地理学理论视角看,隋唐东征军事活动反映了大陆地带、边缘地带和海洋地带三个地带上的军事政治力量角逐。隋唐王朝、高句丽和日本分别成为这三个地带的主导性力量,其中朝鲜半岛及其周边海域是东北亚的战略重心,而半岛西南部和黄海及对马海峡是这个重心区域的战略枢纽,当时的百济国则占据着边缘地带战略枢纽位置。正是在唐朝发展强大海上军事力量并控制百济之后,才实现了东征之役的战略突破,这也反映了海上力量对当地的战略影响举足轻重,在东北亚地缘环境中起到了特殊作用。     

碳纤维混凝土抗冻性能试验研究

为了增强高昼夜温差地区营房屋面和墙体的抗裂性能,提高营房安全性、舒适性及使用寿命,利用快速冻融法对碳纤维混凝土进行了300次冻融循环试验,并测量其相对动弹性模量和质量损失情况。结果显示:普通混凝土在150次冻融循环试验后试件破坏严重,平均质量损失了0.695 kg,损失率为6.9%;碳纤维混凝土在300次冻融循环试验后外形仍保持较好的完整性,平均质量损失了0.514 kg,损失率为5.19%,相对动弹性模量最多下降了34%,其中体积分数为1%的碳纤维混凝土平均质量损失仅为0.398 kg,损失率为4.05%,相对动弹性模量下降了31%。试验表明碳纤维可以改善混凝土的抗冻性能,适用于高昼夜温差地区建筑。     

辅助通道参数模型估计射电天文抗干扰方法

针对单通道射电天文抗干扰方法在观测数据干噪比较低情况下的干扰消除性能降低甚至失效的问题,通过引入辅助天线观测提出了一种基于参数模型估计的抗干扰方法。该方法利用辅助天线所接收到的具有较高干噪比的观测数据建立干扰信号参数的估计模型,同时通过构建主辅通道参数差异性模型对估计模型进行修正,实现对干扰信号参数的精确估计,达到消除干扰信号的目的。仿真实验表明,相比于单通道方法,改进后的方法在解决低干噪比条件下的射电天文抗干扰问题方面具有更广泛的适用范围。     

正反向量子斯特林循环有限时间热力学性能界限和优化准则

研究了正反向量子斯特林循环的最优性能.在经典极限下,导出了循环的有限时间热力学性能界限和优化准则.得到了斯特林热机、制冷机和热泵特性参数之间的优化关系.     

An adaptive forecasting algorithm and inventory policy for products with short life cycles

Products with short life cycles are becoming increasingly common in many industries, such as the personal computer (PC) and mobile phone industries. Traditional forecasting methods and inventory policies can be inappropriate for forecasting demand and managing inventory for a product with a short life cycle because they usually do not take into account the characteristics of the product life cycle. This can result in inaccurate forecasts, high inventory cost, and low service levels. Besides, many forecasting methods require a significant demand history, which is available only after the product has been sold for some time. In this paper, we present an adaptive forecasting algorithm with two characteristics. First, it uses structural knowledge on the product life cycle to model the demand. Second, it combines knowledge on the demand that is available prior to the launch of the product with actual demand data that become available after the introduction of the product to generate and update demand forecasts. Based on the forecasting algorithm, we develop an optimal inventory policy. Since the optimal inventory policy is computationally expensive, we propose three heuristics and show in a numerical study that one of the heuristics generates near‐optimal solutions. The evaluation of our approach is based on demand data from a leading PC manufacturer in the United States, where the forecasting algorithm has been implemented. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004.     

高性能RTI自适应通信机制研究

为了提高HLA仿真系统在高性能计算平台上的运行性能,针对高性能计算平台的高性能层次式通信环境,提出了一种共享内存/IB/以太网自适应RTI通信机制-SACM机制,该机制能够根据通信双方所在节点的网络拓扑信息,自适应建立延迟最小的通信连接,实现共享内存、IB等高速互连及以太网互连的自适应选择.同时在该通信机制中,针对节点内高速共享内存通信需求,提出了一种面向多盟员互连的共享内存通信算法,有效提高了节点内盟员通信效率.对象属性值更新延迟测试结果表明,该通信机制可以有效提高RTI在高性能计算平台的通信性能.     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.