向坚
- 作品数：35 被引量：35H指数：4
- 供职机构：浙江科技学院信息与电子工程学院更多>>
- 发文基金：浙江省教育厅科研计划国家自然科学基金浙江省科技计划项目更多>>
- 相关领域：自动化与计算机技术文化科学交通运输工程经济管理更多>>
- 一种面向海量三维人体运动数据库的索引方法
- 因为运动特征数据的高维复杂性,采用扩展的非线性的ISOMAP流形学习的降维算法来对运动特征数据进行降维.在运动数据降维之后,为大规模运动捕获数据库建立一种新的参考索引体系(RI),在检索过程中可以排除绝大部分与查询例子无...
- 向坚朱红丽
- 关键词：海量数据库降维算法
- 文献传递
- 基于三维特征提取的人体运动数据分析和检索被引量：5
- 2008年
- 基于各关节点三维空间和时间关系的三维特征,提出了一种描述各关节点之间三维空间关系的时空特征,可以分别处理每一个关节点的局部时空特征。同时,三维时空特征避开与原始数据的直接接触,从而很大程度避免了维数灾难。实验结果显示,三维特征提高运动数据检索的效率和精度,可应用到运动语义智能分析等领域。
- 向坚朱红丽
- 关键词：运动捕获
- 学科竞赛在大学教育中的作用
- 为培养具有创新精神和实践动手能力的高素质人才,浙江科技学院在实践教育教学方面以拓展本科生综合素质为目标,以创新教育为重点,积极推进学科竞赛。学科竞赛激发了学生的创新思维,极大的提高了参赛学生的创新能力和解决具体实际问题的...
- 向坚
- 关键词：高等教育大学生成才学科竞赛教学改革
- 文献传递
- 可满足（≠，=）工作流的静态k弹性否决条件被引量：1
- 2019年
- 静态k弹性反映安全工作流从资源失效异常中恢复运行的能力,但其验证须求解多达C(|U|,k)个工作流可满足决策问题(U为资源集),代价巨大。已有工作提出通过1次工作流可满足计数来量化其异常恢复能力,但该指标相当粗糙,仅能在可满足无解情形下给出精确的否定结论。对互斥和绑定约束下的工作流,建立了以k弹性可满足计数下界概念为核心的新颖模型,并首次证明了一个非平凡的下界,由此可将k弹性的否决条件从可满足无解推广到有解情形,具有理论上的代表性意义,也扩大了前述指标精确适用的范围。
- 翟治年王中鹏叶绿向坚王富忠庞海云
- 关键词：工作流授权资源分配可满足性
- 工作流可满足性(≠,=)计数及其#P完全性被引量：3
- 2017年
- 工作流可满足性(WS)是资源分配对访问控制(AC)策略提出的基本要求.相关工作主要围绕WS决策问题展开,通过找到一个具体的解来说明AC策略的正确性.然而为了进一步验证AC策略在资源异常情况下的合理性,统计所有解的数量将更有帮助.本文对互斥和绑定约束下的WS计数问题进行研究,通过构造从典范性#P完全问题#3SAT到该问题的多项式计数归约,证明其属于#P完全问题,为其恰当地求解奠定了理论基础.
- 翟治年卢亚辉余法红周武杰向坚吴茗蔚
- 关键词：工作流访问控制授权资源分配可满足性
- 基于三维捕获数据的人体运动分析关键技术研究
- 二十世纪九十年代以来，随着运动捕获技术的兴起，以及设备技术的进步，大量的三维人体运动捕获数据生成，并被广泛的应用在计算机动画，游戏，医学仿真，电影特技等领域。在此背景下，基于运动捕获数据的研究，已经成为近年来计算机视觉，...
- 向坚
- 关键词：运动捕获数据决策树多示例学习
- 基于国际合作办学的组件软件开发课程教学改革
- 2013年
- 针对组件软件开发课程的教学改革而产生的一系列问题,阐述我们通过对海外高校考试经验和未来走向的研究,充分发挥近20年以来浙江科技学院与德国应用科学大学国际合作的优势,借鉴其实践教学考核体系的构建和实施的经验,提出高校应用型创新人才实践能力考核体系的教学改革方案。
- 向坚周宝刚
- 关键词：国际合作办学教学改革应用型创新人才实践教学
- 一种高效的大规模RFID数据集合清理方法
- 高效和精确的数据清理是能够让射频识别技术(RFID)系统成功运行的一个关键所在,尽管最近几年在标签识别率上取得了重要的进展,但是在射频界面和标签读写器之间仍然存在大量丢失数据的情况。现有的清理技术主要集中在各种各样的条件...
- 向坚俞坚叶绿
- 关键词：RFID数据清理
- 文献传递
- 基于集成多示例学习决策树分析的三维运动检索
- 随着运动捕获设备的普及,大量的运动数据可以直接得到,从而使得大规模的运动数据库的建立成为可能.在此背景下,研究以检索为核心的运动捕获数据处理技术就显得十分重要了.提出了一种对运动捕获数据中的人体的各个关节点提取一种基于三...
- 向坚俞坚
- 关键词：运动捕获数据数据处理
- 文献传递
- 资源独立工作流可满足性的最小增量模式回溯
- 2023年
- 工作流可满足性是业务安全规划的基本问题,正在面临高资源配比(资源数n显著大于步骤数k)造成的性能挑战.在资源独立约束下,其最高效求解途径是模式空间上的增量回溯法IPB.为克服结点真实性验证的性能瓶颈,它增量计算模式k指派(二部)图及其(左完备)匹配,分别需要O(kn)和O(k^(2))时间.利用父子模式的原子差异增量计算完全指派图,只需O(n)时间,特别是其实际性能,将随模式块规模增长迅速提高.但该图的O(kn)规模导致了同样的增量匹配时间.进而引入完备k核心匹配概念,证明其存在性等价于左完备匹配,且其增量计算时间为O(k^(2)).由此,建立了时间复杂度更低的最小增量模式回溯法.在含互斥和两种全局值势约束而授权比例约为1/4的扩展公开实例集上进行实验,结果表明:当n/k=10(及n/k=100),而k变化时,该方法较IPB有平均超过2(及5)倍、最低1.5(及2.9)倍的性能优势;当k=18(及k=36),而n/k=2~4096(及n/k=2~2048)时,该方法有平均超过2.6(及3.6)倍优势;而较2021年Minizinc挑战赛的冠军求解器Google OR-Tools CP-SAT,该方法最低有超过3倍优势.
- 翟治年卢亚辉刘关俊雷景生向坚吴茗蔚
- 关键词：工作流授权资源分配
