广义BabyTKK代数的Boson-fermion场下的不可约模

研究对应于欧式空间中最小（非格）半格S的babyTKK李代数^g（T（S））的泛中心扩张广义babyTKK代数^g（T（S））的一类boson-fenmion场下的不可约表示，这里T（S）为半格S∈R^υ（υ=2）上的Jordan代数。     

框架问题的机制化实现与具身化进路——表征主义和反表征主义的困境与出路

心灵表征理论较易机制化,但在处理框架问题方面却遇到了困难。针对心灵表征理论的这个问题,德雷福斯等人提出了反表征主义的海德格尔式的具身理论。具身理论虽然可以解决框架问题,但它还处于隐喻阶段,如何使它实现机制化仍然面临诸多困境。     

在实表象中含时Hamilton量解的不变量

通过实表象的运动方程的确切解,得到了在静磁场中的含时一维、二维Hamilton谐振子的Lewis-Riesenfeld不变量。数学上,这个正交的不变量函数是一个各向同性的二维Hamilton谐振子的角动量。根据得出的不变量,通过一个简单的试探函数方法仍然可以简单推导出在静磁场中柱坐标下的二维含时Hamilton谐振子的波函数,并且通过在直角坐标下二维含时Hamilton谐振子的波函数表示成为叠加态的形式。     

数字图像连续表示及应用

研究了离散图像的连续表示及重建问题.首先利用弦理论,给出了图像的连续表示形式,然后利用付里叶变换实现了图像连续表示及重建的快速算法,接着将它们应用于图像无级缩放、图像平滑、边缘检测、角点检测,并与传统离散图像处理方法的实验结果进行了比较.实验结果表明:利用图像连续表示方法处理离散图像可以得到不差于传统的离散图像处理方法处理的结果,此方法使离散图像的解析法处理成为可能.     

基于问句语义表征的中文问句相似度计算方法

提出了一种中文问句语义相似度计算的新方法.该方法分为两步:第一步采用基于问句句型模板规则匹配的方法提取问句语义表征;第二步根据问句语义表征计算问句语义相似度.采用该方法开发了一个面向常问问题集(FAQ)的问答系统.实验结果表明,采用该方法获得的相似度计算的准确率约为85%.     

椭圆曲线密码的一种合适的对算法

在椭圆曲线密码的应用中,有些密码体制需要进行标量乘法对计算,通常在标量乘法计算时,任一整数对采用的是三元联合稀疏形式表示.在三元稀疏形式的基础上提出任一整数对的五元联合稀疏形式表示,并把这种形式用于快速Shamir算法计算标量乘法对,并证明五元联合稀疏形式比三元联合形式更有效.     

Operational properties and matrix representations of quantum measures

Denoted by M(A), QM(A) and SQM(A) the sets of all measures, quantum measures and subadditive quantum measures on a σ-algebra A, respectively. We observe that these sets are all positive cones in the real vector space F(A) of all real-valued functions on A and prove that M(A) is a face of SQM(A). It is proved that the product of m grade-1 measures is a grade-m measure. By combining a matrix M _μ to a quantum measure μ on the power set A _n of an n-element set X, it is proved that μ ≪ ν (resp. μ ⊥ ν) if and only if M _μ ≪ M _ν (resp. M _μ M _ν =0). Also, it is shown that two nontrivial measures μ and ν are mutually absolutely continuous if and only if μ·ν∈QM(A _n ). Moreover, the matrices corresponding to quantum measures are characterized. Finally, convergence of a sequence of quantum measures on A _n is introduced and discussed; especially, the Vitali-Hahn-Saks theorem for quantum measures is proved.     

论思维的复杂系统模型暨新一代专家系统的设想

在复杂系统研究思想指导下,构建了基于神经元网络结构的复杂系统思维模型,提出以网络节点表示概念,以网络连接表示命题,以网络回路实现知识表达,以网络节点间的时空动力学激发实现演绎推理等思维活动的理论新框架,并以此为基础对新一代专家系统进行了设计。     

基于维基语义的多文档文摘研究

多文档文摘作为自然语言处理领域的重要技术之一,能从不同角度辅助用户实现高效的信息获取.由于文档集合内的内容往往来自不同的信息源,文本之间通常存在丰富而复杂的语义关系.常用的基于词的文档表示法,难以为文摘的语义分析过程提供充足而准确的数据信息.为此,我们提出使用维基百科——当今世界最大的在线概念语料库——为多文档文摘的提取提供语义支持.一方面,我们通过提取文档中的维基概念,生成准确一致的句子表示形式.另一方面,在计算句子特征时,我们利用维基词条的首段指导机器文摘的提取.我们首先通过计算概念在维基中的全局相关性和当前文档集内的局部相关性,获取概念的权重.然后在维基概念表示的基础上,为文档中的句子提取多种基于维基的特征,并最后用于文摘生成.在实验中,我们依次用各个维基特征独立生成文摘,并使用ROUGE(Recall-Oriented Understudy for Gisting Evaluation,面向召回率的要点评估)指标评价文摘质量.通过比较,实验验证了维基词条首段能较好的提升文摘质量.     

基于稀疏技术的序列运算方法

序列运算过程中经常遇到稀疏序列之间的相互运算。针对序列运算的计算优化问题,该文首先分析了序列稀疏性的成因,并分析了序列运算理论中不同类型基本运算对于序列稀疏性的影响,同时给出了相应的计算结果序列的稀疏度估算公式。然后,根据序列与序列运算的特点,将稀疏技术应用于序列运算中,提出了通用存储方法与特征存储方法等2种稀疏序列存储技术。最后,利用算例对所提出的稀疏序列存储方法加以检验,采用稀疏技术后不同类型序列运算的时间开销均有不同程度的降低,特别是卷和、交积、并积与序除运算的计算时间下降为原来的6%~38%,算例结果表明了该文工作的正确性与应用价值。