试论预设及其相关问题

预设是逻辑和语言都很关注的问题,它是一个语句预先假定的内容。预设逻辑是三值逻辑。预设可分两大类:存在性预设和事实性预设。预设有合理与不合理之分。预设的主要作用是它可以作为推理的依据。对含有预设的复杂问语,要慎重应对。     

论逻辑哲学的两个基本问题——以海德格尔的存在哲学为视角

针对逻辑哲学的基本问题即:逻辑存在本身之所以存在的根据是什么? 逻辑存在本身之所以存在的根据是如何可能的? 本文以海德格尔的存在哲学为视角,认为哲学就是哲学本身,逻辑哲学不应当研究诸如"什么是逻辑"等逻辑问题.同时认为,逻辑哲学是研究与逻辑有关问题的哲学,哲学逻辑根本就是没有理论意义的.     

对现行形式逻辑中条件命题的讨论

从语言上看,条件命题等非纯真值复合命题与蕴涵命题等纯真值复合命题之间存在着对应关系,但从逻辑语义上看,它们所指谓的客观事件的逻辑结构却根本不同。蕴涵命题等纯真值复合命题的整个命题的真值依赖于基础命题的真值,它是数理逻辑的理论基础;条件命题等非纯真值复合命题的整个命题的真值无需依据基础命题的真值即可确定,它是真正的逻辑科学的重要研究内容。如果无视二者的本质区别,将其混淆使用,会导致数不清的逻辑问题。     

为什么意义理论是重要的

意义理论是现代西方语言哲学的核心,一直备受人们关注。作为一种哲学理论,它是西方哲学逻辑发展的结果,有其存在的合理性。与此同时,它又因在解决一些哲学基本问题上的方法论作用而具有重要的哲学价值。     

热学教材中的一处谬误及其纠正

本文指出了现行热学教材上对“理想气体定律的推证”一节内容中的逻辑循环问题;探讨了由此产生的热学教学过程中的危机;同时又举出了另一种简便的推证法,并论证了该推证法不存在,也不隐含逻辑循环。用它替代后,能避免危机的出现。     

普通逻辑现代化的一个误区

在普通逻辑现代化的进程中存在着一个误区,即盲目引进数理逻辑的符号、公式,而对它与普通逻辑体系的融合与协调问题未给予足够的重视,以至造成了普通逻辑理论与实践、理论与理论之间的一些不应有的矛盾。本文以国内现行普通逻辑教材关于虚概念、特称命题、假言命题以及假言命题的负命题的解释处理等四例分析论证了这一现象。普通逻辑现代化并非数理逻辑化,普通逻辑应该吸收数理逻辑的某些成果,但不能不加选择,更不能机械拼合。     

AIX、LINUX、Windows逻辑卷管理技术的对比

逻辑卷管理技术是现在比较成熟的磁盘存储管理技术,在常见的操作系统中都有它的存在,它能实现动态调整逻辑卷容量的功能,给系统管理员的工作带来了极大的方便,本文介绍了逻辑卷管理技术的相关概念,并以AIX、Linux、Windows操作系统为例讨论了逻辑卷管理技术在常见操作系统中的特性及差别,给出了使用逻辑卷管理技术的方式和在命令行状态经常用到的命令及对应功能。     

基于CORBA的应用服务器的设计与实现

传统的客户/服务器结构应用于大型信息处理系统时,存在扩展性差、维护成本高、升级困难等缺点。采用基于CORBA(Common Object Request Broker Architecture)应用服务器的3层结构极大地扩展了两层结构在功能上的不足,一定程度上解决了业务逻辑与表现逻辑分离的问题。为此,设计和实现了一个基于CORBA的应用服务器。它由POA业务逻辑、数据库服务模块、支撑服务模块、服务器的管理与维护以及CORBA代理接口等组成。     

归纳逻辑程序设计研究

在概述机器学习的基础上,介绍归纳逻辑程序设计这一机器学习方法所使用的逻辑技术,以及ILP的一般问题背景。指出:逻辑在推动计算机系统处理复杂问题上发挥着越来越重要的作用,ILP利用逻辑技术来推进机器学习的过程无疑是它的创新之处,在赞赏ILP优点的同时,也要看到ILP的不足之处。     

论比德观的逻辑支点

"比德说"是春秋战国时期出现的一种自然审美观点,它在先秦时期的文学作品中大量存在,它赖以存在的逻辑支点是审美客体和审美主体的精神品德发生"异质同构"的认同.     

F阈值浮动的逐步判别法

本文对逐步判别法用固定的Ｆ阈值来选择变量所存在的不足之处进行了分析，提出了将Ｆ阈值浮动的新方法，并用具体例子说明了Ｆ阈值浮动法的优越性。     

论创新精神的培养与教育改革

培养学生创新精神是．前教育改革面临的主要问题。面对知识经济时代的挑战,教育必须重视培养国民的创新 精神,而我国的现行教育在这方面还显得苍白无力,弊端重重。文章主要分析了我国现行教育中不利于培养国 民创新精神的一系列弊端,并提出了相应的改革措施。     

PMU Guided Structure Data-Layout Optimization

Existing methods of obtaining runtime feedback for structure data-layout optimization have several drawbacks,such as large overhead and difficulty composing training sets.As a result,structure data-layout optimization is not widely used.To overcome these drawbacks,a performance monitoring unit(PMU) sampling method was developed with much less overhead and better portability and usability.An algorithm was developed to correct incomplete and inaccurate PMU sampling.With the corrected PMU feedback,a structure ...     

GSM快速双向认证机制研究

数字化全球移动电话(GSM,GlobalSystemforMobileCommunication)系统已广泛得在全球各地使用,目前已有超过190个国家共计10亿人口在使用GSM系统.但是现行GSM系统的认证机制存在着一些安全隐患,例如MS(MobileStation)与VLR(VisitorLocationRegister)间无法双向认证、增加HLR(HomeLocationRegister)与VLR的间传递认证信息的通信频宽负担以及VLR额外存储负担等.本文提出一种能够解决上述缺点的GSM双向认证机制,该方法在提高效率的同时不需要改变现有GSM系统构架.     

生产肌醇新工艺的研究

为了克服传统肌醇生产方法的缺陷，探讨了新的生产工艺，即在常压条件下、酸性介质中以多元醇为溶剂使菲汀水解，其收率比传统工艺高出１倍。     

文胸的钢圈与下扒配合关系

针对目前文胸下扒纸样设计中使用的定寸法存在多次定位,费时费力的问题,借助Lectra三维扫描仪和Matlab软件,采用回归分析法研究文胸钢圈弧线和下扒侧弧线的配合关系.提出了一种可以准确定位辅助点来精确绘制下扒侧弧线的方法,较好地解决了定寸法的缺点.     

“C语言”渐进式案例驱动教学法

C语言是程序设计的入门课程。首先分析指出C语言教学中出现的弊端,然后提出应用渐进式案例驱动教学法可以消除这些弊端,最后举两例进行说明。教学实践表明,渐进式案例驱动教学法的教学效果较好,学生对算法的掌握程度和动手编程解决实际问题的能力得到很大提高。     

基于PN序列的OFDM帧同步算法

讨论了OFDM系统的帧同步算法，针对基于循环前缀的同步算法在强干扰信道中以及在极低信噪比条件下，无法实现精确同步的缺点，提出了一种基于PN序列的帧同步算法。仿真结果表明，基于PN序列的帧同步算法在极低信噪比条件下能够实现精确同步，同时也具有抗多径效应和抗强窄带干扰的能力。     

模拟电路符号分析模型及其近似展开

介绍了符号分析模型在模拟电路分析领域的主要应用,并且提出了一种针对嵌套表达式的近似算法,这种算法同ｌａｚｙ－ｅｘｐａｎｓｉｏｎ技术有相同的效率,但克服了它的缺点,是一种安全有效的算法。     

关于改进矿用大车安全操控系统的研究

本文以国内比较典型的露天矿山运输车辆为例，运用影像技术、信息技术和数字技术对消除原有装备的安全操控弊端作了有益地探索。