Time‐simultaneous prediction band for a time series

I propose principles and methods for the construction of a time‐simultaneous prediction band for a univariate time series. The methods are entirely based on a learning sample of time trajectories, and make no parametric assumption about its distribution. Hence, the methods are general and widely applicable. The expected coverage probability of a band can be estimated by a bootstrap procedure. The estimate is likely to be less than the nominal level. Expected lack of coverage can be compensated for by increasing the coverage in the learning sample. Applications to simulated and empirical data illustrate the methods. Copyright © 2007 John Wiley & Sons, Ltd.     

基于自动机技术的XML复杂数据类型验证

复杂数据类型验证是XML文档验证的主要内容,是检查XML文档结构是否符合模式规则的关键.根据Schema规范中复杂数据类型的描述和自动机理论,提出了一种称为模式自动机的数据结构,讨论了将XML复杂数据类型结构转换成模式自动机的方法,并设计了用来验证文档结构的算法.使用模式自动机验证算法可以全面地发现XML文档中的结构错误并准确地给出相应的错误信息,在实际应用中具有很高的效率.     

紫外分光光度法测定美洛昔康片的含量

为测定美洛昔康片的含量,从而对本品质量进行控制,采用紫外分光光度法进行测定.测定结果为:空白辅料对测定无干扰,溶液稳定性良好,线性相关系数r=0.9999,平均回收率=100.1%,RSD=1.44%.该法简便易行、快速、准确,可用于本品的质量控制方法之一.     

产品策划在产品创新设计体系中的应用方法

在产品生命周期中，早期的产品策划一端联系着顾客的需求和心理偏好，另一端联系着新产品的概念定义和后续开发工作。因此，产品策划是否准确地把握了未来市场和顾客的需求，就直接关系着后续新产品设计和生产销售的成败，可以说产品策划是影响未来产品竞争力和企业竞争力最重要的环节。以消费类产品为例，介绍产品策划的业务流程、理论方法和应用技术，并阐明产品策划在产品创新设计体系中的地位和作用，提出了包括市场研究、机会识别、概念定义到概念转换的新产品策划整体解决思路。     

仿真系统VV&A研究

仿真系统VV＆A是针对仿真系统全生命周期可信性评估而实施的一项重要活动，是仿真系统研究与开发中的关键技术和难题之一。本文围绕仿真系统VV＆A中的关键问题展开研究，包括仿真系统VV＆A概念体系、VV＆A过程模型及VV＆A标准／规范技术框架等，为复杂仿真系统VV＆A标准研究提供对策与参考。     

实测高层建筑抗震分析中填充墙刚度的影响

对高层建筑结构进行抗震分析时,结构设计软件PKPM通常以周期折减系数来考虑填充墙对结构刚度的影响.以来宾市高层实测项目中8栋高层为研究对象,对其进行随机振动测试并在有限元软件Sap2000中建模,利用实测数据对有限元分析模型进行校验并比较校验前后的抗震分析结果.在Sap2000中建立高层建筑模型并采用与PKPM软件相同的方式考虑填充墙的影响,计算结果表明2种模型具有可比性.利用壳体模型和斜撑模型分别在Sap2000软件中对填充墙进行模拟,并利用现场实测数据对模型进行校验.用Sap2000模型代替PKPM模型进行小震作用下线弹性阶段的地震反应分析,与PKPM软件的计算结果对比后发现相较于修正后的Sap2000模型计算值,PKPM模型计算的未经折减的层间剪力是Sap2000模型的1/2左右,而水平位移和层间位移角却是Sap2000模型的3~4倍.根据JGJ 3-2010《高层建筑混凝土结构技术规程》建议的周期折减系数为0.7~1.0,设计取值更为保守.     

Underdetermined DOA estimation and blind separation of non-disjoint sources in time-frequency domain based on sparse representation method

This paper deals with the blind separation of nonstation-ary sources and direction-of-arrival （DOA） estimation in the under-determined case, when there are more sources than sensors. We assume the sources to be time-frequency （TF） disjoint to a certain extent. In particular, the number of sources presented at any TF neighborhood is strictly less than that of sensors. We can identify the real number of active sources and achieve separation in any TF neighborhood by the sparse representation method. Compared with the subspace-based algorithm under the same sparseness assumption, which suffers from the extra noise effect since it can-not estimate the true number of active sources, the proposed algorithm can estimate the number of active sources and their cor-responding TF values in any TF neighborhood simultaneously. An-other contribution of this paper is a new estimation procedure for the DOA of sources in the underdetermined case, which combines the TF sparseness of sources and the clustering technique. Sim-ulation results demonstrate the validity and high performance of the proposed algorithm in both blind source separation （BSS） and DOA estimation.     

交通流宏微观参数关系方程组实证分析

本文以James H．Banks关于平均时间间隔的研究为基础，提出交通流宏微观参数关系方程组，理论上较全面地描述两类交通参数的关系；应用实测交通数据对该方程组进行数据实证。分析表明，使用关系方程组产生的偏差不仅与统计时间间隔有关，而且与检测点的位置、交通状态相关。通过分析关系方程组的推导可知，偏差源于两个等式在理论上与实际运用中的不同。     

区域性防治煤与瓦斯突出研究

在煤矿生产中,随着开采深度的增加,煤层的瓦斯含量、瓦斯压力都呈上升趋势,发生煤与瓦斯突出的危险性加大,给煤矿安全生产带来很大威胁.论文以中平能化集团天安五矿地质条件为例,通过瓦斯敏感指标临界值跟踪考察及结果分析,得出瓦斯敏感指标临界值,为区域验证及局部防突提供了理论基础,并应用于工程实践,实现了快速安全掘进.     

PLC程序测试与验证的研究进展

可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。