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

农业机械学报 2012年第2期43卷 170-174页

作者：苗腾赵春江郭新宇陆声链温维亮中国农业大学信息与电气工程学院北京100083 国家农业信息化工程技术研究中心北京100097

提出了一种基于真实数据并保持原始参数不变的植物叶柄器官建模方法。首先通过叶柄长度、叶柄半径参数建立柄的三维模型,并加入表面绒毛的模拟以增强真实感;为了丰富模型的形态,提出了基于交互的形态调整方法,该方法以关节链及逆向运动... 详细信息

提出了一种基于真实数据并保持原始参数不变的植物叶柄器官建模方法。首先通过叶柄长度、叶柄半径参数建立柄的三维模型,并加入表面绒毛的模拟以增强真实感;为了丰富模型的形态,提出了基于交互的形态调整方法,该方法以关节链及逆向运动学为基础,辅以误差补偿算法,使交互调整过程中模型的原始参数(长度、半径)保持不变。试验结果表明,该方法可以快速、灵活地构建出叶柄器官的三维形态,具有较好的真实感效果,且变形过程中参数的变化很小。

关键词：叶柄数据约束关节链逆向运动学建模

来源：评论

学校读者我要写书评

暂无评论

基于数据约束的黄瓜叶片参数化建模

引用

农业机械学报 2011年第1期42卷 171-176页

作者：苗腾赵春江郭新宇陆声链温维亮中国农业大学信息与电气工程学院北京100083 国家农业信息化工程技术研究中心北京100097

提出一种基于数据约束的黄瓜叶片参数化建模方法。该方法首先通过对真实叶片形态数据的统计分析获得叶脉分布以及叶缘特征两类形态特征参数,用来约束叶片整体形状并分区域描述叶缘形态细节,再根据参数值计算出叶片轮廓特征点的三维坐标... 详细信息

提出一种基于数据约束的黄瓜叶片参数化建模方法。该方法首先通过对真实叶片形态数据的统计分析获得叶脉分布以及叶缘特征两类形态特征参数,用来约束叶片整体形状并分区域描述叶缘形态细节,再根据参数值计算出叶片轮廓特征点的三维坐标,利用轮廓中轴骨架建模方法生成叶片的三维网格,最后采用纹理贴图技术增加真实感。试验结果表明,采用该方法可以快速、灵活地构建出黄瓜叶片的三维形态,具有较强的真实感效果。

关键词：黄瓜叶片数据约束交互式设计参数化建模

来源：评论

学校读者我要写书评

暂无评论

数据约束模型的相似最优校准一致性分析

引用

计算机工程与应用 2019年第1期55卷 261-265页

作者：谢苗苗方贤文王丽丽安徽理工大学数学与大数据学院安徽淮南232001

数据约束模型的一致性分析是业务流程管理的重要问题。已有的方法主要单一考虑流程模型的控制流方面。但是,对于一个模型而言,考虑数据流的时候可能是不一致的,所以应该结合数据信息的影响分析业务流程模型的一致性。基于相似最优校准... 详细信息

数据约束模型的一致性分析是业务流程管理的重要问题。已有的方法主要单一考虑流程模型的控制流方面。但是,对于一个模型而言,考虑数据流的时候可能是不一致的,所以应该结合数据信息的影响分析业务流程模型的一致性。基于相似最优校准的概念,根据算法计算出模型与日志的简化最优校准集,以便缩减已有方法所需的数量,然后映射校准移动到模型以确定模型行为不一致的区域,并添加控制节点进一步优化模型,最后通过具体实例验证该方法的可行性。

关键词：数据约束相似最优校准校准移动行为一致性

来源：评论

学校读者我要写书评

暂无评论

带数据约束实时系统的模型检测

引用

计算机科学 2014年第5期41卷 254-262,269页

作者：倪水妹曹子宁李心磊民用飞机模拟飞行国家重点实验室上海201210 南京航空航天大学计算机科学与技术学院南京210016 安徽工业大学计算机学院马鞍山243032

带数据约束的实时系统是指一种既带有时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个模型中的规范及验证研究较少。文中提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连续时间的... 详细信息

带数据约束的实时系统是指一种既带有时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个模型中的规范及验证研究较少。文中提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连续时间的ZIA规范,并给出它的时序逻辑。MARTE是UML在嵌入式实时系统领域的建模规范,在工业界的应用非常广泛,但是目前对其模型检测的研究较少。在MARTE的基础上扩展Z,提出了Z-MARTE,并将Z-MARTE转换为基于连续时间的ZIA模型,在实现对连续时间ZIA模型检测的同时,也实现了对Z-MARTE的模型检测。最后通过一个实例进行验证,说明此方法可行有效。

关键词：数据约束实时系统连续时间 MARTE ZIA 模型检测

来源：评论

学校读者我要写书评

暂无评论

数据约束增强的学习型查询优化技术研究

数据约束增强的学习型查询优化技术研究

引用

作者：段浩洋杭州电子科技大学

学位级别：硕士

查询优化器作为数据库管理系统的核心,旨在为数据库查询选择一个最佳计划。传统优化器往往通过元数据信息、专家经验构建一个启发式的成本模型以在计划搜索空间中选择最优计划,但是由于成本模型的误差,传统优化器无法在合理的时间内找... 详细信息

查询优化器作为数据库管理系统的核心,旨在为数据库查询选择一个最佳计划。传统优化器往往通过元数据信息、专家经验构建一个启发式的成本模型以在计划搜索空间中选择最优计划,但是由于成本模型的误差,传统优化器无法在合理的时间内找到最佳查询计划。最近数据库领域的研究人员提出了基于学习的查询优化方法,利用机器学习技术从过去的经验中学习高质量的计划。然而这些方法仅将简单的元数据作为特征嵌入到学习模型中,忽略了高级元数据的重要性,即数据约束的影响。为此,本文提出了一个数据约束增强的学习型查询优化系统,利用数据约束推理出等价查询,而后设计学习模型预测最优的查询及其查询计划。本文研究内容主要有以下三点:(1)针对数据约束利用不充分导致无法为查询选择到最优查询计划这一问题,考虑到通过数据约束可以获得查询代价不同的等价查询,本文提出了一个新颖的学习型查询优化方法Celo。本文首先设计了一个基于树卷积的预测模型,然后提出了一个通过数据约束找到当前查询一个等价查询计划的方法,用此计划扩充当前查询的备选计划集合,最后利用最优计划产生的经验和等价知识训练预测模型,建立训练循环。实验结果表明,Celo相较于前沿学习型查询优化器Bao可以提高12.5%的平均查询优化性能,相较于Postgre SQL可以提高18.5%。(2)当查询中存在大量等价查询,若随意选择查询进行扩充则不会产生最佳的查询优化效果,针对如何选择一个最优等价查询利用其进行计划扩充这一问题,本文提出了一个基于深度学习的等价最优查询选择方法EOQS。本文首先提出了一个新的特征提取方法,不仅能从查询中提取特征,而且能从查询的预估计划中提取特征;接着,设计了一个基于深度学习的选择模型,从更好的特征中高效学习如何选择最优查询;最后,实验验证了EOQS较三个基线方法能更准确地选择等价查询中的最优查询。(3)本文综合上述研究成果提出一个统一的查询优化系统。这个系统首先通过数据约束获得Celo中查询的多个等价查询,然后使用EOQS预选择等价查询中性能最优的查询,利用此最优查询的计划来扩充Celo中查询语句产生的备选计划集合。最后,本文通过实验展示了此系统相较于Celo随机选择查询扩充拥有更加快速的数据查询效果。

关键词：查询优化数据约束等价查询深度学习强化学习

来源：评论

学校读者我要写书评

暂无评论

政府赋能与数据约束:基层政府数字治理的实践逻辑与路径建构--基于“龙游通”数字治理的案例考察

引用

河南社会科学 2021年第4期29卷 86-93页

作者：沈费伟叶温馨杭州师范大学公共管理学院浙江杭州311121

当前对于政府数字治理研究主要集中于地市级以上政府,基层政府数字治理研究成果非常稀少,尤其缺少对相应现实案例进行深度探究。基于政府赋能与数据约束的分析框架,以衢州市“龙游通”数字治理为例,在厘清现阶段基层政府数字治理实践逻... 详细信息

当前对于政府数字治理研究主要集中于地市级以上政府,基层政府数字治理研究成果非常稀少,尤其缺少对相应现实案例进行深度探究。基于政府赋能与数据约束的分析框架,以衢州市“龙游通”数字治理为例,在厘清现阶段基层政府数字治理实践逻辑的基础上,提出新时期基层政府数字治理的路径构建。研究发现,当前基层政府数字治理已形成制度体系、组织协同、机制聚合、智能应用、公民参与的内生动力,但仍面临数据采集困难、数据保障滞后、数据运用效果不佳、数据计算落后的现实困境。技术、组织与行为是基层政府数字治理主要变革内容。基于此,未来需要从技术发展、组织优化、行为规范三方面推进基层政府数字治理能力建设,从而更好地提高基层政府数字治理绩效。

关键词：基层政府数字治理政府赋能数据约束龙游通

来源：评论

学校读者我要写书评

暂无评论

带数据约束的概率实时系统的验证

引用

计算机科学 2017年第S1期44卷 571-574,593页

作者：张春燕孙俊无锡科技职业学院无锡214000 江南大学无锡214000

带数据约束的概率实时系统是指一种既带有概率时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个概率模型中的规范及验证研究较少。提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连... 详细信息

带数据约束的概率实时系统是指一种既带有概率时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个概率模型中的规范及验证研究较少。提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连续时间的概率ZIA规范,并给出了它的时序逻辑。对于CTL和PCTL而言,尽管这些逻辑很强大,但是只能反映时序性质,因此提出一个新的形式化语言CTML来表达度量性质查询,同时保留表达时序性质的能力并给出概率ZIA规范的验证算法。

关键词：数据约束概率实时系统连续时间 ZIA

来源：评论

学校读者我要写书评

暂无评论

保持数据约束的关系数据库至XML文档的转换

引用

计算机应用与软件 2007年第1期24卷 61-64页

作者：徐文浩焦智刘秀兰薛宝仪北京工业大学电子信息与控制工程学院北京100022 国防大学训练模拟中心北京100091

XML已成为Internet上的技术趋势,在保留原有关系数据库的同时发展XML文档是目前的最佳选择,它需要在保持数据依赖约束基础上实现关系数据库与XML文档的转换。这一过程中,模式转换必须先于数据转换,因为现有的关系数据库通常是规范化的,... 详细信息

XML已成为Internet上的技术趋势,在保留原有关系数据库的同时发展XML文档是目前的最佳选择,它需要在保持数据依赖约束基础上实现关系数据库与XML文档的转换。这一过程中,模式转换必须先于数据转换,因为现有的关系数据库通常是规范化的,重建XML文档树结构才能实现这一转换。为了达成此目的,首先依据已有的数据依赖约束将规范化的关系联合进一组表格,实现反向规范化,然后将这些联合表格映射为一组DOM,归并成XML文档树,根据用户选择的根结点,以及与它相连的结点形成一个期望的局部文档树,被选的XML文档树又映射为DTD格式的XML模式。这样就可以将联合表映射成一组DOM,并将其归并成单一DOM,最终转换成XML文档。

关键词：数据约束关系数据库 XML文档转换

来源：评论

学校读者我要写书评

暂无评论

带线性可组合归纳谓词与数据约束的分离逻辑的判定程序：理论研究与工具实现

带线性可组合归纳谓词与数据约束的分离逻辑的判定程序：理论研究...

引用

作者：古新才中国科学院大学

学位级别：硕士

霍尔逻辑是一种众所周知的基于一阶逻辑对命令式程序的行为进行推理和验证的形式系统。然而，使用霍尔逻辑对于存在指针和动态数据结构的命令式程序进行推理和验证是一件比较困难的事情。主要问题在于:1)一阶逻辑没有表达指针变量非别... 详细信息

霍尔逻辑是一种众所周知的基于一阶逻辑对命令式程序的行为进行推理和验证的形式系统。然而，使用霍尔逻辑对于存在指针和动态数据结构的命令式程序进行推理和验证是一件比较困难的事情。主要问题在于:1)一阶逻辑没有表达指针变量非别名的原语，在程序分析与验证时必须考虑所有的别名模式，2）当牵涉到内存分配和释放操作时，需要对指针变量所处的论域进行扩充或限制，而一阶逻辑不具备改变变量所处的论域的能力。为了克服霍尔逻辑的上述缺陷，Reynolds、O\'Hearn等人在2000年左右提出了分离逻辑。分离逻辑通过引入分离算子克服了霍尔逻辑的上述不足，使得能够以比较自然的方式来描述程序计算过程中内存和动态数据结构的性质，从而简化了对含有指针和动态数据结构的命令式程序的验证工作。而且，分离逻辑能够支持局部推理，可以将推理集中在程序执行过程中所访问的内存片段上，然后再通过框架规则(Frame rule)将推理扩展到程序的全局状态。\n 在使用分离逻辑对含有动态数据结构的命令式程序进行验证时，一般引入归纳谓词来对动态数据结构进行抽象表示，而且程序验证问题最终归结为两个分离逻辑公式的蕴涵问题。由于含有归纳谓词的分离逻辑的蕴涵问题一般是不可判定的，目前的大多数基于分离逻辑的工具只提供了不完备的判定算法。\n 在本文中，我们定义了带线性可组合归纳谓词与数据约束的分离逻辑的一个子集，使得可以在统一的框架下同时对线性数据结构的形状性质（即单链表、双链表、带尾指针的单双链表）与数据性质（比如有序性和长度约束）进行描述。我们针对该子集的可满足性问题与蕴涵问题提供了完备的判定算法。我们将该子集的可满足性问题归结为整数域上的线性算术公式的可满足性问题，然后交给目前主流的SMT求解器求解。对于蕴涵问题，我们将分离逻辑公式用图来表示，然后将两个逻辑公式的蕴涵问题转化为它们的图表示之间的某种图同态问题。最后，我们将我们的判定算法进行了实现，开发了原型工具，进行了相关实例研究。

关键词：命令式程序数据结构分离逻辑归纳谓词数据约束

来源：评论

学校读者我要写书评

暂无评论

数据约束对数据质量的影响研究

引用

长江大学学报（自然科学版） 2011年第5期8卷 100-102,6页

作者：程录庆南京人口管理干部学院信息科学系江苏南京210042

提高数据质量是数据库技术研究的新热点,数据约束是客观世界的数据所应遵循的语义限制,其对数据质量的影响往往被专业人士所忽视。对出现过的数据约束表达作了分类,并从数据约束分析的角度讨论了数据的固有特性对数据库结构设计、数据... 详细信息

提高数据质量是数据库技术研究的新热点,数据约束是客观世界的数据所应遵循的语义限制,其对数据质量的影响往往被专业人士所忽视。对出现过的数据约束表达作了分类,并从数据约束分析的角度讨论了数据的固有特性对数据库结构设计、数据输入、数据修复和数据查询的影响。

关键词：数据质量数据约束数据约束分类

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：