搜索筛选:
搜索耗时0.7887秒,为你在为你在102,285,761篇论文里面共找到 19 篇相符的论文内容
发布年度:
[期刊论文] 作者：鲍泓,韩振峰,,
来源：教育探索 年份：2006
邓小平对马克思主义关于人的全面发展学说的新贡献主要体现在以下几点:社会主义现代化建设的目的是为了更好地实现人的全面发展;社会主义现代化建设必须依靠全面发展的人;发...
[期刊论文] 作者：周训伟,鲍泓,
来源：计算机工程与科学 年份：2006
Carroll Morgan的规则精化方法是一种典型的程序精化方法,是一种形式方法.本文用互逆主义逻辑对其进行了改造:将其中的精化法则改造成为逻辑定理,以二层假言推理和小前提逆二...
[期刊论文] 作者：周训伟,鲍泓,
来源：毕节学院学报：综合版 年份：2006
互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样，都是三真一假的真值表，但含义却不尽相同。...
[会议论文] 作者：周训伟,鲍泓,
来源：全国第五次程序设计语言发展与教学学术会议、第三届全国Web信息系统及其应用学术会议暨全国首届语义Web与本体论学术研讨会 年份：2006
二层单准Prolog语言基于互逆主义逻辑中的二层单准演算,其中会出现二层递归现象、即头和体中出现相同的经数联符.本文讨论了五种二层递归:体中只有一个二单经数命题的二层递...
[会议论文] 作者：周训伟,鲍泓,
来源：第二届两岸逻辑教学学术会议 年份：2006
经典离散数学是由计算机科学中要用到的、相互之间没有什么联系的数学分支如数理逻辑、集合论、抽象代数、图论所组成;周氏离散数学是与经典离散数学不同的离散数学。周氏离...
[期刊论文] 作者：袁家政,须德,鲍泓,,
来源：计算机研究与发展 年份：2006
针对XML网页特点，提出了计算XML文档结构相似性、文档关键词出现的位置以及关键词频度的方法，根据计算的结果提取XML网页特征，同时设计了一种基于支持向量机的XML网页多类分类算......
[期刊论文] 作者：袁家政,须德,鲍泓,
来源：计算机研究与发展 年份：2006
在单个SVG文档的模块化与结构化的基础上,分析SVG实体的特征和组织方式,描述了SVG实体、对象、类的结构组成.提出了基于SVG应用的数据模型DMSA和利用关系数据库存储SVG类/对...
[期刊论文] 作者：梁晔,鲍泓,刘宏哲,
来源：计算机工程与应用 年份：2006
建立文物图像数据库是建立文物数字博物馆的基础,在基于物理特征检索的图像数据库系统中应用了FAC-file这种索引方法,并对系统的检索性能进行测试.对采用索引结构和未采用索...
[期刊论文] 作者：王育坚,鲍泓,袁家政,
来源：微电子学与计算机 年份：2006
对CORBA和移动代理技术进行了深入研究，在分析了两种网管技术的优势和不足的基础上．提出了一个基于CORBA和移动代理技术的综合网管模型。网管模型利用Java虚拟机作为运行平台．OR......
[期刊论文] 作者：周训伟，鲍泓，ZHOUXun-wei，BAOHong,
来源：计算机工程与科学 年份：2006
...
[期刊论文] 作者：王育坚,鲍泓,袁家政,,
来源：微电子学与计算机 年份：2006
对CORBA和移动代理技术进行了深入研究,在分析了两种网管技术的优势和不足的基础上,提出了一个基于CORBA和移动代理技术的综合网管模型。网管模型利用Java虚拟机作为运行平台...
[会议论文] 作者：周训伟[1],鲍泓[2],
来源：全国第五次程序设计语言发展与教学学术会议、第三届全国Web信息系统及其应用学术会议暨全国首届语义Web与本体论学术研讨会 年份：2006
二层单准Prolog语言基于互逆主义逻辑中的二层单准演算,其中会出现二层递归现象、即头和体中出现相同的经数联符.本文讨论了五种二层递归:体中只有一个二单经数命题的二层递...
[期刊论文] 作者：刘宏哲, 鲍泓, 余杰华,,
来源：计算机应用研究 年份：2006
在语义网络架构下,以基于本体的概念参考模型CIDOC CRM作为数据描述的基础,用W eb Services技术建立基于语义的网上虚拟文物博物馆分布式系统的相关机制。...
[期刊论文] 作者：袁家政,须德,沈洪,鲍泓,
来源：系统仿真学报 年份：2006
提出了一种关于基于XML的矢量图形SVG实体类、对象之间的关系结构模型与实现方法,其过程是通过对实体的矢量化描述,将实体层次化,并用基于XML的伪码(pseudo-XML)来表示.设计...
[期刊论文] 作者：袁家政,须德,沈洪,鲍泓,,
来源：系统仿真学报 年份：2006
提出了一种关于基于XML的矢量图形SVG实体类、对象之间的关系结构模型与实现方法,其过程是通过对实体的矢量化描述,将实体层次化,并用基于XML的伪码(pseudo-XML)来表示。设计一种转换算法,将伪码转换为结构化的SVG矢量图形代码。结构化的SVG代码有利于基于内容......
[期刊论文] 作者：马楠,鲍泓,刘宏哲,邢宇,,
来源：北京联合大学学报(自然科学版) 年份：2006
应用Web 3D技术并使用VRML语言实现对普通图像以及Web三维空间的一般场景描述。提出将互联网三维信息与关系型数据库相结合存储管理数据的方案，结合数字博物馆研究课题展示了W...
[期刊论文] 作者：袁家政，须德，鲍泓，YuanJiazheng，XuDe，BaoHong,
来源：计算机研究与发展 年份：2006
...
[会议论文] 作者：袁家政[1]须德[2]鲍泓[3],
来源：第二十三届中国数据库学术会议(NDBC2006) 年份：2006
本文在单个SVG文档的模块化与结构化的基础上,分析SVG实体的特征和组织方式,描述了SVG实体、对象、类的结构组成.提出了基于SVG应用的数据模型DMSA和利用关系数据库存储SVG类...
[期刊论文] 作者：袁家政，须德，沈洪，鲍泓，YUANJia-zheng，XUD,
来源：系统仿真学报 年份：2006
...
相关搜索：
