斐波那契查找算法的改进

该文讨论了分治查找的斐波那契算法,描述了利用斐波那契数列对有序表进行分割、查找的过程,发现了现有教材中在描述斐波那契查找算法时的错误和不足,提出了自己的算法改进方法并给出了修正后的斐波那契查找算法,验证了改进斐波那契查找算法的正确性和鲁棒性.     

斐波那契图及其定理

一个图G被称为斐波那契图,如果可以给它的项点分配非负整数,使得由分配给每条边的端点的数之和所得到的边的值能够排成一个斐波那契数列1,1,2,3,5,8,13,21,34…Fn.我们证明了路、圈及完全图KP是斐波那契图的充要条件.     

斐波那齐数列的整除性质研究

给出了斐波那齐数列的若干基本整除性质:(1)任意正整数整除斐波那齐数列中无穷多个项;(2)对于任意正整数n,am是斐波那齐数列a0后第一个被n整除的项,则m不超过n2;(3)被任意正整数n整除的斐波那齐数列中的项恰好为a0,am,a2 m,a3 m,…,其中am是斐波那齐数列后第一个被n整除的项;(4)任意一个素数p,必然整除斐波那齐数列中的ap,ap-1或ap+1。     

多项式求值及自然数幂和计算的两个增广Petri网模型

本文同时给出多项式求值及自然数幂和计算的两个增广Ｐｅｔｒｉ网模型，然后给出了矩阵描述和状态方程分析，最后导出了已知输入值求输出值的算法。     

N代斐波那契数列和N代黄金分割

斐波那契数列可以看成二代均衡繁殖数列,它所对应的是黄金分割.笔者将其推广为2代不均衡K&M数列及对应的分割,提出了N代斐波那契数列和N代黄金分割,给出了重要定理.特别指出,当N→∞代时,黄金分割即为:庄子切棒.     

有关卢卡斯数列的充要条件和性质研究

对卢卡斯数列进行了一些讨论,把卢卡斯数列的通项用一个一元二次方程两个根n次方的和来表示,得到卢卡斯数列的一个充分必要条件.在此基础上经过证明,获得了卢卡斯数列的一些经典性质,同时,结合斐波那契数列,建立了卢卡斯数列与斐波那契数列性质之间的一些相互联系.     

计算的模型:图灵机与Petri网

形式化的软件开发方法是建立在严格数学基础上的,其目标是通过严格的分析、验证发现软件设计及开发过程中的模糊性和不完备性,以达到对软件质量的有效控制。Petri网是形式化软件开发的一种很好的描述工具,它在描述异步并发的环境、模型验证等方面有着独到之处;图灵机是迄今为止计算能力最强的计算模型,在理论层面上有着其他模型不可替代的重要作用,它深刻地刻画了物理世界的可识别与可判定2个重要的概念。文章给出了这2种计算模型的一些基本概念、结论以及解决问题的主要方法。最后,用交通管理系统为例说明形式化方法的运用。     

离散变量结构优化的斐波那契算法

根据工程实际，充分考虑规范规定的约束条件和各项技术标准要求，建立了建筑结构优化模型。利用斐波那契数列的规律，提出了离散变量结构优化设计的斐波那契算法。算例结果表明，该方法能直接计算具有应力约束和截面尺寸约束的离散变量结构优化问题，也能处理同时具有稳定约束和位移约束的多工况、多约束、多变量的离散变量结构优化设计问题。是一种理想建筑结构优化设计方法。     

数据融合系统的Petri网模型

数据融合是对按时序由传感器获得的数据进行分析和综合的过程,本文提出了多维Ｐｅｔｒｉ网系统,用它建立数据融合的功能与结构模型,构造出该Ｐｅｔｒｉ网模型的可达树,在可达树上分析数据融合的性能和行为,同时给出了建立多维Ｐｅｔｒｉ网模型和构造可达树的算法     

基于Petri网模型的异步并发性

通过分析Petri网的网状结构特性,研究其描述异步并发的能力和特点．然后以Petri网的角度重新定义异步并发的概念,并结合实际异步并发应用中的特性,完成建模过程分析．最后,以教务系统中排课系统Ajax的异步传输机制为例建立模型,指导和检验系统的运行情况．     

一种基于Petri网的事务模型

提出了一种基于Ｐｅｔｒｉ网的关系数据库的事务模型，即事务网，它清晰地表明了数据与事务的相互依赖关系及事务之间的并发关系，可作为关系数据库逻辑设计阶段的重要工具。     

基于Petri网的分布式实时多媒体同步模型

利用Petri网这个形式化的工具对多媒体同步模型进行了描述，并借鉴了DTPN的交互思想和XTSPN的动态语义，使该模型具有交互性，并能克服网络延迟等影响．     

基于Petri网的工作流模型构建

Petri网以其良好的数学基础和可视化的建模方法已成为工作流研究中的重要建模工具。尤其对办公自动化建模时,在描述和分析对象上有其独到的优越之处,本文以协同办公系统中的生产计划管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证。     

PLC控制系统的Petri网模型研究

运用Petri网方法，给出了PLC控制系统的建模准则，在此基础上，对PLC控制系统进行了性能分析和仿真研究。     

高性能网络协议的Petri网模型

Petri网是协议形式化描述的优选模型．本文对高性能协议进行了深入的研究．并针对高性能协议更高的形式化描述要求．分别从语文、同步特征、模块化．层次比、对象化等方面进行了Petri同的特性分析．最后给出了用Petri网描述的快捷运输协议（XTP）的实例．     

基于Petri网的应急管理工作流模型

讨论了由Petri网发展起来的工作流网WF-net的定义、工作流执行结构及任务触发方法,引入WF-net建立应急管理信息系统工作流模型,提出了一种基于Petri网工作流模型的建模方法及其相关规则．以一个省级应急管理系统为例,详细阐述了构建Petri网工作流模型的过程,并利用验证工具对该模型进行了正确合理性分析．     

连续系统的受控连续Petri网模型

对于连续系统提出了一种受控连续Petri网模型．该模型充分考虑了系统状态的时变性质,在普通连续Petri网的基础上,对连续变迁的激发速度及触发规则进行了重新定义,从而能直观地、充分地描述受控连续系统的演变,从而为混杂系统统一的Petri网模型框架的建立提供了理论基础．利用模型详细讨论了连续系统的时间最优控制问题的连续Petri网描述．     

基本Petri网:模型、特性和分析方法

对Petri概念、基本模型、特性和分析方法等进行了讨论,介绍了基本Petri网模型的应用以及所能模拟的一些系统特性,对系统建模和分析有一定的指导意义.