计算机工程与设计杂志 北大期刊 统计源期刊

计算机工程与设计 2006年第15期杂志 文档列表

计算机工程与设计杂志基金项目论文

项目过程自动化建立方法的研究与实现2711-2714

摘要：现有的软件过程复用方法往往采用形式化的过程模型和过程实例，由于其复杂性而在业界应用较少。提出的项目过程自动化建立的方法是软件过程复用的一种实现方式。该方法对软件过程进行结构化的定义和存储，并通过一组规则将过程描述映射为软件组织所熟悉的项目管理方式——甘特图，以实现项目过程的自动化建立，进而实现软件过程的复用。最后给出了该方法的一个实现．

人体运动实时捕捉设备传输数据的滤波与处理2715-2717

摘要：简介人体运动实时捕捉设备的工作原理，对设备探测并传输来的数据进行特性分析，根据分析结论，提出了干扰数据识别与修复、纵向平滑滤波、首帧收敛化处理和值域限定等滤波和处理方法，并详细阐述了这些方法的综合运用。系统使用这些方法，经运行调试后，传输数据稳定，系统对Marker点的探测精度也符合系统设计的要求（≤6mm），为实现各点坐标计算提供了必要条件。

代数重建技术中加权研究及其快速实现2718-2719

摘要：在用代数重建技术（ART）进行图像重建时，其重建精度及速度始终是研究的两个重要方面．为提高重建精度，利用加权函数对方程组系数进行加权处理。对于用加权函数对方程组进行加权时大大增加的计算量，针对锥束情况提出用离散线性插值法求取权值，其在保证精度的前提下，提高了迭代重建速度．通过对一板壳构件断层重建计算机模拟结果表明，此加权处理后图像质量明显改善，同时利用离散线性插值法可将重建速度提高近30倍。

一个无线Hand-Off认证协议的分析与改进2720-2721

摘要：通过分析文献[1]中Wang提出的一个匿名移动无线认证方案中的Hand-Off认证协议，发现了其存在安全漏洞，无法抵抗中间人发起的重放攻击，针对该协议存在的安全漏洞对原协议进行了改进，改进后的协议可以安全的实现用户与机站之间的身份认证，并可以有效地抵抗中间人发起的重放攻击。

电子现金系统的RBAC管理方案2722-2724

摘要：在基于电子现金的网络支付方案中，交易过程相关的多个实体有不同类型的权限和访问标准，如果各自进行安全管理，会使得整个系统的维护协调有很大难度。因此，横跨多个实体的权限管理带来了额外的安全性挑战。分析了基于RBAC的电子现金系统的权限管理策略，通过基于常规角色的授权实现了对电子现金系统内多个实体的访问控制，并设置与常规角色互斥的管理角色实现系统的分布式自行管理．

统计数据的Web表达研究2725-2727

摘要：对常规的基于Web的统计数据可视化表达方法和在Web上的实现进行了分析，提出基于GIS技术的统计数据可视化表达的解决方案，对数据准备、可视化生成过程等进行了详细地分析，给出了一个基于GIS的统计数据可视化表达的实例。

企业级CA系统以及应用策略的研究与实现2728-2730

摘要：考虑到企业CA系统在功能和管理方式上有别于标准的CA系统，企业进行网络安全策略设计时，尽管重新设计一个加密算法比较麻烦，但可以综合、合理地运用CA数字证书以及现有的各种加密算法设计出安全性较好的网络安全策略．在此基础上，研究了企业级CA原型系统，设计了企业级CA系统。由于在企业内部要实现认证过程相对比较简单，以及在证书生存以及管理方面可以简单考虑，同时证书申请分发、查询、废止的策略可以自行制定，没有标准的数字证书管理所要遵循的标准的复杂并实现了该原型系统．

求解SAT问题的改进粒子群优化算法2731-2733

摘要：利用限制哆公式的相关理论将可满足性问题（SAT）等价转换为定义在{0，1}^n上的多项式函数优化问题，并将二进制粒子群优化算法（BPSO）与局部爬山搜索策略相结合，给出了一种求解SAT问题的新算法：基于局部爬山搜索的改进二进制粒子群优化算法（简称IBPSO）．数值实验表明，对于随机产生的3-SAT问题测试实例，该算法的计算结果均优于著名的WalkSAT算法和SATI．3算法．

基于角色的工作流系统存取控制模型研究2734-2736

摘要：工作流系统中不同的业务流程之间资源的共享必然会引起一系列安全问题，安全策略在工作流系统中集中表现为存取控制策略。基于工作流系统的安全需求，给出了基于角色的工作流系统存取控制模型（WfRBAC）。在该模型中，引入任务来扩充RBAC模型的动态性。WfRBAC的6要素是用户、角色、任务、客体、权限和约束，约束分为动态约束和静态约束，能够满足工作流系统中的静态性和动态性存取控制要求。

基于Java平台的通用构件库的研究与设计2737-2739

摘要：为提高软件的复用程度，采用了基于领域工程的开发方法，提出了领域信息系统设计体系结构和软件构架．重点讨论了领域信息系统模型结构和通用构件库的设计，初步实现了通用构件库中对构件的标识、验证和分类功能，并在组件模型JavaBeans支持下，实现了构件库分析过程的UML描述。通用构件库具有类继承度高、类耦合度低、类封装性高、类多态性低、构件的方法重用效率和类重用效率均比较高等特点并为快速重构应用系统提供了技术上的保证。

紧支撑二维小波多尺度融合图像效果评价2740-2743

摘要：针对图像融合的效果评价标准以及小波函数选择等热点研究问题，丈中采用了紧支撑二维小波db3对图像进行了多尺度分解及重构的融合研究，并且通过亮度参数、细节参数和光谱信息参数等对融合尺度不同的图像进行了客观质量评价。实验证明，经过该方法融合后的图像能把源图像各自具有的信息融合在一起，亮度适中、信息熵增加、清晰度提高。理论分析结果、融合图像的视觉效果与所采用的客观质量评价标准的数值分析结果是相一致的，表明了该方法客观而有效。

文本主题的自动提取方法研究与实现2744-2746

摘要：在深入分析了当前流行的文本主题提取技术和方法的基础上，将语义方法融入统计算法，提出了一种基于统计的主题提取方法，并描述了它的实现过程。该方法利用文档内句子之间的语义相关性，实现了文本主题的自动生成。首先对文本进行切词和分句处理实现信息分割，再结合文本聚类技术对文本句进行聚类实现信息合并，最后从每类中抽取代表句生成文本主题。实验结果表明，该方法是一个有效、实用的方法。

XML中的主动规则的模型及其可终止性分析2747-2749

摘要：在对XML数据模型主动机制研究的基础上，结合规则实例提出了一种新的分析规则终止性的静态判定算法。此算法基于触发环的概念，首先对触发环中每一个被修改的节点产生一个递归等式，然后通过展开递归等式并检验其可满足性，就可以分析规则集的可终止性，这样不仅可以得到更高的精确度及更小的复杂度，而且可以得到有效的判定主动规则可终止性的条件。

数值天气预报在UNICORE中的实现2750-2752

摘要：中尺度数值天气预报为评估严重的天气灾害提供了有效的指导，因此中尺度天气预报占有越来越重要的地位。MM5模式是世界上应用最为广泛的中尺度模式．同时，网格中间件，如UNICORE、Globus，已经部署在世界上多个组织中，把科学、工程等领域的应用部署在这些网格中间件上，以获得无缝的计算能力和访问网格环境中资源的接口为目的的各项工作正在展开．提出了基于UNICORE网格平台的数值天气预报应用的设计和实现，对UNICORE的资源发现进行初步的探索．

基于卡方分析的关联模式剪枝方法研究2753-2755

摘要：关联模式挖掘研究是数据挖掘研究领域的重要分支之一，旨在发现项集之间存在的关联或相关关系。然而，传统的基于支持度一可信度框架的挖掘方法存在着一些不足：一是会产生过多的模式（包括频繁项集和规则）；二是挖掘出来的规则有些是用户不感兴趣的，无用的，甚至是错误的；所以在挖掘过程中能有效地对无用模式进行剪枝是必要的。将卡方分析引入到模式的相关性度量中，利用卡方检验对项集之间、规则前件与后件之间的相关性进行度量是一种有效的剪枝方法。实验结果分析表明，在支持度度量的基础上引入卡方检验可以有效地对非相关模式进行剪枝，从而减小频繁项集和规则的规模。

基于P2P的教育资源网络设计2756-2758

摘要：在网络中搜索各种教育资源时，通用的搜索引擎很难满足特定的需求。P2P网络是一种有效的资源共享和搜索方式。通过分析P2P网络的基本结构和资源共享特点，提出了一种基于P2P的教育资源网络（PBERN）模型。PBERN是由教育资源实体“自组织”组成的分布式、虚拟、动态和松散的纯P2P网络。

Apache服务器进程迁移中文件状态恢复的研究2759-2762

摘要：在基于Linux检查点机制的Apache服务器进程迁移过程中，实现了打开文件状态的一致性恢复。简要阐述了Apache服务器的体系结构及其在集群系统内的进程迁移实现技术。分析了目的结点上迁移进程恢复运行后打开文件状态不一致的原因，进行了相应的理论研究。最后给出了Apache服务器进程迁移过程中文件状态一致性恢复的具体实现。

基于VFP9．0的通用问卷处理系统的设计与实现2763-2766

摘要：给出了设计和建立基于VFP9．0的通用问卷处理系统的方法、实现步骤和关键技术。采用完全面向对象的分析与设计方法，更加人性化的友好界面以及方便快捷的录入功能。系统充分发挥了VFP的宏替换、Microsoft Chart图表控件功能以及与Word、Excel的OLE自动化交互编程能力，实现了问卷调查的自动生成及统计分析，且不受问卷形式的限制，具有良好的兼容性和可编译性，能适应各种大、中、小型的问卷调查。