浅析"三个代表"重要思想的历史逻辑与时代精神

二十世纪是人类历史上最为波澜壮阔的一百年.中华民族在这一世纪走过了不平凡的历程,革命和建设的成就为她在二十一世纪的伟大复兴铺平了道路.和平与发展的时代背景、经济全球化和世界多极化趋势为中华民族的伟大复兴创造了难得的历史机遇.历史和现实赋予了中国共产党人艰巨而光荣的使命.顺应时代潮流,与时俱进,坚持理论创新,用科学的思想指导中国特色社会主义现代化建设的实践,是抓住机遇、完成使命的必然要求."三个代表"重要思想体现了历史发展的逻辑要求与当今世界和中国发展的时代精神.     

石化装置故障诊断技术的发展及应用

针对石化装置的生产及安全管理的特点,介绍了故障诊断技术面临的挑战和各种常用故障诊断方法,并详细叙述了基于符号有向图SDG(Signed Directed Graph)的故障诊断技术的研究进展,介绍了国内外具有代表意义的基于动态仿真的故障诊断研究试验和应用系统,然后介绍了故障诊断系统在石化装置中的应用.最后总结了各种故障诊断技术,指出了这一领域中有待解决的问题和可能的发展方向.     

基于语义Web的自动推理技术研究

本体论是语义Web的逻辑基础,语义Web研究的主要目的就是扩展当前的万维网,使得网络中的信息具有语义.语义Web出现的目的是为了解决机器和人对知识理解的问题,因此,可以在语义Web的基础上展开推理.以此为思路,首先分析了语义Web的逻辑基础,然后对语义Web的推理形式进行了研究,最后在此基础上提出了一种有效的推理系统,该推理系统解决了传统专家系统中知识表示形式所带来的一些问题,并且能够使建立的知识更好地共享.     

操作腔外原子比特控制腔内多光子过程中原子比特熵压缩性质

考虑初始处于Bell态的两原子比特,将其中一个注入真空态腔中发生多光子共振相互作用情况.运用量子信息熵理论,研究对腔外原子比特施逻辑门操作及基态测量前后,腔内原子比特的熵压缩性质.结果表明,操作腔外原子比特前,腔内原子比特不产生熵压缩现象;对腔外原子比特施Hadamard(H)门和H类门操作后,在k=3光子过程中,腔内原子比特产生周期为π/(3!)~1/2熵压缩现象,可制备最佳熵压缩态;在k3的多光子过程中,随着光子数增加,熵压缩因子E(Sx)产生高频振荡,一般熵压缩频繁出现,最佳熵压缩产生次数明显增加,有利于噪声环境下量子通信和量子计算的实验实现.     

多输入多输出单边逻辑函数优化系统的设计研究

逻辑综合的作用是在功能等价的条件下减少电路中的元件数目,使电路体积减少、能耗降低、故障率下降、稳定度提高。对于超大变量多输入多输出逻辑函数优化,存储开销对输入变量呈2幂次方增长。针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输入多输出单边逻辑函数补集,以积项扩展为基础,完成多输入多输出单边逻辑函数无冗余覆盖。编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素(输入变量数、输出变量数、积项数和无关因子)进行了分析,软件系统在奔腾1.8 MHz、512 M的计算机上通过了正确性验证与测试。测试结果表明性能良好,有效的降低了系统的存储空间和时间开销。     

液体包装机灌装记忆的实现

在医药用液体包装机的灌装过程中,药液的漏灌和无瓶灌装会造成很大的经济损失,在生产过程中必须禁止,然而,由于流水线上药瓶的不连续传送以及停电、紧急停车等故障的发生,都会产生漏灌和无瓶空灌的现象发生。本文主要对液体包装机灌装控制中出现的问题加以分析,并提出了一套行之有效的控制方法。     

多雷达多目标航迹起始算法研究

提出了一种基于聚类分析与逻辑法相结合的集中式多雷达航迹起始算法。首先采用聚类算法对传送到融合中心的数据进行聚类,使每一类中的数据代表同一个目标,并找出聚类中心作为等价的单雷达的量测,从而使航迹起始过程相对简化;在起始算法中根据目标的运动特点,对逻辑法进行了一定的改进。仿真试验证明了该算法的有效性。     

Galilean argumentation and the inauthenticity of the Cigoli letter on painting vs. sculpture

This essay is partly a case study of the role of logic in historiography. It is also partly a test case for the thesis of a Galilean correspondence between aesthetic attitude and scientific thought, advanced by Panofsky, Koyré, and Heilbron. Intrinsically, it is a discussion of the authenticity of the letter to Cigoli dated 26 June 1612, widely attributed to Galileo, containing argumentation about the relative aesthetic merits of painting and sculpture. I undertake a systematic analysis of the letter’s method of argument, comparing and contrasting it with Galileo’s. I argue that the letter does have some Galilean characteristics: critical reasoning; ad hominem argumentation, in the seventeenth-century sense; and appeal to experimentation. However, the letter falls short of the typical Galilean open-mindedness, fair-mindedness, and clarity; crucially, it uses several illative terms which Galileo never uses, and does not use the one he uses most often. The latter features outweigh the former. Moreover, I discuss some aspects of the letter’s substantive content, primarily a theory of vision that disregards the dynamics of perspective and the faculty of binocularity, which Galileo understood and exploited very well. My novel argument vindicates an old judgment of Favaro, who doubted the letter’s authenticity.     

R0代数中的蕴涵滤子与同余关系

最近,王国俊教授建立了Ｒ０代数理论,为模糊逻辑提供了一种新的代数结构＾「１」。本文在Ｒ０代数中引入蕴涵滤子及同余关系的概念,并且讨论蕴涵滤子与通常代数滤子的关系,还给出了蕴涵滤子和同余关系的若干重要性质。     

Van Fraassen meets Popper: Logical relations and cognitive abilities

Van Fraassen, like Popper before him, assumes that confirmation and disconfirmation relations are logical relations and thus hold only among abstract items. This raises a problem about how experience, for Popper, and observables, for van Fraassen, enter into epistemic evaluations. Each philosopher offers a drastic proposal: Popper holds that basic statements are accepted by convention; van Fraassen introduces his “pragmatic tautology.” Another alternative is to reject the claim that all evaluative relations are logical relations. Ayer proposed this option in responding to Popper, as did Sosa in a different context. I argue that this option should be pursued and propose a line of research that the option suggests.