各向异性误差模型高精度求解基础矩阵算法

对极几何,又称基础矩阵（fundamental matrix）是描述左右两幅重叠图像的一个几何不变量．传统求解基础矩阵的方法忽略或简化了数据不确定性对数据的影响,导致解的精度低、误差大．本文首先将求解问题统一到参数估计中,接着利用各向异性误差模型对数据不确定性进行了准确描述．最后推导出它在非线性函数中的扩散．该过程减少了数据不确定性对解的影响,提高了解的精度．此外,根据测量值函数的常数项特性现象,结合奇异性消除,避免了求解过程中的数值不稳定性,降低了求解的误差．实验数据验证了本文方法的正确性和可行性．     

鄱阳湖三维水质模拟软件设计与仿真

随着鄱阳湖生态经济区建设的推进,鄱阳湖水环境保护问题引起了各方高度关注。通过建立水质数学模型,用计算机进行模型求解、模拟和预测,以及设计相应的水质模拟仿真软件来进行水污染扩散仿真,是水污染控制和水环境管理的有效手段。鉴于国外三维水质数据模拟软件价格高、使用受限以及鄱阳湖三维水质数据模拟的特定应用研究需求,利用软件工程的结构化方法和图形可视化技术,设计了一个面向鄱阳湖三维水质数据模拟和分析的软件工具WSAT/H3D-PYH。通过使用该软件进行BOD和DO扩散模拟和趋势预测实验表明,软件具有较好的预测精度,并能以可视化形式直观分析和预测未来一段时间湖区水质浓度的变化趋势。此外,软件还可对局部点污染源扩散进行动态模拟,以便于对突发污染事件可能造成的后果进行提前的估计,为后续治理方案措施的制定提供很好的依据。     

基于library-free映射的电路面积快速优化算法

针对library-free映射过程中常用的动态规划算法在求解大电路时覆盖时间过长的问题,提出了一种将动态规划与遗传算法相结合的混合优化算法,用于平衡求解速度和求解质量,并利用“与/或/非”图和逻辑努力实现基于MOS晶体管的电路的面积估算.MCNC电路的测试结果显示,相较于动态规划,混合算法求得的最优解在面积平均增加不到1%的情况下,求解时间可节省35%以上.     

基于CEEMD的重大事件对香港住宅价格影响的实证分析

应用互补集成经验模态分解（CEEMD）方法对香港1997―2018年的住宅价格月度数据进行了分解,将经过重构后的数据分成高频序列、低频序列与残差项。将BP多断点检测应用于低频序列,并结合样本时段内的重大事件进行实证分析。结果表明：1997年亚洲金融风暴对房价的影响大于2008年金融危机;外部经济体的救市政策间接地影响香港房价;在经济不景气的大环境下“孙九招”政策没有立即见效;资本投资者入境计划、住房供给调整与按揭贷款调整对房价的影响较为显著;税收调整对房价影响不显著、对交易量影响显著;SARS爆发使住宅价格下降约1%。     

双曲型方程激波捕捉的物理信息神经网络（PINN）算法

双曲型方程的数值求解算法研究一直是偏微分方程研究的热点,其中,双曲型方程的间断捕捉是难点。受物理信息神经网络（physics-informed neural networks,PINN）启发,构造了改进的PINN算法,近似求解双曲型方程的间断问题。将坐标构造的数据集作为神经网络的输入,将PINN算法中的损失函数作为训练输出值与参考解（基于细网格的熵相容格式数据）或准确解的误差值,通过网络优化,最小化损失函数,得到最优网络参数。最后用数值算例验证了算法的可行性,数值结果表明,本文算法能捕捉激波,分辨率高,且未产生伪振荡。     

B样条曲线的约束光顺算法

在工业设计和反求工程中,B样条曲线是一种进行形状设计和数据拟合的重要工具.B样条曲线的光顺性对最终产品的外观质量有着直接影响.作者给出B样条曲线一种新的光顺算法.B样条曲线的形状可以通过扰动控制顶点来修改.控制顶点的扰动幅度通过β约束实现,而整条曲线的形状可由α约束来反映.最终通过求解线性方程组得到光顺曲线.该算法既可以对曲线进行全局光顺,又可以进行局部光顺.作者还给出了由模拟数据和真实采样数据拟合的B样条曲线光顺的实例.     

拟凸函数下次微分的性质及计算

函数拟凸性是分析众多经济和管理问题的有效工具。下次微分可用于刻画拟凸函数的解集特征,并用于设计非线性规划的求解算法。本文首先阐述了下次微分的定义及其相关性质,如可加性、连续性等。然后,将求解可微凸函数极值的最速下降法进行拓展,定义了可下降方向和最速可下降方向     

一种求解混合整数非线性规划问题的演化算法--搜索空间自动收缩法

提出一种求解混合整数非线性规划问题的新的演化算法 -搜索空间自动收缩法 (ACSSOS) .在这种算法中 ,演化算法既用来定位最优解区域 ,实现搜索空间自动向全局最优解收缩 ,又用来最终求得最优解 .由于在遗传算子中引用了舍入操作 ,它不仅可用来求解混合非线性整数规划问题 ,也可求解纯整型或纯实型变量非线性函数优化问题 .数值试验结果表明本文的算法在解的质量、稳定性和收敛速度等方面优于一般的演化算法 .     

考虑缓冲时间的受扰航班恢复问题建模与求解

在制定受扰航班恢复计划时,为航班设置缓冲时间,可有效减少航班实际执行时的延误传播。研究考虑缓冲时间的受扰航班恢复问题,以恢复成本最小化为目标建立混合整数规划模型和集合划分模型。采用改进分支定价算法求解,并应用两种加速策略加快算法的求解。小规模算例的求解与CPLEX优化软件进行对比,验证了模型和算法的有效性,大规模算例实验表明了改进分支定价算法的高效性。使用加速策略使得算法的平均求解时间由937.63 s降到185.22 s,平均效率提高80.25%。     

基于可满足性模理论的CMOL电路单元映射

针对纳米CMOS混合电路(CMOL)单元映射时, 传统的精确算法存在编码变量多、文件存储大导致的求解规模受限问题, 提出了一种基于可满足性模理论(SMT)的CMOL电路单元映射方法, 该方法通过整型编码减小文件存储大小, 通过渐进式求解算法兼顾求解规模和速度. 实验结果表明, 与传统的精确算法相比, 本文提出的方法可大幅减少中间处理文件的大小, 并以较小的求解速度为代价提高了处理大规模电路的能力.     

有限型多阶段决策问题的并行算法

讨论了在ＭＩＭＤ并行系统上，基于嘉量原理的摹矩阵连摹乘积求多阶段有向图最优路的并行算法．给出了选择顺推方式或逆推方式计算连摹乘的一个计算过程，提出了一个分派到各台处理机的任务基本均衡的ｐ一分划算法，并详细讨论了并行计算的实现，给出了数值试验实例．     

猪卵核移植的研究

以湖北白猪为受体，杜洛克为供体进行了猪卵核移植的研究．结果表明，半胱氨酸对卵具有保护作用；卵龄对核移植效率有显著影响，以４２～４８ｈ为宜；激活后卵母细胞做受体可提高移核胚的发育率；供体核发育期对移核胚的发育有显著影响．核移植后的重组胚移入受体后，经体内发育得到了５只核移植仔猪．     

消息驱动思想在单片机定时体系中的应用

提出了用消息驱动思想来构造单片机控制系统中的定时体系，阐述了消息驱动思想的基本原理及其在单片机系统中的具体实现．该思想方便地解决了用较少资源实现复杂多变的定时要求的问题．     

挠性杆结构分析和材料选用

采用有限元法对挠性摆式加速度计中挠性杆的结构进行计算分析，提出了挠性杆转动特性以及转动中心的后移问题，在计算分析的基础上结合加工及装配工艺性得出方形杆圆弧形关节是一种较为合理的结构。计算得出的挠性杆应力场表明，挠性关节所受的应力是比较小的，而实践中挠性杆易折断，这说明挠性关节在加工时已受损伤，应将提高挠性杆可靠性的重点放在制作工艺上。     

论生态农业综合评价指标体系建立

本文论述了目前生态农业综合评价,特别是指标体系设置方面存在的问题作了分析,提出了建议。     

一种扩展的RBAC模型-GDTRBAC模型的设计

在Sandhu等提出的RBAC96模型中RBAC3的基础上,针对其在机构自身组织结构的管理功能和动态授权方面的不足进行了改进,提出了一种扩展的模型RBAC-GDTRBAC,通过在该模型中引入组、用户授权、有状态任务等概念,增强了RBAC机构管理的能力,增加了对动态授权的支持并能够支持工作的时序要求。     

前向小角光散射法测量颗粒平均尺寸

根据Ｍｉｅ散射在前向小角范围内散射光强是颗粒尺寸的单调函数，并且与散射粒子材料、折射率和形状无关的特性，介绍了一种通过测量前向小角散射光强来确定颗粒群平均尺寸的方法．该方法能够将测量范围扩大到４０μｍ，而且操作方便，重复性好，与计算机技术联用后可以发展为一种新型的粒子在线检测技术．     

条形基础宽度计算方法的探讨

条形基础设计时，按规范公式得出的宽度没有考虑纵横墙交叉处基底的计算面积重合，因此，最终确定基宽时需要修正，本文提出了一种实用的计算方法。文中分析了上部结构的刚度对荷载的传递以及地基中应力分布的影响，使计算和修正基础宽度的方法更接近实际的受力和变形特点，并考虑了设计的可操作性。     

宁波城区多层砖房搞抗震鉴定与加固

经过对宁波城区现有的多层砖房详细的调查与研究，进行了抗震能力的鉴定和地震震害的预测，并提出了抗震加固的措施。     

涡轮增压柴油机供油提前角的闭环控制

在自寻最优控制中引入约束条件,采用变步长步进搜索法对涡轮增压柴油机供油提前角进行闭环控制,研制了一套结构新颖的供油提前角电控机构及相应的微计算机控制系统,并在 B6135-ZG20涡轮增压柴油机上进行了控制试验。研究表明,在供油提前角电子控制中采用闭环控制是进一步改善柴油机性能的有效途径。