基于MSP430F227单片机控制的LED点阵书写显示屏设计

以TI公司4单片机为主控制器,以光笔为检测工具,以按键和带字库的12864液晶为辅助设备的LED点阵书写显示屏系统,通过按键的设置可进入到系统的相应功能模式,以光笔可检测在LED点阵屏上接触的位置,从而实现点亮、划亮等功能,并将划亮点的位置用带字库的12864液晶屏同步显示。     

完全分配格中标准极大（小）集的一个刻画

定义了偏序集L上的一个新关系〉,对任意完备格L引入了标准极大集的概念.当L为完全分配格时,利用L上的关系〉（way below关系〈〈）给出了标准极大（小）集的一个刻画.     

Complexity Reduction in Lattice-Based Information Retrieval

Though lattice-based information representation has the advantage of providing efficient visual interface over textual display, the complexity of a lattice may grow rapidly with the size of the database. In this paper we formally draw the analogy between Vector Space Model and Concept Lattice, from which we introduce the notion of Term-Document Lattice as a model for information retrieval. We then propose to use the idea of quotient lattice to reduce the complexity of a Term-Document Lattice. The equivalence relation required to construct the quotient lattice is obtained by performing a Singular Value Decomposition on the original term-document matrix.     

用FCA对搜索结果进行分类*

用形式概念分析的方法，对用户的搜索结果进行自动分类研究，经过建立模型进行实验证明，用形式概念的方式可以对搜索结果进行自动分类，用户可以更便利更准确地使用搜索结果，有效提高查找信息效率。     

基于波尔兹曼的井下热流态仿真方法研究

采用近几年发展起来的一种新方法——格子波尔兹曼方法(Lattice Boltzmann Method,LBM),对井下热流进行了仿真模拟,从而得到了热流流动的规律。建立了LBM模型,对结果进行分析,并得出仿真效果。     

Quantic格同余

给出了Quantic格同余的定义,研究了Quantic格同余、核映射以及商对象之间的关系,证明了Quantic格的又一同态定理.     

模糊向量格的一些注记(英文)

研究了模糊向量格— (∈ ,∈∨q) ,讨论了模糊向量格的一些性质     

一种快速高精度的直线插补算法—网格法

对数控机床ＣＮＣ系统中的直线插补运算、结合直线的自身特点,提出了一种新的算法──网格法．     

格序群的同余格

用泛代数的方法研究了格序群上的同余关系,证明了一个格序群的同余格与它的ｌ－理想格是同构的。     

形式概念分析在Folksonomy中的应用研究进展

系统梳理和总结形式概念分析（FCA）与Folksonomy的结合机理以及FCA在层级导航、用户行为分析与偏好挖掘、标签本体构建方面的相关研究进展,指出FCA在处理复杂大数据集、更精细地揭示标签语义与结构特征、多学科的合作等方面存在的问题和未来发展方向。