走向信息技术哲学

信息技术哲学是信息时代的技术哲学：它可以是一般技术哲学的具体化,从而是一种部门技术哲学;它也可以是已经兴起的计算机哲学、数字哲学、赛博哲学、逻辑机器哲学、网络哲学等等的概括;而更重要的,它还应该是技术哲学的新形态或当代形态。在走向信息技术哲学的过程中,我们会面临许多新的问题,尤其是技术观的转型问题,对这些问题的探讨,使得信息技术哲学正在为技术哲学展示新的前景。     

从归纳逻辑视角解读人工智能的哲学意蕴——普特南人工智能思想窥探

普特南探究了人工智能的发展历程,认为图灵是在哥德尔扣杰克斯赫伯德工作的基础上重新构造了计算概念并且发明了计算机模型.计算机科学和人工智能不是等同的,我们应从原则和经验两个层次来看待将大脑思维模拟为数字计算机的思想.归纳推理面临的问题给人工智能研究带来很多的启示.人类本质活动不必然是人工智能的本质活动.即使大脑的计算机模型是正确的,我们也不能断言人工智能就会成功.因为,计算机模型不能够模拟人类总体的知识能力,对于人类认知的研究并不必然要求我们将认知要么还原为计算要么还原为大脑程序,我们可以很成功地发现大脑的理论模型,这有助于我们更好地理解大脑的工作机制,但是这并不要求我们必须借助于心理学.     

谈数学模型及数学建模的逻辑变量方法

数学模型是人类认识和改造世界的有效工具．本文从数学模型和数学建模的概念出发,分析了数学建模的不同情况,通过实例,论证了逻辑变量在数学建模中的作用,从一个侧面阐述了数学建模的方法．     

二级倒立摆的TS型逐级模糊神经网络控制

提出了一种逐级模糊神经网络控制法．该控制法通过采用Takagi-Sugeno型模糊神经网络控制器和逐级模糊控制规则,实现了二级倒立摆系统的稳定控制．模糊神经网络控制器的参数采用遗传算法分4步进行优化．实验结果表明,采用逐级模糊神经网络控制法,用20条模糊规则就可以实现二级倒立摆系统的稳定控制,并且控制效果佳,系统鲁棒性强。     

PWM整流系统模糊逻辑控制研究

针对三相电压源PWM整流双闭环控制系统中电压外环控制器动态响应速度快的要求,按照模糊逻辑控制器的原理,根据系统输出直流母线电压误差和电压误差变化率提出并设计一种模糊逻辑电压控制器,从而得到控制器的比例积分系数．在Matlab环境下建立了仿真模型,进行了系统带载启动、增加负载以及减小负载情况下进行了传统PID控制和基于模糊逻辑控制情况下系统输出直流电压的超调量和响应时间的对比实验．结果表明：这种控制方法在不改变系统的拓扑结构,不增加控制器的实现难度的情况下,在PWM整流系统中使用模糊逻辑控制,能改善系统的动态性能,抑制动态响应过程中的超调量,提高系统动态响应速度．     

I2C总线协议在CPLD上的模拟实现

介绍了一种在CPLD器件上模拟实现I^2C总线时序的方法,提出了有关设计思路和注意要点,并给出了部分程序和仿真结果。     

基于ISP器件可扩量程的数字频率计的设计

采用Lattice公司的可编程逻辑器件ispLSI 1016的设计出可扩量程的数字频率计,给出了设计过程及部分模块的电路结构。     

语用学与语义学之再观

文章从历史发展的角度论述了语用学与语义学的产生.它们都是对语言意义的研究但所覆盖的层次不同,语用学可以说是对语义学的补充.正是因为语用学的出现,人们才找到了自然语言的逻辑.     

初等模糊一阶逻辑的准形式演绎系统

本在模糊命题逻辑演绎系统的基础上,引入了模糊意义下的一阶逻辑的相关概念,建立了模糊一阶（谓词）逻辑的准形式演绎系统。并且证明了相应的可靠性定理。     

中介命题系统MP推理规则的独立性问题

对于一个形式系统而言,在不改变其完备性的前提下,形式越简洁,使用越方便。现在中介命题系统MP推理规则集S的简化定价集S1已经建立,其中S1共有14条推理规则,如果这些推理规则中有一条可以由S1的其余推理规则推导出来,那么它就是不独立的,可以将其删去而不影响形式系统S1的效力,从而得到形式上更为简洁的系统。为此目的笔者利用值模型法对形式系统S1的每条推理规则的独立性一一进行了探讨,发现一条不独立的规则,并且证明了其余每条推理规则都独立于其余推理规则。