半线性带阻尼波动方程的有限元方法

给出了半线性带阻尼波动方程的半离散和全离散有限元逼近格式,并对其进行了理论分析,得到了最优Ｌ２和Ｈ１误差估计．     

声发射技术检测金属胶接结构性能探讨

介绍了声发射检测的基本原理,提出了用声发射技术检测金属胶接结构的两种实验方法,并对实验结果进行了分析结果表明：声发射技术是检测金属胶接结构的有效方法,声信号的幅度分布及发生次数与胶接结构性能有密切关系     

虚拟现实技术在电子设计与测试中的应用

简介了一种虚拟现实技术在电子设计与测试中的应用实例,简述了以计算机为平台,用“虚拟仪器、虚拟元器件”实现电子设计与测试自动化的操作环境与操作过程,并给出了仿真实验结果图３,参３     

渤海中部BZ34-2EW区块防塌钻井液试验研究

对ＢＺ３４２ＥＷ区块地层岩样进行了理化性能分析和电镜分析,结果表明,该区块属于层理、裂隙发育的易剥落坍塌的硬脆性页岩地层。无机盐几乎不能抑制岩样水化膨胀,而合适的钻井液可以抑制其水化膨胀,且具有较高的页岩回收率。加入硅酸钠的低粘土相海水聚合物钻井液体系的流变性能好,抑制能力强,泥饼质量好,可用于层理、裂隙发育的硬脆性页岩地层的钻进。     

基于分组的并行程序多路径覆盖测试数据进化生成

尽管并行软件测试已经得到软件工程界的广泛关注,但是,如何高效生成覆盖并行软件多条路径的测试数据,相关的研究还比较少。本文研究消息传递并行程序多路径覆盖测试数据生成问题,并提出基于分组的测试数据进化生成方法。首先根据并行程序包含的进程数、可用的计算资源以及路径相似度,将目标路径分成若干组,并基于每组目标路径,建立多路径覆盖测试数据生成问题的数学模型;然后采用多种群并行遗传算法求解上述模型,使得一次运行遗传算法,生成覆盖所有目标路径的测试数据。性能分析表明,所提出的目标路径分组方法不但能够保证不同组包含的目标路径相差很少,而且同一组的目标路径之间具有很大的相似度。将所提方法应用于4个基准程序的测试中,并与已有方法比较,结果表明,所提方法在保证路径覆盖率的前提下,可大大缩减个体评价次数和耗时。     

基于Gibbs-DA算法的贝叶斯分位回归模型研究

针对分位回归模型参数的不确定性风险问题,构建了基于Gibbs-DA抽样算法的贝叶斯线性分位回归分析模型.根据非对称Laplace分布的正态-指数分布的混合表示性质,利用数据扩展方法构建了潜变量,给出分位回归模型的似然函数,推断了多元正态先验分布条件下分位回归模型参数的后验分布,证明了潜变量的完全条件分布为广义逆高斯分布;结合Gibbs抽样和数据扩展方法,设计Gibbs-DA的仿真分析方案,并将其应用于我国能源消耗问题分析.研究结果表明:贝叶斯方法可以有效地应用于分位回归的建模以及我国能源消费弹性的分位问题研究.     

网络流量采集方法研究综述

为全面了解网络流量采集的最新发展趋势和相关方法技术, 更好地对网络流量采集及相关领域进行研究, 总结了常用的几种网络流量采集方法, 并列举了几种具有代表性的网络流量采集工具。通过对流量采集方法和相关工具进行归纳分析, 阐明流量采集过程中的关键问题和核心技术, 借以为相关研究者在网络测量和管理过程中对流量数据等的进一步分析和使用, 为提高流量采集的效率\, 准确性\, 实用性及适用性提供参考依据, 以期设计并实现更加实际有效的网络流量采集方法。     

煤矿班组安全文化建设途径

安全文化是企业安全工作的灵魂,是企业实现安全长治久安的强力支撑,也是维护企业正常生产经营环境的重要内容。加强安全文化建设是确保企业安全文化建设协调发展的重要前提和基础。而班组是整个煤矿企业中最基础的单元,是一切安全管理工作的出发点和落脚点,也是孕育企业安全文化的细胞。这也充分说明了为何煤矿安全文化建设要从班组抓起。班组安全文化建设的好坏直接影响着煤矿企业的生产经营和健康发展,只有切实加强班组安全文化建设,才能为一线职工创造一个良好的工作环境,激发他们工作的积极性和创造性。     

项目反应理论下计算机自适应考试系统的设计与实现

项目反应理论下的计算机自适应考试能够根据应试者的实际能力水平选择相应难度的试题,做到因人施测,实现更快、更准地对应试者能力进行估计。对计算机自适应考试施测过程进行了描述,对模型的选择、选题策略、参数估计等关键技术进行研究并提出相应的解决方法,实现了系统的设计与开发。     

基于3D梯度投影描述的微表情捕捉与识别

以3D梯度描述为依据,提出了一种基于3D梯度投影描述捕捉微表情关键帧的方法.首先,通过对视频流中面部特征区域的投影梯度方向直方图的直观描述来分析面部表情动作趋势,进而通过直方图的峰值区域捕捉微表情所在的关键帧;然后,运用多尺度多方向的Gabor滤波器组提取微表情特征区域的Gabor图谱,并引入局部二值模式进行特征降维;最后,通过基于梯度量级加权的最近邻算法进行微表情的识别与分类.实验结果表明:该方法摆脱了传统视频流表情分析系统对于动态图像序列进行逐帧检测识别的不足,较为有效地实现了图像序列中微表情关键帧的捕捉与识别,提高了系统的实时性与准确性,基本满足微表情对于系统强实时性的需求.