一类排列问题的计数

给出一类排列问题的计数公式．     

一种高性能英文词性标注器的设计与实现

针对统计和规则方法各自的优点和局限,提出运用Viterbi和FTBL(fast transformation-based learning)算法相级联的算法,实现一种英文自动词性标注器.该级联方法以FTBL算法为整体算法,在它的规则学习和最终标注两个阶段,均以Viterbi算法作为其初始化过程.实验结果表明此算法优于其中任何一种单独的算法,达到了98%的高准确率,验证了自然语言处理中统计与规则并举的主流设计思想.     

光致聚合材料收缩对谱面全息存储的影响

为了分析光致聚合材料记录的谱面全息图在再现过程中发生"擦除"现象,将谱面全息图看作由不同角谱的物光与参考光在光致聚合材料内形成的不同倾斜角度的光栅总和.使用二波耦合理论分析全息图像再现时,由于光致聚合材料发生形体收缩,不同倾斜程度的光栅发生不同程度的变形,产生不同程度的布拉格失配带来的衍射效率变化.理论分析表明,材料收缩越严重,全息图再现质量越差.实验证明了理论分析的正确性,并表明使用无收缩光致聚合材料可以消除这种"擦除"现象.     

CPML截断2.5维问题中圆柱波导开放边界的应用

为了解决高功率微波(HPM)源模拟中圆柱波导开放边界的截断问题，研究了柱坐标系下卷积完全匹配层(CPML)吸收边界，给出了CPML中电磁场的差分方程和轴边界条件，并进行了数值验证．在不同频率和模式的激励源作用下，模拟了2．5维问题中CPML截断圆柱波导开放边界的性能，相对误差最大值都小于-90dB在2．5维电磁PIC软件中引入CPML方法，模拟计算了相对论返波管．结果表明，CPML在截断波导开放边界方面的性能远好于Mur型吸收边界条件。     

土与结构间一种新接触单元的数值解

推导了基于非线性弹性-理想塑性本构模型的接触带单元的单元刚度矩阵，并对接触带厚度的确定、非线性迭代方法等数值计算中一些重要的细节问题进行了论述．最后对某一典型算例进行了分析，分析结果表明，所提出的接触带单元能够合理地模拟接触面上的变形机理和受力状态，是一种比较适用的模型，在土与结构相互作用分析中具有一定的应用前景。     

基于自动机技术的XML复杂数据类型验证

复杂数据类型验证是XML文档验证的主要内容,是检查XML文档结构是否符合模式规则的关键.根据Schema规范中复杂数据类型的描述和自动机理论,提出了一种称为模式自动机的数据结构,讨论了将XML复杂数据类型结构转换成模式自动机的方法,并设计了用来验证文档结构的算法.使用模式自动机验证算法可以全面地发现XML文档中的结构错误并准确地给出相应的错误信息,在实际应用中具有很高的效率.     

代数体函数的一个基本不等式

本文得到了由定理2给出的代数体函数的一个基本不等式.     

一种按序多重数字签名方案的安全性分析及改进

针对最近提出的一种基于RSA的按序多重数字签名方案,提出了两种伪造攻击,使得签名者(U1,U2,U3,…,Un)中任一个签名者Ui都可以伪造前面个i-1签名者的多重数字签名,或签名者Ui,Uj(i相似文献   

“隼鸟”亲吻“丝川”——在飞向小行星的路程上验证各项技术

2003年5月发射的工程实验探测器“隼乌”号从发射开始经过2年零6个月的航行，现正在进行几项“世界上首次”的技术验证，这些都是对今后探测行星极为重要的技术。本文将介绍“隼乌”号究竟是使用什么技术到达小行星的，以及预计今后还将完成哪些科学考察任务。[编者按]     

锥形凹模缩口力的理论计算与试验验证

缩口力是导致薄壁筒形件缩口失稳的重要因素。为了提高缩口力的计算精度，M.B.斯德洛日夫和E.π.翁克索夫综合考虑板厚变化、加工硬化及磨擦等因素的影响，分别提出了圆筒形件缩口力的计算方法；通过实例对该两种方法的计算结果进行了分析，并与实验数据做了比较。结果表明，两种方法的计算结果十分接近，而且与实验数据相吻合。