西安市供水水源优化调度研究

地对西安市严重缺水问题,对西安城市供水的三个主要地表水水源建立了优化调度模型,采用大系统分解协调及逐步优化算法（ＰＯＡ）进行求解,初步探讨了不同水平年和典型水文年的优化调度方案,为干作寻求解决西安城市供水危机的最优策略奠定了基础。     

水泥土渗透及渗透变形试验的研究

通过对某堤防工程防渗墙水泥土渗透变形试验的研究,提出了一种水泥土的加工方式和水泥土渗透及渗透变形试验的方法,并在实际中获得了较好的效果,具有一定的应用前景。     

基于MVC的试卷生成及主观题判卷算法研究

国内外成型的考试系统对客观题判卷已有成熟的算法,而对于主观题判卷还有待研究,因此设计一个MVC(Model View Controller)框架的试卷动态生成系统,提出一套主观题自动判卷算法是可行的。在试卷生成系统中,通过分布视图PartialView和组件加载技术ComponentConfig动态生成含文本框/复选框等控件的试卷页面;在主观题判卷算法中,提出双向遍历空间模型算法,它结合关键词双向匹配和向量空间模型计算关键词得分点和文本相似度。仿真结果显示系统能方便生成测试用卷,所设计的自动判卷算法也提高了自动判定分数的准确率。     

认识过程的数学模型

本文从分析传统西方认识论的困境入手，综合马胸思主义化和中国古代“天人合一”的思想，运用数学要领刻划了认识主客体之间通过中介建立的同构对应，而认识结果就是客体在主体中的同构映象，并讨论了不同映象间的转换群，以及映象转换群下的不变性－即存在超越于个别主体的不变的或客观的知识。     

计算机科学与逻辑学

我现在年纪大了,搞了这么多年软件,错误不知犯了多少,现在觉悟了。我想,假如我早在数理逻辑上好好下点功夫的话,我就不会犯这么多错误。不少东西逻辑学家早就说了,可我不知道。要是我能年轻20岁的话,就要回去学逻辑。     

春江水暖鸭先知──《蜃楼志》中的封建盛世与口岸信息

春江水暖鸭先知──《蜃楼志》中的封建盛世与口岸信息丁国祥在明清两代，古典长篇小说佳构如云，令人目不暇接。然而产生于清代乾嘉盛世下的《蜃楼志》却湮没无闻，不仅文学史小说史几无道及，作者的真名实姓亦因资料缺乏难以用考。一百多年后的二三十年代，专家开始注意...     

基于SPA的学生成绩相关性研究

通过对学生成绩进行相关性分析和运用ＳＰＡ理论分析结果的比较，说明相关系数ｒ的补数（１－ｒ）一般来说是对不确定性的一个量度；并认为用ＳＰＡ理论能更精细地刻划学生成绩的相关、不相关问题。