林业机械设备控制芯片设计的模型检验方法

为解决林业机械设备控制芯片设计中模型检验问题,提出基于多项式理论的定界模型检验方法.首先,给出基于多项式形式的电路功能的统一描述.为了能够采用多项式形式描述电路功能,在传统的电路控制逻辑描述方法的基础上,将其进一步扩展,将传统方法中的原子命题转化为多项式形式,将布尔特征函数转化为多项式集合的形式.这样,可以与电路数据通路部分建立统一的多项式描述形式.其次,通过建立高级语言的关系模型,给出了电路在高层次描述中目标性质的抽取方法,通过该方法形成待验证性质的多项式形式描述,从而形成了待验证性质与电路功能统一的多项式形式.基于以上两点,将定界模型检验问题转化为基于多项式理论的定理证明问题.并采用计算多项式集合良好三角列的方法解决定理证明问题.与传统方法相比,该方法可在电路高级别抽象上直接进行定界模型检验.     

宽带GaN功率放大器的建模与预失真

对正交频分复用传输系统中宽带GaN功率放大器的建模与预失真线性化方法进行研究。应用一个带有记忆的多项式模型来建模GaN功率放大器及其逆特性,并通过递推最小二乘法（RLS）辨识模型参数,然后利用预失真间接结构实现了GaN功率放大器的预失真器。最后,仿真验证预失真方法的有效性,结果表明记忆多项式模型可以对GaN功率放大器进行建模并实现线性化。     

基于AIC准则的击实试验曲线拟合模型优选

针对击实曲线的模型优选问题,提出了基于赤池信息量准则(AIC)数字回归方法,认为综合多项式阶次与回归误差的AIC最小的模型为最优击实曲线模型。通过8组试验数据分析,4组为二次多项式拟合最优,而另4组以四次多项式拟合为最优。优选结果说明,由于不同土体压实性能和试验数据点分布不同,击实曲线不可能用统一阶次的最优模型描述,而基于AIC准则的模型优选方法具有较好的实用性。     

基于Hamilton图论的树枝形专用线取送车作业研究

铁路编组站非直达车流取送车顺序的合理安排,可以有效的压缩货车周转时间,提高货车运用时间效率和调机作业效率。通过利用文献~([8])中算例数据,以车辆在专用线走行时间为权,将铁路编组站取送车作业转化为Hamilton最短路问题,没有以一条可行的Hamilton回路为基础,而是以最小生成树为基础,通过降度加边的方法,减少了迭代次数,显著降低了计算的复杂度,较快得到多种最优Hamilton回路,该算法复杂度为(n-1)!,最后通过算例证明该方法是较优的,能为提高铁路专用线取送车效率提供启示。     

小兴安岭主要树种生物量的理论模型

为了研究大尺度森林生物量,利用高精度的林木生物量模型准确估算单木生物量,以树木胸径D为基本自变量,采用chebyshev正交多项式系构建新的自变量组合,并利用偏最小二乘方法进行回归,建立了小兴安岭15个树种的生物量理论模型,并将之与采用常规生物量模型建立的模型进行了精度比较.结果表明:生物量理论模型方法对样本的拟舍效果...     

非零初始条件线性系统的Legendre多项式模型降阶方法

讨论了非零初始条件下线性系统的模型降阶问题,并给出了一种基于Legendre正交多项式的时间域模型降阶算法。该方法首先将系统的状态变量在正交多项式空间中进行展开,然后由状态方程得到展开系数的简单递推式,接着对其正交化,求得投影矩阵,通过正交投影变换得到降阶系统。由该方法得到的降阶系统可以匹配原始系统输出变量一定数量的正交多项式展开系数,从而保证了降阶的精度。最后,通过2个数值算例验证了该算法的有效性。     

基于RLS算法的多项式预测模型及其应用研究

为了提高经济领域统计数据的预测精度，代数多项式预测模型的建模方法应运而生．该方法使用代数多项式模型拟合给定的经济统计数据，并使用递推最小二乘法(RLS)对多项式拟合模型的加权系数进行递推计算以获得最优模型参数，然后通过获得的最优多项式模型计算未来预测数据．文章以实际统计的经济数据为例进行了仿真计算，研究结果表明，该方法不仅能实现统计数据的高精度拟合，而且具有很好的预测能力，在经济领域具有广阔的应用前景．     

胶凝原油管道再启动研究进展

介绍了国内外学者对胶凝原油管道再启动问题的认识,指出了现有启动模型的不足,认为通过试验的方式研究胶凝原油停输再启动的问题,可以为输油管道设计过程中管材的选择、管道允许停输时间的确定和最小启动压力的预测提供科学依据.     

建立数学模型解决“巡检线路排班”问题

目的安全检查在工业生产中不可或缺,是发现和消除事故隐患、落实安全措施、预防事故发生的重要手段。为提高巡检的效率,优化资源配置,通过建立数学模型以达到花费最短的时间和最少的人力完成巡检任务。方法通过对模型的假设及简化,建立目标规划模型,运用Kruskal算法找出连通图的最小生成树,运用Floyd算法找出最短路径,使用MATLAB、LINGO编程对建立的模型进行求解。结果在问题1中,运用Kruskal算法找出最小生成树后,经过分析计算,以调度中心XJ—0022为树根对最小生成树粗略划分为4个子图,运用Floyd算法找出每位工人的最短巡检路径,建立目标规划模型,再使用MATLAB及LINGO,确定每班4人为最优,并给出了最优巡检线路和巡检时间表。在问题2中,若增加休息和吃饭时间,经过分析讨论后每班应有6名工人。根据第一问的算法思想求出每位工人的最短巡检路径,经过软件求解,给出了最优巡检线路和巡检时间表。在问题3中,若要把问题1中的固定上班改为错时上班,反而会增加人力成本,不可取。对问题2,把上班时间进行如下调整:3∶00-11∶30、11∶30-19∶00、19∶00-3∶00,这样每班5个人就可以完成工作,此种方法比固定上班可节省3人。结论通过建立数学模型,并对模型的求解,最终解决了问题,花费最短的时间和最少的人力完成巡检任务。     

基于图论的带模糊约束最小费用与最小时间问题

为了寻求工程实施中费用与时间的最小化问题,在构造多因素隶属度PERT图和建立隶属函数模型的基础上,给出了最短路径的算法,并运用模糊约束量来解决带最小化时间因素的最小费用流问题。同时,给出了相应的数学模型及算法。     

A BAC-based physical map of the major autosomes of Drosophila melanogaster

We constructed a bacterial artificial chromosome (BAC)-based physical map of chromosomes 2 and 3 of Drosophila melanogaster, which constitute 81% of the genome. Sequence tagged site (STS) content, restriction fingerprinting, and polytene chromosome in situ hybridization approaches were integrated to produce a map spanning the euchromatin. Three of five remaining gaps are in repeat-rich regions near the centromeres. A tiling path of clones spanning this map and STS maps of chromosomes X and 4 was sequenced to low coverage; the maps and tiling path sequence were used to support and verify the whole-genome sequence assembly, and tiling path BACs were used as templates in sequence finishing.     

最短路径动态规划问题及C语言实现

利用动态规划思想求解运输最短路径问题并不是一个新的问题,但利用这种思想编写计算机程序,辅助完成其最短路径的求解,可以为解决最短路径问题提供了一个有效的工具.在编写程序时建立数学模型、借助数学工具写出其源程序,并在VC环境下得以实现.程序简单易懂,并没有单纯地对Dijkstra算法进行改进,而是编写了一种新的程序克服了Dijkstra算法不能实现多路径输出的缺点,在现实生活中为运输出行提供了更多的选择,更有实用价值.     

输气管网稳态运行优化计算方法

应用油气管道输送理论和最优化技术对管网系统的稳态运行进行了分析,建立了基于压缩机站的最小能耗费用数学模型,对管网的拓扑结构进行分解简化后,在动态规划算法的基础上结合网络最小费用流理论对其进行求解。结果表明,该计算方法对树形、环形管网均适用,而且优化效果好于一般的方法。     

管网最小平方和法初始流量分配

在对天然气管网进行离线数值模拟计算时,需要给各管段分配初始流量,并作为迭代计算的初始值.根据管道的流动状态多在阻力平方区的特点,建立了初始流量分配的数学模型,用C 语言编制了计算程序.实例计算和分析表明,用最小平方和法求解各管段初始流量,不需手工预分初始流量,也不需预先确定各管段的流体流动方向,求解所得初始值接近真实值,数值计算的收敛速度大大提高.     

任务调度问题的Petri网模型及其分析

提出任务调度问题的Petri网模型及其构造方法,给出了求解该Petri网模型的主任务线的方法,提出了并发段的概念,在此基础上计算出该任务调度问题所需处理机的最小台数.     

基于反步法的农业采摘机器人移动路径跟踪控制研究

为实现农业采摘机器人路径跟踪控制,基于李雅普诺夫稳定性理论设计了一种反步法控制器。通过调节控制器参数抵消了机器人误差模型中的部分未知非线性项,简化了控制器的设计形式。利用神经网络对模型未知项和外界干扰进行估计,设计鲁棒自适应控制器在线补偿设计的神经网络的估计误差,提高了神经网络的学习精度。仿真试验结果表明,设计的控制器可实现采摘机器人在存在外界干扰作用下对期望路径的精确跟踪。     

多元图论非线性映射分类及其在小麦研究中的应用

本文给出了一种将多元图论及非线性映射方法结合起来对样品进行分类研究的方法一多元图论非线性映射分类法,并应用此法探讨了41个小麦材料的最小支撑树及其在二维平面上的非线性映射分类图,与系统聚类法及主成分方法聚类相比,本方法有其特殊的优越性,能更直观形象而又比较准确地在二维平面上反映多维空间中小麦样品点的全部整体的亲疏关系,从而得到二维平面上直观的分类图。对遗传育种亲本选配研究有一定参考价值,对农业科学及其它领域的多元聚类问题都有参考意义。     

计及联络线方式的配电网规划方法

在建立配电网规划主模型的基础上，通过求取可行联络线集合建立配电网规划的联络线模型。结合图论中的邻接矩阵，提出路径矩阵和路径子矩阵的概念及形成方法，进而提出求取可行联络线集合的算法。实例证明．所提供的方法可有效提高配电网可靠性。     

农村辐射状配电网的优化方法

【目的】针对城镇配电网的特点,研究辐射状配电网多目标经济性优化模型与算法,为农村中压配电网优化决策系统的建设提供技术支持。【方法】利用经济电流密度概念和多目标规划理论,提出计入导线截面策略因子的最小投资费用和年网损费用的多目标函数优化模型,研究并利用实数编码并行优化处理方法、引入退火动态罚因子设计动态罚函数处理约束条件、基于遗传算法的电网路径与潮流的自识别解码方法、遗传算子的自适应调整方法等,并提高遗传算法在辐射状配电网拓扑约束中的自动识别能力,确保可行解的搜索方向和遗传寻优的顺利进行。【结果】通过陕西杨凌示范区新桥变电站10 kV配电网待建区域实例验证表明,随着选取种群数目的增多,综合费用逐渐趋向于1 230万元。与单目标优化方案的投资费用相比,多目标优化方案的建设投资费用约增加72万元,而年网损费用约减少323万元,综合费用约降低250万元,获得了该配电网的最优建设方案。【结论】提出了配电网络多目标经济性优化模型及其算法,实现了规划线路长度和导线截面策略因子并行优化,提高了解的搜索精度。     

端到端最小包时延可测性的排队分析与仿真

以排队分析和网络仿真为手段定量分析了在不同路径长度和流量负载条件下的最小时延可测性,发现约50个探测包即可有很大概率测量到有10跳长路径的最小时延.通过回归分析,建立了反映探测包数量与路径长度关系的线性方程.在互联网的实际测量验证了该方法是有效的.