关于不定方程x^3＋1=57y^2

应用递归数列、同余式证明了丢番图方程x^3＋1=57y^2仅有整数解（x,y）=（-1,0）,（8,±3）.     

铁路运输总支出预算管理系统的设计与实现

对Windows平台下的太原铁路局铁路运输总支出预算管理系统进行了需求分析,简要介绍了系统实现过程中的一些关键技术.     

关于不定方程x3+1=119y2

利用递归数列、同余式、平方剩余以及Pell方程解的性质,证明了不定方程x^3＋1=119y^2仅有整数解（x,y）=（-1,0）．     

随机可控递归分形树木模拟及实现

对树木的初始角度、有无后继树枝、树枝生长长度变化、树枝粗细等影响树枝最终形态的因素进行分析,形成控制参数。然后根据分形思想,使用递归算法,将控制参数加入到算法中。对不同参数单独变化得到的图像进行分析和验证,并生成了包含若干树木的树林,通过把树木设置成多种颜色,让树林显示出层次分明的形态。     

时滞递归神经网络鲁棒稳定性分析的统一方法

针对具有范数有界不确定性和恒定时滞的标准神经网络模型(SNNM),利用李亚普诺夫稳定性理论和S-方法给出了其鲁棒稳定的判定条件,稳定性判据被表示为线性矩阵不等式的形式,易于求解.大多数时滞(非时滞)递归神经网络(RNNs)都可以转化为SNNM,从而可以用统一的方法进行分析,克服了以往方法中存在的不足.给出的实例中,利用SNNM的结论对常见的一类RNNs的鲁棒稳定性进行分析,结果表明该方法是简单有效的.     

基于主成分分析和动态神经网络的时间序列预报

本文提出一种基于主成分分析（PCA）和动态神经网络的多变量时间序列预报方法,并对具体实例建立多变量时间序列模型。仿真实验结果表明该网络具有很强的学习能力和泛化能力,适合进行非线性时间序列预报。     

资源约束型Max-npv项目调度问题的分枝定界算法

研究资源约束下的Max-npv项目调度问题.首先给出该问题的数学模型,随后基于求解无资源约束Max-npv项目调度问题的快速递归搜索方法,设计资源约束型Maz-npv项目调度问题的分枝定界算法.利用算例进行求解分析,验证了分枝定界算法的可行性.计算结果表明,项目收益随折现率的提高而下降,随截止日期的延长而上升.     

用递归算法求素数

本文根据素数的一些基本性质,提出使用一种新的算法--递归算法来解决素数判定及求给定范围内素数的问题。同时还对该算法进行了分析和改进,最后用JAVA语言实现其代码。     

基于UML的领域规则建模方法

为了实现领域约束规则的可视化表示,检验需求模型与领域知识之间的一致性,该文提出一种领域规则建模及需求模型验证方法.在借鉴本体定义元模型和语义网规则语言(SWRL)基础上,定义了一种领域规则定义元模型.用该元模型扩展统一建模语言,使其可用于领域规则建模.给出了领域规则模型到SWRL描述的转换方法,使需求模型验证可通过形式化推理引擎自动完成.通过模型验证案例分析,说明了该方法的可用性.     

预测未来十大新兴运输系统

当涉及大部分人的出行问题时,公共交通系统在风格、安全、拥堵程度、无污染、低成本等方面比私人出行工具更具优势。但当我们见证了私人交通工具巨大动力的同时,尽管一个世纪以来世界很多城市为基础设施建设所累,未来公共运输新概念似乎没有得到同样的认识水平。然而,随着一些积极的计划的实施,21世纪无疑会为我们带来新的运输方式,重新定义我们观念中的公共交通。那么在50年内到底会有哪些运输概念会成为现实呢?