检索结果-内蒙古大学图书馆

第六届智能CAD与数字娱乐学术会议

作者： Wang Bin 王斌 Sun Zhengxing 孙正兴 Zhang Yaoye 张尧烨 Zhang Yan 张岩 State Key Laboratory for Novel Software Technology Nanjing University 210093 China 南京大学计算机软件新技术国家重点实验室南京市210093 Department of Computer Science and Technology Nanjing University 210093 China 南京大学计算机科学与技术系南京市210093

本文提出了一种基于手绘草图的三维树木建模方法，使得用户可手绘输入多种简易草图生成所需树木模型。首先，由用户输入树木草图来表示所需树木模型的结构及整体形状。然后，利用基于规则的方法在草图基础上生成新的二维树枝，形成完整... 详细信息

本文提出了一种基于手绘草图的三维树木建模方法，使得用户可手绘输入多种简易草图生成所需树木模型。首先，由用户输入树木草图来表示所需树木模型的结构及整体形状。然后，利用基于规则的方法在草图基础上生成新的二维树枝，形成完整的二维树木。接着在保证三维树正视图投影与二维树结构一致的前提下，最大化三维树枝间的距离，将二维树枝转化为三维树枝，生成三维树木结构。最后，确定树枝粗细并添加树叶等细节形成完整的三维树木模型。

关键词：计算机图形学树木模型建模方法生长规则三维结构

来源：评论

学校读者我要写书评

暂无评论

基于手绘草图的交互式发型建模方法

基于手绘草图的交互式发型建模方法

引用

第六届智能CAD与数字娱乐学术会议

作者： Wang Bin 王斌 Sun Zhengxing 孙正兴 ZhangYaoye 张尧烨 Zhang Yan 张岩 State Key Laboratory for Novel Software Technology Nanjing University 210093 China 南京大学计算机软件新技术国家重点实验室南京市210093 Department of Computer Science and Technology Nanjing University 210093 China 南京大学计算机科学与技术系南京市210093

Hairstyle is an important feature of virtual human character in computer ***, which is an important part of hair modeling, is aimed to model the shape of static hair. It'sdifficulty to ensure both hair realism and real-time performance due to the huge number of hair strandsand the complexity of hairstyles. Besides, human-computer interaction should also be considered. Thus,hairstyling still remains a challenging task. Generally, to support hairstyling effectively, it's crucial forhairstyling tools to find a tradeoff between realism and interaction.

关键词：计算机图形学虚拟人物发型设计人机交互

来源：评论

学校读者我要写书评

暂无评论

数据挖掘方法在入侵检测中的应用研究

引用

模式识别与人工智能 2008年第4期21卷 520-526页

作者：周荃赵凤英王崇骏陈世福南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

针对入侵检测数据集具有的类别不均衡性、数据中心重叠、噪音、分布率变化等问题,提出一种集多种数据挖掘方法的解决方案,包括 k-means、C4.5、SVM、Nave Bayes、Bayes Net、Co-training 等,并进行相关实验.实验结果表明其有效性.

关键词：重复性不均衡入侵检测软集成取样

来源：评论

学校读者我要写书评

暂无评论

一种结合Tile Coding的平均奖赏强化学习算法

引用

模式识别与人工智能 2008年第4期21卷 446-452页

作者：王巍巍陈兴国高阳南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

平均奖赏强化学习是强化学习中的一类重要的非折扣最优性框架,目前大多工作都主要是在离散域进行.本文尝试将平均奖赏强化学习算法和函数估计结合来解决连续状态空间的问题,并根据状态域的改变,相应修改 R-learning 和 G-learning 中参... 详细信息

平均奖赏强化学习是强化学习中的一类重要的非折扣最优性框架,目前大多工作都主要是在离散域进行.本文尝试将平均奖赏强化学习算法和函数估计结合来解决连续状态空间的问题,并根据状态域的改变,相应修改 R-learning 和 G-learning 中参数的更新条件.此外对结合函数估计的 G-learning 算法的性能表现及其对各种参数的敏感程度进行针对性研究.最后给出实验结果及分析.实验结果证明 R-learning 和 G-learning 在ε较小的情况下解容易发散,同时也说明特征抽取方法 Tile coding 的有效性,且可作为其它特征抽取方法的参考标准.

关键词：强化学习马尔可夫决策过程(MDP) R-学习 G-学习平均奖赏

来源：评论

学校读者我要写书评

暂无评论

EPON技术在有线电视数字化改造中的应用研究

EPON技术在有线电视数字化改造中的应用研究

引用

2009中国数字电视与网络发展高峰论坛暨第十七届全国有线电视综合信息网学术研讨会

作者：贺菊香曹三省中国传媒大学信息工程学院怀化学院物理与信息系中国传媒大学信息工程学院南京大学计算机软件新技术国家重点实验室

本文重点研究了如何将EPON这种基于以太网的无源光网络技术应用到有线电视HPC网络改造中，以最低的代价实现传统HFC网络的双向改造，为当前及今后我国有线电视网络双向建设开辟了一条网络发展新路，即基于EPON的综合业务光纤接入网道路。

关键词： EPON技术有线电视数字化改造无源光网络光纤接入网 HFC网

来源：评论

学校读者我要写书评

暂无评论

一种基于不变量的从工作流网到PERT图的转换方法

引用

电子学报 2008年第5期36卷 893-898页

作者：葛季栋胡昊吕建计算机软件新技术国家重点实验室(南京大学) 南京大学计算机科学与技术系江苏南京210093 南京大学软件学院江苏南京210093

工作流管理系统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模... 详细信息

工作流管理系统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模型的进度与工期,而在传统的项目进度计划中,PERT图是一种成熟的技术,为此,本文在工作流网的基础上增加了时间的概念,基于LMST-不变量的分解技术,提出了一种将LMST-不变量分解得到的子网转换为PERT图的算法,由此达到估算工作流过程模型的进度与工期的目的.

关键词：工作流 Petri网过程建模合理性不变量 PERT图

来源：评论

学校读者我要写书评

暂无评论

基于MDA的设计模式建模与模型转换

引用

软件学报 2008年第9期19卷 2203-2217页

作者：张天张岩于笑丰王林章李宣东南京大学计算机科学与技术系江苏南京210093 南京大学计算机软件新技术国家重点实验室江苏南京210093

MDA(model driven architecture)的一个重要意图是将模型作为软件开发的基本单元,以进一步提高软件开发的抽象层次.为此,MDA划分了3种抽象级的模型,并通过建立高抽象级的模型和向低抽象级模型及代码的转换来构造可运行的应用程序.在MDA... 详细信息

MDA(model driven architecture)的一个重要意图是将模型作为软件开发的基本单元,以进一步提高软件开发的抽象层次.为此,MDA划分了3种抽象级的模型,并通过建立高抽象级的模型和向低抽象级模型及代码的转换来构造可运行的应用程序.在MDA的框架下,将设计模式作为一种独立的建模和转换单元能够在较高的抽象层次上充分支持复用并提高建模粒度,从而进一步发挥设计模式的优点,提高软件开发效率、降低生产成本.然而,要在MDA的框架下将设计模式作为完整的开发单元来使用,必须解决以模式为单元的建模及转换两个具体问题.针对单元化模式建模的问题,通过扩展MOF(meta object facility)的方式定义了模式单元元模型,并提供了基于此元模型的单元化建模支撑机制,以分离业务模型与模式模型的方式解决了该问题.针对单元化模式模型转换问题,在模式单元元模型的基础上定义了向EJB平台的转换规则.该转换规则使用QVT标准描述,支持单元化的模式模型转换,并具有良好的复用性.

关键词： MDA(model driven architecture)设计模式建模模型转换

来源：评论

学校读者我要写书评

暂无评论

一种基于构件演算的主动构件精化方法

引用

软件学报 2008年第5期19卷 1134-1148页

作者：陈鑫南京大学计算机科学与技术系江苏南京210093 南京大学计算机软件新技术国家重点实验室江苏南京210093

现代构件系统通常包含多个并发执行的主动构件,这使得验证构件系统的正确性变得十分困难.通过对构件演算进行扩展,提出了一种主动构件的精化方法.在构件接口层引入契约.契约使用卫式设计描述公共方法和主动活动的功能规约.通过一对发散... 详细信息

现代构件系统通常包含多个并发执行的主动构件,这使得验证构件系统的正确性变得十分困难.通过对构件演算进行扩展,提出了一种主动构件的精化方法.在构件接口层引入契约.契约使用卫式设计描述公共方法和主动活动的功能规约.通过一对发散、失败集合定义契约的动态行为,并利用发散、失败集合之间的包含关系定义契约间的精化关系.证明了应用仿真技术确认契约精化关系的定理.定义构件的语义为其需求接口契约到其服务接口契约的函数,以此为基础,可以通过契约的精化来证明构件的精化.给出了构件的组装规则.在构件系统自底向上的构造过程中,应用构件的精化方法和组装规则可以保证最终系统的正确性.

关键词：接口构件语义契约精化组合

来源：评论

学校读者我要写书评

暂无评论

基于点的POMDP算法的预处理方法

引用

软件学报 2008年第6期19卷 1309-1316页

作者：卞爱华王崇骏陈世福南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

基于点的算法是部分可观察马尔可夫决策过程(partially observable Markov decision processes,简称POMDP)的一类近似算法.它们只在一个信念点集上进行Backup操作,避免了线性规划并使用了更少的中间变量,从而将计算瓶颈由选择向量转向... 详细信息

基于点的算法是部分可观察马尔可夫决策过程(partially observable Markov decision processes,简称POMDP)的一类近似算法.它们只在一个信念点集上进行Backup操作,避免了线性规划并使用了更少的中间变量,从而将计算瓶颈由选择向量转向了生成向量.但这类算法在生成向量时含有大量重复和无意义计算,针对于此,提出了基于点的POMDP算法的预处理方法(preprocessing method for point-based algorithms,简称PPBA).该方法对每个样本信念点作预处理,并且在生成α-向量之前首先计算出该选取哪个动作和哪些α-向量,从而消除了重复计算.PPBA还提出了基向量的概念,利用问题的稀疏性避免了无意义计算.通过在Perseus上的实验,表明PPBA很大地提高了算法的执行速度.

关键词： POMDP 值迭代基于点的算法预处理基向量

来源：评论

学校读者我要写书评

暂无评论

基于设计演算的形式化用例分析建模框架

引用

软件学报 2008年第10期19卷 2539-2549页

作者：陈鑫李宣东南京大学计算机科学与技术系江苏南京210093 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

提出一种形式化用例分析建模框架,引入类图、用例顺序图、用例状态图、功能规约函数和系统不变式从多个角度为需求建模.通过定义这些视图的形式化语义,为需求的各个方面定义了准确的形式化描述.利用该框架,可以从方法的交互行为规约和... 详细信息

提出一种形式化用例分析建模框架,引入类图、用例顺序图、用例状态图、功能规约函数和系统不变式从多个角度为需求建模.通过定义这些视图的形式化语义,为需求的各个方面定义了准确的形式化描述.利用该框架,可以从方法的交互行为规约和功能规约合成描述方法全部行为的全规约;也可以定义用例模型的性质,并通过设计演算中的证明来分析验证这些性质.作为应用,研究了检查用例模型一致性的规则.给出一个实例说明建模框架的可行性.

关键词：用例模型语义多视图一致性检验最弱前提条件

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：