技能映射通过析取模型诱导的多分知识结构

基于程序性知识的评估,提出由项目自身的状态结构诱导多分知识结构的方法,以建立适用于问题解答的多分评估体系.首先,根据各项目的解答或操作步骤设定响应值集,通过项目状态转移函数定义项目状态空间;然后,用操作程序表示技能,由过程函数导出析取的技能映射;最后,讨论技能映射通过析取模型诱导的多分知识结构.结果表明：技能映射通过析取模型诱导的多分知识结构是多分知识空间.     

对“有机化合物命名”中存在问题的商榷

按照《有机化学命名原则》（１９８０）,对目前高校有机化学教材中化合物命名中存在的问题进行了讨论。     

良定Hadamard问题的统一研究

本文给出了良定Ｈａｄａｍａｒｄ问题的一个统一定理。     

剪枝 Galois 格上规则的直接计算

Ｇａｌｏｉｓ格用于知识发现具有许多优点,并在实际应用中显示了一定的价值。现提出一种在已剪枝的Ｇａｌｏｉｓ格上直接计算规则的算法,其主要依据格结点的直接泛化来产生规则集合。该算法在一定条件下更为有效,并且所产生的规则集合是无冗余的。文中所述方法已用于数据库知识发现工具ＨＵＴＫＤＤ中。     

分形编码中的最优压缩映射

提高传统分形压缩编码的性能。方法将分形变换编码建模为一个不等式约束条件下的非线性规划问题,将压缩射条件作用到最优射的求解过程中,得到全局意义上的最优压缩映射,给出了该模型及相应的求解算法,对算法收敛性,初始点选择等问题进行了讨论。     

子locale与子空间的关系

讨论了空间式子ｌｏｃａｌｅ与空间的关系以及间式子ｌｏｃａｌｅ的交的空间式问题,证明了拓扑空间的空间式子ｌｏｃａｌｅ与该空间的Ｓｏｂｅｒ化空间的子空间是一一对应的,并且给出了空间式子ｌｏｃａｌｅ的交是空间式的充分条件。     

凸度量空间中广义压缩映射的公共不动点

利用刘立山提出的集值映射和单值映射的次相容性条件,给出了完备凸度量的空间中集值广义坟缩射存在唯一公共不动点的一个充要条件和一个充分条件。     

用于数据挖掘的粗集产生多重知识库的方法

提出了一种用于数据挖掘的粗集产生多重知识库的方法．该方法基于粗集理论的简化和决策矩阵．首先从知识表示系统中消除冗余属性,产生简化表,形成简化的知识表示系统,提高学习的有效性和精确性．然后从简化表中推导出决策矩阵,通过决策矩阵获取最小决策规则,计算包括所有必需属性的简化集合,给出计算最小决策规则和计算多重简化的算法．最后由相应的简化对最小决策规则进行分组形成多重知识库,给出产生多重知识库的算法．     

关于加快实施《国际安全管理规则》（ISM）的探讨

IMO组织于1994年6月在缔约国大会上对《SOLAS公约》新增加了第IX章“船舶安全营运管理”,要求公司和船舶应符合《国际安全管理规则》的要求。ISM规则成为强制性实施要求。根据我国现有航运企业状况及SMS实施中所存在的问题,提出加快实施ISM规则的设想,以尽快保证航运企业在国际航运市场中的地位。