Using the Information Structure Model to Compare Profile-Based Information Filtering Systems

In the IR field it is clear that the value of a system depends on the cost and benefit profiles of its users. It would seem obvious that different users would prefer different systems. In the TREC-9 filtering track, systems are evaluated by a utility measure specifying a given cost and benefit. However, in the study of decision systems it is known that, in some cases, one system may be unconditionally better than another. In this paper we employ a decision theoretic approach to find conditions under which an Information Filtering (IF) system is unconditionally superior to another for all users regardless of their cost and benefit profiles.It is well known that if two IF systems have equal precision the system with better recall will be preferred by all users. Similarly, with equal recall, better precision is universally preferred. We confirm these known results and discover an unexpected dominance relation in which a system with lower recall will be universally preferred provided its precision is sufficiently higher.     

关于三段论一般规则存在依据的思考

三段论理论是人类有史以来第一个真正的理论体系.选择有效式是构造三段论理论重要的一环.三段论一般规则是一种最简单实用的选择方法,但却存在理由不足的缺陷.包含关系的概念内涵之间所具有的蕴涵关系,能够单一地引申或者说充分地论证三段论全部一般规则,甚至能直接识别出三段论每一个具体的有效式,从而为采用一般规则做有效式选择标准的三段论理论提供了可靠的理论依据.     

科技论文文体结构所体现的美学特征

作为审美对象的科技论文,是作者通过科学实验和理性思维创造的一种美的结晶,其文体结构的美学特征主要体现为学术创新、真实可靠的科学美,结构严谨、层次清晰的形式美和准确简洁、朴实明白的语言美.     

图书馆评估类型的理论重组

针对学界和业界对图书馆评估类型问题迫切需要进行理论上的重组这一状况，论述图书馆评估在理论上存在着一个开放的类型体系。从图书馆评估的本质属性出发，可以把它划分为鉴定性、建设性、发展性和审美性等实质评估类型;从图书馆评估的外部属性出发，可以把它分别划为广义和狭义、前置性和形成性及总结性、外部和内部、相对和绝对等形式评估类型。     

我国公共教育投资分配结构的统计分析

通过国际比较和建立计量经济模型,研究我国公共教育投资的分配结构,得出的结论是：目前,我国基础教育公共投资水平明显偏低,高等教育投资的负担结构不尽合理,个人承担的部分偏低。因此,在义务教育还没有完全普及的情况下,国家还应当加强对初等教育的投资力度。     

液货船综合安全评估专家系统模型

针对当前石油公司在液货船安全检查和准入审查中存在的非定量、非智能评估问题,引入人工智能技术构建液货船综合安全评估(formal safety assessment, FSA)专家系统模型。该模型将FSA方法与专家系统进行组合,前者通过风险识别、风险衡准和风险量化,解决报告的非定量评估和审查的主观性问题;后者引入K最近邻算法、加权赋值算法等解决审查评估的非智能化和效率低的问题。选取官方案例进行模型检验,其结果表明提出的模型能有效地帮助石油公司实现船舶准入审查的定量化、智能化,并能显著提高审查效率,降低人工评估的主观性影响。     

传统概念问题的当代形式逻辑剖析

尽管传统形式逻辑在概念问题上不研究大于1的n元名词而只研究仅占n分之1的1元名词，可是在这n分之1的研究中仍然存在着不少缺陷。譬如，关于概念的定义至今仍不能自圆其说；有些概念种类划分不合理；给概念内涵下的定义产生歧义；给普遍概念下的定义过宽；等等。传统形式逻辑是真正的逻辑科学，我们剖析的目的是深深地切望传统形式逻辑深刻正确的主导思想和久胜不衰的理论成果得到发扬光大。     

C语言中的自增/自减运算符

本文根据笔者多年的C语言编程经验,详细归纳了++/--运算符在解题过程中应注意的多个方面的事项,是对教材的一个非常有益的补充,可用于C语言教学的参考,也有助于初学者的自学。     

再论RP技术在设计美学中的运用

RP技术能够快速成型得到实态模型,设计美学则使产品呈现美观的状态。RP技术在设计美学中的运用,就是利用RP技术的快速性和直观性,在设计制作过程中,以设计美学的原则和方法来规避不恰当的因素。使产品在设计与制造过程中,体现出形式美与技术美,获得高品质的产品,对加快设计与制造业发展,提高产品的市场竞争力具有重要的现实意义。     

图式理论与阅读教学

借助图式理论,分析了语言图式、内容图式和形式图式在阅读理解中的作用。为了提高学生的阅读能力,在阅读教学中,教师要注重这三方面的教学。