运用属性偏序结构图原理探析《伤寒论》中干姜的配伍规律

基于形式概念分析理论,以《伤寒论》中含干姜方剂、方剂中药物和方剂-药物关系为概念,借用描述事物普遍性和特殊性层次的复杂概念网络生成方法生成属性偏序结构图,从而给出相应方剂（对象）和不同含量的药物（属性）之间的关系结构可视化表示和解释.通过属性偏序结构图探析《伤寒论》中干姜的配伍规律,包括黄连汤、半夏泻心汤、小青龙汤中干姜配半夏,四逆汤中干姜配生附子.属性偏序结构图是将信息科学与传统中医伤寒学结合的新尝试,这种新途径有利于我们对《伤寒论》再学习和认识.     

基于偏序结构理论的知识发现方法

大数据中的知识发现是大数据应用中的核心热点.本文从高度抽象认知事物视角出发,以表征事物普遍性为特征的概念驱动与表征事物特异性为特征的数据驱动两种方法学为哲学原理,提出了基于属性偏序结构图和对象偏序结构图的知识发现方法.分别从群结构、子群结构、支路、节点等角度对数据特征之间的结构关系进行讨论分析.属性偏序结构图将数据中具有某些共同特征的对象聚类到一起,是数据共性的表达;对象偏序结构图中,通过数据的独有属性可以快速有效的将特异性对象区分于其他对象.最后,以中医药方剂配伍研究问题为例,对张锡纯治疗中风的32个处方进行数据挖掘和知识发现,证明了该方法的有效性和实用性,为大数据知识发现研究提供了新的思路和方法.     

大数据偏序结构生成原理

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

偏序结构环形图：一种大数据偏序结构可视化新方法

偏序结构图因其良好的知识可视化特性已在知识发现、数据挖掘等领域得以广泛应用.但在对大数据所形成的超大形式背景进行研究和分析时,偏序结构树形图存在的一些不足,使大数据可视化效果欠佳,不利于对大数据进行数据挖掘和知识发现.本文对偏序结构树形图进行改进,提出了可用于大数据分析的偏序结构环形图.对实例形式背景绘制出偏序结构环形图,并与其偏序结构树形图比较.实验结果表明,该方法清晰、直观,可视化效果较好,能更有效地呈现出大形式背景中的重要信息,可以应用在大数据的数据挖掘和知识发现中.     

李赛美教授治疗2型糖尿病合并睡眠障碍处方用药分析

收集了李赛美教授门诊治疗2型糖尿病合并睡眠障碍的195份病历,基于形式概念分析的数学属性偏序表示原理,建立形式背景,生成属性偏序结构图,分析了李赛美教授治疗2型糖尿病合并睡眠障碍的处方用药经验。结果表明,李赛美教授治疗2型糖尿病合并睡眠障碍时,多从少阳证入手,善用柴胡汤类方,灵活合用经方,随症进行加减。基于数学属性偏序表示原理的知识发现方法,能有效发现李赛美教授诊疗2型糖尿病合并睡眠障碍的处方用药规律。     

紧生成的偏序集

本文根据格上紧元的定义,在偏序集中给出了紧元的三种定义方法,并对其等价性进行了证明。在偏序集中紧元定义的基础上,得到证明了紧元的相关性质。然后在偏序集中给出了格中没有的强紧元的定义,在此定义的基础上,分别提出证明了:满足升链条件的偏序集是强紧元的;强紧元的偏序集不一定是紧生成的偏序集。并推广证明了格中紧元的相关性质:如紧生成偏序集的子集一定是紧生成的偏序集;每个紧生成的偏序集P都是弱原子的;若偏序集中的元都是紧元当且仅当偏序集满足升链条件。给出了偏序集中上连续、下连续的概念,并证明了每个紧生成的偏序集都是上连续的。     

De Morgan偏序集的刻画与同余关系

借助于上集算子和下集算子给出了De Morgan偏序集概念并讨论了它的一些性质,得到了由De Morgan偏序集的弱理想生成的最大同余关系.     

基于属性偏序表示原理的经方方证研究

方证研究是中医领域研究的热点,但方证之间数据量大,复杂度高,传统的数据挖掘方法面对海量的中医数据显得力不从心.随着大数据时代的到来,大数据的理念和技术为中医知识的充分研究带来机遇.本文基于形式概念分析的属性偏序表示原理,运用属性偏序结构图揭示方证的特征症状,对挖掘中医经典的科学内涵、促进学术创新有一定的借鉴价值.     

偏序集的完备化与形式概念分析

借用形式概念分析中构造粗糙概念的方法,给出偏序集的几种完备化构造.然后由偏序集诱导一个形式背景,讨论该形式背景下的粗糙概念与完备化的关系.最后得到本文给出的完备化与经典的Dedekind-MacNeille完备化同构的结论.     

偏序范畴若干问题研究

本文介绍了关系及关系矩阵等概念,并着重讨论了偏序关系及对应的偏序范畴、偏序矩阵,刻划了偏序范畴的始对象、终对象和零对象,偏序范畴的积范畴以及给出相应的矩阵的关系,即积范畴对应的偏序矩阵是原来两个偏序矩阵的张量积;讨论了等价的偏序范畴对应的偏序集之间的关系.     

电工实验测评系统的研究与应用

高效、便捷的实验考核系统是高校教学管理水平的重要体现。文章介绍了电工实验测评系统的开发全过程,分析了系统的需求,给出了系统的用例图;结合系统的需求,确定了系统的功能模块,解决了模块结构的设计、试卷分配,试卷生成,数据加密等问题,通过应用取得了较好的效果。     

地桩沉降量单片机智能检测系统的研究

论述了以８０３１为控制核心的地桩沉降量检测系统的工作原理、系统组成。重点介绍了主要硬件电路的设计特点及软件设计思想，提供了部分硬件电路图及控制软件流程图。该系统具有自检、置数、动态显示、数据处理、打印等功能，使用方便，造价低     

基于嵌入式思想的 PID 数字控制系统设计

介绍了用8051单片机实现PID数字控制系统的结构,简要描述了PID控制原理,着重介绍了系统的硬件结构和嵌入式（sEOS）任务软件设计思想,并给出了相应的原理框图和软件原型。该系统具有实时性好、控制速度快、稳定性强等优点。     

序列图建模机理与应用研究

研究了序列图在软件设计中的应用问题,解析了其组成和表示,探索了其对象的交互机理和交互原则,分析了其本质与在MDA软件范型中的建模应用,诸如用序列图表示的模型转换性和可追溯性,讨论了序列图与面向对象编程的内在联系.     

可视程序设计语言在CASE工具中的应用

从可视程序设计语言角度设计出了一个计算机辅助软件工程工具－数据结构图,并给出了该图的语法。     

L (Q)格值模型的初等子模型

将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格,讨论了关于L(Q)模型的初等子模型的一些性质,如强升和强降L－S－T定理,初等图像在初等扩充下的保持性等。