Quantale上的Ⅰ型结构及其性质

引入了Quantale上Ⅰ型结构和弱子结构的概念,讨论了Ⅰ型结构和弱子结构与映射之间的对应关系,利用Quantale上的、∨和∧等运算,分别给出了Quantale上的一个非空子集是Ⅰ型结构和弱子结构的充要条件,证明了在预Girard Quantale上Ⅰ型核映射与Ⅰ型理想余核之间是一一对应关系.     

一种面向网店商品搜索的中文分词系统设计

文章设计新的数据结构对网店商品的原始数据进行加工处理,形成一个存储所有商品信息的词条字典。结合全切分算法,实现对用户输入关键词的完全切分,并通过和词条字典的匹配得到所有候选的词条组合。为了消除分词过程中的歧义和不合理的词条组合,系统结合商品类目树的存储结构,通过算法和引入权值计算的方法对词条组合进行排序,得到最佳结果。     

Non-LTE恒星大气模型完全线性化原理

通过对Ｎｏｎ－ＬＴＥ的平面平行状恒星大气结构的数值模型完全线性化方法工作原理的介绍，阐述了恒星大气理论的工作原理和一般方法，重点说明了恒星大气数值方法的工作特点。     

水稻雄性不育细胞组织学的研究

水稻雄性不育系的花粉败育一般可分为无花粉型、单核败育型、双核败育型和三核败育型等四种。个别不育系花粉败育方式较特殊。野败不育系的花丝和药隔维管束退化最严重,花药开裂结构的异常主要表现在裂口、裂腔分化发育异常。     

非共沸混合物在强化管管束外冷凝的实验研究

对非共沸混合物Ｒ１１／Ｒ１１３在花瓣型翅片管管束外的全冷凝过程进行了实验研究，结果证实花瓣型翅片管能较好地强化非共沸混合物Ｒ１１／Ｒ１１３的冷凝以及管束效应很小。还讨论了平均冷凝传热系数与摩尔分数的关系。     

我国轿车工业面临的若干选择

本文参考了世界各国轿车工业发展的经验，在分析我国轿车工业现状的基础上，对我国轿车工业所面临的若干选择作了探索性的研究。     

The Further Results of the Chromatic Uniqueness of Certain Bipartite Graphs K （m,n）- A

With its comprehensive application in network information engineering （e. g. dynamic spectrum allocation under different distance constraints ） and in network combination optimization （e. g. safe storage of deleterious materials）, the graphs＇ cloring theory and chromatic uniqueness theory have been the forward position of graph theory research. The later concerns the equivalent classification of graphs with their color polynomials and the determination of uniqueness of some equivalent classification under isomorphism. In this paper, by introducing the concept of chromatic normality and comparing the number of partitions of two chromatically equivalent graphs, a general numerical condition guarenteeing that bipartite graphs K （ m, n） - A （A belong to E（K （m, n） ） and ｜ A ｜≥ 2） is chromatically unique was obtained and a lot of chromatic uniqueness graphs of bipartite graphs K（m, n） - A were determined. The results obtained in this paper were general. And the results cover and extend the majority of the relevant results obtained within the world.     

关于D∞的一个基本投射不等式

该文给出D∞的一个基本投射不等式．它在文[1]证明D∞是一个外延λ-模型时的地位是重要的，但文[1]将它误认为一个等式的多次应用．     

微处理器测试图形采集程序自动编程系统的设计

提出了微处理器ＭＰ测试图形采集程序自动编程系统的一种设计方案，系统在读入测试开发人员对ＭＰ的描述后，能自动建立ＭＰ的抽象模型并产生直接在Ｓ－１０测试仪上运行的ＦＡＣＴＯＲ语言ＭＰ测试图形采集程序．