期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
论普赖尔对第奥多鲁主论证之重构 被引量:1
1
作者 周君 《逻辑学研究》 CSSCI 2017年第3期133-144,共12页
第奥多鲁为了确立他自己关于可能的定义而提出了"主论证",为了从逻辑的层面澄清第奥多鲁支持的论证,普赖尔对第奥多鲁本人的解答进行了重构。本文梳理和讨论了普赖尔对第奥多鲁解答的重构,并对其他学者对普赖尔重构的批评进... 第奥多鲁为了确立他自己关于可能的定义而提出了"主论证",为了从逻辑的层面澄清第奥多鲁支持的论证,普赖尔对第奥多鲁本人的解答进行了重构。本文梳理和讨论了普赖尔对第奥多鲁解答的重构,并对其他学者对普赖尔重构的批评进行了分析。指出:普赖尔的主论证重构使用了模态和时态逻辑,对命题的刻画是精致的,论证方法也独具匠心,但添加的论证前提(d)预设了时间的离散性,因而论证只是有条件地成立。至于其他学者对普赖尔重构前提有歧义的批评,只要采用时态逻辑的规范读法,是完全可以消除的。 展开更多
关键词 主论证 必然 可能 偶然 时态逻辑
下载PDF
基于多目标遗传算法和主成分分析的船型主尺度论证 被引量:4
2
作者 陈雅菊 《船海工程》 北大核心 2015年第2期31-35,共5页
为了解决船舶方案设计中面临的方案生成和决策问题,引入多目标遗传算法和综合评价方法,将船舶主尺度确定转换为多目标优化和决策评价问题,使用第二代快速非劣解排序的多目标遗传算法(NSGA II),在一个迭代周期获得多个可行解,采用主成分... 为了解决船舶方案设计中面临的方案生成和决策问题,引入多目标遗传算法和综合评价方法,将船舶主尺度确定转换为多目标优化和决策评价问题,使用第二代快速非劣解排序的多目标遗传算法(NSGA II),在一个迭代周期获得多个可行解,采用主成分分析方法对备选解进行综合评价,按照主成分得分给出比较排序。以一艘水面船舶在概念设计阶段的船型主尺度论证为例,数值结果表明所采用的方法是可行的且具有较好的适应性。 展开更多
关键词 尺度论证 快速非劣解排序遗传算法(NSGAII) 成分分析 决策
下载PDF
新型滑行艇船型及主尺度论证
3
作者 白少勇 徐强 《中国水运(下半月)》 2015年第11期14-15,18,共3页
澜沧江——湄公河国际航道处于金三角地区,安全局势复杂,近几年来多次发生暴力事件,航运业受到严重的影响。文中根据航道的特点对新型滑行艇的主要性能指标、型线设计方案、主尺度的选取进行了论证。
关键词 滑行艇 船型 尺度论证
下载PDF
基于多目标粒子群优化和主成分聚类分析的船舶主尺度分析 被引量:3
4
作者 陈雅菊 《舰船科学技术》 北大核心 2015年第8期45-51,共7页
根据多个技术和经济指标进行船舶主尺度优化论证是船舶设计人员需要着重解决的问题。提出结合粒子群优化和主成分聚类两阶段的方法进行船舶主尺度论证分析。建立了以载重量、建造费用、服务航速和提供舱容为设计指标的水面船主尺度论证... 根据多个技术和经济指标进行船舶主尺度优化论证是船舶设计人员需要着重解决的问题。提出结合粒子群优化和主成分聚类两阶段的方法进行船舶主尺度论证分析。建立了以载重量、建造费用、服务航速和提供舱容为设计指标的水面船主尺度论证模型。采用多目标粒子群优化算法对船舶优化模型进行求解,获得问题的Pareto解集。使用主成分聚类分析对该数据集进行综合评价。先将Pareto解集进行主成分分析,使用前2个主成分就能够表达原始数据的绝大部分信息,再通过对主成分进行聚类,获得不同类别中Pareto解集的特征,根据第一主成分得分获得每个聚类中设计样本的排序,最终可以从Pareto解集中得到折中解。利用主成分分析和聚类技术还研究了变量在主平面上的映射以及聚类特性。给出了1艘水面船的主尺度论证算例,表明本文给出的方法合理可行。 展开更多
关键词 尺度论证 多目标粒子群优化 成分分析 聚类分析 综合评价
下载PDF
7 100 TEU超大型集装箱船开发 被引量:4
5
作者 楼丹平 《上海船舶运输科学研究所学报》 2005年第2期128-133,共6页
介绍了沪东中华造船集团公司开发的7 100 TEU超大型集装箱船线型优化试验研究结果,研究内容包括主尺度论证选定,线型优化设计,试验结果分析,设计桨航速预报,以及附加节能装置舵球的设计试验等。
关键词 船舶 舰船工程 超大型集装箱船 研究 尺度论证 线型优化
下载PDF
Karl Popper's Critical Rationalism" Corroboration versus Confirmation*
6
作者 Oseni Taiwo Afisi 《Journal of Philosophy Study》 2013年第6期506-516,共11页
This paper reviews and adds to previous arguments for the thesis that Karl Popper was mistaken to have rejected hypothetico-deductive confirmation. By turning from the positive idea of verification to the negative ide... This paper reviews and adds to previous arguments for the thesis that Karl Popper was mistaken to have rejected hypothetico-deductive confirmation. By turning from the positive idea of verification to the negative idea of criticism, Popper believed that he had turned his back on induction. He believed he had "solved" the "problem of induction" by providing a non-inductive account of corroboration. Popper used the term "corroboration" rather than confirmation which he believed was too closely allied to the notion of the inductive or probabilistic support that a theory can receive from evidence. Wesley Salmon's (1967) "concept of confirming evidence" and Clark Glymour's (1980) "bootstrap conception of evidence for theory" both defended respectively the thesis that passed tests can be confirmed by evidence or warranted by the degree of probability. Using a sequence of symbols in logical form or analysis, I shall further defend the concept to hypothetico-deductive confirmation in order to show that the known weaknesses of Popper's critical rationalism are remediable, once the notion of evidence for theories is brought back into consideration. 展开更多
关键词 hypothetico-deductivism INDUCTION CORROBORATION CONFIRMATION critical rationalism consilience BOOTSTRAP
下载PDF
The Historical Forms of Materialism and the Philosophical Domain of Historical Materialism
7
作者 Yang Geng 《Social Sciences in China》 2017年第2期39-55,共17页
Natural materialism, humanistic materialism and historical materialism are the three historical forms of materialism. The "material" in historical materialism is a social thing which is "perceptible and imperceptib... Natural materialism, humanistic materialism and historical materialism are the three historical forms of materialism. The "material" in historical materialism is a social thing which is "perceptible and imperceptible by the senses" and connotes social relations; and the "history" in historical materialism is the realm in which contradictions between man and nature and between man and society are able to unfold, so historical materialism is "actually a critical view of the world" that inherently contains dialectics in a "rational form." The formulation of historical materialism opened a new path for the development of materialism and even philosophy as a whole. In the course of its critique of capitalist society, which unfolds with capital as a core category, historical materialism sublates abstract existence and discovers real social existence, thus putting an end to metaphysics, which is grounded in abstract ontology. 展开更多
关键词 historical materialism dialectical materialism PRACTICE ONTOLOGY METAPHYSICS
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部