一个代理签名方案的伪造攻击及改进

Shum和Wei对B.Lee等人提出的不指定代理签名者的强代理签名方案进行了改进,N.Y.Lee和M.F.Lee对该方案提出了一种伪造攻击,本文指出N.Y.Lee和M.F.Lee的伪造攻击是不可行的,提出了一种新的攻击方法,并对Shum和Wei提出的方案进行了改进,克服了这种伪造攻击.     

J 积分的单点计算法

J积分作为弹塑性断裂力学的一个基本参数被提出后,国内外在这方面已作了大量的研究工作.本文首先从P—δ曲线的实际出发,修正了H.Liebowitz等提出的(?)法,以此作为评价J积分计算公式的依据.其次,分析了J.D.Landes等提出的单试样法J积分计算公式的精度和局限性.最后,提出了单点法J积分计算公式.这个公式既适用于深裂纹的断裂韧度试样,也适用于浅裂纹试样.     

基于语义和结构的UML类图的检索

以软件重用为背景提出基于语义和结构的UML类图检索.构建了UML类图的重用模型,定义了存储UML类图的重用库结构.提出将本体的概念语义距离应用到UML类图的语义相似性度量和使用图表示UML类图的结构进行结构相似性度量.基于检索流程形式化检索需求,提出了UML类图的检索算法.基于提出的衡量标准,从语义、结构和混合三种检索类型对提出的算法进行了验证.实验结果表明,所提出的检索算法在检索质量和检索效率上要优于其他方法.     

选课管理系统性能提高的设计

介绍了选课管理系统的工作流程,然后分析了连课管理系统的功能模块设计.最后提出选课管理系统性能方面的需求,并提出了解决方案.通过采用提出的方案,在很大程度上改进了系统的性能.     

基于博弈论的路口多车协作算法

针对无交通灯十字路口,提出了一种基于博弈论的路口多智能车协作算法.首先,利用场图工具建立路口车辆冲突模型.然后,提出无交通灯十字路口冲突车辆的安全因素和时间因素的表达式,进而设计博弈的收益函数.最后,针对冲突车辆设计了基于博弈论的协调算法.使用自主开发的智能车硬件仿真平台对提出的算法进行验证.实验结果表明:提出的算法在...     

普朗克引入量子概念的方法论分析

量子力学的建立是物理学中一场划时代的革命.这场革命是从普朗克引入量子概念开始的.在一些文章中,不少人在分析普朗克引入量子概念时说:要大胆提出假说.我认为仅仅这样说是很不够的.因为这样并不能解决用什么方法去提出假说的问题.只靠大胆,不讲科学方法,提出的只能是瞎说,而不可能是科学的假说.毛泽东同志指出:“我们不但要提出任务,而且要解决完成任务的方法问题.……不解决方法问题,任务也只是瞎说     

三厘米波段波导型六端口电路的一种最佳设计

六端口技术的创始人G.Engen提出了最佳六端口电路的设计准则,但没能提出符合设计准则的实际电路.本文按照G.Riblet的五端口电路的设计思想,提出了一种结构紧凑的波导型六端口电路,它符合最佳电路设计准则.文中给出了设计公式和在三厘米波段的数值计算实例.     

钻孔法的三个问题

本文讨论了钻孔法的三个问题第一个问题:Soete.W.与Vancrombrugge.R.对通孔推导了有条件的公式,本文提出了不需附加条件的论证。讨论了深盲孔为什么仍可用通孔公式,及两孔间的中心距至少为多少。第二个问题:Rendler.N.J与Vigness.I.提出了浅盲孔的公式,式中的松弛系数A、B须由实验标定,本文提出计算A、B的经验公式。第三个问题:Bush.A.J.与Kromer.J.F.提出AJM技术,本文设计一种应变花,用适当的接桥方式,以自补偿钻孔发热干扰。     

技术创新和管理创新在经济增长中的作用研究

国内外对技术进步促进经济增长的研究很多,1912年奥地利经济史学家约.阿.能彼特在《经济发展理论》中提出了技术创新的概念,科学管理的创始人泰罗提出了管理的概念.清华大学教授李子奈在2002年进一步提出了测度技术创新和管理创新的方法.本文在此基础上提出了技术创新和管理创新的另一种测度方法,并对我国2000~2007年的国民经济进行了测算.     

E-凸函数的拓展研究

本文根据E.A.Youness提出的E-凸集和E-凸函数的定义,基于广义凸性基本结论.对判断可微函数为E-凸函数的两个充要条件给予了证明,并提出了E-Hesse矩阵、E-对数凸函数,且提出并证明了E-Jensen不等式和E-对数Jensen不等式.     

单叶函数Hadamard型乘积的一点注记

本文肯定地回答了D.M.Campbell和V.Singh于1979年提出的一个问题,此外,我们将M.S.Robertron提出的有关单叶函数Hadamard型乘积的一问题予以改进。     

一个改进的超记忆梯度法的收敛性及其敛速估计

本文主要解决了以下两个方面的问题: 1.对于无约束最优化问题,1968年A.Miele、J.W.Cantrell提出了记忆梯度法,接着E.E.Cragg、A.V.Levy又进一步推广提出了超记忆梯度法。1976年M.A.Wolfe和C.Viazminsky又将超记忆梯度法推广,提出了超记忆下降法。对于这些算法的收敛性,特别是收敛速度的估计,至今未见有人从理论上加以讨论,仅是通过一些计算实例,说     

基于聚类和信息熵的特征选择算法

针对分类属性数据,基于信息熵,提出一种度量特征重要程度的定义.结合聚类分析,提出一种无指导的特征选择方法.该方法时间复杂度与数据集的大小和特征个数近似成线性关系,适合于大规模数据集中的特征选择.实验结果表明,该方法具有较好的性能,提出的特征选择方法有效实用.     

模块化四轮全向驱动小车设计与运动控制方法

设计了模块化四轮驱动机器人,基于采用AVR单片机的运动控制提出了模块化四轮全向驱动简化运动学模型.在对模型详细分析的基础上,提出通过改变曲率半径实现对小车运行轨迹进行控制的方法.实验表明,提出的运动控制方法简单可靠,满足设计要求.     

基于Turbo码译码的动态停止迭代译码算法

Turbo码译码是迭代译码,译码所带来的延时较大.为了解决这个问题,可以运用动态的迭代译码算法.基于文献[1]提出来的迭代停止判决的思想,根据信道条件的好坏的情况下,提出了CRC-SDR迭代停止判决.并对所提出的CRC-SDR停止迭代判决进行了仿真,与其他译码迭代停止判决的仿真结果相比,所提出的CRC-SDR的译码平均迭代次数明显降低,且译码性能没有下降,故提出来的CRC-SDR改进算法是可行有效的.     

BBMB方程的三种新的线性差分格式(英文)

对于Benjamin-Bona-Mahony-Burgers方程的初边值问题提出了三种线性差分格式.证明了所提出的差分格式在L∞-范数意义下是二阶收敛的.最后,通过数值测试说明了所提出的格式是有效、实用的.     

空中交通冲突调速最优解决方案

针对空中交通冲突的探测和解决问题,作者提出了调速的解决方法,进而提出飞机运动简化模型并在此基础上讨论了最优解的问题.对于多飞机的情形,作者也进行了讨论.最后,作者还讨论了不能应用调速的情形并且提出了改进的办法.     

粒谱理论及应用

本文是从粒度分析全过程的共同存在的现象出发,建立一种总的数学分析模型与方法.用以指导粒度分析仪器的设计、粒度分析方法的改进,寻求提高精度的途径.主要内容有:(1)提出粒度测量函数的概念.并在此基础上提出粒度分析的共同指标;(2)提出并论证了分选矩阵性质;(3)提出矩阵改正方法,以提高粒度分析的精度.     

两边空间-时间分数阶扩散方程的加权有限差分格式

对于空间-时间分数阶扩散方程的初边值问题提出了一种加权差分格式. 利用能量估计, 得到了差分格式的稳定性. 然后使用数学归纳法证明了在相同的条件下, 所提出的的格式是收敛的. 最后通过一个例子说明了所提出的格式是可靠的、有效的.     

领悟新课标 贯彻新理念--小学音乐教学的实践与探索

小学音乐课程标准提出了十条基本理念.如何贯彻?对此,文章提出了探索性的意见.