Protégé知识模型的研究

研究了Protégé知识模型和元类体系结构,用元类描述了Protégé的知识模型并将Protégé知识模型转换为RDF知识模型。     

Protégé知识模型的研究

研究了Protégé知识模型和元类体系结构，用元类描述了Protégé的知识模型并将protégé知识模型转换为RDF知识模型。     

短讯1:国际无线电科学联盟简介

<正>国际无线电科学联盟(URSI)作为直属国际科学理事会(ICSU)的科学组织,在国际无线电科学界具有崇高的科学地位和社会影响。每3年一届的国际无线电科学联盟大会已有近百年历史,是国际无线电领域最权威的科学大会。大会期间,URSI总部将正式颁发青年科学家奖。该奖项于1969年设立,旨在选拔并资助青年科学家参加URSI大会的全部科学活动,鼓励参加学会交流、激发研究兴趣,从而为无线电科学领域培养储备青年人才。此奖项是国际无线电科学界评选青年科技人才的传统奖项,享有较高国际知名度。北京大学夏明     

多元矩阵Padé逼近的代数性质

文章给出关于多元矩阵 Padé逼近代数性质的三个定理。定理一证明矩阵 Padé逼近的对偶性质 ;定理二证明多元矩阵 Padé逼近与一元矩阵 Padé逼近一样 ,具有自变量分式变换下的单应不变性 ;定理 3证明在一定条件下 ,多元矩阵 Padé逼近可以用一元矩阵 Padé逼近表示 ,以及右多元矩阵 Padé逼近和左多元矩阵 Padé逼近之间的关系 ,这一性质是多元矩阵Padé逼近特有的一个性质。     

对参数Bézier三角片凸性的研究

作者于本文首次建立起了参数Bézier三角片及其网的保凸性条件。对于参数Bézier三角片,作者给出了仅依赖于控制网边矢与扭矢的保凸性充分条件;对于参数Bézier 三角片控制网,作者给出了其保凸性充要条件,当参数Bézier 三角片及其网退化为函数Bézier 三角片及其网时,这些凸性条件完全等价于几年来关于函数Bézier 三角片及其网的所有保凸性条件.     

带形状参数的三次三角Bézier曲线

引入一种带2个形状参数1λ,2λ的三次三角Béz ier曲线,简称为CT-Béz ier曲线。它不仅具有三次Béz ier曲线许多常见的性质,而且利用1λ,2λ的不同取值能局部或整体调控曲线的形状,使两段CT-Béz ier曲线的C1及C2连接具有一定的灵活性。利用CT-Béz ier曲线能精确表示椭圆与抛物线弧。     

均匀有理B-样条与有理Bézier表示之间的变换

利用L.Romani与M. A. Sabin提出的关于均匀B-样条与Bézier表示之间的变换的递推算法以及B-样条与有理B-样条、Bézier曲线与有理Bézier曲线之间的关系,研究有理B-样条曲线与有理Bézier曲线表示之间的变换,其基本方法是将有理B-样条曲线意义下的控制点变换为有理Bézier曲线意义下的控制点,将有理B-样条曲线意义下的权因子变换为有理Bézier曲线意义下的权因子.反之亦然.上述变换可以通过文献[1]中提供的变换以及权因子得到.     

有理Bézier曲面的降价逼近

为了减少曲面表示的存储量,提高曲面计算的效率和稳定性,研究有理Bézier曲面的降阶逼近。分析了有理Bézier曲面降阶逼近的新问题,讨论了有理Bézier曲面的退化条件,基于权和控制顶点的扰动,给出了一种有理Bézier曲面降阶逼近的多目标约束优化新方法,利用此方法,将有理Bézier曲面降阶逼近问题转变为求解多目标二次规划问题。为便于求解,采用了分步约束优化方法并给出了数值例子。     

三次混合Bézier类曲线

提出由多项式基底和有理函数基底构造出混合Bézier函数类的思想,由此定义了混合Bézier类曲线.并研究了一种实用的三次混合Bézier类曲线,同时给出由三次混合Bézier类曲线表示圆弧的实例.与Bézier曲线和有理Bézier分别相比较,三次混合Bézier曲线可以表示圆弧且计算较为简单.     

矩阵Padé逼近的一种算法

原有的广义逆矩阵Padé逼近(GMPA),由于要计算较为复杂的行列式,计算量很大。文章将Padé逼近的一些性质推广到广义逆矩阵Padé逼近的情形,给出了广义逆矩阵Padé逼近的一个算法,它可以由较简单的对角广义逆矩阵Padé逼近递推地计算出其它类型的广义逆矩阵Padé逼近     

几个Bézier、有理Bézier曲线性质的算子化证明

利用 Ｂéｚｉｅｒ 、有理 Ｂéｚｉｅｒ 曲线的算子表示,非常简捷地证明了 Ｂéｚｉｅｒ 曲线和有理 Ｂéｚｉｅｒ 曲线的分段性和包络性．类似的方法很容易推广到 Ｂéｚｉｅｒ 、有理 Ｂéｚｉｅｒ 曲面上．     

均匀有理B-样条与有理Bézier表示之间的变换

利用L.Romani与M.A.Sabin提出的关于均匀B-样条与Bézier表示之间的变换的递推算法以及B-样条与有理B-样条、Bézier曲线与有理Bézier曲线之间的关系,研究有理B-样条曲线与有理Bézier曲线表示之间的变换,其基本方法是将有理B-样条曲线意义下的控制点变换为有理Bézier曲线意义下的控制点,将有理B-样条曲线意义下的权因子变换为有理Bézier曲线意义下的权因子.反之亦然.上述变换可以通过文献[1]中提供的变换以及权因子得到.     

Poincaré-Chetaev系统的积分不变量

研究Poincaré-Chetaev系统的积分不变量,包括Poincaré-Cartan积分不变量以及Poincaré线性积分不变量.利用Hamilton作用量的非等时变分和Poincaré-Chetaev方程来求这些积分不变量,得到系统的Poincaré线性积分不变量和Poincaré-Cartan积分不变量,并举例说明结果的应用.     

2010年国际技术转移大会在上海召开

<正>2010年10月13至14日,"2010年国际技术转移大会—中国·上海"在上海举办。大会以"世博科技与国际技术转移—共同的发展机遇"为主题,以主题演讲和圆桌会议相结合的形式,对开展国际技术转移的意义、有效模式、发展方向以及知识产权保护等     

关于退化拟正则映射的加权不等式

为了研究退化拟正则映射的性质,将拟正则映射的加权Poincaré型不等式进行了推广.首先给出当权重为拟正则映射时的Poincaré型不等式和退化拟正则映射的概念,然后证明了当权重为退化拟正则映射时Poincaré型不等式仍然成立.     

语言的多维视角研究

<正>国际跨学科语言学大会(International Free Linguistics Conference)第8届年会于2014年9月26~29日在上海交通大学成功召开。国际跨学科语言学大会是由悉尼大学语言学系于2007年发起的全球性语言学交流大会,其宗旨是打破学科界限、免收高昂会费,为各语言学分支流派的全球学者共享研究成果提供一个高包容性、高性价比的交流平台。     

三次混合B&#233;zier类曲线

提出由多项式基底和有理函数基底构造出混合B&#233;zier函数类的思想,由此定义了混合B&#233;zier类曲线.并研究了一种实用的三次混合B&#233;zier类曲线,同时给出由三次混合B&#233;zier类曲线表示圆弧的实例.与B&#233;zier曲线和有理B&#233;zier分别相比较,三次混合B&#233;zier曲线可以表示圆弧且计算较为简单.     

国际二宫尊德思想学会第4届学术大会

<正>以"报德思想与和谐社会"为主题的国际二宫尊德思想学会第4届学术大会于2008年11月22～23日在华东理工大学隆重召开。大会由华东理工大学社会与公共管理学院"华东二宫尊德思想研究中心"与国际二宫尊德思想学会联合主办,与会代     

柑橘技术的多样性与发展

<正>国际柑橘学会(International Society of Citriculture,ISC)第11届学术大会于2008年10月26～30日在湖北省武汉市成功举行。本次大会是国际柑橘学会成立40年来首次在中国召开。大会由国际柑橘学会主办,中国柑橘学会和华中农业大学承办,来自世界35个国家共1107     

会议点击

<正>第三十一届国际无线电科学联盟大会在京召开近日,第三十一届国际无线电科学联盟大会(URSIGASS 2014)在北京召开。本届大会由国家工业和信息化部、中国科学技术协会、北京市人民政府指导,国际无线电科学联盟主办,中国电子学会承办,中国电子科技集团公司等协办。这是具有百年历史的无线电科学联盟大会首次在中国召开,来自全球43个国家,1200余名科学