多处理器结构实现并行推理初探

推理机是第五代计算机的核心,扩展的PROLOG 语言是第五代计算机的核心语言,基于PROLOG 语言的推理机的研究,已引起了越来越多的人的兴趣。本文首先简要介绍了PROLOG 程序中的五种固有并行性:“与”并行性、“或”并行性,搜索并行性,流并行性和变量匹配并行性。然后着重分析了实现“与”并行和“或”并行必须要解决的问题。“与”并行中的关键问题是确定体中各目标的执行顺序和对目标的所有解进行相容性检测。“或”并行中的关键问题是设计好的子句排序算法和根据求解要求自动中止某些求解进程。一个好的一致化算法也是加速求解进程的关键问题。文中提出了相容性检测算法和子句排句算法的设计规则,同时也介绍了Conery 和Kibler 在并行中确定目标执行顺序的一个定序算法。文中最后给出了一种实现并行推理的多处理器结构。该处理器结构同时执行“与”并行和“或”并行,“或”并行中又包含并行和流水。该处理器结构简单清楚,处理器之间相互独立,通信少,便于扩充,控制也比较方便。     

一种改进的天棚半主动控制算法

针对传统天棚阻尼控制对参数可变的磁流变半主动悬挂系统不能进行有效控制的问题,设计了一种最小控制综合与天棚混合的控制算法;首先建立了理想天棚阻尼控制算法的模型,依据最小控制综合算法模型结构特点将理想天棚阻尼控制作为参考模型;然后依据磁流变阻尼器控制力特点,改进了最小控制综合算法的反馈控制方程,得到混合控制算法的控制律;最后对改进的算法进行了仿真分析;仿真结果表明,混合控制算法在悬挂系统参数发生变化的情况下能够有效降低车体加速度和车轮动载荷,具有较好的控制效果;所设计的改进的天棚半主动控制可以提高车辆的行驶平顺性,对被控系统参数的变化具有良好的适应性,具有较高的实用价值。     

最小费用布线

本文提出最小费用布线,此是李氏算法的一种改进算法.定义了费用函数,在格同图G上已给两点s和t,按照最小费用,找s和t之间的最小费用连线.此比用李氏算法找线快,便于控制走线.最小费用布线法已经用FORTRAN语言编写程序,在M68000计算机上进行了试算.     

基于庐山三维场景的图算法虚拟仿真系统研究

为应对传统计算机算法教学中理论知识存在逻辑性强、抽象程度高、教学与实验脱节、缺乏交互性等现实问题,本文借助虚拟现实技术,基于江西知名旅游胜地庐山的三维场景,使用Unity3D引擎设计图算法虚拟仿真系统。该系统实现5种图算法的仿真实验过程,每种图算法均提供“自动展示”和“用户交互”这2种运行模式,还提供用户进入景点(对应图的结点)分场景的自由控制视角浏览庐山景观的功能;同时,探讨本虚拟仿真系统存在的理论问题,并给出解决这些问题的关键技术和实施方案;最后,通过Prim最小生成树算法验证本虚拟仿真系统的实用性和灵活性。与传统的算法讲授、个性化问题驱动教学方式相比,本文设计的图算法虚拟仿真系统具有趣味性、交互性、沉浸性,既能激发学生学习的探索性和主动性,又为算法与数据结构课程提供了一种新的教学和实验方法。     

多智能体系统最优持久编队自动生成

在最优刚性编队基础上,本文研究了多智能体系统的最优持久编队自动生成算法,所得算法能最大限度地减少维持编队结构稳定所需的信息交互量.首先,对于任意的最小刚性图.提出了缩减其范围的两种刚性逆操作;然后,设计了将包含于此两种操作中的无向边增加方向的规则,以使对应顶点的出度不大于2;并且在此基础上得到了任意最小持久图的生成算法,保证了最优持久编队的生成.最后,进行仿真研究,验证了提出算法的有效性.     

门阵列和标准单元布图中一种有效的走线道分配算法*

本文提出了一种用于门阵列和标准单元版图自动设计中的走线道分配算法一FARM，它连接总体布线和通道布线．算法目标是使通道的最大密度最小，同时考虑减小线网长度和通孔数．FARM由两部分组成：多行走线道分配和单行走线道分配它已用c语言在DE(：工作站和sun工作站上实现，并已用于我们开发的双层CMOS门阵列布图系统MALS3中．实验例子表明，它与Timborwolf 5.6的结果相当或更好．     

一种基于图象内部信息的轮廓匹配和切片对齐新方法

针对在进行平行系列医学图象三维重建的过程中遇到的两个常见问题-轮廓匹配和切片的对齐问题,提出了一种基于图象内部各个轮廓间相对位置信息的新算法,即利用生物体在系列切面层上的重心位置具有连续性这一规律,在相邻两切片层内寻找轮廓之间的匹配关系,在对齐时,该算法可根据图象的内部信息,首先一性次将切片图移动到理想对齐 位置的附近,然后在其周围寻找使相邻层各匹配轮廓平均距离最小的理想对齐位置。同时,设计了一种一般性的方法,对算法进行了检验,结果证明,该方法具有很高的准确性和实用性。     

门阵列和标准单元布图中一种有效的走线道分配算法

本提出了一种用于门阵列和标准单元图自动设计中的走线道分配算法－ＦＡＲＭ，它连接总体布张和通道布线，算法目标是使通道的最大密度最小，同时考虑减小线网长度和通孔数。ＦＡＲＭ同两部分组成，多行走线道分配和单行走线分配。它已用Ｃ语言在ＤＥＣ工作站和Ｓｕｎ工作上实现，并已用于我们开发的双层ＣＭＯＳ门阵布图系统ＭＡＬＳ３中，实验例子表明，它与ＴｉｍｂｏｒＷｏｌｆ５．６的结果相当或更好。     

基于能效的多小区LTE系统资源分配算法

针对多小区LTE移动通信系统,考虑用户的最小速率要求,以最大化系统能效为目标,提出了一种迭代式的资源分配算法,通过不断迭代子信道分配和功率控制两个子过程来优化系统能效.针对子信道分配问题,提出了一种基于三种基本模式的子信道调整算法;针对功率控制问题,建立了多小区非合作博弈模型,理论证明了纳什均衡点的存在性,并设计了算法收敛于该纳什均衡点.仿真结果表明,与多小区最大化系统吞吐量算法相比,提出的算法获得了明显的能效增益,同时也达到了较好的系统吞吐量,尤其在强干扰环境下该算法的优势更加明显.     

输出重定义下的非线性非最小相位系统迭代学习控制

讨论非线性非最小相位系统实现完全跟踪的迭代学习控制方法, 适于在有限作业区间上重复运行的受控系统. 在控制器设计时, 通过输出重定义以使非最小相位系统的零动态变成渐近稳定特性. 分别采用部分限幅和完全限幅两种学习算法设计控制器, 理论分析表明两种算法能够保证学习系统中所有变量的有界性和跟踪误差在整个作业区间上渐近收敛于零. 数值仿真验证了两种迭代学习控制系统的跟踪性能.     

倪光南：智为科学 痴为产业

“游戏规则”是一种很可爱的说法。游戏大家参与，规则却是少数人制定或者是历史造就。因此，游戏参与者有时尽管赢了游戏，却未必赢了规则。倪光南相反，他是一个输了游戏赢了规则的人。只不过，输与赢之间时间顺序难以倒排。     

MIMO系统预测控制及其Matlab与VC仿真实现

本文对一个多入多出耦合系统设计了一种基于隐式算法的广义预测控制器(GPC),此隐式算法利用与基于脉冲模型的预测控制(DMC)算法的等价性化简,避免求解Diophantine方程。同时对此多入多出系统设计了DMC控制器,并对二种算法和控制效果进行了比较。本文用Matlab编程实现两种控制算法,用VC++设计界面,在VC中调用M函数的动态链接库DLL实现Matlab和VC的混合编程。对此被控MIMO系统,最终即可通过在VC界面上实现控制方式和控制输出的设定得到控制输入输出的仿真图。此程序可以脱离Matlab环境运行。     

基于GMM区分性训练方法的语言辨识系统

文章给出了一种新的语言辨识系统,该系统基于高斯混合模型的区分性训练算法。该区分训练算法在估计模型参数时,采用了广义概率下降法(GPD)和最小分类误差准则(MCE)。利用OGI多语言电话语料库对算法进行了测试,实验表明,该算法是进行语言辨识的一种有效方法。     

处理机场与MST算法并行化的实现

本文结合并行Ｃ语言的处理机场的结构特点，着重论述了最小生成树算法在多Ｔｒａｎｓｐｕｔｅｒ系统上的并行化设计方案以及处理机场在其实现中的应用。     

大屏幕显示系统的软件设计

本文介绍在ＰＣ机的管理下多个大屏幕ＬＥＤ显示系统的软件设计方法．着重介绍ＰＣ机用Ｃ语言编写的“显示窗口设定”程序和由专用控制机（ＰＣＭ）控制的动态扫描显示及不同显示方式的数据处理及传送的程序设计框图。该系统的软硬件设计也可用于实时的大数据量处理的工业控制及加工系统中；是一种快速数据处理及控制的典型系统。     

基于图库技术的结构计算简图中荷载的自动分层标注

本文提出了有限元软件结构计算简图中考虑包容性的“荷载自动分层标注算法”,以及结构简图的“基于节点的尺寸标注算法”。     

并行性挖掘的图文法方法

并行性分析技术一般通过对程序的控制与数据流图或相关依赖图的分析来实现,因而需要从程序中抽取出相应依赖图的算法的支持.本文基于上下文相关图文法RGG形式框架,定义了一种任务级的并行编程图语言GPPL来直接描述顺序或并行程序的控制与数据流图,而且设计了相应的并行性分析算法以挖掘GPPL图程序的并行性特征.GPPL图语言可视为并行程序设计与程序代码生成之间的协同语言,从而使并行性挖掘避免了从程序中抽取出相应依赖图的过程.与已有的描述顺序或并行程序的图语言及其分析算法相比,GPPL图程序形式更为简洁和直观,易于设计,描述能力也更强;基于GPPL图的并行性分析算法的分析能力更强,而且具有可扩展性.     

改进的最小割集生成算法与联锁系统模型的安全性测试*

为保证铁路联锁模型的安全性,在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法,动态地描述铁路联锁系统的安全性需求,并根据Petri网安全需求模型的可达标志图,提出一种能自动生成最小割集的算法。根据算法生成的最小割集,设计了一个联锁安全检测器,用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真,仿真结果表明联锁安全检测器能够保证模型的安全性。     

工程约束表示模型与求解算法研究

分析了工程设计中约束问题的特点和规律,阐明了工程约束与几何约束在工程ＣＡＤ领域中的表现形式,从一般工程意义上提出了符合工程特点的“多元约束图”的约束表示模型。基于“多元约束图”模型,文章提出了“最小约束度优先和最小值域范围优先”的约束求解算法,描述了针对该算法的约束传播层的设计思想,将约束变量有序地形成一单向依赖关系表,有效地表达了约束一致性的思想,较大规模地减少了搜索空间,该研究应用于工厂钢结构     

网络攻击图生成算法研究

攻击模型能够对攻击过程进行结构化描述和有效分析,攻击图可以清楚地分析攻击者可能采取的攻击路径,两者对网络安全策略的制定具有重要的指导意义.设计了一种基于状态转移的网络攻击模型,并基于该模型设计了攻击图生成系统的架构和相应的攻击图生成算法,在攻击图生成算法中引入了代价分析机制和规模控制机制.仿真实验结果表明,利用所设计的模型和算法不仅能有效地预测攻击者可能采用的各种攻击路径和最佳攻击路径,而且能有效地控制攻击图的规模.