基于符号迁移图的互模拟验证算法

符号迁移图是传值进程的一种直观而简洁的语义表示模型，该模型由Hennessy和Lin首先提出，随后又被Lin推广至带赋值的符号迁移图，本文不但定义了符号迁移图各种版本（基／符号）的强操作语义和强互模拟，提出了相互的强互模拟算法，而且通过引入符号观察图和符号同余图，给出了其弱互模拟等价和观察同余的验证算法，给出并证明了了τ－循环和τ－边消去定理，在应用任何弱互模拟观察同余验证算法之前，均可利用这些定理对所给符号迁移图进行化简。     

在Word中巧妙输入数学符号

一，利用“符号栏” 选中“视图→工具栏→符号栏”（符号栏前有√标记），此时“符号栏”会显示在Word窗口的下方，单击相应的数学符号，便可快捷录入数学符号，并可连续、重复录入。如果符号栏上没有你需要的符号，可以通过下列方法重新设定符号栏：     

自动生成华光（方正）符号——内码对应表

由于华光（方正）电子排版系统扩充了国标的符号，因此“符号－内码对应表”不仅对操作人员一目了然，而且对程序员也极为有用。本文简要地介绍了华光系统符号编码规则及Ｓ２文件与表格有关的简单命令，并给出了自动生成符号－内码对应表的实用程序     

巧妙输入数学符号

一、利用“符号栏” 选中“视图→工具栏→符号栏”（符号栏前有√标记），此时“符号栏”会显示在Word窗口的下方．单击相应的数学符号，便可快捷录入数学符号，并可连续、重复录入。如果符号栏上没有你需要的符号，可以通过下列方法重新设定符号栏：     

符号网络分析系统

本文介绍了作者用符号演算法，在微型计算机上实现了一套符号网络分析系统，使用这套系统作网络辅助分析与设计，可得精确的符号解，还可清楚地了解每个元件在网络中的作用和贡献。     

基于MapX复杂符号标绘的一种新方法

在一些需要使用复杂符号甚至动态符号基于MapX的GIS系统里，Mapx提供的符号标绘功能存在明显的不足，不能满足一些系统的实际需要。鉴于此，本文基于对MapX的内部实现机制的分析，提出一种新的实现复杂符号标绘的技术方法，同时给出了在VC＋＋环境下的具体实现过程。实验证明，该方法可以使我们在MapX上标绘任意复杂的动静态符号。     

多级映射原理在模糊传感器中的应用

在介绍多级映射原理基础上，以模糊温度传感器为例讨论了多级符号表示方法，符号测量结果显示方法等问题。该方法可以推广到需要符号表示的应用研究领域。     

中文输入法“软键盘”在符号编辑中的妙用

在一般的文本编辑中，一些常用符号（如 １、２、３、《、》、［、］、｛ 、｝等）可通过ＰＣ键盘来输入，其它特殊符号的输入就需要另寻它途了。以Ｗｏｒｄ９７为例，特殊符号的输入通常就是以“插入”菜单栏中的“符号”命令来实现的。若执行此命令就会弹出“符号”对话框（图１）。 在该对话框中，“符号”选项的“子集”下拉菜单中提供了三十一种符号选项，真可以说是无所不包了！可是“面面俱到”往往会带来一些麻烦。由于调用该命令的程序较大，若运行了其它较大的程序，调用它需花更长的时间，甚至会导致死机；而且要从繁杂的“符号…     

椭圆曲线密码中标量乘算法的改进方案

基于椭圆曲线密码，提出了一种快速标量乘算法。此算法通过引入有符号和无符号滑动窗口编码方法，大大减少了标量乘算法中费时的加法运算次数。经理论分析和实验结果表明，运用有符号滑动窗口编码方法比NAF算法和无符号窗口编码方法更有优势，可以使标量乘算法比通常的算法效率提高更多。并且给出了最佳滑动窗口的宽度。     

浅谈如何控制条码符号印刷质量

控制好条码符号的印刷及出厂前的检测，是保证条码符号质量的重要条件之一，达不到质量要求的条码符号不但不能方便用户，反而会给管理造成混乱。保证条码符号质量，杜绝不合格条码符号进入应用领域，需要从以下几方面入手：     

线状图形矢量化中的行段分析与后处理

针对目前工程图纸识别中存在的几项难点技术,提出基于行程编码的矢量化方法, 对小弯度直线的纠正问题、特征线段的延伸与合并算法进行了研究.同时使用图像局部形态 分析的方法,直接在原图像上进行识别,保证了图像信息的完整性和可检测性.该项研究结果 在建筑工程图纸的自动识别及自动计算中得到了较好的应用.     

工程图纸识别与智能化光栅矢量编辑系统

该文描述了工程图纸矢量化、识别的处理与实现过程,对当前矢量化中存在的问题进行了分析研究。提出智能化光栅矢量化的方法,采用自动和交互搜索的方法实现光栅信息的提取、编辑和矢量化,并结合知识引导的联想修正技术使识别的准确性有了明显提高。文中结合建筑结构图的自动识别和计算进行了研究。     

图纸扫描消蓝技术评价与改进算法

描述工程图纸识别技术中的扫描消蓝技术，对几种二值化方法进行了分析和评估，提出了非线性适应算法，微分函数的区域分割算法和基于逻辑分级技术的二值化算法，同时结合建筑结构图的自动识别进行了试验研究，未给出最佳处理方法。而是指出对应不同类型退化的图纸。采用不同的方法或组合形式实现二值化。     

工程图中线状图形的自动分类与识别算法

描述了工程图中图形分类、识别和自动计算的方法及其理论依据。对线状图形的几何属性及其表示作了理论分析,为计算机自动识别工程图形提供了一种依据。提出采用模型逻辑的方法对工程图中常见的闭合图形进行分析、归类和识别,并结合建筑结构图中钢筋的分类、识别和自动计算进行了实验。     

A novel architecture: Using convolutional neural networks for Kansei attributes automatic evaluation and labeling

Kansei evaluation is crucial to the process of Kansei engineering. However, traditional methods are subjective and random. In order to eliminate the differences of individual evaluation criteria in product Kansei attributes evaluation, and further improve the evaluation efficiency, a novel automatic evaluation and labeling architecture for product Kansei attributes was proposed in this paper based on Convolutional Neural Networks (CNNs). The architecture consists of two modules: (1) Target detection module (Faster R-CNN was taken as an example), (2) Fine-Grained classification module (DFL-CNN was taken as an example). A case study was provided to validate the proposed architecture. The proposed architecture transformed design evaluation tasks into the recognition and classification tasks. The experiments achieved 98.837%, 96.899%, 86.047%, and 81.008% accuracy in the binary, triple, and two five-classification tasks, respectively. Our results proved the feasibility of using computer vision to mimic human vision for the automatic evaluation of Kansei attributes.     

动态模式识别算法的GPU平台实现

研究动态模式识别算法在GPU并行计算平台的实现。随着GPGPU(通用计算图形处理器)硬件的发展,基于GPU的大规模并行计算技术将有效地处理动态模式识别算法带来的海量计算问题。文中通过介绍动态模式识别算法,对算法中涉及的巨大计算量进行分析,并针对性地对其中密集计算部分进行并行化分解,移除原算法中在执行中存在的依赖关系,最终得到算法在特定的GPU平台———Jacket上的并行计算实现。实例验证表明,相比于原CPU串行程序,在GPU上运行的并行化程序能实现明显加速,因而具有很好的工程应用价值。     

Adaptive Audio-Based Context Recognition

Context recognition is an essential aspect of intelligent systems and environments. In most cases, the recognition of a context of interest cannot be achieved in a single step. Between measuring a physical phenomenon and the estimation or recognition of what this phenomenon represents, there are several intermediate stages which require a significant computation. Understanding the resource requirements of these steps is vital to determine the feasibility of context recognition on a given device. In this paper, we propose an adaptive context-recognition architecture that accommodates uncertain knowledge to deal with sensed data. The architecture consists of an adaptation component that monitors the capability and workload of a device and dynamically adapts recognition accuracy and processing time. The architecture is implemented for an audio-based context recognition. A detail account of the tradeoff between recognition time and recognition accuracy is provided.     

A Dynamic Network Model of the Color Visual Pathways for Attentive Recognition

A neural network architecture for the segmentation and recognition of colored and textured visual stimuli is presented. The architecture is based on the Boundary Contour System and Feature Contour System (BCS/FCS) of S. Grossberg and E. Mingolla. The architecture proposes a biologically-inspired mechanism for color processing based on antagonist interactions. It suggests how information from different modalities (i.e. color or texture) can be fused together to form a coherent segmentation of the visual scene. It identifies two stages of visual pattern recognition, namely, a global preattentive recognition of the visual scene followed by a local attentive recognition within a particular visual context. The global and local classification and recognition of visual stimuli use ART-type models of G. Carpenter and S. Grossberg for pattern learning and recognition based on color and texture. One example is presented corresponding to an figure-figure separation task. The architecture provides a mechanism for segmentation, categorization and recognition of images from different classes based on self-organizing principles of perception and pattern recognition.     

Fingerprint image enhancement and postprocessing based on the directional fields

Fingerprint recognition is based on minutiae matching. The matching correctness of the fingerprints is due to the effect of the accuracy of the minutiae. Fingerprint enhancement and postprocessing are used to reduce the false minutiae. In this paper, we propose methods on fingerprint enhancement and postprocessing, based on the directional fields of a fingerprint. We directly enhance the fingerprint on a gray-scale image and reduce most false minutiae in the postprocessing step. The achieved results are compared with other methods, and the reduction of false minutiae and the recovery of dropped minutiae are improved. The text was submitted by the authors in English. Gwo-Cheng Chao was born in Dasi, Taoyuan, Taiwan, in 1978. He received MS degrees in computer science and information engineering from Taiwan University of Science and Technology, Taiwan, in 2004. He is currently pursuing a PhD degree in networking and multimedia at National Taiwan University, Taipei, Taiwan. His research interests include pattern recognition, image processing, computer vision, biometrics, computer graphics, and multimedia systems. Shung-Shing Lee received BS and MS degrees in electronic engineering and a PhD degree in electrical engineering in 1980, 1987, and 1996, respectively, all from National Taiwan Institute of Technology, Taipei, Taiwan. Currently, he is an associate professor in the Department of Electrical Engineering, Ching Yun University, Jung-Li, Taiwan. His research interests include image processing, biometrics, embedded system design, SOPC, parallel computing, and parallel algorithms. Hung-Chuan Lai received his MS degree in computer science and information engineering from Chung-Hua University, Hsinchu, Taiwan, in 2002. He is currently pursuing a PhD degree at National Taiwan University of Science and Technology, Taipei, Taiwan. His research interests include image processing, VLSI, fault tolerance architecture, embedded system design, data compression, computer architecture and organization, and biometrics.     

一种面向工程项目管理的新的软件体系结构

针对目前基于传统软件体系结构开发的项目管理软件难以有效满足项目管理实际需求,提出了一种适应于工程项目管理软件的新的软件体系结构,它融合了标准的基于J2EE框架的软件体系结构的优点,并采用了对象／关系数据映射、基于Java原生类的业务对象以及业务代理、适配器等先进软件技术。基于该软件体系结构开发的工程项目管理软件,已成功在某大型建筑工程中得到实施,表明了这种新的软件体系结构可以很好地满足工程项目管理的需求。