Petri 网的步问题研究

在基于Petri 网的模型验证方法中,步被广泛用于减少变迁实施产生的语义交织.为了研究基于步的构造算法的计算复杂性,提出步的判定问题,并证明该问题是NP 完全的.进一步给出了极大步问题的多项式时间算法和最大步问题的NP 等价性证明.最后分析两类特殊子问题是P 问题.     

多功能防喷窑自动控制系统研制成功

西安宏达微电子技术研究所开发的多功能防喷窑自动控制系统最近在陕西洋县水泥厂正式用于生产 ,被人们认为在采用机立窑水泥生产过程中不可避免的喷窑绝症终于被降服了。洋县水泥厂 1 995年新上的机立窑生产线不到 5年时间 ,先后因喷窑造成造成 1 8人被烧伤 ,直接经济损失达数十万元。机立窑在水泥烧成过程中窑内高温 1 30 0℃至 1 40 0℃ ,常常因窑内壁结圈 ,烧成带与冷却带形成脱节出现空腔 ,特别是如果窑内 CO爆炸 ,窑内气压在短时间内成倍增大 ,喷窑现象便由此产生 ,防不胜防 ,操作人员在生产过程中提心吊胆、恐惧不安。宏达所工程技术…     

基于图论的Normalized Cut图像分割方法研究

基于图论的图像分割是近年来国际上研究图像分割算法领域中一个新的热点研究方向,Normalized Cut（规一化分割）是基于图论的分割方法中比较典型的一种。本文介绍Normalized Cut方法的相关内容,分析它的优缺点并提出几种有效的改进方法。最后,实验显示Normalized Cut在特定图片的分割上取得了不错的效果。     

论平面广告设计中的联想图形

联想图形作为一种平面广告图形,通过图形使人们产生联想,从而影响消费者的情绪和行为,它不仅可以延长消费者对图形的反应时间,还可以加深对广告的理解,使广告信息在人们心目中留下更深刻的印象。     

一种快速人体骨架建模方法

提出从序列视频中快速建立人体骨架模型的方法。基于阴影特征采用Otsu算法完成运动目标检测中的阴影消除,得到准确的人体轮廓;对人体轮廓进行形态学的细化处理,采用新建立连通性结构标准和肢体关节点定位算法处理骨架建立人体骨架模型。实验结果表明,该方法对人体肢体部位各端点定位获得较高的准确率,能快速定位关节点,较好地得到人体骨架模型。     

基于多特征融合的弱小目标检测方法研究

提出了一种基于多特征距离图的红外弱小目标检测方法。弱小目标的许多特征，如局部熵、平均梯度强度等，不但刻画了弱小目标的特点而且易于提取。通过特征融合技术，可以将弱小目标检测问题转化成在一个多特征空间的极值求取问题。该方法利用已经提取的多个特征，采用特征融合技术构造一个距离图像，再对该图像进行二值化处理，达到目标检测的目的。通过对实际的红外图像序列进行小目标检测，验证了所提方法的可行性和有效性。     

诺格公司开始研究未来电子战系统

[据诺格公司网站2009年2月23日报道]美国海军与诺格公司签定了一项合同，要求诺格公司对下一代干扰机进行研究，从而取代陈旧的ALQ-99机载电子攻击系统。美国海军正在寻求方法，对抗未来美国士兵面对的各种各样电子武器、通信和敌人防空威胁。     

改进的基于凸壳仿射不变量的图像识别和配准算法

提出了一种新的基于凸壳和仿射不变量的图像识别和配准的方法。该方法利用从参考图和测试图中得到的特征点提取其凸壳，并计算凸壳的仿射不变特征向量。通过比较参考图和测试图特征向量的一致性，建立它们的仿射变换关系，最后利用凸壳内特征点的匹配来实现识别和配准。该方法的优点是即使目标物体被部分覆盖或者缺损，其图像也能够达到较好的识别和配准效果。     

基于小波域图像不变矩的图纸一致性检测

审图系统中，需要对报送的工程图纸和已有的电子图纸进行一致性检测。为此，提出了基于小波变换和图像不变矩的图纸一致性检测算法。该算法首先利用仿射变换对预处理后的工程图纸进行图纸配准，然后利用小波变换对扫描图纸和电子图纸实现小波分解，简化比对的计算量，并利用图像不变矩的平移、尺度和旋转不变特性，作为图纸比对的准则。实验结果表明，此算法能很好地实现审图系统中图纸的一致性检测。