基于MSP430F149的便携式超声波测距仪设计

根据超声波测距原理,设计了一种基于MSP430F149的便携式超声波测距仪;详细介绍了该测距仪硬件电路的设计,并给出了该测距仪软件主程序流程。测试结果表明,该测距仪运行稳定、性能可靠,测量精度可达2 mm。     

基于Internet的物联网系统中设备互联和实时在线技术

针对物联网系统中信息交互的实时性和系统自治特性,提出一种基于Internet和嵌入式设备构建物联网的技术;通过基于客户/服务器的体系结构和面向连接的设备实时在线技术实现信息交互的实时性,进一步通过一种服务器地址自动迁移技术实现基于Inter-net的嵌入式设备物联网的系统自治特性;通过多台嵌入式设备组网进行实际测试验证,系统满足良好的扩展性和设备即插即用特性,设备间数据通信相应时间低于1s,具有良好的实时性,可广泛应用于嵌入式设备的互联互通。     

如何有效培养和提高高级语言程序设计学习兴趣

针对大学本科高级语言程序设计教学中对学生学习兴趣的培养不够重视的实际状况,文章在分析学习兴趣对教学重要性的基础上,就如何培养和提高学生的学习兴趣进行了深入的研究;结合笔者在计算机本科教学改革中所作的尝试,着重从融洽师生感情、认识课程重要性、精心选择例题、多模式教学、丰富学习交流互动渠道和改进实验体系6个方面给出了合理有效的方法,有效地培养和提高学生的学习兴趣,在很大程度上提高了整体教学效果。     

一种多功能网络监控与防御平台设计与实现

本文提出了一种多功能网络监控与防御系统。文中根据网络自身的结构,从骨干层、汇聚层、接入层三个层次分析,采用三层设计模式,它们相互独立又相互协作,共同构成高性能、多层次、多功能综合解决方案。形成深度防御体系,最大限度地保护企业和组织的网络安全。     

光纤陀螺输入轴失准角温度补偿研究

提高温度特性是光纤陀螺仪工程化的一个难题,温度补偿是解决该问题的一种有效方法。光纤陀螺与温度相关误差项主要为零漂和标度因数,输入轴失准角也是影响光纤陀螺应用的一个重要误差项。在大量试验的基础上,分析了光纤陀螺输入轴失准角误差产生机理,采用多项式拟合方法建立了输入轴失准角误差全温模型,对多套光纤陀螺进行了全温补偿。试验结果表明,输入轴失准角补偿前全温变化在2?10^-3rad数量级,补偿后全温变化小于3?10^-4rad,精度提高了近一个数量级,大大提高了光纤陀螺仪的全温性能。     

Mesh Decomposition with Cross‐Boundary Brushes

We present a new intuitive UI, which we call cross‐boundary brushes, for interactive mesh decomposition. The user roughly draws one or more strokes across a desired cut and our system automatically returns a best cut running through all the strokes. By the different natures of part components (i.e., semantic parts) and patch components (i.e., flatter surface patches) in general models, we design two corresponding brushes: part‐brush and patch‐brush. These two types of brushes share a common user interface, enabling easy switch between them. The part‐brush executes a cut along an isoline of a harmonic field driven by the user‐specified strokes. We show that the inherent smoothness of the harmonic field together with a carefully designed isoline selection scheme lead to segmentation results that are insensitive to noise, pose, tessellation and variation in user's strokes. Our patch‐brush uses a novel facet‐based surface metric that alleviates sensitivity to noise and fine details common in region‐growing algorithms. Extensive experimental results demonstrate that our cutting tools can produce user‐desired segmentations for a wide variety of models even with single strokes. We also show that our tools outperform the state‐of‐art interactive segmentation tools in terms of ease of use and segmentation quality.     

An axiom system for sequence-based specification

This paper establishes an axiomatic foundation and a representation theorem for the rigorous, constructive process, called sequence-based specification, of deriving precise specifications from ordinary (informal) statements of functional requirements. The representation theorem targets a special class of Mealy state machines, and algorithms are presented for converting from the set of sequences that define the specification to the equivalent Mealy machine, and vice versa. Since its inception, sequence-based specification has been effectively used in a variety of real applications, with gains reported in quality and productivity. This paper establishes the mathematical foundation independently of the process itself.     

Analytical modelling of networks in multicomputer systems under bursty and batch arrival traffic

The hypercube and torus are two important message-passing network architectures of high-performance multicomputers. Analytical models of multicomputer networks under the non-bursty Poisson traffic have been widely reported. Motivated by the convincing evidence of bursty and batch arrival nature of traffic generated by many real-world parallel applications in high-performance computing environments, we develop a new and concise analytical model in this paper for hypercube and torus networks in the presence of batch message arrivals modelled by the compound Poisson process with geometrically distributed batch sizes. The average degree of virtual channel multiplexing is derived by employing a Markov chain which can capture the batch arrival nature. An attractive advantage of the model is its constant computation complexity independent of the network size. The accuracy of the analytical performance results is validated against those obtained from simulation experiments of an actual system.     

软件项目管理思想在“软件工程”实践教学中的应用

软件项目管理是软件工程教学中的一个重要组成部分。本文在项目管理理论的基础上,结合软件工程教学的实际,以电子商务网站工程建设为实践项目,提出了项目驱动的软件项目管理教学思想。软件工程项目实践与理论教学相结合,培养了学生团队合作精神和解决实际问题的能力,提高了教学的质量和水平。     

论两汉文化影响下的徐州公共艺术设计

本文通过分析两汉文化相关的徐州公共艺术建设现状,对两汉文化在徐州公共艺术创作中形式的运用进行深入的论证,立足本土,寻求与城市历史文化相适应的城市公共艺术形式。确立徐州公共艺术布局和主题风格的定位,指出当代徐州公共艺术设计要注重发掘和利用地域文化资源,设计高水平的公共艺术作品。