C语言语句使用频度的自动统计方法设计与实现

讨论了C语言语句静态使用频度的统计方法,给出了完整的自动统计的C语言源程序及C语言语句静态使用频度.统计结果成为缩短高级语言和机器语言间语义差距,缩短编译程序的长度和编译所需时间的重要依据.     

基于AHP的陕南城市低碳经济综合评价

建立了城市低碳经济发展水平评价指标体系,应用YAAHP7.5软件求得指标体系中各指标的权重,并用2013年陕南各城市统计年鉴中的相关指标数据得到陕南城市的低碳经济发展排名情况,结果表明,汉中市发展水平最高,安康市第二,商洛市第三.最后对陕南城市的低碳经济建设进行了分析并提出了一些建议.     

关于Directly—Riemann积分的Riemann定理

在Fourier级数的收敛理论中,Riemann引理(Riemann积分意义下)起到了非常重要的作用。本文在Directly—Riemann积分意义下给出了其Riemann定理。     

一种基于ECC具有时间限制的动态秘密共享方案

基于椭圆曲线密码体制(elliptic curve cryptography,ECC)?哈希函数及Shamir的门限方案,提出了具有时间限制的动态秘密共享方案?方案中每个参与者秘密份额由自己生成,并且只需维护自己的一份秘密份额就可以共享任意多个秘密;秘密份额的更新具有时间限制,不需要秘密分发者的参与,参与者和秘密分发者无需同步更新,不存在通信量的问题;参与者的加入/退出不影响其他参与者秘密份额的改变,引起授权子集的增加时,计算量主要是秘密分发者进行的哈希运算;秘密份额的生成具有前向安全性;秘密恢复在有效期内对秘密份额进行验证,防止欺骗行为?方案的安全性基于大数分解?椭圆曲线离散对数问题的难解性及Shamir的门限方案的安全性?     

一种基于ECDLP有身份认证的ECDH密钥协商方案

为了解决ECDH（elliptic curve key agreement scheme-diffice-hellman version）密钥协商方案中,通信双方在公开信道上通过协议协商会话的临时密钥及双方都不能识别对方身份的问题。在研究ECDH密钥协商算法的基础上,提出了一种基于安全椭圆曲线离散对数问题的有身份认证的ECDH密钥协商方案。该方案可以实现密钥协商双方的双向身份认证,有效地防止了中间人的攻击。通过对密钥协商消息的双重保护,实现了公开信道上安全通信。     

关于Directly—Riemann积分极限定理又一注记

在Directly—Riemann积分条件下，给出了函数列有关极限定理。     

基于改进的嵌入式零树小波变换的图像压缩算法

经过对嵌入式小波零树编码(EZW)算法的基本理论分析,对原图像EZW算法进行了改进,提出了一种把小波系数向下取整后并将出现频次较多的系数置零的改进方法,从而减少了EZW算法中扫描次数,节省了存贮空间.实验仿真结果表明,此算法一方面提高了编码效率,另一方面重构图像的质量也并无明显下降.     

层次结构图的柔性动态可视化研究

层次结构图是软件工程中掌握系统的组织结构与内部关系的脉络网结构。通过柔性动态构造二叉树,按照深度优先算法将二叉树中数据转化为层次结构图,再依照宽度优先算法实现层次结构图遍历的柔性动态可视化。这一技术能提高计算机科学学科的直观性,对其他可视化技术应用领域也起到参考作用。     

BASIC语言语句使用频度的自动统计方法设计与实现

讨论了BASIC语言语句静态使用频度的统计方法，利用语言编程，实现了自动统计。经验证，程序执行流畅，速度快，效果较好，为缩短高级语言和机器语言的语义差距，缩短编译程序的长度和编译所需时间提供帮助。     

关于Directly-Riemann积分Dirichlet和Abel判别法的充要性

证明了Directly-Riemann积分Dirichlet判别法和Abel判别法的必要性,而Directly-Riemann积分Dirichlet判别法和Abel判别法充分性熊启才已有证明,由此说明这2个重要判别法不仅充分而且必要。