BCI-代数弱左自映射集合的一个性质

证明了如果X是一个弱正定关联BCI -代数 ,L′(X)是X的所有弱左自映射集合 ,则( 1)L′(X)是一个弱正定关联BCI-代数 ;( 2 )L′(X)同构于X。这推广了文 [3

基于集合映射的彩色图像边缘检测

采用支持向量机建立彩色图像RGB三维分量与一维实数之间的映射函数关系,并通过这种映射函数关系把彩色图像的RGB分量矩阵映射为一维实数矩阵,然后利用彩色图像的颜色变化实现图像边缘检测,并与canny函数图像边缘检测的结果进行了比较。

用集合映射构造NF^2中的新依赖

1.引言 NF^2的一个公开问题是如何表示关系.我们认为数据依赖是一种很好的表示方法由依赖表示的数据库模式具有最小数据冗余、上佳分解。

三个d-集合之间复合映射的不动点定理

在集合上定义了非负实值映射,利用实函数的性质,给出了三个d-集合之间复合映射的不动点存在定理,并讨论了不动点的唯一性.

区间结构的组合与析取映射

本文提出了组合区间结构的一种方法．该方法先是用乘积空间来表示新的证据空间，然后组合各个子空间结构在同一乘积空间上的柱面扩张．为了解释区间结构组合的合理性，本文用信息源的析取组合方法与该组合方法进行了比较，并证明了在合理的情况下这两种组合方式是一样的．

映射方法在高粘度流体混合中的应用

指出了高粘度流体混合过程传统表征理论的局限性,简要介绍了基于集合映射思想的矩阵映射方法基本思想和背景,综述了这一领域的研究进展,同时指出了该方法的成功与不足。

自然地引入矩阵相似概念的一种方法

在线性代数的教学中,利用集合与映射、变量与函数、变量代换这些数学知识,可以观察认识挖掘解读矩阵运算的丰富内涵.在没有学习抽象的线性空间与线性映射的情况下,可以从映射和变量代换的角度,展示引入矩阵相似概念的深刻动机.

L集合范畴的子对象分类子

以topos理论为工具,证明了L集合范畴中不具有子对象分类子,但在强映射L集合范畴中具有子对象分类子.

基于相关集合的事务数据库挖掘

基于相关集合事务数据库这一挖掘思想,提出一个新的方法——寻找最大频繁集。并通过理论与事例分析了这一方法的可行性和正确性。

一类集合值算子方程的求解问题

本文给出集合值O-proper 0-eoi映射的概念,以及相应的同伦延拓原理,并利用这些结论讨论了集合值算子方程F(x)=λH(x)的求解问题。

多源融合的数据链网络性能评估方法研究

针对无线通信条件下数据链网络性能测试和评估难题,设计了数据链网络性能评估方法。首先,采集数据链的记录数据;然后,通过对战术数据系统(Tactical Data System, TDS)数据的消息协议解析,按照数据链消息标准格式化TDS数据,提取时间、消息类型、数据链平台和收发消息四维变量;最后,结合集合映射理论,分析通信网络连通性,生成连通性评估报告和战术消息时序图。基于数据链网络实际业务数据,分析了测试样本经过传输造成的丢包、误码和时延抖动等影响,验证了多源融合方法的可行性和有效性。

条件推理中的二元效应初探

通过预备实验选取前件(或后件)是二元(或多元)的5种条件命题的4种推理形式作为实验材料,以大学本科生为被试,考察了五种不同条件命题类型对4种推理结果的影响。结果表明命题类型、推理规则以及两者的交互作用都非常显著。这个结果进一步验证了条件推理的集合映射模型。

异构CAD协同设计系统中的操作命令转换技术与实现

分析了异构CAD系统协同设计中的主要方法,提出基于特征的操作命令转换方法.通过分析了目前大多数异构CAD系统协同设计采用的中性命令建模机制,提出了最小特征建模命令映射集合的构建方法.设计了一个异构CAD协同设计的原型系统,开发了基于Solid Works 2005和UGNX3.0的插件,实现二者之间的实时操作转换,并通过一个简单零件协同设计过程验证了方法的可行性.

范畴Set^→的平衡器性质、有限积性质

讨论了映射范畴Set^→的平衡器性质、有限积性质，它们是范畴Set^→Topos性质的重要组成部分。

条件推理的“去两元效应”

选取四种不同的命题类型,命题Ⅰ为前件二元、后件二元;命题Ⅱ为前件二元、后件多元;命题Ⅲ为前件多元、后件二元;命题Ⅳ为前件多元、后件多元;研究了4种不同的条件推理规则(MP,DA,AC,MT)下的条件推理。肯定前件与否定后件表现出了抑制效应,而否定前件与肯定后件则表现出了促进效应,这与以往的研究结果,否定前件与肯定后件表现出抑制效应,否定后件表现出促进效应是不一致的。集合映射模型很好的解释了本研究的结果。

基于证据理论的学生模型

推广了证据理论中的集合一值映射．提出一个L集合一值映射，并用L集合一值映射给出了学生模型化的方法，从而把学生模型化问题转化成了推理问题．

产品设计过程及建模技术

这里充分讨论了基于市场交换的广义产品的定义,利用集合与映射的理论与方法,依次提出了数字化产品设计模型,数字化产品设计过程模型。在此基础上,利用面向对象技术,给出了多级继承的数字化产品模型。为数字化产品设计过程的模型化、规律化及其计算机软件支持工具的开发提供了有益的探索。

基于诊断名称的疾病分类转换

目的为已录入计算机的病案首页自动转换出1CD-10编码；方法采用诊断名称的疾病分类集合映射通过计算机程序自动实现分类转换；结果成功转换出12年全部204 656份首页中的诊断编码；结论借助合理设计的计算机系统储存的诊断名称可以实现疾病分类编码转换。

面向需求产品的建模技术研究

在充分分析产品市场与需求的基础上,提出了市场需求分层获取的观点,并利用面向对象技术建立了多级继承产品需求模型。结合多级产品需求模型理论,利用集合与映射的理论与方法,提出了产品需求设计模型,产品需求设计过程模型,并详细地、系统地定义了产品需求设计的流程。

在XENIX下使用鼠标

随着建设银行各项业务的开展,储蓄、会计柜台已由原来的单用户(DOS)操作系统转为XENIX多用户操作系统,在原来DOS操作系统下的一些优越性,如使用鼠标画出一些非常精美的操作画面是否就此消失了呢?回答是:在XENIX操作系统下照样可以使用鼠标。并可使用鼠标开发一些图形。使我们的储蓄、会计操作画面更趋完美,本文就介绍一下如何在XENIX下使用鼠标。