中国科学技术信息研究所--国家工程技术数字图书馆

[学位论文] 秦波西安电子科技大学 2008年博士导师: 王育民共128页

摘要 : 近年来，双线性对成为一种重要的密码学工具，用于设计一些在传统大整数分解和离散对数环境下难于实现的密码系统，或者用于提高现有系统的效率。本文继续在这个领域的研究，将注意力集中于双线性对在群体密码学中的应用，包括面向群体的签字，加解密... 展开近年来，双线性对成为一种重要的密码学工具，用于设计一些在传统大整数分解和离散对数环境下难于实现的密码系统，或者用于提高现有系统的效率。本文继续在这个领域的研究，将注意力集中于双线性对在群体密码学中的应用，包括面向群体的签字，加解密和密钥交换，取得主要成果如下；提出标准模型下可证明安全的极短的群签字方案。方案的安全证明采用泛可组合模型下的一种很强的群签字安全定义，在此定义下的安全证明不仅在方案单独实现时有效，而且和其它安全的密码元型组合一起使用时仍然是有效的。对于一个中等规模的群体，本文的群签字仅仅为2006年欧密会上的Boycn-Waters群签字长度的十四分之一，大约是最近Atcniese等提出的群签字长度的一半，相当于一个普通RSA签字的长度。首次提出群解密的概念以及基于双线性对的具体实现。匿名性是群体密码学关心的主要问题之一，但是有关匿名的现有密码学概念仅仅提供发送方的匿名性，很少考虑接收方的匿名性。本文作者与三位密码学家Kiayias，Tsiounis和Yung独立提出群加/解密的概念，它们是在加密环境中模拟群签字的一种密码系统，发送方对一个承诺的消息进行加密，发送给由群管理员维护的一个群中的某成员，但是其他人并不知道谁是具体的消息接收者；在不泄漏明文消息和接收方身份的前提下，发送方可以向验证者证明这个事实；在必要的情况下，群管理员能够以可验证的方式追踪接收者的身份。在随机预言机模型下，我们实现可证明安全的群解密方案，其计算和通信开销独立于群的规模。首次提出并实现单轮非对称群密钥交换协议。本文首先重新思考群密钥交换的定义，区分传统的对称群密钥交换与非对称群密钥交换协议。利用一种新的称为基于签字加密体制的密码元型，我们提出单轮非对称群密钥交换的一般构造方法，并实现高效的基于签字加密体制和单轮非对称群密钥交换协议，这些实现都基于本文从E1Gamal加密转化来的一种短签字方案。基于签字加密体制还可以用于实现可扩的广播或会议密钥分发系统，单轮非对称群密钥交换协议还可用于adhoe环境下的广播加密，且不需要可信方分发成员密钥，解决了广播系统中的密钥托管问题。收起

关键词 : 基于

2. 基于Internet的STEP-NC的研究

[学位论文] 张莉彦北京化工大学 2008年博士导师: 王奎升共120页

摘要 : 传统的数控加工将数控机床限定为简单的执行机构，缺乏智能性，与上游的CAD、CAM系统也存在着模块割裂、信息不能共享的缺点。现在，一种新的数控编程语言STEP-NC为数控加工提供了新的数据模型，它采用高层次、具有工程语义的信息，使数控机床具有智... 展开传统的数控加工将数控机床限定为简单的执行机构，缺乏智能性，与上游的CAD、CAM系统也存在着模块割裂、信息不能共享的缺点。现在，一种新的数控编程语言STEP-NC为数控加工提供了新的数据模型，它采用高层次、具有工程语义的信息，使数控机床具有智能性。这种高层次的语义信息，也恰好为STEP-NC与CAD/CAM的集成奠定了良好的基础。与网络技术结合，可以发展到基于Intemet的集成制造系统。同时开放式的体系结构为解决曲线曲面的直接插补加工问题，提供了前提保证。本文围绕这些相关领域先进技术分四部分展开研究：(1)深入研究了STEP及STEP-NC标准，强调指出在STEP中使用的是设计特征而STEP-NC中使用的是制造特征，制造特征有利于与CAD、CAM的信息集成。在此基础上，提出了面向STEP-NC的制造特征模型，讨论了制造特征的定义原则、分类方法及信息存储结构。制定了特征建模要遵守的规则，提出制造特征的建模思想，就是从毛坯上去除制造特征，与加工过程一致，以此达到信息的集成共享。以Pro/ENGINEER软件为开发平台，以SQLServer2000数据库管理系统为支持，开发了原型系统，最后给出了制造特征建模的实例。(2)研究并实现了基于制造特征模型的工艺设计。建立以制造特征为核心的工艺知识库，数据表的组织尽量考虑与STEP-NC的实体及实体关系一致，达到信息共享的目的，同时降低工艺设计的难度，方便STEP-NC的生成。工艺决策以制造特征驱动，同时提出并实现了利用优先级进行工步排序的算法，减少了人为因素，实现了自动化。并以已经建立的制造特征模型为实例，进行工艺设计，最终生成了STEP-NC程序，实现了基于制造特征的CAD/CAM与STEP-NC的集成。(3)研究了STEP-NC在Internet上的实现。提出了基于Schema的两步法实现STEP-NC与XML的映射的思想，实现STEP-NC物理格式文件到XML的转换，并且开发了图形化界面，可以以图形化方式直观地查看STEP-NC中的加工信息。同时还开发了STEP-NC物理文件到现有数控机床使用的GM代码的转换接口，并且集成到该图形界面中，可以利用现有机床执行、测试STEP-NC加工数据。另外，提出了XML信息传输的三种模式，并以高级模式为基础，建立了基于SOA架构和WEB服务技术的制造集成框架，给出了实施步骤。同时研究了SOA架构的基本结构、运行方式及WEB服务技术的体系。(4)研究了STEP-NC中曲线、曲面描述及其插补算法。实现了基于泰勒展开式的NURBS曲线实时插补算法。采用进给速度自适应的方法，保证加工精度，即曲线的轮廓误差。另外，利用S型曲线进行加减速处理，提出利用NLJRBS曲线的对称性进行减速点的预测，解决了速度规划的难题。在高速加工中，在曲线的尖点处，由于曲率半径很小，又要保证轮廓误差，进给速度会发生剧烈波动，这会影响加工精度。提出并实现了尖点预处理的方法，在尖点区域，提前减速，降低加速度，满足机床的动态特性及加工精度的要求。曲线插补算法是曲面插补算法的基础，曲面的直接插补加工比曲线的直接插补更具有实际意义与应用价值。研究并实现了基于参数线法曲面插补算法，利用等参数步长法实现了加工路径的规划，计算简单、速度快。最后通过实例，对算法在实时性、加工精度、速度波动等方面都进行测试及仿真分析，能够满足实际的需要。STEP-NC是开放体系结构，将该算法集成到STEP-NC系统中，就能够解决自由曲线曲面的直接插补加工问题。收起

关键词 : 基于

3. 基于MAP的移动号码可携带系统的研究与实现

[学位论文] 杨猛北京邮电大学 2008年硕士导师: 陈行益共108页

摘要 : 近年来，我国电信网络飞速发展，综合通信能力有了显著提高，各种高质量的服务层出不穷，通信网络已经进入了全面向3G过渡的非常时期。随着3G市场的逐步启动，协调好3G与现有第二代移动通信、固定网络的关系便成为到3G通信系统过渡的关键所在，因此与... 展开

关键词 : 基于

4. 基于TPWF-Net的时态工作流管理系统的研究与实现

[学位论文] 李文鹏中山大学 2008年硕士导师: 余阳共92页

摘要 : 随着工作流技术研究应用的不断发展，提高工作流服务质量成为工作流技术研究的新课题，其中对工作流时间管理的研究与实现更成为学术界和业界当前的一个热点。然而纵观目前众多的工作流产品中，还没有相关产品，把时间作为工作流应用中的重要维度，内... 展开随着工作流技术研究应用的不断发展，提高工作流服务质量成为工作流技术研究的新课题，其中对工作流时间管理的研究与实现更成为学术界和业界当前的一个热点。然而纵观目前众多的工作流产品中，还没有相关产品，把时间作为工作流应用中的重要维度，内在地支持工作流的时间建模和时间管理；即便在学术界，对支持时间管理的过程模型方面的研究，尽管已取得一些进展，然而其中大部分理论成果也都存在明显的不足。针对这一问题，本文基于时态工作流(Temporal Workflow)理论及其过程模型TPWF-Net，在开源项目——YAWL工作流管理系统的基础上，提出一种时态工作流系统的实现方案。时态工作流强调把时间作为一个单独、重要的维度，全面考虑时间因素在工作流案例生命周期内，对工作流执行过程的影响。因此本文首先通过对时态工作流应用场景的分析，确定了时态工作流系统的需求范围。主要有：具有良好语义的时态工作流建模语言的定义；引擎对时态工作流流程文件的解析；案例有效时间属性的定义；控制流中的时态同步；超时异常的检测；引擎对超时异常的处理；案例有效时间的安全性检测及其异常处理，等等。在明确了系统需求范围之后，基于传统工作流YAWL，本文提出了时态工作流系统的具体实现方案，即：通过对YAWL语言和YAWL Schema进行扩展，实现了时态工作流建模语言和语义的定义；通过修改YAWL引擎代码，使时态工作流引擎能够实现时态工作流流程文件的加载、过程模型和案例相关时态信息的存储、并能够参照过程模型中的最小延迟约束对案例控制流实现时间同步；设计并实现了异常检测模块，对系统中的控制流超时和案例可能超时情况进行实时监控；设计并实现了异常处理模块，对系统中的超时异常，通过配置文件选择策略进行处理，并通过设计异常处理接口，使得模块具有良好的可扩展性；原创新的提出一种了案例不安全异常检测算法，能够在案例执行过程中及时发现案例的不安全状态，并把该异常信息交由异常处理模块进行处理。通过以上设计实现方案，最终实现完成了一个时态工作流系统。从而对工作流应用中常见时间管理方面的问题，从模型层和引擎内部加以支持。本文的研究是国家自然科学基金项目——“时态工作流过程模型及其柔性研究”的一部分，通过对时态工作流系统的实现，验证了项目前期研究的理论成果——时态工作流理论及其过程模型TPWF-Net。对工作流时间管理技术以及柔性工作流理论的研究和成熟，具有重要的意义。收起

关键词 : 基于

5. 基于系统功能语法的康多利扎·赖斯的话语研究

[学位论文] 卢敏西北大学 2008年硕士导师: 王荣花共86页

摘要 : 本文首次尝试从概念功能、人际功能和语篇功能三大功能五个方面，即，及物性、语气、情态、主位结构、主位推进，对美国现任国务卿康多利扎·赖斯的公开发言加以分析研究，旨在探寻赖斯的话语特征。文章通过对赖斯在不同场合发表的五篇不同内容语篇的... 展开

关键词 : 基于

6. 基于C8051F020 MCU的数据采集分析系统的研究

[学位论文] 王华四川大学 2007年硕士导师: 袁中凡共85页

摘要 : 随着电子技术和微型计算机技术的不断发展，数据采集系统的研究与应用已经越来越引人注目。目前已广泛应用于国防、工业、交通、信息等各个领域，发挥着极其重要的作用。本论文针对目前国内外在该领域的研究进展情况，为满足科研项目预研的需要，根据... 展开

关键词 : 基于

7. 基于PKI的CA相关技术研究

[学位论文] 关志峰扬州大学 2008年硕士导师: 王斌共81页

摘要 : 在网络得到快速发展的现代社会，人们越来越重视网络上信息的安全问题。PKI(Public Key Infrastructure公钥基础设施)是目前解决信息安全问题最有效的技术。PKI中最基本的元素是数字证书，所有安全的操作主要通过数字证书来实现。这就要求必须有一个网... 展开在网络得到快速发展的现代社会，人们越来越重视网络上信息的安全问题。PKI(Public Key Infrastructure公钥基础设施)是目前解决信息安全问题最有效的技术。PKI中最基本的元素是数字证书，所有安全的操作主要通过数字证书来实现。这就要求必须有一个网络上各证书持有方都信任的机构，专门负责数字证书的发放和管理，这个机构就是证书认证中心(Certificate Authority)。论文基于椭圆曲线密码体制对无可信中心的CA方案进行研究，主要完成了以下几个方面的工作： (1)基于门限秘密共享的签名方案一般分为需要可信中心和不需要可信中心两类。由于在许多特定的应用环境下，一个可被所有成员信任的中心并不存在。因此，不需要可信中心的门限签名方案就显得尤为必要。论文在已有方案[14,15]基础上，对一种无需可信中心的(t，n)门限签名方案进行了改进，实现了在签名过程中不会被外部攻击者欺诈，同时也防止了内部恶意组成员的欺诈。 (2)传统的CA方案中，各影子服务器的子密钥是由一个可信中心产生，而在许多特定情况下，一个可被所有成员信任的可信中心并不存在。因此论文结合文献[21]的系统结构，提出了一种基于ECC的无可信中心(t,n)门限签名方案，并应用到认证中心CA中，保证入侵者入侵部分部件并不能得到CA系统的私钥，这样使得CA能够容忍入侵，从而设计了具备分布式和冗余结构的PKI／CA系统。 (3)容侵的密钥分发服务器的设计避免了传统集中式密钥分发方法中所存在的单点故障问题，并且在相同安全强度下，ECC协议具有通讯量小，计算效率高等特点，论文提出了一种基于ECC的分布式的会议密钥分发方案。 (4)利用Java构建实验平台，设计了一种变形的椭圆曲线数字签名算法T_ECDSA的数字签名系统。分析表明该数字签名算法T_ECDSA是有效的。收起

关键词 : 基于

8. 基于统一过程的UML-B系统转换技术的研究

[学位论文] 孟静扬州大学 2008年硕士导师: 邹盛荣共79页

摘要 : 目前软件工业界面临着产品功能越来越复杂和推出产品周期越来越短的双重压力。软件工程的一个主要目标就是在软件复杂性增加的情况下仍能构造正确可靠的系统，达到这一目标的途径之一就是形式化方法。形式化方法是一种用于规范、设计和验证计算机系统... 展开目前软件工业界面临着产品功能越来越复杂和推出产品周期越来越短的双重压力。软件工程的一个主要目标就是在软件复杂性增加的情况下仍能构造正确可靠的系统，达到这一目标的途径之一就是形式化方法。形式化方法是一种用于规范、设计和验证计算机系统的基于数学的方法，包括各种语言、技术和工具等。使用形式化方法采用逐步渐进的方式来开发，可以提高软件可靠性和生产效率，实现软件自动化。统一建模语言UML已成为面向对象软件系统中描述分析和设计阶段模型的标准化记法，但UML在某些方面仍存在不足，首先，UML只是一种建模语言，而不是一种方法，因此在实际的开发和设计中，需要具体的过程技术来支持。其次，复杂系统的建模往往需要进行严格的语义分析，而UML缺乏精确的语义，因此对模型难以进行一致性检查和正确性分析，成为基于UML技术的严重缺陷。针对以上问题，本文提出了基于统一过程的UML到形式化的系统转换思想，将统一过程RUP、UML、形式化方法三者结合用于软件系统建模中。其中UML作为支持建模语言，其图形表示直观易理解；RUP作为建模中的方法指导，它与UML在实际开发过程中的结合，使系统的分析和设计过程变得清晰，降低了系统的开发风险；对UML进行形式化转换研究，可以将UML与形式化语言的的准确性、一致性结合起来，为模型的正确性证明、转换及一致性检查提供有力的理论方法。本文选择形式化方法中一种比较成熟的方法---B方法来描述UML模型图，B方法与其他形式化方法相比具有很多优点：B方法支持从软件需求规格说明、设计到最后实现的整个软件开发过程，并具有B-Toolkit、Atelier B、ProB等工具的全面支持。本文主要针对UML模型图中的用例图、类图、顺序图提出其到形式化B方法的转换机制，并对已存在的状态图的转换机制进行扩充，使其针对于某些特定的事例。对一个复杂的软件系统，软件开发人员可以在统一过程的指导下，通过UML中的各种图对目标系统进行建模，然后根据文中UML-B的转换方法，构建目标系统的B机器，从而建立一种从图形加文字的半形式化模型到具有数学基础的形式化模型的系统映射，在此基础之上，可以进一步地进行模型检测、正确性验证、代码半自动生成等工作。最后，结合了一个免疫系统中细胞免疫的实例，使用并验证了UML模型到B的系统转换方法，并在B方法支持工具(ProB)中对所得到的形式化模型进行了动态分析和模型检测，以保证规格说明的正确性和可靠性。收起

关键词 : 基于

9. 基于TR技术的超宽带无线通信技术

[学位论文] 李旭电子科技大学 2008年硕士导师: 王秉中共78页

摘要 : 超宽带无线通信的用户大多处在异常复杂的环境中，复杂环境的时变多径传播特性会严重影响通信性能，克服这一问题的核心技术之一是在无线链路中引入环境自适应技术-时间反演技术。近年来众多研究表明时间反演技术具有很好的时空聚焦特性，将时间反演技... 展开

关键词 : 基于

10. 基于FPGA+ARM的高速电力谐波检测仪的研制

[学位论文] 刘丰广西大学 2008年硕士导师: 龚仁喜共77页

摘要 : 随着电力电子设备的应用日益广泛，谐波对电网的影响越来越大，电力谐波已经成为电力系统的公害。治理谐波的第一步是准确检测谐波分量。因此研制出实时、高精度的便携式谐波检测仪器具有重要的现实意义。论文讨论了谐波检测的原理，分析了现有... 展开

关键词 : 基于