《学记》教育思想的现代思考

《学记》是成于先秦时期的一部总结性教育著作。它对先秦的教育理论,教育实践作了全面的总结和概括,论述了教育的功能、作用以及教育制度、教学内容、原则和方法、师生关系等内容。以现代视角看待这些关于教育的论述,会发现许多难得的教育思想。     

消防设计中的难点及防火策略——以江西自然科学博物馆为例

针对江西省自然科学博物馆建筑大厅防火分区面积过大、部分疏散楼梯不能直通室外、疏散距离过长、钢结构耐火极限达不到要求、展厅不能有效实施机械排烟、不能形成环形消防车道等难点问题,通过性能化设计提出＂防火隔离通道＂、＂准安全通道＂等防火策略,以实现该项目的消防安全。     

千佛山风景名胜区游憩价值的估算

为了评估旅游资源开发获得的经济效益,以济南市千佛山风景名胜区为研究对象,采用分区旅行费用法研究旅游资源开发获得的游憩价值。研究表明:2009年千佛山风景名胜区的游客主要是来自山东省的15个地、市,交通、住宿、饮食、门票以及购买各项旅游消费品费用支出约8 341.9万元。以2007年山东省人口统计数为基础建立的旅游率和旅行费用的回归模型评估得到2007年千佛山风景名胜区的游憩价值为1.44亿元,远大于其现实经济价值。该研究结果不但丰富了中国资源环境价值评估的理论研究和应用实践,而且也对政府部门的决策以及千佛山风景名胜区的旅游资源管理与开发提供参考。     

Functional methods for time series prediction: a nonparametric approach

The problem of prediction in time series using nonparametric functional techniques is considered. An extension of the local linear method to regression with functional explanatory variable is proposed. This forecasting method is compared with the functional Nadaraya–Watson method and with finite‐dimensional nonparametric predictors for several real‐time series. Prediction intervals based on the bootstrap and conditional distribution estimation for those nonparametric methods are also compared. Copyright © 2010 John Wiley & Sons, Ltd.     

基于支付宝的旅游电子商务网站的开发

引入旅游电子商务的概念,分析了网上支付的优点,借助支付宝第三方支付技术,通过一个旅行社电子商务网站改造的实例介绍了采用ASP技术集成和开发网上支付的方法。     

互联网ISP服务质量的监测

衡量网络服务提供者（ISP）优劣的指标是服务质量，但目前许多ISP还缺少对服务质量的监测，本文探讨服务质量监测的原理和方法，以及主要服务类别的各项指标和测试方法，并给出了一些监测实例。     

一类Cox风险模型下的罚金函数

考虑了索赔来到的时间间隔和索赔量受外部环境干扰的Cox风险模型．通过求拉氏变换的方法分析了折扣罚金函数，并求出了零初始金时罚金函数的具体表示．     

计算机监控系统在中波台的应用

本文研究了中波发射台计算机实时控制系统的实施方案,具体提出了中波发射台发射机自动控制的设计原则、组成功能、结构特点.     

整体时空下的宏阔追求——铁凝《笨花》论

从主题诉求上看,铁凝的《笨花》采用了一种历史守成主义叙事,表达了一个重大的历史性主题,即探寻中华民族古老传统中某种强有力的文明文化基础。从时空结构上看,小说故事取自清末民初到20世纪40年代抗日战争结束近50年的历史,重现了20世纪前半叶一系列重大的历史事件和时间;同时小说的视野也非常广阔,故事发生的地点都与民国的新政有关,从河北保定到湖北汉口、宜昌,一种宏阔的历史总体性视域就这样形成了。这种历史整体观影响下的历史叙事首先以宏阔的时空构架统摄作品中出现的人物、事件和景象。在小说的整体性背后,屹立着世界和历史所具有的这一巨大而现实的整体性。     

自动定理证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题．本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性、语义归结的完备性、线性归结的完备性以及输入归结和单位归结的等价性问题．事实表明这些原本都是十分棘手的证明问题，由于使用了这一方法而变为十分简单而自然的工作，而且这些不同的完备性问题其证明步骤和过程也几乎是一样的