产品方案创新的信息处理与知识发掘技术

产品方案创新的信息处理与知识发掘就是根据方案创新的需要 ,利用信息建模技术 ,在信息处理的基础上进行知识发掘 ,以利于基于知识的CAD技术在产品方案创新中的运用 ,最终达到用发掘出的知识来支持产品方案的概念设计、初步设计和详细设计等整个产品方案的创新过程。结合国内外研究现状 ,对产品方案创新的信息处理与知识发掘技术进行阐述与总结 ,并对应用前景进行展望     

The List Introduction Strategy for the Derivation of Logic Programs

We present a new program transformation strategy based on the introduction of lists. This strategy is an extension of the tupling strategy which is based on the introduction of tuples of fixed length. The list introduction strategy overcomes some of the limitations of the tupling strategy and, in particular, it makes it possible to transform general recursive programs into linear recursive ones also in cases when this transformation cannot be performed by the tupling strategy. The linear recursive programs we derive by applying the list introduction strategy have in most cases very good time and space performance because they avoid repeated evaluations of goals and unnecessary constructions of data structures. Received December 2000 / Accepted in revised form January 2002     

无线传感器网络安全技术的分析与研究

本篇文章对传感器网络安全面临的现状、挑战以及如何解决传感器网络安全问题做了详细的叙述.并从安全路由、认证、密钥管理访问控制等方面对传感器网络安全技术做了详细探究和对比.进而为研究者在对相应传感器做出选择时提供相应的依据,并最终讨论出传感器网络安全发展的方向.