新型偶氮染料中间体2-氨基-5-氨甲基-1-萘磺酸合成条件的研究

2-氨基 - 5 -氨甲基 - 1-萘磺酸 (氨甲基吐丝酸 )是一种新型活性偶氮染料中间体 ,文献报道大多采用首先把 2 -氨基 - 1-萘磺酸的氨基乙酰化保护 ,然后氨甲基化及水解反应的合成方法 ,其不仅合成步骤长 ,而且需要在高压反应釜中进行。这样的制备条件在实验室操作以及进一步中试及工业化的生产中存在很大局限性。针对这种情况 ,本研究工作对反应条件进行系统的研究后 ,改用直接将 2 -氨基 - 1-萘磺酸氨甲基化合成 2 -氨基 - 5 -氨甲基 - 1-萘磺酸 (氨甲基吐丝酸 )的方法 ,去掉了氨基乙酰化反应 ,使反应步骤简化 ;去掉了高压操作 ,使整个反应过程容易操作。改进的合成方法反应条件温和 ,整体收率稳定 ,维持在 87.2 % ,获得了较好结果。     

基于变精度可能算子的网络概念认知

网络上的概念认知是网络数据分析领域的一个重要方向。从形式概念分析中的必然算子、可能算子出发,提出变精度可能算子,表明经典可能算子是变精度可能算子的特殊情形;进一步,对可能算子的性质进行研究,并解释它们在传染病网络研究中的意义;接着,根据变精度可能算子提出两种网络广义概念及其上下近似与边界,通过实例说明基于变精度可能算子的上下近似和边界在网络概念认知中具有更丰富的语义;然后,结合复杂网络分析中的网络特征值方法,定义网络弱概念,并提出基于变精度可能算子的网络弱概念获取方法;最后,利用文中算法在UCI数据集上进行测试,结果证实了变精度可能算子在网络概念认知中的优势。     

一种新颖的概念格构造算法

高效的概念格生成算法对于形式概念分析的应用研究是一个主要问题,文章从基于属性的基本概念出发,首先给出并证明了任意概念可表示为基本概念的定理,并提出了一种基于属性基本概念的渐进式概念格生成算法,实例表明该算法是可行和有效的。     

基于粒辨识属性矩阵的动态形式背景约简更新方法

知识约简是知识发现中的一项重要任务,它的研究使得在数据中寻找蕴含规则更加简易,但现实中的信息往往都不是一成不变的,随着时间的推移需要不断地对原有信息进行适当更新。本文主要从粒辨识属性矩阵出发,讨论当所研究的形式背景处于更新状态时,如何由原有的粒协调集更新得到新的粒协调集,并讨论了粒辨识属性矩阵的相关性质。     

UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

PLC程序测试与验证的研究进展

可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。     

基于场景的形式化测试模型生成方法

在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言（unified modeling language,UML）状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.     

含内射极大左理想的左遗传环

证明了Ｒ是含内射极大左理想的遗传环当且仅当Ｒ是如下形式之一的环：（１）Ｒ是半单Ａｒｔｉｎ环；（２）Ｒ环同构于形式三角矩阵环，其中Ａ，Ｂ，Ｃ满足下列条件；（３）Ａ是左遗传，ＢＡ平坦．（４）Ｃ是除环，ＣＢ内射，（５）ａｎｎ（ＢＡ）是内射左Ａ－模，并且Ａ／ａｎｎ（ＢＡ）典范同构于自同态环Ｅｎｄ（ＣＢ）。     

BCK—代数的形式系统

本文引进了BCK-代数的形式系统L 的概念,并且给出了关于L 的任意一个合式公式是否为它的一个定理的判定方法。     

大数据偏序结构生成原理

形式概念分析是一种强有力的数据分析和可视化工具,自提出至今已被应用到数据挖掘、知识发现等领域.但由于概念间复杂的关系使得概念格中的连线错综复杂,尤其是在处理大的形式背景时显得尤为混乱.形式背景中所包含的属性间关系、对象间关系以及对象一属性关系是形式背景的本质关系,本文在人类认知事物哲学原理的指导下,构建了以描述属性间关系和区分对象为基本目的的偏序结构图,并描述了其构建方法.该种图形层次分明、结构清晰,不存在线的交叉连接,具有比较好的可视化效果,尤其计算方法简单,存在应用到大数据的潜能,为大数据数据分析和知识发现提供了一种潜在工具.