经典逻辑的表列方法

表列(tableau)方法是一种形式证明的方法,具有良好的通用性,适用于经典逻辑和非经典逻辑的许多系统。表列方法对于各种逻辑系统的元理论的研究,也是一种有力工具。     

区间套定理的推广和应用技巧

从R^1空间上的闭区间套定理出发,在闭区间套定理条件下,讨论并给出了R^1空间上的开区间套定理及部分推论,并将结论推广到R^n空间。同时讨论了定理的应用技巧。     

基于二进制可辨矩阵的知识约简(待续)

对决策表的二进制可辨矩阵^[11]进行先期化简的算法^[10]可大大减少知识约简的操作对象，大大加快知识约简的速度，是一种很有前途的知识约简的新方法．但目前的二进制矩阵的化简规则不是有效完备的，在有些情况下求出的不是的简(不有效)，在有些情况下有的约简不能由化简后的矩阵求出(不完备)．本将严格地研究二进制矩阵化简的有效完备性，并给出求最简有效完备矩阵的算法，从而使这种很有前途的算法有坚实可靠的理论基础．     

数据库信息资源内容质量用户满意度模型及实证研究

随着数据库系统发展的日益成熟,数据库信息资源质量成为人们关注的焦点.如何提高用户的信息资源质量满意度、更好地满足用户需求是亟待解决的问题.本文基于顾客满意度模型理论,以信息资源内容的权威性、完整性与及时性维度为研究对象,构建用户信息资源质量满意度概念模型,并通过调研检验与修正概念模型.研究发现:数据库信息资源的“文献数量”、“文献全文率”和“内容权威性”是影响质量满意度的关键指标;用户侧重于从价值角度来衡量质量满意度,感知价值对质量满意度影响最大,而感知质量对总体满意度的影响不显著.     

中国自然灾害减灾救灾标准完备性评价

探讨中国减灾救灾标准的现状及其完备性对健全和完善减灾救灾标准体系意义重大。基于中关两国现有的自然灾害减灾救灾相关标准,分析了两国现有减灾救灾标准数量上的差异;同时采用故障树分析方法,从综合、灾害监测预警、救灾准备、灾害应急响应、灾后恢复重建和减灾6个方面构建了自然灾害减灾救灾标准的故障树。评价了中国自然灾害减灾救灾标准的完备性。结果表明：中关两国已颁布的自然灾害减灾救灾相关标准在数量上存在较大的差异,其中中国共有减灾救灾相关标准779条,美国共有263条;中国现有标准中国标、行标、地标和企标分别有180条、358条、233条和8条;中国现行自然灾害相关标准有664条,其中强制性标准150条、推荐性标准493条和指导性文件1条;中国自然灾害减灾救灾相关标准的完备度为77．9％;地震和生物灾害减灾救灾标准的完备度较高,分别为89．1％和88．2％,海洋灾害减灾救灾标准的完备性相对较低,完备度为51．0％。目前中国在自然灾害减灾救灾领域缺失需要完善的标准内容涉及应急预案的管理、社区综合减灾、灾情信息共享、防灾减灾能力评估、次生灾害防范和处置、生态系统恢复、灾区动物疫病监测与防治等。     

关于科技文件材料渐全性认识的几个问题

文章通过对对部分有关科技文件材料渐全性的表述进行归纳分析,指出了仅通过更改与补充科技文件材料,使其逐步得以完善这一客观现象来诠释科技文件材料渐全性的特点是不全面的,还应拓宽研究视觉,当从成套科技文件材料的形成过程去研究分析科技文件材料的渐全性。     

The completeness property of the set of real numbers in the transition from calculus to analysis

This paper focuses on teaching and learning the set of real numbers R and its completeness property at the university level. It studies, in particular, the opportunities for understanding this property that students are offered in four undergraduate correlative courses in Calculus and Analysis. The theoretical framework used in the study draws on concepts developed in the Anthropological Theory of Didactics, especially the notions of praxeology and mathematical organization. The paper shows different expectations concerning the same notion (R and its completeness) through different school levels, and intends to bring up some reflections about the transition from Calculus to Analysis.

非负常仿射平均曲率的完备二维Hessian流形

设M为完备、连通、定向的二维Hessian流形,若M的仿射平均曲率为非负常数,则M等距于E^2／Г,Г为自由,纯不连续作用在E^2上的等距离散子群．     

新兴技术竞争优势的测度方法研究——基于四象限图示和雷达图示分析方法

探索新兴技术竞争优势的测度方法,有助于我们把握技术前沿的竞争态势,推动科技成果的转化。采用四象限图示分析方法和雷达图示分析方法,借助Relecura专业知识产权分析平台,以细胞免疫治疗为实证,对技术主体的综合竞争优势和高产机构在主要技术领域、子领域、IPC代码的竞争优势进行了分析。就专利技术战略布局的前瞻性指标而言,美国国立卫生研究院和美国卫生与公众服务部两个机构最具有前瞻性。就创造高价值专利的执行力而言,美国国立卫生研究院和Celera公司具有相对比较强的创造高价值专利技术的执行力。高产机构在主要技术领域的竞争优势各异,美国卫生与公众服务部在更多的技术子领域和IPC代码具有优势。     

Equivalent formulations of the Müntz-Szász completeness condition for systems of complex exponentials

New results pertaining to the completeness of a system of complex exponentials in L_p spaces are presented. It is shown that the well-known Müntz-Szász condition can be interpreted in terms of an equivalence relation, thereby proving that the standard Müntz-Szász formulation is equivalent with certain alternative formulations.