试析高职英语教学存在的问题及解决对策

该文旨在通过对天津市部分高等职业技术学院的调研,分析高职学院目前英语教学的现状和存在的问题,力求探索出一条适合高职高专特色人才培养模式的英语教学改革新途径。     

谈面向对象编程

近年来，在计算机软件业，面向对象的程序设计的思想已经被越来越多的设计人员所接受．面向对象的编程(OOP)和数据抽象已经成为最常用的编程术语．本文以C 为例，讨论OOP的编程风格与特性．     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

简洁含蓄的语言丰富深刻的内涵--论海明威的《一天的等待》的写作手法

《一天的等待》是一篇大家都比较熟悉短篇小说。这篇小说从表面上看来普普通通、简简单单，但是这平凡的外表下面却深藏着丰富深刻的内容。作者正是凭着他扎实的含蓄艺术，以简洁含蓄的语言来表达那丰富深刻的内容。     

托马斯·杨与光的波动说的兴起

光的波动说的兴起和成功,在牛顿物理学中打开了第一道缺口。而这场物理学革命的第一人,就是托马斯·杨。     

隐藏的数学--谈数学抽象思维的不完全性

文章从隐藏的数学这一角度对数学的抽象化进行了分析，指出了数学抽象思维不完全性的意义，同时点明了数学普及的迫切需要——走近数学。     

负二项分布下参数的方差一致最小无偏估计及贝叶斯估计

本文利用充分完全统计量,给出了负二项分布下,总体均值μ和参数P的方差一致最小的无偏估计(UMVUE),特别当r=1时,给出了方差σ2的UMVUE,然后,再利用共轭先验分布给出参数P的贝叶斯估计,并在特殊情形下,对两种估计进行了比较。     

具有局部搜索能力的自适应变异遗传算法

针对函数优化问题，提出一种自适应变异遗传算法来提高局部搜索的能力，弥补简单遗传算法易于早熟收敛的缺陷。最后以De Jong函数为仿真对象，将此算法与其它三种遗传算法进行比较，仿真结果表明此算法对于函数优化问题非常有效，大大加快了算法的收敛速度，并大幅度提高了搜寻到最优解的概率。     

从科学哲学到文化哲学--21世纪哲学观的新变革

科学哲学与文化哲学总是被人们在多种意义上来理解，但如果从思维方式上来理解哲学，那么科学哲学与文化哲学就只能作意识形态与思维方式的理解、作哲学现的理解。这样，对科学哲学的追寻与批判以及人类对人的本质认识的发展、人类需要的发展、人类思维的逻辑都使从科学哲学到文化哲学的转向成为21世纪哲学观的新变革。     

从《诗经》到《生活的艺术》:中国古、近代休闲思想探析

中国传统文化有看独特而丰富的体闲思想内涵，主要受到老庄哲学的影响。按照历史的逻辑和文化之间的联系，我们可以从先泰文化、魏晋六朝的隐逸文化、唐宋文化、明清休闲小品文和近代文人闲适文化的休闲思想中，看到休闲的本质。