一种新的基于离散对数的签名方案

针对传统签名方案中验证者的验证权限是相同的缺点,提出了一种新的基于离散对数的链式验证签名方案．利用有序秘密分享方法将验证参与者分为签名验证者和链式验证授权者,签名验证者只有在经过链式验证授权组中每一个成员的依次授权时,才可以验证签名的有效性,而且链式验证授权组中的任何成员(即使所有成员合谋)都不能验证签名的有效性．此外,该方案可以方便地增删链式验证授权组中的成员和维护链式验证授权者和签名验证者的私钥．     

基于功能虚拟原型的验证方法

为解决片上系统验证和设计不能同步、系统级验证效率低下的问题,该文基于统一验证方法提出一种基于可演化模型的三级验证过程模型。该模型由系统级、行为级和RTL级三级功能虚拟原型演化模型构成,在不同设计阶段复用相同的系统级验证环境,可减少验证的重复工作,将其应用于设计的整个流程,可成功地实现验证和设计同步,提高验证效率。     

可保护隐私的外包数据库查询验证技术

为了提高查询验证技术的安全性和计算速度,分析了数字签名链查询验证技术的结构特征,指出其具有数据库构建成本高、验证速度慢和安全性低等不足.将指定验证人签名的思想引入到外包数据库查询验证技术中,并根据外包数据库的安全需求设计了1个指定验证人签名方案,然后结合该签名方案提出一种安全、高效的可保护隐私数据的查询验证技术.该技术在查询验证过程中隐藏了数据拥有者的签名,能防止合谋攻击和伪冒攻击,可实施复杂的内容访问控制策略、保护隐私数据.理论分析和实验数据表明,该查询验证技术的数据库创建成本低、存储开销小、验证速度快、安全性高.     

基于规则库的电信业务UML活动图验证机制

在分析现有的技术背景后,提出了一种基于规则库的电信业务统一建模语言（UML）活动图验证机制。通过将模型验证规则与模型验证引擎相分离的方式,提高了验证机制得可扩展性和灵活性。模型验证软件通过在模型驱动架构（MDA）业务平台中的测试证明了该验证机制的正确性和高效性。     

小卫星控制系统半物理仿真验证平台

介绍了小卫星控制系统地面半物理仿真验证平台的系统组成和方案设计,进行了实际控制系统仿真验证.平台以dSPACE实时仿真器为核心,在气浮台上辅以星载计算机、敏感器和执行机构进行仿真验证.该仿真平台能够在部分实物短缺情况下,采用仿真器对这些实物进行功能和电气接口完全模拟,提前进行星体控制系统半物理仿真验证,达到验证目的,降低了仿真成本.该仿真验证平台充分考虑了卫星控制系统实际运行环境,提高了仿真验证的可信度,是卫星半物理仿真有效便捷的工具.     

等价性验证系统的研究与设计

等价性验证是目前集成电路设计验证中应用最为广泛的形式化方法,其核心目标是验证两个设计模型之间的功能等价性。以集成电路等价性验证系统的系统架构为主要研究内容,在分析集成电路等价性验证的基础上,对系统架构和算法进行设计和探讨。     

系统芯片的混合验证方法

阐述系统芯片 (SOC)的设计验证特点。综述目前流行的验证方法 ,指出所存在的问题。论述了形式化验证方法和半形式化验证方法的发展状况及新的发展方向和趋势     

SoC自动化验证方法的研究与实现

为解决SoC（System-on-Chip）验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统（LSAVS：LiShan Automatic Verification System）。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。     

关于制药设备验证的探讨

阐述了制药设备验证的必须性和重要性,详细的分析和论述了制药设备的验证方法和步骤,提出制药企业有效实施制药设备验证的对策。     

椭圆曲线上的链式验证签名

基于椭圆曲线密码算法,提出了一种新的链式验证签名方案,只有经过链式验证授权组中的成员P1、P2、...、Pn-1的一一授权之后,签名验证者Pn才能验证签名的有效性。分析了所给签名方案的安全性和效率。除了具有链式验证签名的一般特性外,还可以方便地增加或删除链式验证授权者,并在链式验证授权者或签名验证者泄漏子秘密时,可以及时地进行维护。     

亥姆霍兹线圈空间的磁场分布

计算了亥姆霍兹线圈空间的磁感应强度分布,给出了解析表达式,并绘出了它们的空间分布图。     

高炉炉料层状分布计算机模拟

提出了高炉大钟布料的炉内炉料层状分布的数学模型,井结合实际生产数据得出两种典型装料制度下的高炉炉料分布的计算结果图形,证明了该模型有较好的适应性。     

小电源接入配电网对自动装置的影响及对策

分析小电源接入配电网对自动装置的影响,提出基于备自投和事故解列装置配合的解决思路;并对各种典型的接线方式给出具体的解决方法,分析验证了在多种事故情况下所提方法的有效性．且基于配电自动化技术,设计了智能化“网络化备自投和事故解列系统”．     

电信设施逻辑图自动生成算法的研究与实现

在建立数学模型的基础上,提出并详细论述了电信设施逻辑图生成的算法,该算法的输出结果不仅能表示设施间的逻辑关系,还能基本保持设施在地理空间中的实际分布。给出了该算法的应用实例。     

基于分布合成求展伸不确定度方法的研究

对正态分布与均匀分布进行了合成,并对所求的合成分布进行数字化处理,可以求得普通物理实验中对测量误差影响最大的展伸不确定度的大小.     

稠油热采注蒸汽分配器的流场数值模拟

了解蒸汽分配器内的流场分布,比较一分三立式蒸汽分配器与一分三球形蒸汽分配器的分配效果。通过Fluent对一分三立式蒸汽分配器与一分三球形蒸汽分配器内部的流场进行数值模拟,分析分配器内密度分布、气相体积分布与速度场对蒸汽分配效果的影响。数值模拟结果表明,在蒸汽的干度与流量分布过程中,一分三球形蒸汽分配器要优于一分三立式蒸汽分配器。建立的一分三球形蒸汽分配器可为实际现场作业及高温高压球形分配器的建造提供参考。     

试论按劳分配的对象

联系生产过程,论述了社会主义计划经济条件下的按劳分配是个人消费品的分配原则：论述了社会主义市场经济条件下的按劳分配是剩余劳动成果的分配原则,以及按劳分配与按生产要素分配相结合的实现方式。     

城市配电网自动化建设研究

本文就 1 0kV及 380 /2 2 0V电压等级的城市配电网自动化建设的总体思路方面进行研究和探讨 ,提出城市配电网自动化建设的若干技术方案 ,并提出了低压配电网自动化建设的基本思路和城市配电网自动化建设的基本原则。     

参数逼近的自适应时频分析

针对二次时频变换中的交叉项影响,研究了一种基于信号分解的WVD时频分析的方法,它结合自适应高斯提取法的思想和WVD的优良特性,将信号分解为若干个基于高斯包络的chirp信号分量,然后进行WVD时频变换和时频图的综合显示,消除了时频变换中交叉项的影响,也保持了信号自项的时频聚集度．将此时频分析方法应用于雷达信号时频分析,实验结果表明,该分解方法有效地消除了信号交叉项的影响,且保持了原信号的时频聚集度．     

襄樊市工业布局调整设想

本文探讨了襄樊市工业布局调整的原则、部门结构和空间布局模式.