给定度序列图的覆盖成本和反向覆盖成本的研究

具有n个顶点且度序列为(m,2,…,2,1,…,1)(1的重数为m)的连通图不止一个(这些图均为树),而每个树对应唯一一个段序列(l₁,l₂,…,l_m).通过对任意一树移动最长段的悬挂点到最短段悬挂点的方式得到另一树,比较前后两树的覆盖成本和反向覆盖成本,给出了具有最小覆盖成本和反向覆盖成本的极树,并且进一步给出了取得最小覆盖成本和反向覆盖成本的顶点.     

逻辑函数高阶布尔e偏导数求解算法的实现

针对已有方法在求解布尔e偏导数时只能解决小规模电路的问题,提出了一种基于逻辑函数不相交运算的大函数高阶布尔e偏导数的求解算法.该方法将逻辑函数转化为不相交乘积项的集合,用逻辑函数的不相交运算替代布尔e导数运算中的逻辑"与"运算;并将不包含待求导变量的乘积项拆分出来,不参与布尔e导数运算,以达到降低算法复杂度、提高算法速度的目的.提出的算法用C语言编程实现,并用MCNC测试电路进行了测试.实验结果显示,本算法能快速实现大函数高阶布尔e偏导数的求解,求解效率与参与不相交运算的乘积项数量有关,但对输入变量的数量不敏感.     

锌溶液中痕量Cu2+、Co2+的检测光谱预处理方法

针对同时检测锌溶液中痕量Cu~(2+)、Co~(2+)浓度存在的灵敏度低、有效波段窄、光谱信号覆盖严重的问题,提出了一种多目标优化分数阶微分预处理方法。首先根据光谱特点确定影响Cu~(2+)、Co~(2+)同时检测的覆盖度和失真度,并拟合微分阶次与指标的函数关系、约束条件,然后基于多目标粒子群优化算法求解,最后对多目标优化微分阶数方法进行验证。结果表明:所提方法可以重构完全被覆盖的低灵敏度、窄有效波段的离子波峰,解决光谱信号被完全覆盖的问题,并在最大程度降低求导滤波的失真度,降低Cu~(2+)、Co~(2+)的光谱覆盖率。     

一带一路背景下企业地域影响力发展的规划研究

面对一个分布在新地理区域的新市场,合理规划区域服务影响力的发展战略对企业至关重要。本文假设企业的服务影响力在地理区域上的发展可以用其地理上分布的立足点来表示。单个立足点覆盖有限范围内的地理区域,并且在一个特定时刻用所有立足点所覆盖地理区域的总和来表示企业该时刻的发展状态。由于资源限制,企业对经济发展迅速的区域的覆盖必须在一定时间内逐步完成。因此,在发展时期内如何确定立足点的位置并使其位于知名城市中,是企业管理者亟待解决的问题。针对这个问题,本文首先基于时间序列预测方法建立了区域经济指标评估模型;然后使用集合覆盖理论提出了以成本和满意度为目标的选址优化模型并使用分支定界算法求解该模型;最后,使用从“一带一路”地区收集的数据对模型进行了检验。结果表明,该方法对有相关问题的企业具有较大的参考价值。     

汽车覆盖件工艺补充面参数化设计方法

工艺补充面设计的合理性,是保证覆盖件成形质量的重要条件。工艺补充曲面设计和修改的便利性,是提高设计效率的重要途径。本文提出了建立可修改特征参数的截面线类型库,用双向NURBS蒙皮法分片生成工艺补充面的方法和流程,开发了相应的参数化设计模块。在此基础上可以快速实现基于用户控制的工艺补充面的参数化设计和修改。通过对汽车某些零件等实际覆盖件生成工艺补充面的数值仿真验证了可行性。     

基于虚拟响应信号的结构参数时域辨识研究

在充分考虑线性动力系统的时域响应特性以及小波包分析的频率空间剖分特性的基础上,提出了一种基于虚拟响应信息提取的信号去噪新方法.虚拟响应虽然没有在结构动力检测过程中真实发生,但却是在某种激励下可以实现的一个响应,因此,根据虚拟响应信息同样可以进行结构系统的动力识别.数值研究表明,对于地脉动响应这种有效信号频带与噪声频带相互覆盖的低信噪比信号而言,小波阈值去噪法已无能为力,而基于虚拟响应信息提取的信号去噪方法则有较好的去噪效果.     

强并半格中的C-滤子及其应用

首先,在并半格中引入了上覆盖关系的概念以及由上覆盖关系确定的强并半格中的上覆盖概念,在强并半格中讨论了它们的基本性质;其次,通过上覆盖概念在强并半格中引入了C-滤子概念,证明了强并半格中的C-滤子是通常滤子,但强并半格中的通常滤子并非C-滤子;最后,研究了强并半格同态和余Frame同态之间的关系,证明了余Frame S与相应的C_S-滤子型余Frame之间的同构定理.     

一种嵌入式软件逻辑覆盖测试方法研究

针对嵌入式软件测试覆盖率低的问题,本文提出了基于软件故障注入的逻辑覆盖测试方法,首先就嵌入式系统常用传感器建立故障模式库,设计了嵌入式软件故障注入系统;其次选取中间层作为故障注入点,研究基于VxWorks653嵌入式操作系统的故障注入实现方式,并通过分析故障信号在软件系统中的传播,提出优化测试用例的方法;最后通过实验验证了该方法可有效提高容错设计功能、冗余设计功能、故障检测功能测试的逻辑覆盖率;有助于提高嵌入式软件的可靠性。     

WSANs中基于蜂巢结构的移动容错恢复算法

旨在研究无线传感器与执行器网络(WSANs)中节点失效情况下恢复执行器(actor)节点服务的算法. 首先说明了WSANs中的实时覆盖模型, 证明WSANs覆盖恢复问题是NP难问题, 给出了近似求解方案. 在此基础上, 提出了一种基于六边形蜂巢结构的移动容错算法HMFR用于恢复失效actor节点, HMFR 算法在限制网络初始部署的条件下拥有很好的性能. 通过实验与现有的恢复算法进行比较, 发现HMFR算法在actor覆盖sensor节点数和移动距离方面有更好的性能.     

流形元法固定边界约束处理研究

在数值流形方法中,对于材料的固定边界,一般采用罚函数的方法进行处理,即在固定边界上设置刚性弹簧约束其位移来实现固定约束条件的近似满足。罚函数法在理论上不是严格的固定约束处理方法,罚弹簧的布置与弹簧刚度的大小对模拟的效果都会产生影响。基于流形单元上位移函数的组成提出了流形方法固定边界约束处理的新方法,在组成流形单元的物理覆盖上,通过取消相应的覆盖函数在流形单元位移函数中的组成来实现双向固定的约束条件,通过使用只包含单方向位移的覆盖函数使x向固定约束条件和y向固定约束条件得到实现,推导了相应固定约束条件下的流形单元刚度矩阵的数值计算格式。该方法严格满足固定约束的物理意义,简化了固定边界的处理,并经算例证明是有效和准确的,有利于数值流形方法的程序实现和工程应用。