官厅水库入库口复合湿地系统对入库水质的净化

官厅水库入库口复合湿地系统建设以恢复官厅水库饮用水源地功能、保障供水安全、促进流域水资源可持续发展为目标,在对水库水源水质进行全面调杳、监测、分析基础上,借鉴国内外最新技术经验,采用并建设了前置库自然湿地和人工构造湿地的入库口复合湿地系统,突破了水库流域水生态环境治理中的关键与难点技术,成功实施了官厅水库水质改善和生态修复,形成了适宜于北方低温干旱地区水库水生态环境综合治理技术体系,为恢复官厅水库饮用水源功能发挥了关键作用,为水库水质保护和生态恢复探索了一条可行道路.     

惯性步进扫描器控制接口的设计

介绍了一种采用惯性步进型扫描器的新型扫描隧道显微镜(STM)的设计,研制出了一种用于该扫描器的接口电路.文章重点对该扫描器的位置粗调驱动电路和隧道电流前置放大电路等接口进行了设计,并完成了该接口的制作和调试,最后在使用该接口电路的新型SIM上扫描出具有较高分辨率的镀金铜的表面形貌.测试表明,该接口工作稳定,使用方便,并能发挥该惯性步进型扫描器高稳定性的优点.     

陕北方言关系称谓语“NP+的”结构研究——兼论汉语“的”的发展趋向

依据“的”出于“者”及袁毓林“谓词隐含”等理论 ,求证了“NP +的”的渊源历程和结构理据 :“NP +的”来源于“NP +者” ,“NP +的”中隐含了“作、当”一类动词 ,它是“作 /当 +NP +的”的紧缩形式 ,其中“的”提取“(作 /当 )NP”的主语 ,这种“的”跟“VP +的”中的“的”是同一个名词化标记。从汉语的发展趋势看 ,“NP +者”演变为“NP +的”后 ,最终的结果将是名词化标记“的”的脱落     

现代汉语认知称谓词的隐喻及转喻研究

借助认知语言学的隐喻和转喻理论,研究了一个社会语言学关注的语言现象——汉语的认知称谓词。其中的结构隐喻以相似性为经验基础,对人认知的概念化过程遵循了存在之链中从低到高的顺序。空间隐喻则遵循了意象图式隐喻的内在逻辑,以经验共现为基础。此外,相当数量的包含转喻思维的认知称谓词证明了概念转喻对抽象思维所发挥的不可忽视的作用,主要涉及理想认知模型整体与部分和部分与部分的转喻关系,事物之间的相邻性是转喻的基础。借人指人的汉语认知称谓词证明人名可以代表角色,这是Fauconnie否认人名代表角色的可能性的一个反证。     

上古汉语称谓词研究综述——研究的对象范围、理论方法及意义

上古汉语称谓词研究是汉语词汇断代研究的一个重要组成部分。它涉及汉代以前的亲属称谓和社会称谓。以名物命名的相对可论证性的认知学理论及汉语词汇发生与积累的阶段性理论为指导性的基础理论,结合传统训诂学的基本方法和文化语言学方法,辅以方言和亲属语言互求法以及语义分析法对此进行系统研究,探讨称谓得名之由,从而在相对封闭、有限的专题范围内展示本时期的语言概貌,为汉语史和词汇史服务。     

一阶模糊谓词逻辑公式的解释模型真度理论及其应用

基于一阶模糊谓词逻辑公式的有限和可数解释真度的理论,引入了一阶模糊谓词逻辑公式的解释模型及解释模型真度的概念,并讨论了它们的一系列性质及其在近似推理中的应用.     

计量逻辑学的基本思想和研究综述

介绍计量逻辑学的形成、特点及其与模糊逻辑的异同。关于命题逻辑的计量化理论,针对不同的系统论述了真度理论和相似度理论,特别是介绍了作者提出的命题逻辑系统L*以及与其配套的R0代数理论和完备性定理。介绍了逻辑理论在逻辑度量空间中的发散度和相容的理论以及三种近似推理模式。回顾了谓词逻辑计量化的进程和有待解决的问题。提出了模态逻辑和模型检验的计量化问题以及有待进一步探讨的几个研究课题。     

Modeling trusted computing

0 IntroductionThe purpose of trusted computingis to solve some of to-day’s security problems through hardware changes topersonal computer . The trusted property can be extendedfromroot of trust to entire PC platformthrough the chain oftrust[1].Root of trustis a small hardware device calledtrustedplatform module (TPM) addedto PC.A well-known project of trusted computing is trustedcomputing platformalliance(TCPA) .It is calledtrusted com-puting group (TCG) now[2 ,3]. Besides this , other…     

算术结构的不可判定性

本文证明了两种算术结构Ｎ；＋，ｎ２ｎ，｜２ｎ及Ｎ；＋，ｎ２ｎｌｏｇ２ｎ中可定义乘法运算从而包含算术结构Ｎ；＋，×及，而由于后者的不可判定性推导出前二者的不可判定性。     

基于订阅划分的多维索引并行匹配算法

针对基于内容的发布/订阅系统匹配算法中的计数算法和树形算法在多操作符匹配结构中效率不高的问题,提出了一种基于订阅划分的多维索引并行匹配算法(SPMP-match).该算法利用二叉树原理对订阅进行分组,然后组织成树形索引结构,采用一种边匹配谓词边观察的策略,及时终止无成功匹配订阅的情形.该算法仅对可能和一个事件匹配成功的所有订阅进行匹配,不会产生无价值的时间消耗,并且在查找匹配成功的订阅时,只须要查看所有可能和某事件匹配成功的订阅表,避免了扫描整个订阅集合.