用建构主义教学模式革新高校地理课程教学势在必行

指出人类社会的教学过程已经历了师徒教学模式和课堂教学模式两次变革 ,随着电子媒体的产生与应用 ,建构主义教学模式必将取代传统的课堂教学模式 .认为我国高校地理课程教学不但适应建构主义教学模式 ,而且已具有一定的技术与物质基础 ,用建构主义教学模式革新高校地理课程教学势在必行     

一类二阶非线性脉冲微分方程的振动性（英）

利用Lakshmikantham等人建立的脉冲微分方程不等式研究了一类二阶脉冲常微分方程解的振动性, 获得了此类方程振动所应具备的充分条件. 同时改进了一些已知结果. 最后用一个具体例子说明了是否带有脉冲对微分方程的振动性有很大的影响.     

常规导弹联合作战火力运用方法研究

联合火力打击作为一种独立的作战样式,目前还缺乏深层次的定量分析。建立了联合作战火力运用主要环节的数学模型,并立足于最优化的观点,改进了相应算法。采用改进的层次分析法进行目标选择,将数论优化理论引入到瞄准点选优过程中,并提出了一种基于遗传算法的火力最优分配方案。上述算法不仅提高了计算效率,也是进行仿真系统开发的理论基础。最后给出了仿真示例。     

基于Creator的飞行视景三维模型数据库优化技术

根据飞行视景仿真中三维建模的特点和要求,利用Creator强大的可视化建模功能和模型数据库优化技术,从调整模型数据库层级结构、减少模型复杂度和减小模型文件尺寸等几个方面着手,创建飞行视景仿真中所必需的飞机/导弹、座舱仪表和地形等典型对象的三维模型,在模型的复杂度和逼真度之间进行平衡,通过某飞行模拟训练系统软件开发中三维模型优化前后运行性能参数的对比,表明了优化建模的必要性和该建模技术在普通PC平台上支持飞行视景实时仿真的可行性.     

福建省山海经济差异及协调发展研究

文章从静态、动态两方面入手，揭示出福建省确实存在明显的沿海与内陆差异，然后从地理环境、经济、交通等多方面分析存在差异的原因．最后为缩小福建省山海经济差异提出几点对策．     

光子晶体光纤熔接机理的研究

光子晶体光纤（PCF,Photonic Cpystal Fiber）的熔接技术为PCF产品的应用和开发提供了条件。本文主要介绍了影响PCF熔接的主要因素，比较了传统电弧熔接方法和激光熔接方法的优缺点，阐述了激光熔接的基本原理和工作流程，为PCF激光熔接机的制作打下基础。     

交换期权定价的新方法—保险精算方法

在Mogens Bladt,Tina Hviid Rydberg无市场假设、仅利用公平保费原则和价格过程的实际概率测度的期权保险精算定价模型的基础上,文章在无风险利率γ和股价波动率σ均为常数且不支付红利的情况下,用保险精算方法给出了欧式看涨交换期权的表达式,并得到了股票价格遵循几何布朗运动时的精确定价公式.     

内循环厌氧反应器的污泥颗粒化过程

污泥颗粒化是高效厌氧反应器的核心技术。为准确掌握反应器的颗粒化规律,定量研究了内循环厌氧反应器中以颗粒污泥碎片为核的污泥颗粒化过程。在文中试验条件下,第48d污泥颗粒化程度(SGR)达到73%,大大缩短了颗粒化时间,且该段时间内SGR的对数与颗粒化时间线性相关性良好。试验结果表明,较高的有机负荷及其产生的较高的水力剪切力有利于污泥的颗粒化过程;若无干扰,颗粒化过程可按照对数颗粒化期、减速颗粒化期和稳定期3个阶段进行。     

Rough Sets and Nuclear Safety

It is well-known that rough set theory can be applied successfully to rough classification and knowledge discovery. Our work is concerned with finding methods for using rough sets to identify classes in datasets, finding dependencies in relations and discovering rules which are hidden in databases by means of decision tables and algorithm D. We use these methods to analyze and control aspects of nuclear energy generation.     

基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。