对"四舍六入五成双"数字修约规则的修正

通过对“四舍六入五成双”数字修约规则的分析研究,提出了“四舍六入五各半”数字修约规则,做为对“四舍六入五成双”数字修约规则的修正.     

高校成为行政诉讼被告的行政法思考--兼论高校管理权的行使

高校与受教育者之间的纠纷日渐增多，使我们有必要对高校的法律地位、高校管理权的运作、立法对此应如何加以规制等问题进行探讨，以推进依法治教和高校改革的顺利进行。     

一种改进的关联规则增量式更新算法

增量式更新算法能充分利用已挖掘出的知识来提高挖掘效率,是数据挖掘高效算法研究中一个主要方向.本文首先分析了经典的关联规则增量式更新算法FUP(Fast Updating algorithm)算法的不足,提出了一种改进的关联规则增量式更新算法IIUA(Improved Incremental Updating Algorithm),极大地降低了存储空间和挖掘时间需求,从而提高了整个关联规则挖掘的效率.     

基于项目集格及位图索引的频繁项目集发现算法

以格论及位图索引技术为基础给出了一个新的频繁项目集发现算法.1)该算法利用有向图进行一次性数据预处理,在预处理过程中将数据库预先存贮为每个结点都用一个域来记录其支持度的项目集格,从而把复杂的频繁项目集的发现问题转化为图搜索问题,提高了频繁项目集发现过程的效率.2) 支持度计算是关联规则发现中I/O及计算开销都非常大,算法引入了位图索引技术,提高了项目集支持度的计算速度.存储完整位图需要较大空间,针对该问题算法对位图进行了分块管理并对其进行了有效的编码压缩;不仅可以有效地对原始位图进行有效压缩,另外也可以在较大程度上提高支持度的计算效率.最后,对算法进行了计算实验与分析.     

论船舶几何碰撞会遇

提出船舶几何碰撞会遇和非几何碰撞会遇概念，会船碰撞危险和会船碰撞危险阀限以及船舶避领域中船舶会遇和会遇局成的定义，阐述了其判断方法。     

浅谈企业产品标准中常出现的问题

下放企业产品标准的审批权,是标准化管理的一项重大改革,几年来实践证明,这一改革对企业不断改进产品质量,增强产品在市场的竞争能力,促进市场经济发展意义重大.很多企业清醒地认识到:产品标准是设计、生产及质量验收的重要技术依据,过去那种无标准生产的局面不可能再出现了.     

对推理规则在非经典逻辑中失效的分析

论文认为强化前件规则对虚拟条件句确实足失效的，但传递原则、逆换原则和析取前件消去规则并没有像希尔皮南所说失效了。如果对同一性替换规则加上条件对一个命题的某个部分实施替换，要求所利用的同一性在该命题的模态下也成立，则同一性替换规则可以运用于模态语境。奎因对存在概括规则在模态语境中失效的分析并不完全准确。     

从大规模的数据库中提取多层次的关联规则

主要探讨了从大规模的数据库中提取多层次的关联规则的方法，并结合一个实例介绍了提取层次关联规则的一种算法。     

Java字节代码程序的部分计值

为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。     

基于模糊δ规则的模糊关系方程求解算法的改进

首先给出反例说明Li Xiaozhong等人提出的基于模糊δ规则的神经网络学习算法中的基础引理是有缺陷的,然后直接对算法进行了改进,并证明了改进后算法的有效性.最后用数字例子对改进后的算法进行了验证,结果表明十分有效.