离散事件动态系统的D-自动机模型

首先引入D-子集和D-语言的概念,在此基础上给出了一类离散事件动态系统的一般形式化表述--D-自动机模型,并讨论了受控系统的动态行为.最后研究了系统的状态可达性问题.     

微电子封装位置在线实时图像识别算法研究

提出一种针对流水线上微电子点胶封装位置的在线实时图像识别算法。通过对封装位置所在圆的颜色特征分析,提取R分量进行图像灰度化,采用迭代法对灰度图像进行阈值分割去除复杂背景得到二值图像,利用中值滤波法平滑二值图像消除分割后的噪声,运用Sobel算子提取边缘获得边缘信息,利用Hough变换找出边缘信息中待识别圆的中心位置,完成对封装位置的检测。实验结果表明,利用机器视觉技术可以快速、准确地对微电子封装位置进行定位,具有很好的理论和实际应用价值。     

敢问“路”向何方?

据分析家预测主干网的升级将在1999年全面展开。Forrester公司的Hannigan说:“在两到三年内,网络的核心将基于路由交换技术。”那么从路由技术到桥接技术再到交换技术,然后又回到了路由技术,经过这一系列转变我们究竟得到了什么,我们目前所处的位置如何?该技术将向何处发展?我们又如何才能做到这一点呢?     

机器翻译与Internet

机器翻译是一个古老而年轻的课题，它一直是人们梦寐以求的理想，本文实现一个英汉机器翻译系统主要和于翻译联机得到的内容，也可翻译实时输入的内容。本文设计了三部电子词典的数据结构，实现了词典数据库的管理软件，用户通过友好的人机交互界面，可以方便地生成自己的专用词典，本系统基于规则，实现了分析翻译综合模块，采用英汉对照方式输出原文及译文。本系统用Ｃ语言实现。     

无线音乐，无限可能——漫步者Ramble无线功放

人无远虑,必有近忧,最近我可算是“忧”上了。高清播放器买回来了,5．1音箱拉回家了,组建高清家庭影院时我才发现之前没有预埋5．1音响系统的后置音箱线,我这家庭影院完不了工了。当然我有两个选择,拉上蜘蛛侠式的明线或者当作2．1音箱用,这都不完美。但当我看到漫步者Ramble无线功放时豁然开朗,这套无线音频传输系统正好解决了我的燃眉之急。     

6招速成网购行家

这篇文章的作者．是一位刚刚“进化”成网店店主的“网络购物狂”。也许你正被网络店铺中的那些稀奇古怪的小玩意诱惑着，也许你正在担心在网络购物的过程中上当受骗，也许你正在网店中想花最少的钱淘到最好的“宝贝”．那么，你应该会有兴趣跟小编一起，听听这位网购行家的经验谈。毕竟．这些点滴的经验．都是人家用银子攒出来的。[编者按]     

微机与单片机的无线通讯

介绍使用编码器／解码器实现的微机与单片机的无线通讯     

Oracle关系数据库回退段的管理与使用

本文论述了Ｏｒａｃｌｅ关系数据库回退段的管理机制。     

求证定理！“勾股定理”课堂教学

教材分析“勾股定理”是在学生学习了直角三角形的一个重要性质“直角三角形中,30°的角所对的直角边等于斜边的一半”之后又一个有关直角三角形的重要性质。勾股定理揭示了一个直角三角形中的三边数量关系,同时,勾股定理的逆定理则由数的特征(三边满足)转化为形的特征(直角),沟通了形与数的联系,在理论上有重要地位,也是以后解直角三角形的重要依据,而且在生产与生活中应用也很大。再者,中国古代学者对勾股定理的研究有很多重要成就,对勾股定理的证明,采用了很多方法,对后世影响很大,是对学生进行爱国主义教育的好素材。学情分析学生的初始知识及技能:1.未系统学过面积理论,对勾股定理的证明中采用的拼图方法有疑惑。2.几何命题的证明(包括文字题的证明),用计算的方法进行证明不是很习惯。     

基于GPU-CUDA的共轭斜量法实现及性能对比

偏微分方程数值解法(包括有限差分法、有限元法)以及大量的数学物理方程数值解法最终都会演变成求解大型线性方程组。因此,探讨快速、稳定、精确的大型线性方程组解法一直是数值计算领域不断深入研究的课题且具有特别重要的意义。在迭代法中,共轭斜量法(又称共轭梯度法)被公认为最好的方法之一。但是,该方法最大缺点是仅适用于线性方程组系数矩阵为对称正定矩阵的情况,而且常规的CPU算法实现非常耗时。为此,通过将线性方程组系数矩阵作转换成对称矩阵后实施基于GPU-CUDA的快速共轭斜量法来解决一般性大型线性方程组的求解问题。试验结果表明:在求解效率方面,基于GPU-CUDA的共轭斜量法运行效率高,当线性方程组阶数超过3000时,其加速比将超过14;在解的精确性与求解过程的稳定性方面,与高斯列主元消去法相当。基于GPU-CUDA的快速共轭斜量法是求解一般性大型线性方程组快速而非常有效的方法。