基于比较运算与多β晶体管的开关电路

从比较运算的角度重新定义了Ｂｏｏｌｅ代数中的与，或，非等３种基本运算，并根据电压信号易于实现比较运算的特点分析了双极型晶体管发射极的不同连接所能实现的逻辑功能。     

面向数据流的加权聚类及演化分析研究

为解决无限数据流在有限内存空间中的聚类分析问题,本文提出了一种加权聚类及演化分析框架。为简要地描述此框架,给出了聚类、聚类簇的概念及其数据结构定义,接着对聚类、聚类簇的加法运算和差运算给出了清晰的描述和相应的实现算法。本框架与CluStream框架有较大的差别,这里采用聚类簇的加法运算来实现更大时间跨度内的聚类簇融合,采用聚类簇的差运算来进行聚类簇的演化分析。最后通过第一个例子来说明本框架是如何对数据流进行加权聚类及演化分析的,采用第二个例子来验证为实现本框架所需的十五个算法的正确性及有效性。     

印度首台每秒运算万亿次超级计算机问世

印度第一台每秒运算 1万亿次的超级计算机前不久在南部科技中心班加罗尔推出。这标志着 ,继日本、美国、以色列和中国之后 ,印度成为世界上第五个拥有每秒运算 1万亿次的超级计算机的国家。据印度媒体报道 ,这台超级计算机由位于班加罗尔的印度先进计算机研制中心研制 ,被命名为“帕拉姆 -帕德玛”型 ,可用于气象预测以及生物信息工程等领域。在此之前 ,该研制中心已经研制出每秒运算 1千亿次的超级计算机。印度先进计算机研制中心成立于 1988年 ,到目前为止已经研制出四代“帕拉姆”型超级计算机 ,并向德国、俄罗斯、加拿大和新加坡等国家…     

基于新的树编码方式用免疫遗传算法解决DCMST问题

本文提出了一种新的树编码方式，可以方便地表达一棵树，简化了树在遗传算法中的编码表达。且新的树编码方式清楚地表达了边的信息，有利于疫苗的设计。此外，本文使用免疫遗传算法，有效地克服了传统遗传算法中解退化的现象。数值实验表明，解的振荡相对于传统遗传算法减小了，且收敛速度更快。     

高阶时段演算及其完备性*

研究如何用时段演算来刻画程序的实时行为. 在实时程序设计里，程序变量被解释成时间的函数. 为了定义局部变量声明的语义，必须引进关于程序变量的量词.因此，建立高阶时段演算是必要的.首先建立了高阶时段演算理论，然后，用高阶时段演算去验证了一些程序的实时性质；最后，在假设所有程序变量均有穷可变的条件下，证明了高阶时段演算在抽象时间域上是完备的.     

粒子群优化算法在确定河流水质参数中的应用

将粒子群优化（PSO）算法应用于求解分析瞬时投放示踪剂情况下的一维河流水团示踪试验数据，以及确定河流水质参数的函数优化问题。分别就粒子数目和待估水质参数的初始取值范围对算法运算过程的影响进行了数值实验。结果表明：①PSO算法能够有效地应用于求解分析河流水质试验数据，确定水质参数的函数优化问题；②粒子数目的多少对迭代次数、运算时间和算法是否收敛有一定的影响，在粒子数目较大的情况下，可以保证运算过程收敛；③待估参数初始猜测值的选取范围对迭代次数也有一定的影响，选取范围越大，需要的迭代次数越多。最后，指出了需要进一步研究的问题。     

微波网络分析仪的校准

对微波网络分析仪和测试夹具的校准方法和校准过程经常出现的问题进行了介绍. 从提高校准精度的角度, 针对不同的测试端口和相应的校准标准, 提出了选取校准方法和运算方法的准则, 同时给出了解决这些问题和提高校准精度的具体建议. 发现并通过实验验证直通标准得到的4个方程能够同时使用, 并可以获得精确的结果. 实验中, 观察到对同一校准方法, 采用不同的运算方法可能导致频率限制问题的出现.     

网构软件体系结构代数模型

由于网络化软件的规模和复杂程度的不断增加,设计可伸缩的软件体系结构,开发可演化的软件系统遇到了挑战．挑战之一是很难把软件模型与原系统说明区分开来,使得软件系统的可演化性受到限制．一个有效的途径是建立可范用软件体系结构的抽象模型,指导网构软件设计,从而提高软件模型的概括能力和可伸缩能力．本文提出一种网构软件体系结构代数模型,其中一个创新思想是把网构连接子解释成网构变量的运算．结合代数学方法和软件实现技术,定义了6种网构连接运算,所有运算是对连接子的代数抽象,因此软件体系结构的抽象表达能力得到了加强．为了展示提出代数模型的建模与分析辅助作用,介绍了一个基于代数模型的网构软件设计与演化的案例研究．     

一种考虑摩擦与排斥的人员疏散元胞自动机模行

在人员疏散过程中, 人与人之间、人与环境(如建筑物)之间存在相互作用力, 包括吸引力、排斥力和摩擦力. 3种力对人员疏散的行为、速度和效率起着关键作用. 在以往的模型中, 吸引力可以得到较好地描述, 但对排斥力和摩擦力的定量描述还不完善. 近年来提出的多粒子自驱动模型(社会力模型)可以较好地体现3种力的作用, 但由于它是一种连续型模型, 运算的速度较慢并很难得到改善. 目前研究较多的离散型模型, 如元胞自动机模型和格子气模型等, 可以达到较高的运算速度, 但很难考虑到摩擦力与排斥力的作用, 造成运算结果误差较大. 针对这种情况, 本文在经典元胞自动机模型的基础上, 量化确定了摩擦力和排斥力的运算规则, 提出了一种新的元胞自动机模型. 通过将模型的运算结果与多粒子自驱动模型进行比较表明, 新模型在人员行为、疏散速度以及"快即是慢"效应等方面都可以得到与后者相同的结果, 而运算速度则与普通的元胞自动机及格子气模型相当, 比社会力模型大为提高.     

一种考虑摩擦与排斥的人员疏散元胞自动机模型

在人员疏散过程中, 人与人之间、人与环境(如建筑物)之间存在相互作用力, 包括吸引力、排斥力和摩擦力. 3种力对人员疏散的行为、速度和效率起着关键作用. 在以往的模型中, 吸引力可以得到较好地描述, 但对排斥力和摩擦力的定量描述还不完善. 近年来提出的多粒子自驱动模型(社会力模型)可以较好地体现3种力的作用, 但由于它是一种连续型模型, 运算的速度较慢并很难得到改善. 目前研究较多的离散型模型, 如元胞自动机模型和格子气模型等, 可以达到较高的运算速度, 但很难考虑到摩擦力与排斥力的作用, 造成运算结果误差较大. 针对这种情况, 本文在经典元胞自动机模型的基础上, 量化确定了摩擦力和排斥力的运算规则, 提出了一种新的元胞自动机模型. 通过将模型的运算结果与多粒子自驱动模型进行比较表明, 新模型在人员行为、疏散速度以及“快即是慢”效应等方面都可以得到与后者相同的结果, 而运算速度则与普通的元胞自动机及格子气模型相当, 比社会力模型大为提高.     

一种高效并行存储方案—LR—XOR

提出了一种并行存储方法 ,即LR XOR斜排存储方法 ,它可以并行存取许多常用数据访问模式 ,对图象处理、数值分析、信号处理等科学与工程计算问题可以更好地发挥出处理单元的最大潜能 .这种方法对处理单元访问数据的主存地址采用异或运算来产生并行存储模块号 ,具有地址运算简单、易于硬件实现等优点 .     

科学发现的逻辑验证

R演算是一个关于逻辑连接词符号和量词符号的演算系统．它是一个根据事实反驳对科学理论进行修正的符号演算系统．文中以狭义相对论和生物进化论为例，使用R演算，对这两个科学理论的发现过程，在数理逻辑层面进行了验证．验证的结果表明：对Einstein时代的物理学而言，狭义相对论是唯一而且正确的选择．对Darwin时代的生物学而言，在接受自然选择原理等前提下，R演算可以推导出3种不同的，但逻辑上合理的进化论方案．Darwin提出的进化论是其中一种．有趣的是三者中的另一种，现在看来它具有一定的包容性．     

算子模糊逻辑定量模型的局限性

在定量的意义下讨论了算子模糊逻辑的语义解释方法，证明了多项式意义下模糊算子运算定义方法的唯一性，并以此为基础重新修正和改进了已有的算子模糊逻辑定量模型及其归结方法。     

基于单形体几何的高光谱遥感图像解混算法

提出一种新的基于单形体几何的高光谱遥感图像混合像元丰度估计算法.该算法的目标是在已知端元矩阵的基础之上,估计高光谱图像中各个观测像素点中每个端元的丰度.根据凸几何理论,基于线性混合模型的高光谱解混问题可以看成一个凸几何问题,其中端元位于包含整个高光谱数据集的单形体的顶点,而它们对应的重心坐标则可以看作各个观测像素的丰度.提出的方法由3部分组成,分别为基于单形体体积的重心坐标计算方法、距离几何约束问题和基于内点的单形体子空间定位算法.与其他基于单形体几何的算法相比,该方法具有诸多优点.Cayley-Menger矩阵的引入使得欧式空间上的运算转化为距离空间上的运算,在降低运算复杂度的同时很好地兼顾到数据集的几何结构.而且,单形体重心的使用确立了一种快速而精确的判断方法来确定观测像素所属的子空间,进而利用递归的思想得到丰度值.此外,算法核心仅仅涉及观测点与端元之间的距离,而与波段数无关.因此,该算法无须对数据执行降维处理,从而可以避免因数据降维而造成的有用信息的丢失.仿真和实际高光谱数据的实验结果表明,所提出的算法与同类其他优秀的算法如FCLS和SPU相比,具有更高的运算精度,同时在端元数目较小时具有较快的运算速度.     

用P-adic数域上椭圆曲线构造密码的可能性

提出了基于ρ进数域上的椭圆曲线的有理点群的商群的密码系统，这种密码与基于有限域上的椭圆曲线密码相比，增加了新的加密参数，在倍乘运算等方面具有优越性，且有相同的安全强度，给出了密码群的生成元的选取方法，通过建立这种商群的元素与其坐标近似值的一一对映应关系，解决了ρ进数域的椭圆曲线商群元素有限表示问题，并且给出了在此近似表示下商群的运算方法。     

基于数学形态学的地下分水岭提取方法研究

地下分水岭反映了地下水的汇水范围、空间分布特征,有助于更好地认识区域含水层水文地质条件、更合理地进行地下水资源管理.文章根据分水岭的概念模型,结合数学形态学的腐蚀、膨胀运算特点,提出了一种能反映分水岭特点的结构元素用于提取地下分水岭点,同时针对分水岭的线性特点,又提出了一种三原点的结构元素用于分水岭点连线.在经过腐蚀—闭运算—腐蚀后,提取了地下分水岭.试验结果证明了该方法的可行性.     

日本开发出世界运算速度最快超级计算机

日本电气公司前些时候宣布开发出世界运算速度最快的超级计算机“SX-8”，其每秒运算次数可达58万亿次，是“地球模拟器”的1．8倍。     

基于特征识别的增强现实跟踪定位算法

文中提出一种在场景自然特征识别基础上采用关键帧匹配的增强现实跟踪注册算法,实现了基于计算机视觉的户外大场景范围内的实时跟踪定位.算法针对关键帧匹配中的宽基线特征匹配问题,提出采用随机树的模式分类方法实现场景自然特征的离线训练和在线实时精确匹配.同时采用Kalman滤波器对参数估计结果进行平滑解决视觉跟踪定位中的抖动问题.以该算法为核心构建出基于视频透视式头盔显示器的移动增强现实系统,并将其成功应用于圆明园大水法景观的数字重现.真实场景实验验证表明,该方法具有实时、鲁棒的优点,适用于户外跟踪定位.     

基于量子逻辑的自动机理论的一些注记

主要结果是：1）讨论了正交模格值自动机的几个基本运算（连接、Kleene闭包、同态和补）；2）由于讨论连接、同态运算和以往研究正交模格值自动机的一些基本问题时都基于蕴涵算子满足一个条件，所以详细讨论了该条件，并证明了正交模格中相对合理的五个蕴涵算子都不满足该条件，而且证明了其中一个算子满足该条件当且仅当真值格是Boolean代数；3）进一步讨论了正交模格值successor和source算子及子机的基本性质及它们之间的关系；4）给出了一个例子，从而说明了以前所得到的一些否定性结果在一些典型的正交模格值自动机中依然可能成立．     

隧道围岩施工监测及位移动态模拟分析

为了研究不同支护结构参数和不同开挖方法对围岩位移的影响,以百勺洋隧道为研究对象,通过现场实测、回归分析和数值模拟的技术手段,以大型非线性有限元软件ADINA为研究工具,建立有限元模型。通过改变锚杆支护相关参数和开挖方法,进行大量模拟运算。运算结果表明,随着锚杆长度的增加,地表点下沉量不断减小,隧道的底鼓幅度也逐渐减小,边墙的收敛量也逐渐减小;随着锚杆间距的增加,顶端最大下沉点的竖直方向沉降值增大,边墙收敛值也增大;开挖方法不同时,随着开挖步数的减少,地表下沉值增加,隧道底鼓现象也越明显。开挖步数越多,洞周收敛值越小。