科学逻辑的知识创新功能试析

从科学逻辑的角度看，科学知识创新是指科学知识的增长。归纳逻辑作为一种冒险的逻辑，其知识创新功能比演绎逻辑强。贝叶斯规则着力刻画了新证据在知识增长方面的作用，从而具有较强的知识创新功能。新培根主义归纳概率逻辑较好地满足了知识增长的要求，展示了科学知识创新的途径。要增强科学逻辑的知识创新功能，必须实现从单调逻辑向非单调逻辑的转变，从外延逻辑向非外延逻辑的转变，从形式逻辑向非形式逻辑的转变。     

初等函数统一算法的几个问题

本文拓广了初等函数统一算法，并证明了算法的收敛性．作了误差估计。     

Banach空间中一类广义集值拟变分包含的迭代解

本文引入Banach空间中一类广义集值拟变分包含问题,利用集值预解的技巧,建立起Banach空间一类广义集值拟变分包含问题与预解方程及不动点问题间的等价关系,并给出了其解的存在性及其迭代逼近问题.这些结果改进、推广、统一了文[1-15,17-24,27-33]的相应结果.     

一种改进的二维曲线的strip树表示及其基本算法

本文给出了一种改进的二维曲线的ｓｔｒｉｐ树表示，并在此基础上，给出了二值图象中曲线的基本算法。     

组合式因素神经网络系统的数学描述

本文对组合式因素神经网络系统的组成结构进行了分析和论述,作出了数学描述.     

关于一类超椭圆丢番图方程的解

本文给出了一类超椭圆丢番图方程danxnk+ank-1xnk-1+…+a1x+a0=dyn的解的精确上界,推广了参考文献中的一些结果,并给出了它的一些应用.     

动态车辆调度系统的滚动时域调度算法

提出了一类特殊的动态车辆调度问题--动态独占性带时间窗口装卸货问题.给出了问题的数学描述,分析了其静态性质,并把问题简化为不对称带时间窗口旅行商问题.提出了求解该动态问题的滚动时域调度算法,通过时域的不断滚动,不仅可以跟踪问题的动态变化,还由于每次滚动只对部分客户进行处理,可以减少问题的求解时间.并分析了算法的3个要素:当前客户窗口、当前客户窗口的调度和滚动策略.测试结果验证了算法在求解动态车辆调度问题中的有效性.     

智能型入侵检测模型的设计

针对目前大多数入侵检测系统存在的局限性,提出了一种较为完善的入侵检测模型,即将专家系统和神经网络技术同时应用于入侵检测系统中,重点分析了规则的生成.为进一步提高检测性能,提出了遗传算法优化BP(Back Propagation)神经网络,经论证本设计降低了漏报率和误报率.     

加权IAE自校正控制器

加权最小方差自校正控制器的性能指标本质上是ＩＳＥ准则．以ＩＡＥ准则为性能指标，提出了一种新的自校正控制器——加权ＩＡＥ自校正控制器，讨论了该自校正控制器的算法实现．为了使这种自校正控制器更加完善，在它的设计中采用了极点配置的思想．计算机仿真结果表明了这一新的自校正控制器的优越性．     

解一族线性方程组的一个并行算法

发掘和利用现有串行算法中的并行性,直接将串行算法改造为并行算法,是并行算法设计的最常用方法之一。提出一个基于Huang算法的解一族线性方程组的并行算法,该算法在集群系统环境下,具有较好的灵活性和优越性。算例表明,对病态线性方程组显得特别有效。特别是在时间紧迫、可考虑方案或边值可选较多的情况下,具有可观的快捷高效性。