什么是或然状态下的预算约束线

主要分析“或然状态下的预算约束线”的一个错误定义．首先利用“或然选择集”的概念对或然状态下消费者最优化选择模型进行分析，然后给出或然状态下消费者选择理论模型的一个简明而准确的表述．     

自锚式悬索桥空间主缆线形的计算方法

基于空间分析模型,研究了自锚式悬索桥空间主缆线形的精确计算方法,根据主缆在吊杆之间的各索段在自重作用下呈悬链线,推导并研究了空间主缆在吊杆力作用下坐标的迭代计算方法.根据主缆空间线形及其理论交点,确定合理的鞍座位置,根据主缆无应力长度不变的原则,确定主缆的空缆线形.基于上述理论,以某空间缆索自锚式悬索桥为例,进行了详细的分析,给出了主缆无应力长度、鞍座位置、鞍座预偏量等,确定了该桥的合理成桥状态及空缆状态时的线形.算例分析表明:空间缆索自锚式悬索桥主缆线形计算方法是正确、可行的.     

模糊图拟阵

首先从模糊图构造模糊圈拟阵并其性质，然后，定义模糊拟阵的模糊同构概念，在讨论模糊同构的性质的基础上，推广模糊圈拟阵并定义了模糊图拟阵，最后，利用模糊圈拟阵的“圈好”性概念，给出了一个模糊拟阵是模糊图拟阵的充要条件。     

结算企业间债务的网络算法

建立了企业间的债务网络并将网络扩充为欧拉图，给出了求欧拉圈的高效算法．最后利用欧拉圈给出了结算企业间债务的“虚拟”算法．     

次优树问题

本文基于“最优树算法”,在赋权连通图关于最优树的基本圈中,通过边权的比较,得到了次优树的算法,並给出了证明,从而解决了如何把一个赋权连通图的所有生成树按权的大小进行排序的一种方法。由此对工程设计中经常迂到的“连线问题”,可以给出各种不同的设计方案,供决策部门选择。     

斜拉-悬索协作体系桥主缆找形的假定初态法

对于斜拉-悬索协作体系桥这种新式桥梁,其主缆线形分析关系着成桥状态的确定.阐述 了使用分步算法进行协作体系桥的计算分析思路.针对协作体系桥提出主缆找形的假定初态迭代法,具体描述了假定初态法的执行过程.阐述了协作体系桥主缆几何非线性特征,并对几何非线性方程解法做了简要介绍.     

无桥图最短偶子图覆盖的上界

偶子图覆盖问题是图论研究领域的的重要内容之一,为研究最小偶子图覆盖猜想,利用整数流与偶子图覆盖的联系,借助于整数4-流在图的某个圈中扩充的结论,给出并证明了无桥图的最小偶子图覆盖的一个新的上界,改进了范更华给出的结论。     

关于线性內动机理論中的一个自由选取問題

§1.前言在线性内动机理论中,能否并如何线性实现一个事先不完全地给出的状态图形,是一个重要的综合问题.比方说,事先给出的图形仅仅是一个含有K个状态的顺向圈z_K.这样,整个线性内动机之状态图形的其它节点(状态)就成为自由选取(don’t care)的了,它们可以被任意地配置成适当的圈(非奇异情形)以至树形(一般情形).关于这一方面的一个问题是:给了一个顺向圈z_K,试求得以线性实现这个z_K的线性内动机的存储元件(单位延迟)的最小个数.Elspas在1959年提出了这个问题,但没有解决.本文将在作者以前的关于线性内动机理论的工作的基础上来讨论这个问题,     

基于卡诺图的多变量逻辑函数化简原则的一个补充

文中从经典卡诺图化简原则出发,结合一个实际的多变量逻辑函数化简问题,经讨论给出用卡诺图进行逻辑函数化简的一个补充原则,即在卡诺图上一个圈中如有2^i（i=0,1,2…）个逻辑“1”项,则该圈中任意一个逻辑“1”项在本圈中存在而且只存在i个逻辑相邻项。     

独塔自锚式悬索桥主缆成桥线形分析

以独塔自锚式悬索桥为对象介绍主缆成桥线形的分析理论.以分段悬链线理论为基础,给出主缆成桥线形的平衡关系和适合于独塔自锚式悬索桥主缆成桥线形分析的迭代方法,并编制相应程序.通过具体工程算例验证分析结果的正确性.     

纯滞后状态方程及其离散化

纯滞后是工业过程中普遍存在的一种现象。本文讨论和分析了具有状态纯滞后时状态方程的解及其一些性质,根据这些性质给出了这类方程的离散化表达式。分析比较了解算这类方程的各种方法,认为由离散化方程递推求解是在线应用的一种较好方法。文中还利用秩分解,以进一步简化计算。     

无返回地址的递归消除方法研究

讨论递归算法的非递归实现 .通常 ,非递归算法要保存返回地址 ,使程序能继续正确执行 .实际上 ,递归算法的执行可看成对状态空间树的遍历 ,按遍历树的策略 ,提出较简便的无返回地址的递归消除方法     

基于多新息扩展卡尔曼滤波的锂离子电池SOC估计研究

锂电池具有高能量密度、循环寿命长等优点而被广泛应用于电动汽车动力装置,但车辆运行状况复杂多变,且电池内部呈现高度非线性的性质,导致电池荷电状态(SOC)难以准确计算。为优化锂电池SOC估计精度,构建结合Warburg元件的分数阶二阶RC模型,采用自适应遗传算法进行参数辨识;融合多新息理论和扩展卡尔曼滤波算法,提出基于多新息扩展卡尔曼滤波(MIEKF)的锂离子电池SOC估计算法,并利用试验数据验证该方法的有效性,为提高SOC估计精度和车载锂电池的循环使用寿命提供了新的方法途径和实践支撑。     

具有状态约束的基因调控网络的集员滤波器研究

针对基因调控网络中切实存在状态约束现象,在考虑一类含时滞、参数不确定、噪声干扰的离散基因调控网络模型基础上设计一种集员滤波器,实现基因调控网络状态的估计.通过假设测量噪声是未知但有界的,采用LMI方法设计集员滤波器,获得滤波器的增益矩阵,运用递归优化算法对集员滤波器进行优化.最后,通过数值仿真证明了所提算法的有效性,实现了基因调控网络中的mRNA和蛋白质浓度的准确估计.     

一类非线性广义系统的观测器设计

文章讨论了一类广义非线性系统状态观测器的设计方法,并利用广义Lyapunov方程给出相应的增益矩阵L所应满足的条件,最后利用相应的Riccati方程给出增益矩阵L的一种具体形式。     

激发态的最速逼近微扰理论

本文将文献［１］提出的应用于量子体系基态的最速逼近微扰理论（ＳＡＰＴ）推广到了激发态。本文证明，只要保持激发态尝试波函数正交于对称性相同的激发态或基态波函数，就能避免计算过程的变分坍陷，并通过逐步迭代（逐一计入其他各态的贡献）计算逼近体系精确的激发态能量和相应的波函数，且不存在瑞利－薛定谔微扰理论（ＲＳＰＴ）的无穷求和和最陡下降微扰理论（ＳＤＰＴ）需计算哈密顿量二次和三次方矩阵元的困难。本文的方法可用于求精确的激发态能量和波函数。     

带有界扰动的多输入非线性串级系统的控制

本文对一大类带有界扰动的多输入非线性串级系统,基于ｂａｃｋｓｔｅｐｐｉｎｇ递推设计方法,进行状态反馈控制设计。当状态反馈控制律作用于该系统时,系统的状态和控制是全局有界的,并且第１个子系统的状态能够收敛到原点的一个小邻域内。     

网络可观测性的拓扑分析

研究了网络可观测性分析拓扑算法，提出了注入量测的可用性概念，给出了注入量测可用性判断法，它包括两个准则（辐射岛准则和环形岛准则）和一个算法（递归搜索法）。采用这一判断法可得到“唯一确定”的最大可观测岛，从而发展和完善了网络可观测性分析的拓扑算法。实例计算表明，算法是正确的和有效的。     

基于相邻状态链的多重态分配技术

本文全面分析了时序逻辑电路设计中的5个状态分配规则和相邻状态链分配技术.在分析一个例子的基础上,提出了利用冗余态进行多重态状态分配的方法,并进一步介绍了基于相邻状态链的多重态分配技术.设计实例表明,基于相邻状态链的多重态分配技术是有效的.     

产生2元M序列的一个新算法

M序列是非常重要的伪随机序列.给出了2元n级M序列的一个新的递归算法,该算法所需存储空间约为4n比特.而且只要经过一些修改便可生成大量的M序列.