塔尔斯基的真之语义定义

“真”是逻辑和语言哲学中无法绕开的语义概念。塔尔斯基为真所提供的语义说明对逻辑语义学和语言哲学的核心理论都产生了巨大影响，体现了逻辑技术对解决哲学问题的不凡助力。有的研究文献对其主要成果的通俗表述容易使人混淆一些概念。本文将对照塔尔斯基关于真之定义的两篇著名论文，澄清塔尔斯基所说的“本质丰富”的意思，以此展示对真之语义说明起关键作用的语言分层级的思想。这一思想方法还有助于我们理解哥德尔不完全性定理。     

价值分析与价值工程的二元新视野

本文分析了VA/VE(价值工程与价值分析)的历史与发展,到QFD(质量机能展开)和新近提出的“魅力质量”,对三者的理论框架作了介绍并综述了三者的区别与联系,随着顾客需求的不断演变,我们将看到先代理论的不足,更贴近顾客、市场的新理论将会得到更大发展与应用。     

潮河流域非点源污染关键区识别及其管理措施研究

选取SWAT模型,对潮河流域径流、泥沙及非点源污染过程进行模拟.在对模型进行率定和验证的基础上,参照土壤侵蚀模数与国家地表水环境质量标准对土壤侵蚀及总氮污染关键区进行识别.最后分别在土壤侵蚀和总氮污染关键区设置污染控制情景,对控制措施成效进行模拟和评价.结果表明,SWAT模型可以较好地模拟潮河流域水文过程和污染物迁移转化过程;流域20.9%的区域为轻度土壤侵蚀区,39.8%的区域为总氮风险区;梯田、等高耕作、退耕还林还草和减少化肥施用量等措施都不同程度地对非点源污染负荷起到一定的削减效果.     

强烈人类活动影响流域的水量水质模拟

SWAT模型取用水模块针对美国实际情况设定,不能实现不同年份各月动态输入,在我国受强烈人类活动影响的流域其应用受到限制.本文在深入了解SWAT模型结构和模型运行的内部机制,明晰各类输入、输出文件格式和空间运行单元组织方法的基础上,对模型源代码进行修改,完成模型输入、输出文件(TxtInOut)中.wus内取用水设置的追加和修改,反映模型模拟子流域在不同年份、不同月份用水量的差异.同时,针对SWAT模型中设定的水库基本特征参数值范围较小,不符合我国的实际情况,本研究对参数值输入范围进行扩展,使其符合我国的实际情况.将修改后的模型在漳卫南运河流域进行应用,取得了较好的模拟效果.本文在SWAT模型改进和完善上做了有益的探索和尝试,并在人类剧烈影响流域水量水质的模拟中得到了应用,为漳卫南运河流域水资源水环境管理提供了有力的支撑工具.     

价值分析与价值工程的二元新视野

本文分析了VA/VE(价值工程与价值分析)的历史与发展,到QFD(质量机能展开)和新近提出的"魅力质量",对三者的理论框架作了介绍并综述了三者的区别与联系,随着顾客需求的不断演变,我们将看到先代理论的不足,更贴近顾客、市场的新理论将会得到更大发展与应用.     

复合式塔架吊装系统的研究

本文以羊角乌江大桥的吊装系统为例,利用迈达斯对复合式塔架的吊装系统和普通吊装系统进行建模,计算当跑车位于三个不同位置时,两种吊装系统塔架位移、塔架的应力、塔架的稳定性和塔脚的反力。通过对计算结果的分析比较,复合式塔架吊装系统是较为经济、安全的施工方案。     

三维物理图形的产生与显示

对产生和显示三维物理图形的基本方法(几何变换、透射)进行了研究。所用方法的优点是内存量少,运算速度较快。     

消隐和物理三维图

隐藏线和隐藏面的消除是计算机图形学中较为困难的问题之一。本文提出一种用于物理三维图有效的消隐方法