- 王雨;王威;王勇;刘子乐;
分时电价是需求侧管理(DSM)的一项有效的方法,可以引导用户改变用电方式,实现削峰填谷的目的。本文提出了把峰平电价比和谷平电价比作为参数,来确定分时后用电量变化的模型。在总用电量不变条件下,该方法使得发电方和用电方均获利,达到了削填谷的目的。采用基于DSM的分时电价优化的程序,验证了该方法的可行性。
2007年03期 No.167 1-2+38+4页 [查看摘要][在线阅读][下载 367K] - 夏镇;饶若楠;
软件测试在目前的软件开发过程中的地位日益重要。特别是目前的软件功能愈来愈多,必须保证各功能组合之间不产生冲突。如果以无条件地测试所有功能组合,则测试项目数会呈指数级增长而使得实际测试不可能。为了抑制这种组合的发散,利用正交表来设计测试是一种有效的方法。本文阐述了一种基于正交表的功能组合测试设计方法和应用,并开发了相应的测试用例生成工具,基于正交表原理,对测试对象程序的各功能项进行组合,确保用较少的测试用例达到较大的测试覆盖率。实验表明,与传统手工测试用例设计方法相比,利用该方法生成的测试用例覆盖率提高2倍,Bug发现率增加3倍,测试用例设计工时压缩为1/6。
2007年03期 No.167 3-6+9+4页 [查看摘要][在线阅读][下载 911K] - 苏建元;叶海涛;冷波;徐敏;
介绍了统一建模语言UML的主要内容和应用范围。针对UML概念多、模型复杂、不便大家正确使用的特点,提出了UML模型的选择策略,即根据模型间的层次关系、RUP开发过程模型的使用映射关系和每个模型的使用条件等进行选择。恰当的模型选择有利于提高利用UML进行系统分析的效率和准确性,规范的系统开发有利于降低风险、提高开发成功率。
2007年03期 No.167 7-9+4页 [查看摘要][在线阅读][下载 296K] - 张嘉铭;张思博;赵建军;
本文通过实现一个基于VeriJava语法与语义检查、验证的编译器,试图在编译阶段通过对方法,类等先决条件与后置条件的验证,在逻辑上保证方法的正确性,帮助开发人员在开发的过程中及时找到设计错误或协调沟通问题,促进交流与理解,使开发过程更为完善。
2007年03期 No.167 14-16+4页 [查看摘要][在线阅读][下载 278K]
- 曹蓁;李建华;
本文分别从空间域、变换域分析了常用的图像信息隐藏技术和图像信息隐藏检测技术,研究了一种可对DFT域、DCT域和DWT域图像信息隐藏实现通用盲检测的基于频率域差分直方图能量分布分析的通用信息隐藏检测方法,并在此基础上设计了互联网内容监管网关中的图像信息隐藏检测模块,进行了功能性实验,表明该方法能有效检测图像信息隐藏。
2007年03期 No.167 17-21+27+4页 [查看摘要][在线阅读][下载 535K] - 何少鹏;翁惠玉;
网关是连接不同技术电话通信网络的桥梁。网关中最主要要解决的问题是不同信令之间的转换。本文论证了SIP信令和ISDN DSS1信令的转换的可能性,并且提供了一种在实际项目中证明可行的实现方案。
2007年03期 No.167 22-23+48+5页 [查看摘要][在线阅读][下载 263K] - 陈旻;翁惠玉;
当一个移动节点(MN)或移动路由器(MR)移动到另一个移动网络,并通过另一个MR提供接入时,这样的情况称为嵌套移动网络,这样的嵌套可以有很多层。一个典型的例子是携带笔记本电脑的乘客登上一架通过MR提供移动网络服务的航班,并通过该MR访问互联网或公司的内部网络。在这种情况下,移动节点和通信节点之间的数据包的传送路径将到达每个节点的HA(家乡代理)处,因此其路径将比基本的MIP(移动IP)长得多,现有路由优化方法不能解决这个问题,因为可以旁路MN的HA,但是却无法跳过MR的HA。本文通过在民航移动网络的设计中应用HMIP(层次移动IP)思想,并对其进行一定的改进来解决上面的这些问题,提高网络的运行效率。
2007年03期 No.167 24-27+5页 [查看摘要][在线阅读][下载 397K] - 徐静;许童羽;
随着电力信息化建设的不断推进,用电营销管理在我国农电系统中得到迅速的普及和应用,为了摆脱电量数据的采集、传输环节上传统的手工抄表效率低下的困境,可以利用手持抄表器代替手工抄表。本文提出了基于ARM7TDMI核的S3C44BOX微处理器芯片的手持抄表器的硬件系统设计方案,及其系统软件的实现。
2007年03期 No.167 28-29+52+5页 [查看摘要][在线阅读][下载 261K] - 张杰;李秀娟;漆随平;
本文介绍了XML技术在一个基于B/S架构的房地产管理信息系统设计与实现中的应用,并通过查看合同信息实例详细描述了如何在MVC模式下利用XML实现数据在Web浏览器中的动态发布。
2007年03期 No.167 30-31+41+5页 [查看摘要][在线阅读][下载 256K]
- 姜尚坤;李雪松;陈坚;
本文主要介绍了Producer/Consumer通信模式的传送原理,以及它是如何通过CTDMA算法在ControlNet上实现的,并说明了ControlNet的组态及网络中的Keeper所发挥的作用。另外,根据使用ControlNet的经验,介绍了在使用ControlNet时应该注意的一些问题。
2007年03期 No.167 32-33+13+5页 [查看摘要][在线阅读][下载 327K] - 张南平;陈大鹏;李鹏;
Shale是新型的Web应用框架,它将整体框架划分为多个独立的层,各层间松散耦合负责不同的任务,根据需求灵活组合实现具本应用。文章阐述了Shale框架基本思想和主要特性,在重点分析研究Shale视图控制器和对话管理器的基础上,通过具体实例详述了Shale框架在Web应用中的实现,采用代码片断对关键技术点做了明确说明。
2007年03期 No.167 34-36+5页 [查看摘要][在线阅读][下载 376K] - 程金良;卢宏涛;
文章介绍了传感器状态诊断的重要性,分析了能够间接反映传感器状态的参数,介绍了人工神经网络的基本知识。在Matlab环境下,研究利用BP网络识别传感器状态曲线中快速劣化的方法。经过仿真分析,能够达到状态监测的目的。
2007年03期 No.167 37-38+5页 [查看摘要][在线阅读][下载 222K] - 胡炜;尤晋元;
Linux内核在向嵌入式硬件平台的移植过程中会遇到各种问题,有些是纯软件问题,有些是软件和硬件接口的问题。在开发过程中,后一类问题往往难以借助现有的调试工具来分析。本文结合一个由于时钟问题导致Linux内核挂起的实际案例,论述了如何通过实验数据的分析结合理论推导来解决问题的方法。
2007年03期 No.167 39-41+5页 [查看摘要][在线阅读][下载 246K] - 耿志骁;杨根兴;
正交矩阵测试方法是一种基于配对覆盖组合测试策略,是一种尽可能用最少的测试用例来达到最大的测试效率的方法。但是对于实际的测试问题会面临比较多重的复杂情况导致理论上的方法的不适用,或者计算过于复杂。本文先简单介绍一下正交矩阵测试用例生成方法,然后讨论这种方法在实际运用中复杂问题的解决策略。
2007年03期 No.167 42-44+64+5-6页 [查看摘要][在线阅读][下载 408K] - 季国新;
本文主要探讨一下在Windows平台下的Web应用程序的安全性测试,就缓冲区溢出的测试做重点论述。本文解释了缓冲区溢出的概念,对缓冲区溢出的原理进行了详细的阐述;通过一个会导致缓冲区溢出的程序代码进行实例分析,总结出了缓冲区溢出攻击的类型;最后,结合缓冲区溢出攻击的类型,提出了缓冲区溢出攻击的防范策略。
2007年03期 No.167 45-48+6页 [查看摘要][在线阅读][下载 312K] - 邓超;熊选东;
文章提出一种基于DOM的Web信息提取方法,通过归纳学习获得被提取信息的定位路径,利用XPath和XSLT在数据定位和数据转换方面的特点编写提取模式,根据网页元素与DOM节点对应关系,判断所获得信息源是否适用于已有提取模式。
2007年03期 No.167 49-52+6页 [查看摘要][在线阅读][下载 277K] - 刘斌;徐谦;陈桦;
关系型数据库中包含了大量的关系模式,其中的数据结构一般为结构化或半结构化数据。通过机器的概念学习,从这些数据结构中提取信息、得到更高层次的概念,这个机器学习的过程效率高低,将直接影响概念的获取,建立一个并行概念学习系统是一种比较可行的方法。文中探讨了关系型数据库的并行概念学习方法,给出了一种并行学习策略,建立了一种并行概念学习系统,可以有效地提高关系型数据库概念学习的效率,从而挖掘出更高层次的概念。
2007年03期 No.167 53-54+58+6页 [查看摘要][在线阅读][下载 280K] - 高伟;郭瑾;
随着移动通信产业的迅速发展,移动增值业务越来越受到人们的关注。而在移动设备中,手机的使用越来越广泛,手机游戏已经成为用户娱乐消遣的主要工具之一。论文分析并论述了基于MIDP开发手机游戏的方法,设计并实现了战斗机的手机游戏。
2007年03期 No.167 55-58+6页 [查看摘要][在线阅读][下载 345K]