露天矿爆破后煤岩块度分布自动测试系统的模型研究

介绍了采用单图片摄影测量和计算机图像处理的方法．分析露天矿爆破后煤岩块度分布的模型研究原理、过程和结果．     

关于BCI—代数的子代数的注记

本文研究了ＢＣＩ－代数的元素的几个重要性质，给出一些循环子代数和有限生成子代数的描述。     

4－连通无爪图中的Hamilton圈

Ｍａｔｔｈｅｗｓ等猜想：每一个４－连通无爪图是Ｈ－图．本文证实当Ｇ不含局部连通点及３团时该猜想成立．     

隐喻的生成原因

隐喻产生有三大因素：语言、社会、认知。从语言角度看，隐喻的生成除修辞作用外，还有语言本身表达力不足的原因；从社会因素看，政治、经济、科技、化等是隐喻生成的动因；从认知角度看，隐喻的生成又与人的思维、大脑、心理等密切相关。隐喻的生成实际上是多种因素综合作用的结果，各种因素之间存在着一种复杂的互动作用和互相联系的关系。     

关于自由幺半群A*的子幺半群是自由的一点注记

给出 A*的子幺半群是自由的一个新的充要条件 :A*的子幺半群 P是自由的当且仅当对某个固定的正整数 k,对任意 k个 w1 ,w2 ,…… ,wk∈ A* 只要存在 p,q∈ P使得 pw1 ,w1 w2 ,w2 w3,…… ,wk- 1 wk,wkq∈ P就有 w1 ,w2 ,…… ,wk ∈ P .     

L－Fuzzy极不连通空间

给出了ＬＦ极不连通空间的具有层次特点的新定义，从而使连通性与极不连通性两个概念更为协调；证明了此定义是“Ｌ－好的推广”。     

用CryptoAPI生成密钥的方法

加密技术是电子商务信息安全的重要手段，而密钥生成算法是加密能否安全的关键技术。本文通过程序例子详细介绍了用微软的加密应用程序接口(CryptoAPI)来生成和管理密钥的方法。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

水电工程规划设计方案的自动生成及评价

本文介绍了在水电工程规划设计时，如何利用三次自然样条插值函数在有限个方案的基础上自动生成无限多个方案，然后采用多目标综合决策模型在其中选择最优方案的一种方法．文中还给出了程序流程，并以某水电站正常蓄水位选择作为实例，对方法进行了验证，结果与专家决策完全吻合．