织物和静电极板参数对静电吸附力的影响分析

为了明确织物和静电极板参数对静电吸附力的影响规律,为服装软面料的静电吸附式抓取提供理论支撑,文章开展织物参数和静电极板参数对静电吸附力影响规律的系统性研究。首先建立纬编织物结构模型及静电吸附力理论模型,通过理论分析结果和仿真结果的对比分析,验证仿真方法的有效性;接着基于Maxwell张量法推导了五层二维静电吸附力理论模型,分析静电吸附力模型结构参数对静电吸附力的影响规律,并得出结论:(1)静电吸附力和电极上施加电压的平方成正比;(2)织物密度越大,产生的静电吸附力越大;(3)绝缘层介电常数越大,静电吸附力越大;绝缘层厚度越大,静电吸附力越小;(4)随着极板占空比及电极间距的增大,静电吸附力均呈先增大后减小的趋势。

面向众核CPU的稠密线性求解器性能评测与优化

稠密线性求解器在高性能计算和机器学习等领域扮演着重要的角色。其典型的并行算法实现通常构建在著名的fork-join或task-based编程模型之上。尽管采用fork-join模型的主流稠密线性代数库能将大部分的计算转移到高度优化、高性能的BLAS 3例程上,由于fork-join不灵活的执行流,它们仍然未能高效地利用众核CPU的计算资源。采用task-based编程模型的开源库能实现更加灵活、负载更均衡的算法,因此能获得明显的性能提升。然而,在众核CPU平台上,尤其是对于中等矩阵规模的问题而言,它们仍然有较大的优化空间。对稠密线性求解器的性能进行了全面的测评,以定位性能瓶颈,并提出了2种优化策略,以提高程序性能。具体地,通过重叠LU分解和下三角求解的计算过程,减少同步开销线程的空等,从而提高算法的并行性;进一步通过减少冗余的矩阵打包操作,降低算法的访存开销。分别在2个主流的众核CPU平台(Intel®Xeon Gold®6252N(48核)和HiSilicon Kunpeng 920(64核))上进行了性能评估。实验结果表明,该优化的稠密线性求解器在上述两个CPU平台上,相比最佳开源实现分别取得了10.05%(Xeon)和13.63%(Kunpeng 920)的性能提升。

Fork-Join排队网络建模与分析的研究进展

本文综述了近年来对一类特殊的离散事件动态系统——Fork-Join排队网络的研究进展。全文主要包括三部分:首先给出Fork-Join网络产生的实际背景及其精确的数学描述;其次,介绍已取得的主要结果及其所采用的方法;最后提出一些值得研究的问题。

一类Fork－Join排队系统的分析

本文研究了一类具有有限排队空间且其到达率和服务率均依赖于状态的Ｆｏｒｋ－Ｊｏｉｎ排队系统，给出了稳态概率和任务等待时间各阶矩的计算方法，并用仿真检验算法的正确性．

双立柱式堆垛机三级货叉刚度建模与优化

堆垛机的多级货叉在叉取货物时易产生较大的变形,为了解决多级货叉取货的精度问题,基于力学理论与有限元方法,对多级货叉进行了末端刚度建模与优化设计。首先,提出了一种堆垛机的整体结构与工作原理,详细地分析了货叉组件的结构与多级直线差动式货叉的工作原理;其次,基于理论力学与材料力学建立了货叉组件的力学模型,并求解了货叉在多组载荷下的挠度值;然后,建立了货叉组件的有限元模型,求解出了货叉组件的刚度并与理论计算结果进行了对比,验证了理论计算的准确性;最后,对货叉组件进行了参数优化,选取了三级货叉的最优截面参数,并完成了优化后货叉组件的静力学有限元分析。研究结果表明:优化后的三级货叉整体刚度提升了14.5%,在实际应用中效果良好。

基于Span方法和多叉解码树的实体关系抽取

实体关系抽取作为自然语言处理领域的一项关键技术,在构建知识图谱、信息检索等领域有着极为重要的意义。然实体关系抽取模型普遍存在词与词之间依赖性运用不足、实体识别效果低下以及单解码带来的三元组强行执行某种不必要顺序的问题。为了解决这三个方面的问题,提升模型的性能,提出了一种新的实体关系抽取模型。该模型首先运用提取特征能力更强的BERT预训练模型获取句子表征,然后采用图卷积神经网络来增强实体与关系之间的依赖关系,再使用对实体提取能力更强的Span方法(识别实体的神经网络方法)进行实体抽取,最后采用深度多叉解码树实施并行解码得到相应的关系三元组。在CoNLL04、ADE数据集上的实验结果表明,与其他的关系抽取基线模型相比,该模型的F1值具有较好的提升,同时也验证了该文模型的有效性与泛化能力。

一个高效率的双指数多重签名方案

本文提出了一个高效率的双指数多重签名DEMSP(Double Exponential Pairing-Based Multi-Signature)方案,在DEMSP方案中,每个签名者进行BLS(Boneh-Lynn-Shacham)签名,在聚合公钥的计算上,DEMSP方案比MSP(Pairing-Based Multi-Signature with Public-Key Aggregation)方案高效数倍,倍数与签名者人数呈正相关.MSP方案实现了签名聚合与密钥聚合,使得验证者验证一个消息是由n个签名者签名时,只需一个签名与一个公钥,并且MSP方案可以在普通公钥模型下抵抗流氓密钥攻击,然而MSP方案中,每个签名者在签名时都需要获得其他签名者的公钥,这增加了通信开销,在验证阶段,验证者计算聚合公钥时需要进行额外的指数计算.DEMSP方案通过引入可追责第三方实现高签名效率与高验证效率,并利用分叉引理将DEMSP方案规约到co-CDH问题.DEMSP方案应用于在线支付,使得交易合法,商家与用户的纠纷得以有效处理,并且DEMSP方案被扩展至多权威机构的多重签名方案.同时DEMSP方案应用于ASM(Accountable-Subgroup Multi-signature)方案及MSDL(Discrete-Logarithm based Multi-Signature)方案,使得计算聚合公钥的时间比原方案减少数倍.

分岔隧道模型试验与数值模拟超载安全度研究

超载试验能得到隧道的超载安全度,通过大型地质力学模型对分岔隧道进行了超载试验,模拟了分岔隧道在不同侧压系数下围岩的变形、应力分布和破坏情况。同时,应用三维数值分析软件对模拟区域进行了模拟。模型试验和数值模拟结果分析表明,随着侧压系数K的增加,分岔隧道的侧向位移增加,拱顶位移由向下变为向上;当侧压系数为K=3.5时,应力达到极限;当侧压系数K≥4.0时,位移突变,最终最大位移达到100 mm;塑性区骤增,隧道拱顶围岩开始开裂,且有块体掉落。分岔隧道的拱顶和两帮是最易破坏的区域,隧道超载安全度为3.5。

社会学家作为说故事者

过去,一些重要的西方社会学者主张,社会学者最主要的任务乃在于挖掘与诠释社会互动现象所可能意涵的"未预期结果"。在结构功能论之思维传统的主导下,最具代表性的,莫过于默顿的说法,他认为,"未预期结果"是客观地存在于社会体系中的一种具潜在功能作用的社会事实,乃反映着那些有助于体系的调整与适应、但却未能为该体系之参与者所意图、且认识到的客观结果。在本文中,笔者则采取另类的观点,尝试表达如下的见解,其实,社会学家原本只不过是一个编织故事的艺匠而已。他大体上犹如都市中漫游的行走者,一直处于当下此刻,在一再分岔的街道上一边行走一边浏览着沿途的景观,也就是说,他选择个人特别亲近的、但具深邃文化-历史意涵的某种核心概念作为出发点,以不断分岔的方式来编织"社会"的图像。准此,韦伯所提出之理念型的研究策略,可以说是最为典型的例证。

基于OSG的大地形并行快速调度问题研究

针对大地形数据量庞大的特点,建立了地形多分辨率四叉树模型,对该模型的定义及构成进行了阐述,构建了该模型的存储机制,为大数据文件加索引文件的形式,采用该存储机制,可快速读取到需求数据,并设计了数据并行多线程调度机制,采用共享内存同步策略,确保了信息处理高效、有序的执行。最后采用了OSG开源引擎对上述策略进行了实现,工作步骤包括DEM、纹理数据准备及并行调度的程序实现。

日本血吸虫非叉型尾蚴感染动物试验

试验采集云南巍山地区自然条件下的钉螺,压碎钉螺、检获尾蚴,发现为非叉型尾蚴。将非叉型尾蚴400~850条/只经皮肤感染家兔,同时,用云南洱源的叉型尾蚴作对照试验。感染后50~55 d解剖兔子,试验组检获到日本血吸虫,荷虫量为10~15条/只。试验结果表明,云南巍山非叉型尾蚴能感染动物,该试验结果为丰富日本血吸虫的生活史提供了极有价值的补充。

蒸汽管网热力系统的建模与软件开发

通过一些合理的假设,建立了单热源的枝状蒸汽管网二叉树模型。采用一次循环两次迭代算法,解决了单管热力计算压力和温度相关的问题。以单管热力计算的迭代算法为基础,结合二叉树的结构特点,编制出了枝状管网的热力计算软件,并采用该软件进行了实际工程计算。通过计算实例和变工况的校核计算,验证了该软件算法的正确性和软件设计蒸汽管网的可靠性。

分岔隧道稳定性分析及施工优化研究

建立中墙承载模型,通过理论分析分别给出连拱和小净距隧道的中墙稳定性判据,据此可得到中墙的合理厚度。以八字岭分岔隧道为例,分别采用地质力学模型试验和弹塑性损伤有限元模拟分岔隧道的施工全过程,给出围岩关键点位移和应力随施工过程的变化曲线以及围岩损伤区和塑性区的分布,提出分岔隧道的施工过程的优化措施。研究爆破施工对隧道稳定性的影响,提出不同中墙宽度、不同围岩情况下装药量的大小及施工措施。根据上述研究结果,针对原施工设计提出优化建议。对分岔隧道施工进行现场监测,监测数据与试验和计算数据的对比验证了试验和数值计算的正确性。监测结果表明隧道稳定,说明施工优化建议合理。

微机械音叉谐振器动力学分析与仿真

根据双端固定音叉谐振器的动力学原理,建立了其参数模型。该模型基于MAST语言,包含几个子模型,模型有利于验证外围电路和减少计算时间。对于工作谐振模态频率的求解,解析计算和有限元仿真结果一致(相对误差小于1%)。通过模态分析和结构参数敏感性分析提出合理的选择参数可以使工作模态频率远离高阶模态频率,减少音叉梁固接端的弹性系数有利于抑制低阶模态的扰动。结构参数敏感性分析表明工作频率随音叉梁长度增大而减小,随其宽度的减小而增大,结构厚度对频率不产生影响。

交错新建隧道施工力学特性模型试验

以重庆两江隧道为研究背景,采用公路隧道结构与围岩综合实验系统对交错隧道进行三维物理模型实验,分析新建隧道施工力学特性,并采用数值模拟对模型实验区域进行对比分析。研究表明:新建隧道左侧周边位移普遍大于右侧周边位移;左侧周边位移大于独立隧道单侧周边位移;右侧周边位移小于独立隧道单侧周边位移;得出不同近接间距下周边收敛和拱顶下沉随隧道开挖的发展趋势;模型实验获得的拱顶下沉和周边收敛归一化后得出位移随近接间距的变化规律。数值模拟获得的周边收敛和拱顶沉降与还原后模型实验结果相接近,表明模型实验结果与数值计算结果一致。

基于ANSYS的万向节十字轴力学机理研究

针对煤矿机械中十字轴式万向节在使用过程中的断裂问题,运用UG建立了十字轴的三维实体模型,根据其实际工作状态,利用ANSYS13.0对十字轴进行了有限元分析,确定了十字轴应力和应变的分布规律,同时对其进行了优化,优化后可使十字轴的应力、应变有较大的改善,为今后改进此类结构提供了设计依据。

新型滚柱式货叉的设计及仿真分析

普通挂钩型货叉在装卸货物时需要托盘配合作业,因托盘的使用而造成生产成本增加和占用储运空间等问题。经过研究分析并在消化吸收国外产品技术的基础上,初步设计一种新型滚柱式货叉。建立了滚柱式货叉的三维实体模型,分析其基本工作原理,并对主要部件滚叉主体进行了有限元分析,计算结果表明滚叉主体在强度和刚度方面均满足要求,为这种新型货叉的进一步改进及优化设计提供了理论依据。最后研制了原理样机并进行了试用验证。

基于CATIA/ADAMS油田抽油减速机建模

分析游梁抽油减速机存在的问题,提出了一种新型含拨叉同步器的五级齿轮减速机构,应用CATIA三维造型软件对其进行三维参数化建模,然后利用ADAMS建立减速机的虚拟样机模型并进行了仿真分析。

基于实测轮廓线的岔道口三维实体建模方法

在数字矿山系统中,为使错综复杂的地下巷道重建效果能达到矿山的验收标准,根据实测巷道交岔口轮廓线,采用分区(分块)建模思想,提出一种基于实测轮廓线的岔道口三维实体建模方法。将实测的岔道口轮廓数据按其特点分为顶底板和侧面轮廓线点集,采用凸包算法构造顶底板的简单多边形,并对其进行三角化。根据顶底板多边形顶点的先后顺序关系,建立侧面轮廓线的相邻关系,并采用连线框算法对相邻轮廓线进行三角化。实验结果表明,该方法简单有效,可解决任意断面形状、多个岔道口的建模问题,并且已经应用于DIMINE软件的测量插件中,效果良好。

TSU2-m望远镜叉架的模态优化设计

这里以美国田纳西州立大学自行设计和制造的TSU2-m望远镜的叉架部分作为研究对象,根据原始设计中提到的模态分析,应用模态分析和优化设计的方法,以提高叉架部分的一阶共振频率为优化目标,以叉架部分的结构参数为设计变量,约束条件为叉架的总重量保持不变。经过有限元软件的优化模块计算,得到了一组更合理的结构参数组合,使得叉架的一阶共振频率提高了15%,更不易发生共振。