上海大学学报(自然科学版)

缪淮扣;费立志

2007, 13(5): 489-496 .

摘要 ( 2270 )

相关文章 | 多维度评价

描述了基于UML状态图测试的一组测试准则，并提出2个新的准则:N-迁移覆盖准则和循环分类覆盖准则.然后提出针对该组测试准则的公理系统，通过此公理系统来评估该组测试准则，给出评估结果.最后根据评估结果得出一些有益的结论.测试准则的评估可为软件工程师选择测试准则提供指导和帮助.

初边值问题的块三对角可扩展并行算法

张武;张衡;

2007, 13(5): 497-503 .

摘要 ( 2230 )

相关文章 | 多维度评价

该文对二维抛物型方程带Dirichlet边界条件初边值问题的离散系统使用块三对角可扩展并行算法求解.提出反映差分格式内在并行性的概念——差分格式的并行度，利用这个概念说明差分格式自身内在并行性对并行算法性能的影响.使用该方法在上海大学超级计算机“自强3000”上进行了数值实验，实验结果与理论分析一致.在保证精度的前提下，得到线性加速比，并行效率达到90%以上.

基于Lonworks和Web Server的水闸泵站计算机远程监控系统

陈一民;秦霆镐;王晓伟

2007, 13(5): 504-510 .

摘要 ( 2328 )

相关文章 | 多维度评价

介绍一种基于Lonworks和Web Server的水闸泵站计算机远程监控系统的结构，给出了水闸泵站监控站点的硬件架构、基本功能及水闸泵站计算机远程监控系统软件架构.监控软件在结构上分为2个层次：应用层和数据通信层，基于Web Service架构采用VC++开发.根据重要水闸泵站实时的水情、雨情、工情信息并结合地理、气象信息，实现了对重要水闸泵站的远程控制.另外，说明了水力水质数学模型以及水力模型应用的基本流程，借助于专家决策系统可实现水务局信息化规划所提出的目标，完成水闸泵站的智能控制.

基于聚类肤色模型的人脸检测

丁友东;杜晓凤;李晓强

2007, 13(5): 511-515 .

摘要 ( 2435 )

相关文章 | 多维度评价

在安全检测、人机交互等人脸识别应用中，人脸的检测与定位是前期重要工作.该文提出一种改进的基于亮度聚类的肤色模型，并提出一种新的最佳阈值选择算法，设计了肤色检测算法流程.实验证明该算法提高了人脸检测的速度和鲁棒性.

三维斑图形成的格子Boltzmann方法模拟

李青;徐旭峰;周美莲

2007, 13(5): 516-518 .

摘要 ( 2363 )

相关文章 | 多维度评价

该文给出了模拟三维反应-扩散方程组的格子Boltzmann方法的Lattice BhatnagarGrossKrook（简记LBGK）模型D3Q7.并用该模型模拟了氯—碘—丙二酸反应动力学模型中的图灵斑图和螺旋波斑图的形成.

三值光计算机高数据宽度的管理策略

金翊

2007, 13(5): 519-523 .

摘要 ( 2242 )

相关文章 | 多维度评价

光学计算机必将拥有很高的数据宽度，以刚刚建成的360位三值光计算机运算器模型为背景，就高数据宽度的管理问题提出了6项基本策略.为建立这些策略，定义了算位、算道、算位类型和算道类型等新概念.这组管理策略借鉴了现行计算机操作系统管理内存的一些基本思想，使其可实现性有了基本保证.

降低软件变异测试复杂性的新方法

徐拾义

2007, 13(5): 524-531 .

摘要 ( 2231 )

相关文章 | 多维度评价

基于硬件测试技术中经常使用的故障控制及等价关系的理论，对软件变异测试提出一种新的简化决策条件故障的思想和技术，使得在变异测试中需要注入的故障数得以减少，从而简化软件变异测试过程，缩短了测试时间.由此也可有效降低软件测试复杂性，提高测试效率.实验结果证明了所提出的思想和方法的正确性和有效性.

XML与关系数据库相互转换中的语义约束完整性

叶飞跃;李霞;张滨

2007, 13(5): 532-538 .

摘要 ( 2239 )

相关文章 | 多维度评价

采用Shared Inlining方法，提出基于函数依赖的XML到关系的无损映射算法，使得原XML文档的内容和结构信息及语义约束完整地映射到关系数据库中.在此基础上利用外键连接与路径映射规则，提出基于语义约束的关系模式向XML模式的转换算法，以重构出原XML文档.提出的新观点是：映射得到的关系或XML文档的范式不但与映射算法有关，而且与XML文档或关系的规范化程度有关.定义了XML范式，提出XML文档与关系的相互转换中XML范式与关系范式对应关系的相关命题，并给出了相应证明.

基于SystemC的总线模拟模型研究与实现

吴悦;任志清;杨洪斌

2007, 13(5): 539-544 .

摘要 ( 2377 )

相关文章 | 多维度评价

该文探讨了一种基于SystemC的总线模拟模型构建方法，建立了一个基于接口方法调用机制的总线模拟模型，该模型作为片上系统的片上总线行为级模拟模型，已达到了总线的功能要求，设有多种设备类型接口，具有良好的设备可扩充性.

一种基于支持向量机的并行训练策略

雷咏梅;王雄;郭恒明;金亨科

2007, 13(5): 545-549 .

摘要 ( 2161 )

相关文章 | 多维度评价

针对基于支持向量机的分类器训练时间过长问题，提出一种并行训练策略.该策略在并行程序设计上采用主从模式，将训练任务划分成若干个子任务，分配到多个从节点上计算，最后由主节点将各从节点上的训练结果收集，生成分类器模型.采用这种算法，使用了多组稀疏型和连续型的数据集，经过在自强3000高性能计算机上测试，实验结果表明该算法不仅能够保证多分类的高准确率，而且缩短了训练时间.

基于时序挖掘的时间融合算法及在海表面温度预测中的应用

徐凌宇;方晓君;徐仁杰;沈立炜

2007, 13(5): 550-553 .

摘要 ( 2217 )

相关文章 | 多维度评价

使用序列挖掘的时间融合模型研究数字海洋中海表面温度(Sea Surface Temperature,SST)预测,对基于时序的动态SST数据进行推测.提出基于平滑处理与支持度判断的抛物线回归模型方法,通过对曲线拐点判断方法的改进,改善抛物线回归模型在趋势预测方面存在的不足.试验证明此方法对发展趋势较为平稳的SST数据具有较好的预测效果.

身份证件人像自动采集与识别系统

许华虎;王慧雅;万杰;高珏;徐琳

2007, 13(5): 554-559 .

摘要 ( 3361 )

相关文章 | 多维度评价

身份证件制作包括信息采集(也称人像采集)、信息传输、证件制作、证件查验4个环节，人像采集是身份证制作过程中的第一个环节.为了既准确又快速地实现人像采集，自主开发了人像自动采集系统; 同时主要涉及图像边缘处理、图像增强处理技术、图像分割技术、人脸特征的提取等几方面，并进行较深入的研究与应用.

验证平台中的可重用监视器

杨洪斌;韩霞;吴悦

2007, 13(5): 560-565 .

摘要 ( 2126 )

相关文章 | 多维度评价

随着SoC芯片复杂度的提高，功能验证及其验证平台的构建日益成为电子产品开发和设计的瓶颈.而建立基于事务的可重用的验证平台是提高验证效率的关键之一.该文在基于事务的验证平台基础上,提出了一种模块化可重用的监视器设计方法，该监视器将物理信号的监测与数据的接收分离开来，且可进行信号到事务的转换，由此加快验证平台的构建和调试的过程，提高验证效率.

基于优势关系粗糙集的地震数据约简和规则提取

吴绍春;郑宇;吴耿锋;朱冰冰

2007, 13(5): 566-570 .

摘要 ( 2221 )

相关文章 | 多维度评价

针对现有的基于不可分辨关系的数据约简算法在地震数据处理中存在的缺点，提出一个新的优势区分矩阵的定义，并在此基础上给出相应的具有更好约简效率的数据约简算法和规则提取算法.在运用该算法对全国小震目录数据进行的实验中，从上海市地震局提供的44 381条样本数据中挖掘出272条确定性规则，取得了有实际意义的结果.

图像相似性计算的级联小波变换

丁广太;王威

2007, 13(5): 571-577 .

摘要 ( 2368 )

相关文章 | 多维度评价

研究图像不同幅度局部(子图像)小波变换之间的关系，分析这种关系下的图像相似性.首先用小波矩阵表示推导子图像小波变换之间的级联关系，在此基础上研究基于级联小波变换的线性相似性.最后以特定类型的医学图像为对象，研究子图像之间和k规格小波相似性测度，并讨论相应的相似性测度算法.数值实验结果表明，CT、MRI图像中相邻子图像之间具有很高的线性相似性.

一种验证Web应用设计的方法

曾红卫;缪淮扣

2007, 13(5): 578-582 .

摘要 ( 2183 )

相关文章 | 多维度评价

提出一种表示Web应用的请求/响应导航关系的形式化行为模型，给出一种基于模型检查的Web应用设计的验证方法并描述了用时态逻辑CTL表示Web应用性质的方法.设计了一个检验方法可行性的原型框架，该原型嵌入自动化模型检查工具NuSMV，提供从UML设计模型到形式化模型的自动转换，在将用户输入的性质和形式化模型合并为NuSMV程序后，运行NuSMV进行自动化验证.

构件依赖的描述和实现

曹旻;袁世忠

2007, 13(5): 583-587 .

摘要 ( 2159 )

相关文章 | 多维度评价

随着构件技术的发展，越来越多的企业以可重用的构件来搭建自己的核心信息系统.但是，这些构件通常是由不同的开发者在不同的环境下，以不同的方法学来开发完成的，不了解这些构件的依赖关系，很难构建出健壮高效的软件系统.该文提出一种描述构件间依赖的方法，设计了一套机制来完成构件间依赖的动态更新，并在模型中进行了实现.在基于CORBA的实现原型上的性能测试表明了该方法和机制的可行性.

增强约束的角色访问控制模型

周明;曾俊冬;蔡玉华

2007, 13(5): 588-592 .

摘要 ( 2267 )

相关文章 | 多维度评价

分析NIST标准RBAC模型的约束机制，针对授权过程和对客体访问过程约束能力不足，通过对约束的扩展和将具有约束能力的业务逻辑映射至模型约束中，形成一种增强约束的基于角色的访问控制模型.给出了该模型的形式化定义，并对其安全性作了简要分析.

电力生产企业经济性运行的开放式系统构架技术

辛明军;张立强;乔昕;苏庆

2007, 13(5): 593-597 .

摘要 ( 2106 )

相关文章 | 多维度评价

在电厂虚拟机组建模、分布式组件以及实时数据处理技术的基础上，提出了一种电力生产企业经济性运行开放式系统构架，实现了经济性运行分析、成本核算、实时数据处理、燃料设备管理、信息发布以及人机交互平台等核心模块.最后，以某电厂的发电煤耗分析为例，对实现软件的关键模块进行了验证，为电厂企业资源规划及经济性运行提供完备的技术支持.

集成学习中特征选择技术

李国正;李丹

2007, 13(5): 598-604 .

摘要 ( 2531 )

相关文章 | 多维度评价

集成学习和特征选择是当前机器学习领域中的研究热点.集成学习通过重复采样可产生个体学习器之间差异度，从而提高个体学习器的泛化能力，特征选择应用到集成学习可进一步提高集成学习技术的效果，该研究有3个方面：数据子集的特征选择、个体学习器的选择和多任务学习.该文对近几年集成学习中特征选择技术的研究进行回顾，尤其对以上3个方面的研究分别进行总结，提出一些共性的技术指导以后的研究.

Knowledge Map编码与定位算法

骆祥峰;于志安;胡庆亮;陈波

2007, 13(5): 605-610 .

摘要 ( 2504 )

相关文章 | 多维度评价

该文提出用Hash来对KM (Knowledge Map)中的领域方向进行编码，形成领域方向Island.提出KM概念向量与概念间关系类型的编码方法.基于上述编码，利用Chord对海量Island进行快速定位；并在Island的控制下，提出C-Location与R-Location对相同领域方向的KM进行快速定位.Island可使具有相同领域方向的KM自动聚集在一起.实例计算说明该方法可对KM进行有效的编码与精确的定位，并具有较强的灵活性.

消息传递网络中的消息传递机制和路由算法

朱永华;姚洪;徐炜民

2007, 13(5): 611-616 .

摘要 ( 2458 )

相关文章 | 多维度评价

消息传递网络应用十分广泛，小到超大规模集成（VLSI）内部总线，大到计算机广域网.对其中一种消息传递网络——3D环型立方体结构中消息传递机制以及路由算法进行了深入研究，提出了无死锁和无活锁的确定性路由与自适应路由相结合的路由算法，考察了虚拟直通（cut-through）和存储转发（store-and-forward）两种消息传递机制下的性能表现.通过在3D环型立方体网络上的模拟运算，验证了所提出的算法在传输延时、吞吐率等方面的性能提高；也验证了不同的消息传递机制对网络传输效率的影响.

一种签名能力受控的代理签名方案

戴佳筑;李士辉;牛志华

2007, 13(5): 617-622 .

摘要 ( 2868 )

相关文章 | 多维度评价

如何防止代理签名权利的滥用是代理签名中急需解决的问题之一，该文基于Hash链、Schnorr数字签名和多重数字签名，提出一个签名能力受控的代理签名方案.该方案不仅满足代理签名的基本安全要求，而且原始签名人能够限制代理签名的次数，也能够在必要的时候（例如发现代理签名人滥用代理签名的权利）及时取消代理签名的权利，因此可以有效防止代理签名权利的滥用.该方案可以应用于电子商务等领域.

基于特征加权的神经网络集成及其应用

刘悦;吴耿锋;丁智国;

2007, 13(5): 623-628 .

摘要 ( 2363 )

相关文章 | 多维度评价

泛化能力是机器学习关注的基本问题之一.特征加权是特征选择的更一般情况，它能更加细致地区分特征对结果影响的程度，往往能够获得比特征选择更好的或者至少相等的性能，已经成为普遍的提高学习器的泛化能力的方法之一.该文提出一种基于特征加权的神经网络集成方法FWEART，该方法通过自适应遗传算法的优胜劣汰机制为输入属性确定了特征权值，提高了集成中各个体Category ART网络的精度和差异度，从而提高了神经网络集成的泛化能力.在UCI标准数据集上验证了有效性后，FWEART被应用在地震序列类型预报上，取得了较好的预报效果.

基于一种自适应并行遗传算法的网格资源选择策略

武频;李建敦;刘权胜;李松倍

2007, 13(5): 629-633 .

摘要 ( 2347 )

相关文章 | 多维度评价

网格是在某一单一时间，将网络中众多的计算机资源集中起来共同处理某个单一问题的.而如何有效地从众多的资源中选出多个较优秀的资源是一个NP问题.该文提出一种新的自适应的并行遗传算法（NAPGA），并对网格资源的选择策略在C+MPI平台上进行了并行模拟.结果表明，该算法不仅有效地避免了过早收敛的现象，而且取得了比改进型的并行遗传算法(NIPGA)更优的搜索结果.最后对遗传算法的搜索和收敛规律进行了一些讨论.

一种新型的基于身份的高效盲签名

牛志华;赵顶

2007, 13(5): 634-639 .

摘要 ( 2076 )

相关文章 | 多维度评价

近年来椭圆曲线和超椭圆曲线上的双线性对，比如Weil对和Tate对，在密码学上的应用受到了广泛的关注.用椭圆曲线或超椭圆曲线上的双线性对，提出了一些基于身份的密码系统.该文基于双线性对提出了一种新型高效的基于身份的盲签名方案，该方案用以身份为基础的公钥取代数字证书形式的公钥，省略了验证签名时从系统中提取公钥的步骤，提高了系统效率，并节省了存储空间.同时还分析了该方案的安全性和效率.

基于直观和量化方法的肤色检测色彩空间选择

方昱春

2007, 13(5): 639-646 .

摘要 ( 2363 )

相关文章 | 多维度评价

肤色信息为图像检索、脸像分析和手势分析等多种应用提供了重要的信息.选择适当的色彩空间决定了肤色区域检测的结果.采用直方图可视化地描述了肤色在二维色度平面和三维色彩空间中的特定分布，提出并使用一个基于Fisher准则的评价函数对肤色/非肤色进行量化可分性分析，并且通过基于高斯模型的实验进一步验证了比较结果.结合直观分析和量化分析比较了各类通用色彩空间，从而获得了较适于进行肤色区域检测的色彩空间.

当期目录