模糊商空间理论两个定理的补充

张铃等在“模糊粒度计算方法”中,核心定理证明中构造的等价关系是循环定义的,且没有证明它的截关系与商空间所对应的等价关系是相等的;模糊等价关系的粗细定义与模糊集理论的意义不一致,容易引起歧义．本文用通用的模糊数学符号和序代数理论的方法和观点对其进行修正和补充,给出两个定理的完整证明,使得相关结果的表达更简洁和规范,完善了模糊商空间理论．     

基于SAT的可逆线路检测集生成算法

可逆逻辑是量子计算的基本特征,也是日益突出的低能耗需求的一种解决方案。根据可逆电路的可控制性和可观测性,论文提出了一种基于逻辑可满足性的算法来自动产生单门失效错误的完备检测集。基于k-NOT门的可逆逻辑线路中的数据传输进行线性建模,用线性时态逻辑描述单门失效错误约束,运用SAT求解器寻求反例的方法自动生成可逆电路的错误检测集。实验结果显示,本方法能够有效的应用于不规则和复杂的基于k-NOT门的可逆逻辑线路,自动化程度高。     

大型图的割集算法研究

割集的概念与性质在网络问题的研究中受到广泛重视,但目前的割集搜索算法可操作性较差.提出了一种适合大型图的割集搜索算法CSA-CJ,利用二进制数分割无向图的顶点集,通过对子图各顶点的关联集的运算产生相应的割集.该算法简单适用,易于用计算机实现,尤其适合于大型图的割集搜索.     

完全二部图的Mycielski图的点可区别全色数

图的一个正常的全染色如果满足不同点的点及其关联边的色集合不同,则称该染色法为点可区别全染色,其所用最少颜色数称为该图的点可区别全色数.给出了完全二部图的Mycielski图的点可区别全色数.     

关于评价指标集并合理论和方法的研究

在评价中,评价目标相同,不同的评价者会提出不同的评价指标集。本文提出了一套解决评价指标集并合的理论及方法,主要包括任何两个评价指标集相关性的度量方法,不同评价指标集的并合规则,及并合后评价指标集权向量的确定方法等。     

图的增广支配数

增广ｐ一中心是在原有的服务设施基础上增加ｐ个设施为网络中的顶点提供紧急服务,因此增广ｐ一中心问题比经典的ｐ一中心问题更具有实际意义。本文提出了图的增广支配集、增广支配数的概念,这些概念与增广ｐ一中心问题密切相关,给出了求任意图全部极小增广支配集的布尔方法,提出了一个线性时间的算法求树的增广支配数。     

故宫太和殿一层斗拱竖向加载试验

为更好地保护古建筑,对故宫太和殿一层溜金斗拱在竖向荷载作用下的受力性能进行了静力试验.基于平身科、柱头科、角科斗拱的构造特征,制作 1:2 的比例模型进行竖向加载试验,讨论了不同斗拱在荷载作用下的破坏形式、内力及变形特征,探讨了斗拱的竖向刚度计算模型.结果表明:在竖向荷载作用下,太和殿一层斗拱的坐斗及与之相交的头翘、正心瓜拱容易破坏,下层构件受力小于上层构件;斗拱极限承载力从大到小依次为柱头科、角科和平身科,斗拱变形和残余变形从大到小依次为平身科、角科和柱头科,斗拱延性从大到小依次为平身科、柱头科和角科;溜金斗拱秤杆后尾受力不大.竖向荷载作用下太和殿一层斗拱竖向刚度计算可简化为三折线模型.      

边坡自保护/自协调锚拉结构体系

介绍一种边坡支护方法"自保护、自协调锚拉结构体系"的基本原理。这种结构体系由锚拉结构自保护技术和"单元结构体系"组成,是一套完整的边坡支护新技术。该技术采用一个塑性变形装置来保护结构超载破坏而不是增加材料用量,能够在超载情况下进行结构自保护和自协调,适用于复杂环境和地震区域的边坡支护。     

枢纽互通立交设计主要技术指标综合评价体系及方法研究

该文针对枢纽互通立交设计多方案比选问题,从枢纽工程规模、运营使用效率、交通安全等3方面择优筛选了12项具体评价指标,建立了一套综合评价体系,研究了基于投影寻踪法的客观评价方法,为今后大型枢纽互通立交设计项目的多方案比选提供了新思路。     

近似空间与测度空间及广义粗集与不可测集

将粗集与不可测集关系的讨论扩大到广义粗集范畴。证明了近似空间是测度空间的基础空间，广义粗集和不可测集分别是在近似空间和测度空间中对集合的不确定性的不同表述；在非零有穷测度的条件下，近似空间中的一个广义粗集，是其扩展的测度空间中的不可测集。结果表明：测度论同术是不确定知识表示和处理的一种有力理论工具。     

凹凸模糊集在R^n上的性质

利用凹凸模糊集的概念及凹凸模糊集在一维空间上的性质,定义了凹凸模糊集在n维空间上的单调性,运用分析学的方法将凹凸模糊集在R1上特征函数的性质推广到Rn上.     

用迭代自组织数据分析技术A(ISODATA)对零件进行模糊分类

本文将机械零件的GT分类编码视为模糊样品集,进行分类成组。给出 了模糊数学模型,用IsODATA模糊聚类方法进行求解,程序运行的结 果表明:比普通聚类法运行速度快,结果更切合客观实际。      

高原山区小跨径高墩柱薄壁空心墩应用技术研究

结合云南永武高速公路项目建设,对小跨径高墩柱薄壁空心墩应用技术包括特点及难点、施工工艺和应用效果进行了研究。研究结果表明,采用以翻模施工法和塔吊、定型钢模板等成套设备为主要施工支撑体系,地面工作平台、钢筋机械连接和有效控制混凝土浇筑高度相结合的成套施工技术取得了以下效果:大模板定型钢模施工有效解决了施工中容易产生偏心、扭转的现象;翻模施工法最大限度利用了主要起重设备,节约了相关的小型提升设备,与一般2m～3m翻模施工相比,可减少接茬筋50%,缩短工期20%;墩身主钢筋采用机械连接,剥肋滚轧直螺纹接头与常规帮条焊对比平均节约成本30%,每个接头节省施工时间约15min;提高了施工速度,显著降低施工成本,施工安全、质量可靠,经济效益显著。     

SET OPERATOR-BASED METHOD OF DENOISING MEDICAL VOLUME DATA

Ｖｏｌｕｍｅｒｅｎｄｅｒｉｎｇ[1,2 ] ｉｓａｐｏｗｅｒｆｕｌｖｉｓｕａｌｉｚａ ｔｉｏｎｔｏｏｌｅｓｐｅｃｉａｌｌｙｕｓｅｆｕｌｉｎｍｅｄｉｃａｌａｐｐｌｉｃａｔｉｏｎｓ .Ｉｔｅｎａｂｌｅｓｔｈｅｄｉｓｐｌａｙｏｆａｎａｔｏｍｉｃａｌｓｔｒｕｃｔｕｒｅｓｉｎａｓｐａ ｔｉａｌｃｏｎｔｅｘｔｗｉｔｈｔｈｅｓｕｒｒｏｕｎｄｉｎｇａｎａｔｏｍｙ ,ｄｉｒｅｃｔｌｙｆｒｏｍａｆｉｅｌｄｏｆｉｍａｇｅｄａｔａ .Ｔｈｉｓｔｅｃｈｎｉｑｕｅｈａｓｂｅｅｎａｐｐｌｉｅｄａｔｓｅｖｅｒａｌａｎａｔｏｍｉｃｓｉｔｅｓａ…     

多把钥匙问题的一般情形(Ⅱ)

本文研究了内集空间与斌权内集空间之间的关系。给出了具有三个临界集的内集空 间可以斌权的一个充分和必要条      

一种新的区间值模糊集推理方法

在两向量相似度的基础上,定义了两个区间值模糊集在一点处相似度,然后在此基础上提出了一种新的模糊推理方法——区间值模糊集相似度推理方法.并且对该种方法的还原性进行了讨论,给出了满足还原算法的条件.     

Algorithm for Extracting All Relative-Attribute Reducts in Decision System of Large-Scale Records

A new algorithm based on rough core was proposed to extract all relative-attribute reducts in decision information systems of large-scale records. In the algorithm, the rough core of the decision-making information system is first calculated. Then, an approach based on a top-down strategy is adopted to select the non-core condition attributes and generate candidate relative-attribute reducts. Finally, the set of all relative-attribute reducts is obtained by pruning the candidate relative-attribute reducts. Experimental results show that the proposed algorithm is superior to the other methods such as the algorithm without computing core, the exhaustive method and the discernibility matrix method in extracting all relative-attribute reducts for large-scale data sets.     

L-Fuzzy Rough Set Based on Complete Residuated Lattice

Residuated lattice is an important non-classical logic algebra, and L-fuzzy rough set based on residuated lattice can describe the information with incompleteness, fuzziness and uncomparativity in information systems. In this paper, the representation theorems of L-fuzzy rough sets based on residuated lattice are given. The properties and axiomatic definition of the lower and upper approximation operators in L-fuzzy rough sets are discussed.     

基于粗糙集理论的经济圈交通枢纽灰色关联分析评价

经济圈交通枢纽综合评价中存在信息不确定、定性评价指标较多的问题,而传统的评价方法虽然简单直接,但容易受到主观因素的众多干扰。提出了一种基于粗糙集的灰色关联分析综合评价方法,将基于粗糙集理论的指标赋权法与灰色关联综合评价相结合,通过粗糙集理论对指标进行约简并给出较为客观的指标权重,得出综合评价模型以及相应的算法;通过算例说明了该方法的有效可行。     

基于深度学习的文本情感分析并行化算法

在训练集和测试集数据量大的情况下,半监督递归自编码（semi-supervised recursive auto encoder,Semi-Supervised RAE）文本情感分析模型会出现网络训练速度缓慢和模型的测试结果输出速率缓慢等问题. 因此,提出采用并行化处理框架,在大训练集情况下,基于“分而治之”的方法,先将数据集进行分块划分并将各个数据块输入Map节点计算每个数据块的误差,利用缓冲区汇总所有的块误差,Reduce节点从缓冲区读取这些块误差以计算优化目标函数;然后,调用L-BFGS （limited-memory Broyden-Fletcher-Goldfarb-Shanno）算法调整参数,更新后的参数集再次加载到模型中,重复以上训练步骤逐步优化目标函数直至收敛,从而得到最优参数集;在测试集大的情况下,模型的初始化参数为上述步骤得到的参数集,Map节点对各句子进行编码得到其向量表示,然后暂存在缓冲区中;最后,在Reduce节点中分类器利用各语句的向量表示计算各自语句的情感标签. 实例验证表明:在标准语料库MR （movie review）下本文算法精确度为77.0%,与原始算法的精确度（77.3%）几乎相同;在大数据量训练集下,训练时间在一定程度上随着计算节点的增加而大量减少.