检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

工作流可满足性的约简增量模式回溯法

计算机集成制造系统 2023年第11期29卷 3624-3638页

作者：翟治年刘关俊卢亚辉向坚吴茗蔚丰明坤浙江科技学院信息与电子工程学院浙江杭州310023 同济大学计算机科学系上海201804 深圳大学计算机与软件学院广东深圳518060

在大量云/服务化资源造成的性能压力下,增量模式回溯法(Incremental Pattern Backtracking, IPB)及其k指派技术是工作流可满足性求解的首选途径,但对“欠约束”实例,其模式枚举性能显著下降,不利于大量可行解的优化选择。针对该问题提... 详细信息

在大量云/服务化资源造成的性能压力下,增量模式回溯法(Incremental Pattern Backtracking, IPB)及其k指派技术是工作流可满足性求解的首选途径,但对“欠约束”实例,其模式枚举性能显著下降,不利于大量可行解的优化选择。针对该问题提出新颖的简指派图概念,证明其可取代k指派图用于模式授权匹配验证,且尽管其块邻域大小耦合了图的整体信息,但仍可以增量方式计算。进而,分析了增量化简指派的实施条件和效果,及其主要影响因素。由此建立了约简增量模式回溯法(Reduced Incremental Pattern Backtracking, RIPB)。在资源配比为2~100的两个仿真实例集上测试,实验结果表明:在其基本子集上,RIPB较IPB有0.96~1.24倍时间性能优势;当资源比例升高或约束密度降低时,RIPB的优势有不同程度扩大;特别地,对资源配比为10而授权比例在1/2左右的两个子集,RIPB的平均优势分别可达1.29和1.61倍。

关键词：可满足性工作流授权约束资源分配模型计数模式

在线全文

学校读者我要写书评

暂无评论

资源独立工作流可满足性的最小增量模式回溯

软件学报 2023年第4期34卷 1543-1569页

作者：翟治年卢亚辉刘关俊雷景生向坚吴茗蔚浙江科技学院信息与电子工程学院浙江杭州310023 深圳大学计算机与软件学院广东深圳518060 同济大学计算机科学系上海201804

工作流可满足性是业务安全规划的基本问题,正在面临高资源配比(资源数n显著大于步骤数k)造成的性能挑战.在资源独立约束下,其最高效求解途径是模式空间上的增量回溯法IPB.为克服结点真实性验证的性能瓶颈,它增量计算模式k指派(二部)图及... 详细信息

工作流可满足性是业务安全规划的基本问题,正在面临高资源配比(资源数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倍优势.

关键词：工作流授权约束资源独立资源分配可满足

在线全文

学校读者我要写书评

暂无评论

高校突发环境事件应急处理机制探究

实验室研究与探索 2024年第2期43卷 231-236页

作者：向坚持罗万才瞿绍军刘志华湖南师范大学资产与实验室管理处长沙410081 湖南师范大学信息科学与工程学院长沙410081 湖南美景环保科技咨询有限公司长沙410081

针对高校环境风险管控难度大、应急处理工作基础薄弱和突发环境事件应急预案备案相对滞后等情况,分析了高校突发环境事件应急预案体系建设工作难点与备案滞后的原因,结合湖南省某高校突发环境事件应急预案制定与备案的成功经验,探索高... 详细信息

针对高校环境风险管控难度大、应急处理工作基础薄弱和突发环境事件应急预案备案相对滞后等情况,分析了高校突发环境事件应急预案体系建设工作难点与备案滞后的原因,结合湖南省某高校突发环境事件应急预案制定与备案的成功经验,探索高校突发环境事件应急处理机制与预案体系建设实现路径。从高校突发环境事件的应急组织机构组建、预警分级、预警发布流程、应急响应程序、应急保障和应急监督管理等方面提出具体规范和实施流程。对高校突发环境事件应急预案体系建设具有一定指导与借鉴意义和良好的社会推广价值。

关键词：突发环境事件应急预案应急响应实验室安全

在线全文

学校读者我要写书评

暂无评论

一种基于社交关系模型的系统安全分析方法

电子学报 2006年第B12期34卷 2350-2354页

作者：向坚刘璘 YU Eric 清华大学软件学院北京100084 多伦多大学信息学院

安全问题已经成为现今信息技术在企业应用中要解决的重要问题,本文提出一种设计安全系统的方法框架,这个方法基于面向主体的需求建模框架i*,通过社交概念模型来分析与安全相关的系统的业务和组织环境.这个方法框架把安全分析和一般的软... 详细信息

安全问题已经成为现今信息技术在企业应用中要解决的重要问题,本文提出一种设计安全系统的方法框架,这个方法基于面向主体的需求建模框架i*,通过社交概念模型来分析与安全相关的系统的业务和组织环境.这个方法框架把安全分析和一般的软件工程分析方法结合起来,把安全性和系统相关的其他功能性需求和非功能性需求的共同分析,对需求进行权衡,从系统设计的初始阶段起就把安全措施整合进去.本文通过网上购物的实例用i*图示分析了设计过程中的相关步骤.

关键词：安全设计社交关系模型 i^＊框架软件工程

在线全文

学校读者我要写书评

暂无评论

一种高效的三维运动检索方法

计算机科学 2008年第3期35卷 84-86,96页

作者：向坚浙江科技学院信息与电子工程学院

随着运动捕获设备的普及,大量的运动数据可以直接得到,从而使得大规模的运动数据库的建立成为可能。在此背景下,研究以检索为核心的运动捕获数据处理技术就显得十分重要了。本文提出了一种对运动捕获数据中的人体的各个关节点提取一种... 详细信息

随着运动捕获设备的普及,大量的运动数据可以直接得到,从而使得大规模的运动数据库的建立成为可能。在此背景下,研究以检索为核心的运动捕获数据处理技术就显得十分重要了。本文提出了一种对运动捕获数据中的人体的各个关节点提取一种基于三维空间变换规律的3D时空特征的方法,并基于时空运动连续性引入了关键空间的概念。针对各关节点时空特征相对保持独立的特性,本文用每个关节点作为索引,并通过数据驱动决策树的学习方法去分析关节点对运动相似的不同影响,最终实现了一个高效的运动检索系统。

关键词：运动捕获三维时空特征决策树运动检索

基于客户知识管理的我国工业品企业大客户管理研究

在线全文

学校读者我要写书评

暂无评论

基于客户知识管理的我国工业品企业大客户管理研究

作者：向坚湘潭大学

学位级别：硕士

随着国际营销环境的巨变,大客户成为企业宝贵的资源,也是竞争对手争夺的焦点,以客户为中心的时代已经到来,客户和客户知识已成为企业获取持续竞争优势的重要源泉。在新竞争游戏规则和消费者需求特点不断变化面前,越来越多的企业将客户... 详细信息

随着国际营销环境的巨变,大客户成为企业宝贵的资源,也是竞争对手争夺的焦点,以客户为中心的时代已经到来,客户和客户知识已成为企业获取持续竞争优势的重要源泉。在新竞争游戏规则和消费者需求特点不断变化面前,越来越多的企业将客户纳入新产品开发流程,利用客户知识,开发市场需求的产品,降低市场风险,同时建立有价值的客户关系。以中国为代表的新兴工业品市场,如何有效开展市场营销,从而获得竞争优势,已经成为我国工业品企业在新环境下急需解决的重要课题。本文从当前理论的整合和探索研究出发,立足客户知识和大客户管理视角,为我国工业品企业大客户管理提供理论支持,所做的主要工作有以下几方面: 第一,在梳理客户知识管理和大客户基本理论的基础之上,论述了两者整合的关系。同时分析了我国工业品企业在这两方面的现状,提出了基于客户知识管理的我国工业品企业大客户管理的理念。第二,构建了基于客户知识管理的我国工业品企业的大客户管理系统。知识管理和大客户管理有巨大的协同作用,本文在大客户管理流程中结合客户知识管理,具体包括其战略规划、系统的结构和实施、客户知识管理能力构建。基于CKM的CRM理论框架和模型,并详细分析了模型中各个功能的实现过程。第三,系统实施的相关模型研究。本文主要构建了基于层次聚类的大客户识别模型,并根据分类提出了相应的资源投入策略;客户知识转化过程模型,在前人的研究基础上整合客户进行知识管理,企业通过与客户的互动对客户知识进行获取、转化、利用,各种客户知识在显性和隐性之间发生转化,形成互相作用的螺旋上升的过程;基于平衡计分卡和模糊数学评价的系统绩效评价模型,利用平衡计分卡构建了评估指标体系,再用模糊数学评价作为评价方法。最后本文总结了论文的研究成果,也对未来发展方向进行了论述。本文希望通过对客户知识管理能力和大客户管理探索性研究,能为我国工业品企业整合客户知识管理和大客户管理提供有价值的建议。

关键词：客户知识管理大客户管理大客户识别

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

压力损伤后小梁细胞中BACE1的表达变化

压力损伤后小梁细胞中BACE1的表达变化

作者：向坚中南大学

学位级别：硕士

目的：探索不同压力条件下小梁细胞中BACE1的表达情况,以期为青光眼病理过程中的房水循环障碍发病机制提供新的实验依据。方法：对人来源的小梁细胞进行体外培养并建立加压模型,分别用20mmHg、40mmHg、60mmHg、80mmHg四个压力点加... 详细信息

目的：探索不同压力条件下小梁细胞中BACE1的表达情况,以期为青光眼病理过程中的房水循环障碍发病机制提供新的实验依据。方法：对人来源的小梁细胞进行体外培养并建立加压模型,分别用20mmHg、40mmHg、60mmHg、80mmHg四个压力点加压培养2h,继而常规培养条件下分别存活Oh、12h、24h、48h;在24只雄性SD大鼠中随机选择20只眼前房加压注射生理盐水至110mmHg维持60min建立双眼高眼压模型,分别存活6h、12h、Id、3d、7d,另外4只眼前房穿刺作为对照组;采集人眼标本3只,分别来自于急性眼外伤所致眼高压和慢性开角型青光眼眼高压患者的眼球,并已征得患者同意。收集各组培养细胞及小梁网组织冰冻切片,行台盼蓝染色检测细胞的活性率,H-E染色观察细胞组织结构与形态,BACE1、FN、 LN、NSE、Ⅷ因子免疫化学染色检测。结果：1、免疫化学染色显示人眼小梁细胞NSE、FN、LN染色呈阳性表达,Ⅷ因子染色呈阴性表达。20mmHg、40mmHg压力培养时,HE染色结果显示细胞形态结构与对照组相比变化不大,台盼蓝染色显示细胞的存活率与对照组相比没有太大变化,但是当压力升高到60mmHg与80mmHg时,HE染色可见部分细胞的细胞壁皱缩,轮廓模糊且胞浆内出现少量空泡,台盼蓝染色显示细胞死亡率明显上升。免疫化学染色显示LN的表达在加压的初始阶段逐渐增高,但是在压力升高到40mmHg时,随着压力的增高和存活时间的延长,LN的表达开始下调,压力增加到80mmHg,存活48h时,LN降低十分明显;而BACE1的表达则呈现表达逐渐增强的趋势。2、正常大鼠眼球的小梁组织可见较强的带型LN免疫阳性产物,但未见BACE1的免疫阳性表达或仅有少量的表达,高眼压损伤后6h、12h组可见LN的免疫表达减弱,小梁组织外层可见明显的BACE1免疫阳性表达,高眼压损伤后1d开始至7d,LN的免疫表达进一步降低,BACE1的表达则逐渐增强。3、人慢性开角型青光眼眼球的小梁网组织中可见明显的BACE1免疫阳性产物,急性眼外伤致眼压过高的眼球小梁网组织中,仅有少量的BACE1阳性表达。结论：随着压力的增加及存活时间的延长,小梁细胞形态和功能进行性受损,与此同时BACE1表达出现上调,提示BACE1的表达上调可能与小梁细胞损伤的发生有关。图11个,参考文献63篇

关键词：小梁细胞房水青光眼 β-分泌酶1 层黏连蛋白

基于集成多示例学习决策树分析的三维运动检索

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

计算机研究与发展 2008年第Z1期45卷 305-309页

作者：向坚俞坚浙江科技学院信息与电子工程学院杭州310023 浙江大学计算机学院杭州310027

随着运动捕获设备的普及,大量的运动数据可以直接得到,从而使得大规模的运动数据库的建立成为可能.在此背景下,研究以检索为核心的运动捕获数据处理技术就显得十分重要了.提出了一种对运动捕获数据中的人体的各个关节点提取一种基于三... 详细信息

随着运动捕获设备的普及,大量的运动数据可以直接得到,从而使得大规模的运动数据库的建立成为可能.在此背景下,研究以检索为核心的运动捕获数据处理技术就显得十分重要了.提出了一种对运动捕获数据中的人体的各个关节点提取一种基于三维空间变换规律的三维空间特征的方法,并基于空间运动连续性引入了关键空间的概念.针对各关节点空间特征相对保持独立的特性,用每个关节点作为索引,并通过集成学习的多示例决策树的学习方法去分析关节点对运动相似的不同影响,最终实现了一个高效的运动检索系统.

关键词：三维空间和时间特征决策树多示例集成学习

在线全文

学校读者我要写书评

暂无评论

从进口国汇率视角看国际大宗商品价格波动

国际金融研究 2016年第8期 48-59页

作者：丁剑平向坚上海国际金融中心研究院上海市金融信息技术研究重点实验室上海财经大学金融学院

本文从大宗商品进口国(中国、日本、韩国、印度)汇率视角研究国际大宗商品价格与汇率间的动态关系。首先,在样本内和样本外预测中,中国和韩国名义有效汇率对本国大宗商品价格有稳健的预测能力,但是日本和印度不显著,同时四国名义有效汇... 详细信息

本文从大宗商品进口国(中国、日本、韩国、印度)汇率视角研究国际大宗商品价格与汇率间的动态关系。首先,在样本内和样本外预测中,中国和韩国名义有效汇率对本国大宗商品价格有稳健的预测能力,但是日本和印度不显著,同时四国名义有效汇率对国际大宗商品价格和国际原油价格具有很好的预测能力。本文也检验了相反方向的预测(大宗商品价格预测汇率),但没有发现显著的预测结论。其次,对影响预测结论差异的结构性因素进行了研究,实证表明汇率制度和贸易依存度具有重要影响。本文相关结论为中国等国际大宗商品主要进口国应对国际大宗商品价格波动带来的负面冲击提供了新的理论。最后,本文提出了防范大宗商品价格风险的一系列政策建议。

关键词：国际大宗商品价格波动汇率波动价格预测贸易依存度