拓扑指数mG与卤化物的晶格能和标准生成焓的关系

在Randic分子价连接性拓扑指数的基础上,将Randic的δi修改为原子结构特征参数δi'(δi'=Zi2×(Xpi)0.5/ni其中Zi,Xpi,ni分别为原子i的氧化数,Pauling电负性和所处的周期数),构建了无机分子的连接性指数mG(mG=∑(δi'×δj'×δk'×…)0.5),其具有优异的结构选择性,用其0,1阶指数0G、1G及(0G)2与碱金属卤化物的晶格能、过渡元素卤化物的标准生成焓相关联,拟合得到两个回归方程(U=403.86+899.5081G,△fHm⊙=33.571+139.644(0G)2-400.7351G),相关系数分别为0.9954、0.9680,预测取得了较好的结果.     

双曲复平面的格序半群

应用双曲复平面（H平面）上点圃的特殊性质,讨论H平面的结构．得到了求H平面上已知两点上、下确界的方法,证明了H平面上由零因子直线划分的四个区域均具有格序半群结构．     

Girard Quantale中的算子

讨论了Girard Quantale的内部结构,研究了Girard Quantale中各种运算的若干性质和它们之间的相互关系,证明了Girard Quantale中六个二元运算中的任何一个结合一元算子⊥均可以完全刻画剩余的五个二元运算.     

Modified surface tension model for free surface flow with single-phase lattice Boltzmann method

A single-phase lattice Boltzmann model with modified surface tension is developed in this paper to solve the problem of high-density-ratio free surface flow.The computational efficiency and accuracy are both enhanced.The restriction to the relaxation factor （which needs to be smaller than 1） is circumvented by the new surface tension algebra,due to its rational physical nature compared with the treatment of Xing,Buther and Yang in their paper （Comp.Mater.Sci.,2007,39（2）：282-290）.The proposed stable surface tension scheme is applied to simulate the free deformation of a square droplet with surface tension effect and the process of a droplet impinging on a liquid film.The numerical solution for free deformation of a droplet agrees well with thermodynamic principles,and also achieves high accuracy in comparison with Xing,et al.＇s model.Three typical impinging modes are successfully obtained with the new scheme,and another particular mode found by Wang and Chen is also successfully simulated.The evolutions of liquid crown agree well with the power law related to time.     

Performance investigation of 2D lattice Boltzmann simulation of forces on a circular cylinder

The lattice Boltzmann method (LBM) is employed to simulate the uniform flow past a circular cylinder. The performance of the two-dimensional LBM model on the prediction of force coefficients and vortex shedding frequency is investigated. The local grid refinement technique and second-order boundary condition for curved walls are applied in the calculations. It is found that the calculated vortex shedding frequency, drag coefficient and lift coefficient are consistent with experimental results at Reynolds nu...     

基于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对搜索结果进行分类*

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

基于知识网格的高校图书馆知识服务探索

文章介绍了知识网格的概念及研究的核心问题。着重论述了知识网格在高校图书馆知识服务中的重要作用以及高校图书馆实现知识服务所必须解决的技术问题。