函数y=ex在[0,1]上有理插值样条的存在性及递推算法

在原有研究的基础上,讨论函数y=ex在[0,1]上的有理插值样条的存在性和惟一性,并利用Sylvester恒等式得到P[L,M]和Q[L,M]的(* * *)、(* * *)型递推关系,建立相应的C[L,M]表、P[L,M]表和Q[L,M]表,提供S[L,M]的一种递推算法.     

基于图分类的智能车辆复杂场景风险等级评估与建模

准确估计驾驶场景的风险等级是保障车辆安全驾驶的基础,也是车辆智能化的重要体现.针对多种交通参与者共存的复杂行驶场景,提出一种基于图分类的场景风险等级评估方法,完成对场景的建模和对当前场景风险等级的有效评估.实车实验表明,所采用的驾驶员操作特征数据可以很好地表示驾驶员对场景风险等级的理解,并且图表示模型可以对场景中多种动态交通参与者及其交互关系进行有效说明,所提出的方法能够较为准确地对复杂行驶场景的风险等级进行评估,促进智能车辆安全行驶系统在复杂环境下的发展.     

广州：老城新塔

“南中国之行”让文天对中国加深了几分了解，不仅有北京的官文化和上海的商文化，还有广州地道的市民气息。     

广义正交双向小波包的性质及频域表示

将正交双向小波包推广到广义正交双向小波包,研究广义正交双向小波包的性质、频域表示及其分解算法。     

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.     

学术论文中的数字及其用法

(1)凡是可以使用阿拉伯数字且得体的地方,均应使用阿拉伯数字.(2)日期和时刻的表示方法:a.公历世纪、年代、年、月、日和时刻用阿拉伯数字.年份不能简写,如1993年不能写成93年.b.日期可采用全数字式写法,如1993-02-18或1993 02 18或19930218.c.日的时刻表示可用GB 2809的规定写法,如15时9分38.5秒写作15:09:38.5或150938.5.     

矩阵半张量积在求解复线性系统的特殊Toeplitz解中的应用

利用矩阵的半张量积研究复线性系统的三角形Toeplitz解.首先提出复矩阵的实向量表示概念,结合矩阵的半张量积将复线性系统转化为相应的实线性系统,进而给出原系统在三角形Toeplitz约束下相容的充要条件及通解表达式,并给出相应的数值算法,最后通过数值实验验证了该算法的有效性.     

仿射李代数sl(2,(C))的顶点算子表示VQ上的顶点代数结构

根据李代数的表示理论,研究了仿射李代数sl(2,(C))的顶点算子表示VQ的顶点算子结构,通过形式级数的计算方法,证明了VQ是一个顶点算子代数.     

基于功能点估算的逆向工程方法

功能点分析是从用户的角度度量软件功能规模的一种方法。本文首先对功能点分析(FPA)现有的半形式化模型进行了扩充,然后形式化描述了外部查询(EQ)的4条规则,并提出了基于源代码的逆向工程技术方法来处理这4条规则,为全自动化度量奠定了理论基础。     

Type-A半群的表示

给出了Type-A半群的表示,将文献[1]中著名的Vagner表示定理推广到Abandant半群中.证明了如果S是一个半群,则存在一个集合X及S到PJ(X)的单同态.