基于区域GAC模型的二值化水平集图像分割算法

针对测地线主动轮廓(GAC)模型进行了改进,提出了一种基于区域的GAC模型.通过构造基于区域统计信息的符号压力函数取代边界停止函数,有效解决了弱边界目标或离散状边界目标的分割问题.该模型采用二值化水平集方法实现,避免了传统实现方法水平集函数需要重新初始化为符号距离函数,从而导致稳定性差、计算量大、实现复杂等缺点.对不同类型图像的试验结果表明:该算法迭代收敛速度比GAC模型传统实现方法明显加快,且可有效防止边界泄漏,分割效果优于传统GAC模型与C-V模型.     

基于TwinCat的控制器在液位控制中的应用

介绍一种基于TwinCat控制平台的水箱智能控制系统,用以提高化工生产中水罐液位的控制速度.该系统主要利用TwinCat控制平台,完成下位机与上位机的数据通信;采用自学习模糊控制和PI控制相结合的智能控制算法.用VC++语言完成控制算法程序,采集下位机的监控数据,改变模糊控制规则,实现对水箱的液位控制.另外,通过编程完成了上位机监控界面的设计.实验结果表明,与模糊控制或PI控制相比,该设计控制效果较好,证明了算法的有效性.     

以就业为导向构建高职嵌入式系统专业体系

本文首先对当前嵌入式系统人才市场进行分析,并进一步剖析了相关岗位和能力需求,根据以上分析,提出在课程体系设置、实训基地建设以及师资队伍建设上的一些思路。     

Word level bitwidth reduction for unbounded hardware model checking

In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that allows us to check both bounded and unbounded properties using standard bit-level model checking methods as back-end decision procedures, while incurring minimum runtime penalties for designs that are unsuited to our analysis. We do this by combining modifications of several previously known techniques into a static abstraction algorithm which is guaranteed to produce bit-level netlists that are as small or smaller than the original bitblasted designs. We evaluate our algorithm on several challenging hardware components.     

基于维基百科的自动词义消歧方法

针对传统词义消歧仅基于上下文语境而导致准确率低的问题,提出一种多策略的无监督自动词义消歧方法。利用从维基百科在线中提炼出的丰富语义知识,线性融合上下文语境、背景知识和语义信息3大特征,根据逻辑回归算法学习各特征的权重,选取最大融合值所对应的候选项作为最优词义。在SENSEVAL数据集上取得了85．50％的平均准确率,验证了该方法的有效性。     

面向用户的IMS媒体层统一安全框架

针对IMS媒体层安全保护机制存在的问题,提出一个面向用户的IMS媒体层统-安全框架,在此基础上设计了具体的实现方案,该方案能为用户提供灵活的媒体层安全保护机制,实现媒体层加密算法与密钥的安全协商,保证用户之间端到端的通信安全。实验结果证明了该方案的有效性。     

移动基站无线传感器网络2个参数的优化

针对一种移动基站协助数据收集模式,研究移动基站最佳缓冲区位置的设计问题,得出节点在发射半径r=R的情况下,当移动基站缓冲区的中心位于2／3R时,网络的总能量消耗最小,当中心位于1／2R时,网络的寿命最长。在r〈〈R的情况下,节点的发射功率可选择{l..k}中的一种传送数据,并给出通过插值作图法得到最佳基站缓冲区位置的设置与节点最佳发射功率的计算方法,相比采用固定功率发射方法,能够将网络寿命提高5倍。     

基于C—V模型的目标检测与提取

在目标检测与提取中,传统的蛇模型和基于活动轮廓的局部区域检测方法受到初始条件或者自身的收敛性约束的影响,不仅时间花费多,而且不具备鲁棒性。本文提出一种基于C V模型的变分水平集的目标检测与提取方法,通过大量实验验证,在花费时间和鲁棒性上得到了显著的改善。     

PE,PP专家系统

简述了专家系统的发展及在塑料加工中的应用特点,介绍了成功地开发PE、PP专家系统的方法、技术及实现功能,并提出了采用压缩库大大节约存贮空间的新途径。