具有（W~＊－W）CPCP的共轭空间X

本文引进了概念（ｗ￣＊一ｗ）ＣＰＣＰ，并证明了：若ｘ”具有（ｗ￣＊一ｗ）ＣＰＣＰ，则Ｘ￣＊的每个非空ｗ￣＊一紧凸子集Ｋ的弱￣＊一弱连续点集是Ｋ的弱￣＊一稠密子集。     

带有非相参积累的序列统计恒虚警检测器

雷达检测中,为了改善检测性能经常采用非相参积累的方法以获取高信杂比的目标回波,本文讨论了平方律检波后带有非相参积累的序列统计恒虚警检测器,分析了Swerling起伏目标情况下的检测性能,并介绍了该检测器在实际工作中的一种应用。     

合成烯丙基砜的新方法

报道一种简单、便利的一步合成烯丙基砜的新方法。     

相量法在实际生产中的应用

本文详细说明了在实际生产中应用相量法能够快速、准确地分析和排除电力系统故障。     

教学机器人实验系统的开发

本文首先介绍了教学机器人实验系统的设计思想和系统构成，然后对其工作方式及与上位机的联机操作方法作了简要的说明，最后对该系统中模拟通用机器人语言所开发的模拟机器人语言的语句及应用这种机器人语言进行编程的特色作了专门的阐述．     

WTO与我国服装业改革

中国加入WTO，全球经济一体化，我国服装业挑战和机遇并存，服装行业应正视差距，必须努力掌握市场信息，适应市场需求，有效地利用自身资源优势，引进和发展先进科技，加强信息管理，使服装行业尽快地与国际接轨，融入世界服装强国之列。     

浅谈智能模糊控制恒压供水系统

文章介绍在变频恒压供水系统的基础上采用智能模糊控制等特性来完成恒压供水。     

三峡库区移民区曲溪小流域能源利用分析

通过分析小流域的能源资源现状、不同时期能源需求变化对生态环境的影响、秸秆利用对坡耕地生产力的影响、经济发展对生物质能需求影响、节能及替代能源对生物质能需求的影响等,提出了解决能源问题,促进生态环境持续改善的对策.     

优化高校教师知识产权激励制度

阐述了高校教师知识产权激励制度的内容和功效,并在分析现行高校教师知识产权激励乏力的基础上,对优化高校教师知识产权激励制度提出建议.     

Static extracting method of software intended behavior based on API functions invoking

The method of extracting and describing the intended behavior of software precisely has become one of the key points in the fields of software behavior＇s dynamic and trusted authentication. In this paper, the author proposes a specified measure of extracting SIBDS （software intended behaviors describing sets） statically from the binary executable using the software＇s API functions invoking, and also introduces the definition of the structure used to store the SIBDS in detail. Experimental results demonstrate that the extracting method and the storage structure definition offers three strong properties： （i） it can describe the software＇s intended behavior accurately; （ii） it demands a small storage expense; （iii） it provides strong capability to defend against mimicry attack.