CAD技术在模具制造中的应用

作为一种高附加值和高技术密集型产业,模具工业已成为当今工业发展的基础.而模具工业发展的关键主要依靠先进技术的应用,本文在介绍了模具制造技术的性质和特点的同时,试析现代模具设计、制造中应用的各种先进制造及CAD技术的应用,揭示了当前模具制造领域的发展方向.     

SSL VPN技术的应用与发展

本文介绍了SSL VPN技术的概念及其相关原理,并给出了一个利用Open VPN软件基于SSL的VPN的实现,最后总结出了SSL VPN的缺陷和改进方法。     

Test frame updating in CPM testing of Prolog programs

Category Partition Method (CPM) is a general approach to specification-based program testing, where test frame reduction and refinement are two important issues. Test frame reduction is necessary since too many test frames may be produced, and test frame refinement is important since during CPM testing new information about test frame generation may be achieved and considered incrementally. Besides the information provided by testers or users, implementation related knowledge offers alternative information for reducing and refining CPM test frames. This paper explores the idea by proposing a call patterns semantics based test frame updating method for Prolog programs, in which a call patterns analysis is used to collect information about the way in which procedures are used in a program. The updated test frames will be represented as constraints. The effect of our test frame updating is two-fold. On one hand, it removes “uncared” data from the original set of test frames; on the other hand, it refines the test frames to which we should pay more attention. The first effect makes the input domain on which a procedure must be tested a subset of the procedure’s input domain, and the latter makes testers stand more chance to find out the faults that are more likely to show their presence in the use of the program under consideration. Our test frame updating method preserves the effectiveness of CPM testing with respect to the detection of faults we care. The test case generation from the updated set of test frames is also discussed. In order to show the applicability of our method an approximation call patterns semantics is proposed, and the test frame updating on the semantics is illustrated by an example.

一种小型嵌入式Linux Boot Loader的设计与实现

提出了一种小型嵌入式Linux Boot Loader的设计方案,并详细介绍该方案在Arm-Linux平台上的实现过程.方案大大简化了特定应用平台下Linux Boot Loader的设计,并且大大减小了生成的可执行文件的大小,针对特定应用平台自行设计小型的Boot Loader具有一定的参考价值.     

基于WEB服务器方式中优化ClearCase手动同步系统的实现

针对ClearCase同步功能的不足,使用网页浏览的方式,运用适合Unix、Solaris等操作系统的Perl脚本语言及ASP客户端脚本语言编写程序代码,改善繁琐的操作界面,简化手动同步的步骤,提高手动同步功能的实用价值,构建了具有Web服务器方式的运行环境,优化了手动同步功能.     

等离子体包覆目标RCS可视化计算

本文研究了高频区等离子体包覆目标的RCS可视化计算,将等离子体包覆目标的RCS计算分两部分完成,首先分析电磁波在等离子体中传播的折射衰减及碰撞衰减,将衰减后电磁波利用GRECO算法完成目标RCS计算,与诸如FDTD等数值算法相比,本方法不受目标大小限制,能够快速计算出等离子体包覆目标RCS值,为等离子体隐身技术的工程应用提供了理论参考.     

Linux下基于ARM的工业控制终端与PLC通信技术的研究与应用

结合自动切纸机的嵌入式工业控制终端的开发,分析了Linux下以ARM9为处理器的工业控制终端与三菱F×系列PLC通信的过程.详细介绍了ARM与PLC之间的通信协议、通信命令、通信机制,可以实现ARM与PLC之间实时数据交换和控制功能.     

基于MathML的数学公式在线编辑与传输的研究

大量公式和符号的编辑与传输处理是在线数学学术交流与教育活动中很重要的一个内容,MathML(Mathematical Markup Language)的出现为数学公式的在线编辑提供了强有力的支持.在对比分析相关技术的基础上,基于MathML设计一个在线公式编辑器并应用于数学论坛中,实现了公式的在线编辑、发布与显示等功能,具有很好的平台无关性、灵活性和可扩展性.     

基于身份的电子印章设计与实现

随着办公自动化的发展,电子文档逐渐取代了传统的纸制文档。电子印章可以有效保障企业办公自动化中电子文档的安全性。在分析现有电子印章的签名方案的基础上,提出基于身份的电子印章的设计方法,给出基于身份电子印章系统的构架和相应的签名算法。最后指出该方法安全性以及特点。     

基于数字音频广播技术的数据服务介绍

依据对数字音频广播技术的相关国际标准分析,仔细阐述了目前各类基于数字音频广播技术的数据服务类型,提出了一种基于广播网络的数据服务的基本体系结构.经过对数字音频广播国际标准的协议栈分析,着重介绍了网络层和应用层的划分,以及这两层内目前流行的各种协议.最后,介绍了北京市基于此类标准的数据服务的实现方法.