公理化局部有限空间中映射连续性的扩展

用公理化方法研究了局部有限空间中的连续映射及其扩张问题。给出了局部有限空间的公理化定义方法;利用邻近关系研究了局部有限空间中的连续映射、同胚和局部同胚等问题;通过对局部有限空间变形的研究,定义了局部有限空间的一种特殊收缩核,有效地解决了局部有限空间中连续映射的扩张问题。     

恒等式证明的概率模型法

本文利用建立概率模型,证明几个重要的恒等式。有些恒等式用常用的分析方法证明是很不易的,但建立了概率模型后,通过求概率或求数学期望,很方便地把恒等式证明出来。     

Introduction to Ant Colony Algorithm and Its Application in CIMS

Ant colony algorithm is a novel simulated ecosystem e volutionary algorithm, which is proposed firstly by Italian scholars M.Dorigo, A . Colormi and V. Maniezzo. Enlightened by the process of ants searching for food , scholars bring forward this new evolutionary algorithm. This algorithm has sev eral characteristics such as positive feedback, distributed computing and stro nger robustness. Positive feedback and distributed computing make it easier to find better solutions. Based on these characteristics...     

一个组合数学问题

讨论展开式（η＿１＋ｂη＿０）（η＿２＋ｂη＿０＋ｂη＿０）…（η＿ｎ＋ｂη＿（ｎ－１）…＋ｂ￣ｎη＿０）．引入个迅速求得Ａｆ（ｎ）的计算规则，以及系数的计算公式，这公式是牛顿二项式展开系数公式的推广。     

两个组合恒等式的概率证明

给出了两个组合恒等式的概率证明，扩展了已知的结果。     

完全杂凑族的一个新下界

考虑(n,m,w)-完全杂凑族的下界,运用初等的方法给出一个新的下界,并给出新的下界比著名的Fredman-Komlos下界好的条件.     

单机不同尺寸工件批调度问题的优化算法

研究了单机环境下不同尺寸工件的批调度问题,引入微粒群算法对制造跨度进行优化.首先给出了问题的微粒表达形式,并根据问题的离散优化特性对微粒状态的更新方法进行了改进;然后将微粒群算法和分批的启发式算法进行有效结合,改善近似解的质量.实验中对各类不同规模的算例均进行了仿真,结果表明了微粒群算法的有效性.     

分批加权优化的排课模型

本文介绍一种分批加权优化的高校排课模式．这一模式无需要使用探试方法，因此它优于一般采用的人工智能方法．     

液相组合合成Mannich碱及清除树脂对产物的处理

应用组合合成的原理,使用3种酮、5种胺和甲醛反应,在盐酸的催化下,一次性合成了15种Mannich碱。使用大孔季铵强碱型清除树脂有效地除去了产物中残留的强酸催化剂———盐酸。经GC/MS色谱分析可知,产物的量决定于胺和酮的结构。对称结构的酮(如丙酮)只能得到一种产物,而不对称结构的酮(如2—戊酮)可给出两种产物。     

一个STD总线的开放式单片微机开发系统

介绍一个ＳＴＤ总线的开放式单片微机开发系统．对硬件断点逻辑电路和系统的软件开发环境作了深入的分析．