关于knuth数的一些性质

通过研究knuth数及knuth数序列,得到了knuth数算法,给出了kn+1的新的表达形式及knuth序列的一些性质和证明.

多指标综合评分法结合Box-Behnken响应面法优化炒紫地榆炮制工艺

目的基于Box-Behnken响应面法,从多指标综合评价的角度优化炒紫地榆的炮制工艺。方法采用高效液相色谱法定量分析,以没食子酸、鞣花酸、儿茶素和异鼠李素含量的综合评分值为考察指标,以炒制时间、炒制温度和翻炒频率为单因素,用Box-Behnken响应面法优化炒紫地榆炮制工艺并进行验证。结果炒紫地榆的影响因素顺序为炒制温度>炒制时间>翻炒频率;优化后的炒紫地榆炮制工艺为炒制时间20 min,炒制温度105℃,翻炒频率每分钟30次。验证结果与预测值之间的RSD为1.71%。结论该试验的方法学考察结果准确稳定、操作简单,建立的模型具有良好的预测性,可用于炒紫地榆炮制的优选,可为炒紫地榆后续研究提供理论参考。

Knuth-Bendix完备化过程的实现及其有效性

本文讨论了 Knuth-Bendix 完备化过程的一些理论问题和实现技术,同时,分析完备化过程终止的成功率,进而讨论完备化过程在教学科研中应用的可行性.

基于Knuth与Karatsuba乘法的大整数乘法研究

在RSA、Diffie-Hellman密码系统的算法中都要用到大整数乘法算术。介绍了Knuth经典乘法、Karatsuba乘法以及它们的计算时间复杂性,在此基础上提出了一个新的大整数乘法技巧,并且在理论上和实践上被证明是有效的。实验结果也显示改进的大整数乘法算法在实现大整数乘法运算时具有更高的效率。

基于超多核心平台的Knuth39并行化实现及性能分析

针对Knuth39随机数发生器运行速度慢的问题,提出了一种基于超多核心(MIC)平台的Knuth39并行化方法。首先,将Knuth39发生器的随机数序列以固定间隔划分成多个子序列;然后,每个线程从各子序列的起点开始生成随机数;最后,将各个线程生成的随机数序列组合成最终的序列。实验结果表明,并行化后Knuth39通过了Test U01的452项测试,与串行程序相同。同中央处理器(CPU)单线程相比,并行化后MIC平台下的最优加速比可达到15.69倍。所提方法有效地提高了Knuth39发生器的运行速度,并且保证了生成序列的随机性,更加适用于高性能计算领域。

抵御计时攻击的基于Knuth-Yao的二元离散高斯采样算法

格密码被认为是能够抵抗量子计算机攻击的新型密码。整数上的离散高斯采样算法在格密码中有着重要作用,但是容易遭受计时攻击。Knuth-Yao方法是一种基于二元概率矩阵的采样方法,对其进行简单改进可以实现常数运行时间,以抵御计时攻击,但极大地牺牲了采样速度。利用二元离散高斯分布的概率矩阵的移位性质,简化了Knuth-Yao方法的实现过程,减少了概率矩阵的存储空间。基于对Knuth-Yao方法中的概率矩阵的划分思想,有效地实现了抵御计时攻击的基于Knuth-Yao的二元离散高斯采样算法,并在较大程度上保证了采样速度。实验结果表明,与常规的基于Knuth-Yao的采样算法相比,改进的抵御计时攻击的采样算法采样速度仅降低了27.6%,较好地实现了采样速度与安全性的平衡。

珍稀濒危植物陕西羽叶报春的开花及传粉生物学研究

陕西羽叶报春为中国珍稀濒危植物,研究其开花物候、传粉者及访花行为、花粉活力、柱头可授性、繁育系统,以明确陕西羽叶报春的传粉特性及制濒机制。以勉县陕西羽叶报春野生居群为研究对象,通过野外观察和人工授粉实验首次对陕西羽叶报春的传粉生物学进行研究。结果表明:(1)陕西羽叶报春种群花期为2-4月中旬,单花花期一般为14~17 d;单花开花进程中花部形态有6个明显发育变化:全部被萼片包裹、花苞伸出并为深粉色、花朵打开为淡粉色、花冠为白色、花朵枯萎、花冠脱落花萼宿存。(2)陕西羽叶报春为异花授粉植物,蜜蜂属为其主要传粉者。(3)柱头在花粉未开裂前就具有可授性,可授性逐渐增强;花药在花瓣打开后的第3天才开始开裂、散粉,在第4天活力最高,为98.18%,此后逐渐减弱。(4)繁育系统检测显示,长、短柱型花的花粉/胚珠比分别为902.26和831.48,杂交指数为4;套袋实验显示,陕西羽叶报春异型交配可育,同型交配不可育。由此表明,陕西羽叶报春的繁育系统为异交型,自交不亲和,需要传粉者。综上所述,陕西羽叶报春传粉者种类少、自交不亲和、胚珠败育现象可能是导致陕西羽叶报春濒危的重要原因。

基于规则库的SCD文件虚回路隐患自动核查技术

针对智能变电站在建设、运维、检修、改扩建过程中,因设计不完善、配置不正确、验证测试不到位等造成二次回路配置缺失或参数错误等隐患,为了提升智能变电站安全运行水平,提出了基于规则库的智能变电站全站配置描述文件(Substation Configuration Description,SCD)虚回路自动核查方法。依据相关技术标准、规范,建立隐患规则库;通过对配置文件的解析,获取配置文件中所有虚端子连接关系及装置信息;基于隐患规则库的规则,利用KMP算法对虚回路进行自动核查,判别虚回路是否存在隐患。同时,结合典型案例,验证配置文件自动核查技术的应用效果,提高了虚回路缺失、虚回路连接错误的核查能力,有效提升智能变电站作业现场的工作效率和安全管控水平。

用KMP算法进行星敏感器星图识别的方法

CCD星敏感器的关键问题是星图识别。从字符串的模式匹配来考虑这个问题,先把星图通过高通滤波器,然后用0-1的方法建立导航星库,再采用KMP算法来进行星图识别。仿真结果表明该算法每区域的识别时间才0.2486ms,并且克服了在许多星等相近的亮星或星对角距很小的视域内识别率严重降低的缺点。该算法有很好的鲁棒性。

分布式存储的并行串匹配算法的设计与分析

并行串匹配算法的研究大都集中在 PRAM(parallel random access machine)模型上 ,其他更为实际的模型上的并行串匹配算法的研究相对要薄弱得多 .该文采用将最优串行算法并行化的技术 ,利用模式串的周期性质 ,巧妙地将改进的 KMP(Knuth- Morris- Pratt)算法并行化 ,提出了一个简便、高效且具有良好可扩放性的分布式串匹配算法 ,其计算复杂度为 O(n/ p+m) ,通信复杂度为 O(ulogp) ,其中 n为文本串长 ,m为模式串长 ,u为模式串最小周期长 ,p为处理器数 .

基于改进模板匹配算法的靶标图像检测

针对现代靶场所面临的测量目标小、距离远、目标与背景对比度低的实际问题,提出了一种基于数字图像处理的靶标检测方法。该方法对传统的模板匹配方法进行了改进,能够在靶场测试仪器捕获的图像中,精确并快速地定位靶标十字的中心,从而实现武器装备动态、静态性能测试。

珍珠菜属三种植物的核型研究

对国产三种珍珠菜属 (Lysimachia)植物进行了核型研究 ,其中点腺过路黄 (LysimachiahemsleyanaMaxim .)染色体核型 2n =2 2 =2m +4sm +8st+8t,聚花过路黄 (L .congestifloraHesmsl.)核型 2n =2 4=2m +2sm +1 0st+1 0t及山萝过路黄 (L .melampyroidesR .Knuth)染色体数目 2n =2 2 ,核型 2n =2 2 =4m +6sm +4st+8t,为首次报道。本文还分析了黄连花亚属 (subgen.Lysimachia) 2组 8种植物的核型 ,结果表明黄连花组(sect.Lysimachia)核型类型 1A ,过路黄组 (sect.Nummularia)核型类型 3A或 3B。

基于模板的WebMail审计系统的设计与实现

电子邮件泄密越来越引起人们的关注,基于SMTP和POP3协议的电子邮件审计已经比较成熟,然而对众多大型门户网站的WebMail的审计却是一个难点。各大厂商WebMail协议不统一,把WebMail当作http的uplayer协议处理,设计并实现了一个在Linux下基于模板的WebMail审计系统。WebMail模板的特色在于设计了一个用于标志邮件正文和附件的glueid,通过它能够很好地将正文和附件合并为一封完整的邮件。系统采用了经典的单模式匹配KMP(Knuth-Morris-Pratt)算法对邮件内容进行审计,提高了审计效率。

基于Sunday算法的改良单模式匹配算法

Unicode编码的中文环境下应用Sunday算法时,如直接使用中文字符生成失效跳转表,将造成空间膨胀,而将中文字符拆分为两个字节进行处理,虽可以降低空间消耗,但匹配的执行速度又会受影响。针对Sunday算法应用于Unicode编码的字符拆分环境时所产生的时间性能降低问题,结合Unicode中文单元的内部关联性,优化了原Sunday算法的辅助跳转表与匹配规则,从而在解决Unicode下算法空间膨胀问题的同时,提升了Sunday算法在此环境下的时间性能,并利用模拟实验对改良算法的时间与空间性能进行了实验证明。

重写系统中的显式归纳方法

提出了重写系统中的显式归纳方法，设计了一个新的归纳定理证明系统。实例表明，显式归纳方法要比无归纳的归纳方法来得简单直观。

专家分配问题的KMP优化求解方法研究

专家分配问题是项目申报系统中评审环节（盲审）重点解决的问题．根据系统模型，针对项目和专家的多因素匹配问题，对专家分配问题进行研究，建立了专家分配问题的模型．应用KM P方法和索引顺序查找的求解方法，提出了基于多信息因素的专家分配优化求解方法．通过测试与应用表明，该系统的专家分配算法能实现专家与申请书的匹配，结果有较高的准确性和合理性，该方法将评审工作的效率提高了8～12倍，同时将传统人工操作过程中的出错概率降至0．15％～0％．

隔山消的化学成分研究

目的：提取分离和鉴定隔山消的主要化学成分。方法：采用溶剂法进行提取，常压硅胶柱层析法进行分离；用ＵＶ、ＩＲ１、ＨＮＭＲ波谱技术及有关理化性质进行分析鉴定。结果：从隔山消（ＧｅｒａｎｉｕｍｓｔｒｉｃｔｉｐｅＲ．Ｋｎｕｔｈ）中分离得到 ３个单体化合物，化合物Ⅰ为没食子酸；化合物Ⅱ为原儿茶酸；化合物Ⅲ为鞣花酸。结论：首次对隔山消的化学成分进行了提取分离与鉴定。

模式匹配算法在FPGA芯片上的设计与实现

随着网络技术的发展,在硬件上增加模式匹配的功能模块,来提高网络数据处理速度的需求越来越普遍。对目前现有的模式匹配算法进行了研究,并结合数字逻辑电路的特点,在现场可编程门阵列(FPGA)芯片上实现了字符串的模式匹配功能。最后,借助电子设计自动化(EDA)工具对设计进行了验证和性能分析,结果表明符合设计需求。

基于指纹图谱与多成分定量结合化学模式识别技术的彝族药紫地榆质量评价研究

目的建立彝族药紫地榆HPLC指纹图谱及多成分含量测定方法,结合化学模式识别技术,对紫地榆进行质量评价研究。方法对15批紫地榆药材建立HPLC指纹图谱,并测定6种指标性成分含量,结合主成分分析、聚类分析、偏最小二乘判别分析,评价紫地榆质量。结果建立了紫地榆药材指纹图谱,共标定21个共有峰,15批药材相似度为0.908~0.990;6种指标性成分没食子酸、儿茶素、短叶苏木酚酸、柯里拉京、鞣花酸、五没食子酰基葡萄糖含量分别为0.93~2.45 mg/g、1.85~3.85 mg/g、0.46~1.07 mg/g、2.10~3.50 mg/g、2.88~6.96 mg/g、3.27~4.08 mg/g;主成分分析及聚类分析均将紫地榆分为3类,综合得分显示S12~S14药材质量较优,通过偏最小二乘判别分析筛选出导致紫地榆药材产生质量差异的4种标志性化合物。结论将指纹图谱与多成分含量测定相结合,运用化学模式识别技术对彝族药紫地榆的药材质量进行了较为全面的评价,建立的方法简便准确,可为其质量控制及评价提供参考。

彝族药紫地榆的研究进展及其质量标志物预测分析

紫地榆(Geranium strictipes Knuth)为云南省特有的民族药,其药用历史悠久,常用于治疗便血、痔血、血痢、崩漏、水火烫伤、痈肿疮毒等,在彝族应用广泛。在对紫地榆化学成分、药理作用研究论述的基础上,从原植物亲缘学及化学成分特有性、传统功效及药性、新的药效用途、化学成分可测性等方面对紫地榆的质量标志物(Q-marker)进行预测分析,为明确紫地榆Q-marker和建立科学的质量控制方法提供依据。