基于本体的计划表示

计划本体是一种理论本体,它主要通过提供一个关于计划的概念集来说明一种表示计划的方法.文章主要介绍了基于本体计划表示的基本问题.文章首先说明了计划本体所必须满足的功能以及计划本体的基本结构,然后介绍了计划本体中的基本概念以及如何在应用中实现一个基于本体的计划表示.文章最后比较了基于本体的计划表示和ACT表示模型的区别与联系.     

关于整数的幂次之和表示的一个问题

目的研究正整数的幂次之和表示的问题。方法利用椭圆曲线上的有理点的计算结果。结果得到4个有关正整数的幂次之和表示的命题。结论在平方和表示与立方和表示的情形下,存在无穷多个正整数具有两种不同的表示。     

学习动词体貌的实践意义

动词体貌(Lexical aspect)是一种语言现象。目前尚缺统一的定义。通俗一点讲,动词是表示动作或状态的。它们或表示不断续的动作或状态,或表示一个有始有终的过程,或表示瞬间完成的动作,或表示动作开始,或表示动作结束,或者表示动作的重复。动词的这些在时间内进行的方式,我们称之为体貌。 英语动词按其词汇意义大致可双呈以下体貌:持续貌(表示一个持续的动作或状态),瞬间貌(表示动作瞬间即逝),开始貌(表示动作开始),终止貌(表示动作终止),等等。还有一些动词根据上下文,可以由一种体貌转换成另一种体貌,比如说,和频度副词一起使用的任何一个动词都表示动作的重复发生。因而,不同版本的语法书称这类表示动作重复发生的动词(或词组)呈反复貌。     

安福话的句末语气词"嘚"

安福话的句末语气词"嘚"可以用于疑问句和祈使句,在特定语境下也可用于陈述句。"嘚"有两种句法功能:1.表示弱语气;2.表示自言自语。"嘚"表示弱语气的功能是由其表示自言自语的功能演变而来的,这是一种语用法语法化的结果。     

助词“等”在汉语史上的句法、语义特点考察

在汉语的发展史上,助词＂等＂有两种用法,一是表示列举,二是表示复数。表示列举的＂等＂可以附着于单项或多项的专有名词、普通名词之后,表示择类举例、列举未尽、列举已尽三种关系,多作中心语,少作修饰语。表示复数的＂等＂只能附着于单项的代词、表示尊称与谦称的名词、普通名词之后,表示具有内在联系的群体间的同类聚合关系或者相互之间彼此对等的同类聚合关系,多作中心语,少作修饰语。助词＂等＂表示列举的用法早于表示复数的用法。     

关于模糊横贯拟阵的简洁表示

该文利用模糊拟阵和拟阵的关系研究了模糊横贯拟阵的表示问题.首先,讨论了模糊横贯拟阵的“子集数最小表示”,得到这种表示的一个充要条件; 解决了这种表示的存在性并设计了计算这种表示的算法.其次,在此基础上研究了模糊横贯拟阵的“简洁表示”,提出并证明了一个表示是简洁表示的充要条件.然后,证明了简洁表示的存在性,构造了从模糊拟阵的表示计算简洁表示的算法.最后,研究了一种特殊的简洁表示即“顺序表示”,证明了这种顺序表示可以从普通表示中产生.     

BBM方程的Hamilton表示

研究了水波动力学中重要规则长波方程之一的BBM方程的Hamilton表示.运用Olver研究该类方程的守恒律来定义能量函数E(u),推导出一种新型的变分原理,并利用所得到的变分原理导出BBM方程的Hamilton表示.同时,利用待定泛函形式的变分原理导出另一种形式的BBM方程的Hamilton表示.两种形式的Hamilton表示均可引进辛差分格式,进行数值解计算.     

自然数方幂和的包含Bernoulli数的精确表示式

证明自然数方幂和可以用多项式表示，并用两种方法给出其系数的包含Ｂｅｒｎｏｕｌｌｉ数的几种精确表示式。     

Hilbert空间上算子广义逆A(2)T,S的一种表示及其应用

给出了Hilbert空间上算子广义逆A(2)T,S的一种表示,同时,由该表示得到了广义逆A(2)T,S的积分表示和极限表示.     

拟共形映照的参数表示

假设f~(μ(z))(z)表示全平面到自身保持0,1,∞不动以μ(z)为复特征的拟共形映照,Ahlfors给出此类拟共形映照的一种参数表示式,文中给出此类映照的另一种参数表示式.作为它的应用,给出上半平面到自身保持0,1,∞不动的拟共形映照的参数表示式.     

关于斐波纳奇数和鲁卡数的一组恒等式

用初等方法给出了第1类和第2类契贝谢夫多项式的一些非常有趣的恒等式,在此基础上利用文献[1]的结果得到了关于斐波纳奇数和鲁卡数的一组恒等式.     

Bernoulli数和Euler数的关系

本文给出了Bernoulli数和Euler数之间的关系，从而深化和补充了文献[1—6]中的相关结果。     

Mersenne数Mp都不是拟亲和数

设p为素数,Mp=2p-1为Mersenne数Mp.证明了Mp不与任何正整数构成拟亲和数.     

涉及高阶Apostol Euler数、 错排数与第一类Stirling数之间的几个恒等式

使用发生函数方法, 建立高阶Apostol Euler数、 错排数与第一类Stirling数之间的恒等式, 得到关于高阶Apostol Euler数、 Apostol Euler数、 高阶Euler数及Euler数的计算公式.     

关于孤立数的一些新结果

完全数、相亲数以及孤立数一直是数论研究的一个重要课题.最近,在孤立数方面取得了一些进展,2000年,F.LUCA证明了Fermat数都是孤立数;2005年,乐茂华教授证明了2的方幂都是孤立数,用乐茂华教授的方法给出孤立数的一些新的结果:对于任意含有4w+1(w∈Z)型素因子的正整数n,设p为n的任意一个4w+1(w∈Z)型素因子,则在n²,p²n²,p⁴n²,p⁶n²里至少有一个是孤立数,因此可以证明孤立数在完全平方数里有正密度,另外也给出求解确定孤立数的方法.     

广义Cauchy数的一些恒等式

利用Stirling数给出广义Cauchy数的显式计算公式, 并讨论其分别与Stirling数、 Bernoulli数和Euler数之间的关系, 得到了包含广义Cauchy数的一些恒等式, 并改进了已有的 卷积公式.     

基于Turán数的广义多图Ramsey数上下界

将多图Ramsey数推广为广义多图Ramsey数.利用完全图的Turán数,给出一些多图Ramsey数的上界和构造性下界,进而确定出它们的准确值.     

相邻平方数之间至少存在两个质数的证明

利用点列光照投影原理找到的质数分布规律,证明了相邻平方数之间至少存在两个质数的杰波夫猜想.     

关于素数及其快速判定若干定理的修正

素数问题是著名的数论问题。有关素数的研究,已得到大量的结果,而文献[1]中总结的性质定理中,有关奇数、偶数的几个性质定理值得商榷。文章指出了需要修正的性质定理,并将需要修正的性质定理进行了修正并加以证明。     

以高阶快速率求解素数所对应序数的线性算法

本文采用以10的(自然常数)e次方为底,再以高阶的三阶方次形式构造快速率的线性算法,并尝试应用于数论[1+1]课题研究中;该方法是将原有的已知两个相等素数相加,化为两个大小不等的素数相加,做到已知素数所对应的序数亦是呈线性逼近规律,文中还通过796个数据统计,则表明该算法结果比原有数论中介绍的序数算法结果更为准确.且发现文中所述的10的e次方这个数,其自身所对应的序数则是百分之百准确,即可称为对应奇点解.