开放科学及建构的制度逻辑

科学与技术是两种不同的制度模式,前者属于科学共和国"Republic of Science",后者属于技术王国"Realm of Technology",两者具有天生的互补性。开放科学作为一种非市场化的激励制度,提出一套基于优先权的报酬体制,强调在知识产权保护前提下追求创新知识社会福利的最大化,对于催生高质量的研究和创新(Research&Innovation)至关重要。本文在阐述开放科学起源、发展与理论内涵的基础上,重点从公共资助、累积创新、知识产权保护和知识分工四个方面,深入探究了开放科学建构的制度逻辑。     

The material theory of induction and the epistemology of thought experiments

John D. Norton is responsible for a number of influential views in contemporary philosophy of science. This paper will discuss two of them. The material theory of induction claims that inductive arguments are ultimately justified by their material features, not their formal features. Thus, while a deductive argument can be valid irrespective of the content of the propositions that make up the argument, an inductive argument about, say, apples, will be justified (or not) depending on facts about apples. The argument view of thought experiments claims that thought experiments are arguments, and that they function epistemically however arguments do. These two views have generated a great deal of discussion, although there hasn't been much written about their combination. I argue that despite some interesting harmonies, there is a serious tension between them. I consider several options for easing this tension, before suggesting a set of changes to the argument view that I take to be consistent with Norton's fundamental philosophical commitments, and which retain what seems intuitively correct about the argument view. These changes require that we move away from a unitary epistemology of thought experiments and towards a more pluralist position.     

用MSI数据选择器实现逻辑函数的方法讨论

目的讨论用中规模器件实现组合逻辑函数时,函数变量数小于数据选择器的地址变量数的情况。方法详细阐述了数据选择器的原理及应用,从逻辑函数表达式、真值表和卡诺图3方面进行分析。结果得出用MSI数据选择器设计组合逻辑函数能够实现任意组合逻辑函数,并通过实例验证了其有效性。结论用MSI数据选择器可实现任意组合逻辑函数。     

机载防撞系统TCASⅡ Version 7.1与Version 7.0软件的比较

针对机载防撞系统TCAS软件版本的改进,描述了TCASⅡVersion7.1对Version 7.0软件所作的修订,分析了Version 7.0与Version 7.1软件的差异和改进.按照DO-185B所规定的TCAS系统最低性能需求,采用软件工程的方法,完成了TCASⅡVersion 7.1防撞算法的软件设计和编程并建立了相应的软件测试平台.通过采用一组标准输入及输出的测试用例文件,将标准输入产生的输出结果与DO-185B的输出结果进行比对,验证了TCASⅡVersion 7.1防撞算法和处理逻辑的正确性和有效性.     

农业产业型科研院所现状探析

为增强科技实力,我国政府近年来发布了多项旨在提高科研发展的政策措施,在目前我国社会主义市场经济条件下,产业型科研院所如何改进现有的科研管理模式,主动适应社会主义市场经济发展的需要,把自身的科技潜力发挥出来,为实施创新驱动发展战略服务,是当前产业型科研院院所发展所面临的重要课题.该文根据国家深化科技体制改革加快国家创新体系建议的要求,探析了我国农业产业型科研院所在科研成果评价、科研成果转化和科研管理体制的现状与存在问题,旨在对我国农业产业型科研院所的发展模式提出建议与措施.     

基于自动变速的混合动力装载机控制策略

为了提高装载机能源的利用率与变矩传动效率,通过分析某5 t装载机的工况特点,提出了基于自动变速的并联式混合动力方案;采用模糊逻辑控制策略,通过在线估计系统需求转矩与车速,以需求转矩、超级电容SOC值、车速、油门开度及液力变矩器效率作为输入,输出发动机与电动机的工作点及系统挡位.结果表明:发动机效率提高,超级电容SOC值稳定,挡位变化合理有效,混合动力比传统装载机节油约9.56%,混合动力自动变速比传统装载机节油约11.82%,改善了燃油经济性.     

基于决策类划分新型多变量决策树算法实例分析

利用"基于决策类划分的新型多变量决策树算法"中的五大步骤,以"气象信息系统表"为实例构造多变量决策树,取得的结果与著名的单变量决策树(ID3)方法和粗糙集多变量决策树方法所获得的结果相同,证明本算法有效。其决策树构造过程简单,易于理解。通过时间复杂度的比较,证明本算法优于粗糙集算法速度更优和ID3算法。     

MTL 代数的 Wajsberg 形式及其应用

MTL 代数是一种重要的基础逻辑代数。本文采用 Wajsberg 方法,根据逻辑系统 MTL 中公理的形式,建立了 NMTL 代数的经典代数表示形式,进而证明了 NMTL 代数与 MTL 代数是同一代数结构,证明了满足条件x,y∈L,x→y ＝（y→0）→（x→0）的 NMTL 代数 L 是 BR0代数。在此基础上证明了 IMTL 代数和 BR0代数是同一代数结构,并给出 BR0代数和 BL 代数的 Wajsberg 形式。     

BL-代数的余零化算子及其BL同态像

通过在BL-代数中给出单点余零化算子的概念,研究单点余零化算子的基本性质;在BL-代数中讨论多点余零化算子的基本性质,并给出BL-代数的一个子集是多点余零化算子像的充要条件;研究多点余零化算子BL同态像的性质并分别给出余零化算子的BL同态像和余零化算子的BL同态原像是余零化算子像的充要条件.     

试论针对词语关系的类比推理

公务员应该具备良好的逻辑推理能力，逻辑推理有多种，而针对词语关系的类比推理是其中较为重要的一种。测试这种推理能力的题型大致有两种：一组完整词语和两组缺省词语。词语之间的关系可能体现在逻辑层面，也可能体现在语言层面，还可能体现在常识对应层面。解题技法主要有遣词造句法和纵横对比法。