摘要：时段演算是描述和推导嵌入式实时系统和混成系统性质的一种区间时态逻辑。扩展线性时段不变式是时段演算的重要子集。针对实时自动机,提出一种连续时间语义下扩展线性时段不变式的有界模型检验方法。该方法将扩展线性时段不变式的有界模型检验问题转化为量词线性算术公式的正确性问题,从而可以采用量词消去技术进行求解。首先,运用符号化的思想,在实时自动机上利用深度优先搜索找到所有满足观测时长约束的符号化路径片段;然后,将每条符号化路径片段转化为一个量词线性算术公式;最后,利用量词消去工具求解。与已有工作相比,基于实时自动机设计了验证算法。另外,降低了验证复杂度,并且加速了验证过程的实际速度。

摘要：汽车零部件正向设计中,为快速预测所设计的吸能结构的碰撞吸能特性,以吸能盒为研究对象,通过有限元压溃变形仿真生成数据集,训练得到一种新的可识别几何结构和记忆时序特征的预测模型。模型通过基于图的编码器进行几何结构识别,采用长短期记忆网络和图卷积神经网络处理时序数据,并输出预测结果。对比表明:吸能盒压溃形态预测结果与有限元仿真结果一致,压溃变形量的预测精度可达95.33%,最大吸能值的预测精度可达99.98%。预测模型相较于有限元计算,其计算效率分别提高了174.5倍和210.5倍,可以快速准确地预测吸能盒的碰撞性能。

摘要：在门级电路的可靠度估计方法中,基本门故障概率p通常是以经验值或人为设定的方式出现,最近才被建模成栅氧化层的故障概率或基本门的输入导线的故障概率.文中结合广义门电路的版图结构信息,分析了故障的形成机理与作用模式、广义门电路的拓扑结构和可靠度的损失机理,并给出了输入导线与栅氧化层的缺陷随时间的生长模型以及缺陷移除率的计算方法,最后建立了包含老化或早期失效的广义门电路的故障概率p模型.通过理论分析与在ISCAS85基准电路上采用经验公式对预测结果进行了拟合,并运用拟合优度检验的策略验证了文中方法的合理性;还分析了老化因素、缺陷移除率、工艺技术、设计方法等对电路可靠度的影响.

摘要：当今5G与VR日益兴起,在移动网页浏览器上展示大规模建筑信息模型(BIM)场景的需求越来越多.网页浏览器计算性能弱与网络延迟严重等问题,使大规模WebBIM场景的在线可视化具有较大的挑战性.为此,提出云边页协同的WebBIM大场景多粒度兴趣加载调度算法.首先,将边缘计算引入WebBIM在线可视化中,设计云边页三端协同的WebBIM多粒度在线可视化框架;然后,针对BIM构件给出兴趣度的定义,并提出基于兴趣度的多粒度化传输调度机制;最后,根据视角的全局性、轻量性与兴趣度,给出BIM场景的最优初始加载视点的选取方法.借助于阿里云服务搭建实验平台,并选取若干大型BIM场景进行了网上实测.实验结果表明,该算法能够有效地降低加载BIM场景的数据量,显著地提升WebBIM场景的初始加载速度,在线漫游时没有明显的延迟.

摘要：为了获取更加全面的程序失效数据以提高软件可靠性评估的准确性,提出一种面向软件可靠性评估的故障注入机制.该机制在生成故障注入方案时充分考虑了程序故障类型分布、故障空间分布、故障发生时间分布及程序输入等因素,从而能够合理地反映程序真实的失效情况.实现了故障注入方案生成器,并集成到自行开发的基于Intel PIN框架的动态软件故障注入工具软件中.为了验证所提出的故障注入机制的合理性和有效性,以TINY语言编译器、LZ77压缩程序、CRC32程序为例,分别通过测试和故障注入实验的方式收集了相应的失效数据,然后用Jelinski-Moranda模型计算得到了2组很接近的可靠性指标值.实验结果表明,基于故障注入的软件可靠性评估方法的有效性和合理性不亚于传统的基于测试的方法,故障注入方法更适用于较大规模程序的可靠性评估,采用指数分布的故障发生时间分布假设更能反映程序真实失效情况.

摘要：提出了一种扩展属性数据的自动化计算机辅助设计(AutoCAD)标准格式(DWG)地图到改进规则的可缩放矢量图形(SVG)格式地图的转换方法.通过定义改进的SVG规则,将DWG格式中的基础图形数据和扩展属性数据合并在一起,在SVG中作为一个整体表示,保证了转换过程中的数据完整性.同时,通过定义SVG分层规则,突破了DWG中扁平图层的限制.应用验证证明该转换方法是有效的.

摘要：基于有限元的拓扑优化方法,需要多次有限元求解与迭代,由此消耗了大量的计算资源与时间。为提高拓扑优化效率,本文以悬臂梁结构拓扑优化设计为例,引入过滤半径、体积分数、载荷作用点及加载方向4个优化参数,提出了一种基于残差连接的生成式卷积神经网络(CNN)模型,分析了样本数量及损失函数类型对生成式CNN模型精度的影响规律。结果表明:所建立的生成式CNN模型具有较高的精度与泛化能力,模型预测值与有限元仿真结果平均结构相似度可达0.9720,平均绝对误差为0.0143。该模型预测耗时仅为有限元法的0.0041倍,显著提升了结构拓扑优化效率。

摘要：针对树木骨架重建要求手工交互多、不精确的问题,提出了用增强Pyr LK光流法对树木骨架进行重建,且可以基于多幅图像完全自动化地进行树木建模.首先在传统Pyr LK光流法的基础上加入了特征点的仿射变换和迭代追踪,提出增强Pyr LK光流法,解决了传统Pyr LK光流法不支持特征点旋转和双向匹配验证的问题;其次利用邻域的泛洪和局部点云的拟合进行高速、准确的树木骨架抽取,提出了三维体素泛洪和最小二乘拟合的方法.实验结果表明,文中方法能够快速重建出极具真实感的三维树木骨架模型.

摘要：为了提高基于对等网络的分布式虚拟环境(DVE)场景预下载的预测精度并降低场景数据传输延迟,将社交推荐和推拉混合策略应用到DVE场景预下载中.首先描述和量化节点化身在虚拟环境中的兴趣,并对化身间相似度进行计算,生成预推荐场景集;然后将化身的视野区域划分为预拉取和预推送区域,提出针对不同区域预下载的推拉策略.基于开源DVE平台FLo D进行的实验结果表明,该机制能提高场景的预测精度并减少信息交互次数,进而提升DVE场景传输效率和化身漫游流畅度.

摘要：讨论了现有身份验证技术的状况以及存在的一些问题,叙述了重要的几项生物特征识别技术的优缺点。描述了声纹识别技术广泛涉及的一些声学特性。介绍了基于过零间隔点技术的声纹识别系统和其中一些关键技术和系统的设计流程。对于最重要部分,该文附上了源代码。