关于求已知do循环不变式的一个方法及for循环的WP的定义

对确定性do循环,利用其WP求出循环不变式.给出了for循环的话义定义.     

关于循环与循环不变式的讨论

讨论程序设计中的循环与循环不变式的应用 .利用循环不变式可以方便地设计循环程序 ,并可证明程序的正确性 .     

2类数列问题循环不变式开发策略研究与应用

该文通过对组合数学中Catalan数列问题和Fibonacci数列问题进行深入研究,利用归纳推理、组合数学中的加法和乘法原理等方法得到问题求解函数,使用变量记录算法求解过程中子问题的解,并约束循环变量的变化范围,获得问题求解算法的循环不变式,由此得到了2类数列问题循环不变式的统一开发策略.以二叉树的形态数问题和阶梯问题为例,利用所提策略开发循环不变式,并基于循环不变式展示了这2类数列问题算法程序的形式化推导过程.     

BASIC语言中的循环语句运用时应注意的几个问题

本文首先简述循环语句的格式、功能和执行过程,然后着重归纳说明在运用循环语句编程时应注意的几个问题.     

C语言中计数循环语句几种形式的处理方法

在C语言中,经常使用循环语句,特别是计数器循环语句,即for语句.本文结合实例,对for语句的几种特殊形式进行分析,并给出具体的处理方法.     

高级综合中循环的综合方法研究

循环语句是高级综合中非常重要的语法现象^[1]。不同的循环语句（无限循环语句，有限循环语句和条件循环语句）应用于不同的场合，对不同循环语句的综合方法也不同。从VHDL语言的循环语句入手，研究高级研究中循环的综合方法，说明了VHDL语言中应用到不的各种情况和它们的综合方法，同时阐明了循环中的exit语句和next语句的综合方法。     

改进的城市公交循环工况开发方法

提出了一种改进城市公交循环工况的开发方法.根据车流量在主要商业区、工业区与居民区之间选择测试线路进行数据采集,以公交各站点间的行程作为短行程,根据工况时间比例由短行程构建城市公交循环工况,用参数均值方差选择典型城市公交循环工况.以大连城市公交为例,验证了改进的城市公交循环工况开发方法的有效性,以及应用该方法合成的大连城市公交循环工况的真实性.为开发适合城市公交特点的电动汽车,及其污染物排放量和燃油消耗量的测量提供了设计依据.     

Janous型的一类循环不等式

本文的目的是建立一类Janous型的循环不等式 .主要结果是 :①设x∈Rn++(n 3 ) ,S = ni=1xi, ni=1xixi+1…xi+k -1=nPk,(1 k n - 1) ,并且xi+n=xi(i=1,2 ,… ,n) ,则对于α k有 ni=1xαi/ (S -xi) [n/ (n - 1) ]Pα -1;②设m >1是任意的正整数 ,λk 0 (k =1,… ,m) , mk =1λk=1,则对于任意的正实数α ,β有 ni=1(xαi+1- mk =1λkxαi+k) / (S -xi+1)β 0 .     

基于忆阻器的门控循环单元电路

时间序列数据分析可用于识别长期趋势并进行正确的预测,与人工神经网络(artificial neural network, ANN)相比,门控循环单元(gated recurrent unit, GRU)可以处理时间序列信号,在自然语言处理、语音识别、机器翻译等方面有着广泛的应用。然而,由于参数和模型的复杂性,GRU模型在硬件实现中遇到了瓶颈。文章构建一个基于忆阻器的GRU硬件电路,具有完整的GRU功能,而且输入/输出参数更少。仿真结果表明,电路的平均误差为0.007 5,能够有效地实现GRU网络的功能。将设计的GRU电路应用在搭建的序列预测模型中,可以预测股票价格变化趋势,且其预测的R2分数达到0.923 4。因此基于忆阻器的GRU硬件电路的设计在机器学习和人工智能方面具有一定的应用潜力。     

关于一类退化型运输问题求解的研究

该文从一个实际问题出发,讨论了一类退化型运输问题的求解方法,证明了某些添加0运量的方案相互等价的事实,从而简化了此类问题的运算。     

世贸组织体系下中国分销业发展策略初探

随着中国履行入世承诺,外资在分销领域所受的限制将逐步取消,国内分销业面临的形势将更为严峻.文章从我国分销业的现状和存在问题入手,分析了新形势给我国分销业发展带来的影响,并对发展我国分销业应采取的策略进行了初步探讨.     

美学研究方法的历史走向

在西方哲学的"语言学转向"之后,当代美学研究在方法论上如何坚持马克思主义的哲学基础,这是关系当代美学发展的重大命题。本文通过反思中西方美学的认识论和存在性两种基本方法的历史走向,揭示当代美学研究的发展应当在价值实践基础上遵循逻辑与历史具体统一的基本方法,从人与对象价值实践发生学的经验历史视野出发,确立经验"知觉模式"在微观审美实践中具有的"在场"本体意义。在这个意义上,当代美学的发展在方法论上的突破口是对"经验知觉模式"亦即对于价值实践方式的历史生成给予科学的阐释。当然这已经是审美实践的具体研究,它只表明当代美学研究的方法论不仅仅在于你"说"的方法应当是正确的,还在于你能够正确的在场"运用"正确的方法!     

关于上好夜大数学第一课的探讨

万事开头难,＂上好夜大数学第一课＂是夜大数学教学的重要环节,对后面的数学教学起着积极的作用。为此,本文指出了当前夜大数学教学工作中存在的一些问题,分析了产生这些问题的原因,并以概率论课程为例,对＂上好夜大数学课＂的方法进行了探讨,并具体展示了教师在第一次上课时的课前准备及课堂上的知识导入过程。实践证明,＂上好夜大数学第一课＂不仅有利于大幅度提高学生的出勤率,维持课堂纪律,也有利于调动学生发言的积极性,活跃课堂气氛。     

关于机械学科发展战略的若干思考

根据长期从事机械学科教学、科研和产品设计工作的体会,归纳出以下几点结论:现代机械正向着"极端制造"方向、综合集成方向、信息化方向和科学发展观指导下的方向发展;机械学科应围绕中国机械产品的薄弱环节和国家需求开展研究工作;而国际上正在研究与开发的新技术、新理论和新方法,应该是发展战略的主要内容之一;在产品研究与开发过程中,直接影响产品总体质量的是产品的设计方法,今后应该进一步加强宏观研究和微观研究的结合,以便使中国在设计理论与方法的研究上取得更大的突破。     

论东部旅游业面对西部旅游大开发的竞争与发展战略

西部旅游大开发对东部旅游业来说既是一次挑战又是一次历史性的机遇,面对西部旅游大开发,东部要正确认识自身在旅游竞争中的地位和优势,运用一定的旅游竞争与发展战略实现自身乃至西部地区的旅游可持续发展。     

老龄产业发展战略的思考

论述新世纪发展老龄产业的意义、作用、制约因素和内容．目的在于通过老龄产业的发展来解决日趋严重的人口老龄化问题；并运用实证分析法阐明经济发展、计划生育、社会安定与人类进步的关系。     

一类Poisson-Nernst-Planck方程的两网格有限元离散方法

应用两网格有限元方法离散求解一类Poisson-Nernst-Planck(PNP)方程. 通过两网格离散, 将耦合PNP系统解耦成较小规模的线性对称系统, 可有效降低计算复杂度. 理论结果表明, 线性对称化的两网格算法具有与传统有限元方法相同的误差阶; 数值结果表明, 相比于传统有限元方法, 该方法计算效率更高.     

一类优化问题的动约束组合同伦算法

对带有不等式约束的光滑优化问题, 当可行域非空且满足正独立条件时, 通过选取适当的新的动边界, 构造了新的同伦方程, 证明了同伦方程解的存在性、 有界性和收敛性, 获得了优化问题的K-K-T点.     

蛋白质组学的研究方法

蛋白质组学是后基因组时代出现的一个新兴研究领域,具有巨大的商业应用前景,将会推动整个生命科学的发展．本文对蛋白质组学的定义和主要使用的研究方法作一简要介绍．