基于结点匹配策略的赋权超图核值实验比较

分析赋权超图多水平粗化阶段的节点匹配策略,给出引入节点核值全局信息到超图的节点匹配过程,发挥节点核值导向性作用,改进仅利用边的权值、节点的度等局部信息进行结点选择的匹配策略,将图的核值理论扩展到超图,提出超图核值等相关概念及其形式化描述.基于ISPD98测试基准的18组超图,结合多水平粗化阶段的不同节点匹配策略,以节点的度和核值的最大值、累加和、分布密度为评估指标进行对比实验.结果表明,与传统节点匹配算法相比,该核值更能反映粗化节点在每组水平层粗化超图中的重要程度.     

基本和混合元胞自动机的伪随机数发生器研究

针对基本元胞自动机（Cellular Automata,简称CA）、混合CA的伪随机数发生器进行了深入的研究,通过对比实验观察到混沌型基本CA输出的伪随机序列质量稳定并较优,而混合CA输出伪随机序列的相关性,尽管优于基本CA的平均表现,但远差于混沌型基本CA的表现。针对混合CA的伪随机数发生器,提出了一种基于混合CA与粒子群优化（Particle Swarm Optimization,简称PSO）算法融合的伪随机数产生算法。在该算法中,元胞对应于PSO的粒子,每个元胞按照各自不同的规则进行迭代演化,其对应粒子在迭代规则空间中飞行。该算法通过计算每个元胞产生伪随机序列的熵值作为粒子的适应度函数值,有效地实现每个元胞最佳规则的搜索,一定程度上提高了混合CA产生伪随机序列的质量。给出了基于小生境技术、构造出最优CA-PSO耦合伪随机数发生器的研究方向。     

基于运动学与动力学分析的极坐标超声振动端面微磨削机理研究

提出了一种极坐标式超声振动端面微磨削加工方法,建立微砂轮端面最外层圆周上磨粒运动轨迹模型,并采用对时间求导与矢量合成的方法,推导出磨粒的速度模型和加速度模型。针对超声振动方向和微砂轮进给方向之间的夹角Φ,进行了单因素仿真试验研究。结果表明:磨粒轨迹具有周期性和方向性,邻近轨迹存在交叠和分离特征,证明微磨削加工中存在"沟槽宽化"、"断续切削"等现象;磨粒速度最大值呈现稳定变化趋势,但其方向受Φ影响较为显著;磨粒加速度大小仅由所施加的超声振动参数决定,其方向受Φ影响较大;磨粒的高频冲击力远大于材料的许用应力值,利于材料的疲劳去除。     

柔性机械手动力学研究进展

针对柔性机械手动力学,重点从离散方法、建立数学模型、解决逆动力学问题三方面综述了国内外的研究情况,同时对离散的多种方法、建立模型的多种方法和逆动力学求解的多种方法各种方法进行了对比分析,并指出其优缺点。最后探讨了这一领域的发展方向和需要解决的问题。     

高等级公路施工机群自动配置软件的研制

对高等级公路路面施工设备的优化配置和施工参数进行分析,研制了一套高等级公路施工机群自动配置系统。该系统采用了工期给定、施工材料供给量给定和主导设备给定的3种方式,对施工机械进行优化配置,提供施工设备的最优关键参数,并生成最优配置数据库,以供动态系统查询调用。同时还可将经过试验路段修正过的优化方案添加到设备选型数据库中去,对自动配置系统进行补充和修正。该系统在实际路段的机群自动施工中使用效果良好。     

污水处理厂尾水排放形式对河流水质的影响研究

城市污水处理厂排放的尾水对城市河流水质产生一定的影响，尤其是对排放口附近的区域。当前主要有集中排放和分散排放两种形式。模拟研究了污水处理厂6种尾水排放工况下河流COD浓度场的分布情况，包括尾水150 m生态拦截系统的岸边单孔（S1）、5孔（S2）、均匀溢流（S3）排放和河中单孔（M1）、5孔（M2）、均匀溢流（M3）排放。结果表明，下游河流的COD的相对浓度（C/C0）大小的排序为S1，S2，S3和M1，M2，M3，且排放口区域分散排放的C/C0远低于集中排放；在不同工况下，河中排放均比岸边排放的COD浓度低。分散排放形式有利于污染物的扩散，显著降低了污水处理厂尾水排放口附近污染物的浓度。在条件允许的情况下，污水处理厂尾水排放可采取河中均匀溢流排放形式（M3）。     

显微视觉技术在微细加工中的应用

面向微细加工设计显微视觉系统,同时结合力觉传感器共同控制微细加工的操作过程.针对显微图像中噪声也被放大的特点,在自动聚焦处理中提出了一种新的强噪声聚焦评价函数处理方法,即在中值滤波和双边滤波后,采用分水岭算法对滤波图像进行过分割处理,对分割的各小区域求取其均值,用均值代替此区域内像素灰度值,再利用SML聚焦评价函数进行自动聚焦;同时,为了避免回程间隙而损失定位精度,在搜索方式上,采用精度较高的三次样条插值定位方法,利用相对矩对目标进行识别.实践表明,本系统能快速准确地确定刀具与加工工件之间的三维距离,完成微细操作控制过程.     

一种用户身份认证系统的形式化描述

身份认证系统用于解决访问者的物理身份和数字身份的一致性问题,给其他系统提供权限管理的依据.运用形式化方法,针对一个用户身份认证系统,使用Z语言对其进行形式化描述.在形式化过程中,对该系统用户身份记录定义了读、添加、更新、删除四种操作,对该系统用户身份认证定义了登录、退出二种操作.对于每种操作,还定义了具体的操作步骤、操作需要的前提条件和提示信息.身份认证是整个信息安全体系的基础,并越来越受到重视,因此研究身份认证系统的形式化具有一定的现实意义.     

多目标模拟退火算法及其应用研究进展

作为一种简单有效的多目标智能优化算法,多目标模拟退火(MOSA)算法已经引起了广泛研究并在许多领域得到应用。针对近二十年来MOSA算法及其应用的进展进行了系统的综述和评论。首先描述了MOSA算法的基本框架;接着讨论了几种典型的MOSA算法,重点探讨了这些算法的接受概率函数的计算方法,并对这些算法进行归类性分析;然后介绍了MOSA算法的应用进展;最后,根据当前MOSA算法的研究状况,展望了该算法若干值得进一步研究的方向和所面临的挑战。可为今后对MOSA算法的改进以及在实际工程应用中的研究提供综合参考。     

赋权有向图的最小生成树算法

针对赋权有向图最小生成树问题存在可行解的情况,根据树节点入度最大值为1的性质,提出赋权有向图最小生成树性质。采用反证法,调整生成树根节点到弧头的路径来证明赋权有向图MST性质的正确性。基于赋权有向图MST性质,给出改进的Prim和Kruskal算法及其时间复杂度分析。实验给出构造某赋权有向图实例最小生成树的具体步骤,表明这2种算法能正确有效地构造赋权有向图最小生成树。