上海市教育委员会重点学科基金(B114)
- 作品数：33 被引量：97H指数：6
- 相关作者：吴百锋朱扬勇熊赟陈钢汤春蕾更多>>
- 相关机构：复旦大学万达信息股份有限公司上海市医疗保险信息中心更多>>
- 发文基金：上海市教育委员会重点学科基金国家自然科学基金上海市科委科研计划项目更多>>
- 相关领域：自动化与计算机技术自然科学总论理学电子电信更多>>
- 应用面向特征编程方法FOP实现软件产品线增量开发被引量：6
- 2010年
- 面向对象编程OOP(Object Oriented Programming)技术在实现软件产品线时存在不足,一个重要原因是OOP对产品线可变性的支持有限.在OOP的基础上,相关研究者提出面向特征编程FOP(Feature Oriented Programming),研究特征的模块性,以及支持特征模块性的编程模型.本文对FOP的相关技术和模型进行了研究,提出基于FOP进行软件产品线的增量开发,可以实现产品线更高层次的模块化和特征的灵活配置,同时避免了维护困难.在此基础上对一个网上缴费产品线实例进行研究,实现和验证了相关方法和结论.最后基于实验对FOP的优缺点进行了讨论.
- 吴元凯彭鑫赵文耘
- 关键词：面向对象编程软件产品线模块性
- 基于静态代码分析的自动化对象行为协议提取工具被引量：3
- 2009年
- 对象行为协议对于理解对象接口、正确实现模块集成以及类代码的复用都有着重要的意义。在前期工作中,提出了一种基于静态源代码分析的对象行为协议自动提取方法。该方法通过源代码分析获取对象(类)内部各接口方法之间直接和间接的依赖关系,然后在对象(类)内部依赖关系的基础上构建接口的状态机图。在此基础上,进一步介绍相应的支持工具,包括主要模块、各部分的主要实现技术等。
- 黄洲彭鑫赵文耘
- 关键词：面向对象接口规范逆向工程
- 平面图团覆盖问题的核心化和参数化算法
- 2011年
- 团覆盖问题是经典的理论计算问题,本文从参数理论角度考虑平面图团覆盖问题,提出了核心化简化规则,通过这些简化规则可以得到平面图团覆盖问题的核心,其规模为4k-4.根据该问题核心设计了参数化算法,可以用O(20k+n2)复杂度求得平面图团覆盖问题的精确解.通过实验与现有的求解团覆盖的算法进行了比较.
- 张文琰Rudolf Fleischer
- 关键词：参数化算法
- 弱公钥模型集下的零知识论证系统被引量：1
- 2009年
- 根据近年来弱公钥模型集下的零知识系统的研究成果,对其发展历程和特性设置进行阐释和剖析,探讨该模型集下最优轮数的零知识协议的构造方法,提出通用的4轮模式和3轮模式,以及协议的(并发)健壮性和(可重置)零知识的证明技术和问题,并总结弱公钥模型集下零知识系统的研究将来可能发展的导向。
- 谭肖赵一鸣
- 面向大容量数据实时传输的块间4纠删编码
- 2012年
- 现有纠删编码由于编解码运算复杂度及编码数据大小的限制,很难适用于面向大容量数据块或数据分组的实时传输中。在奇偶校验码的基础上,结合有限域GF(28)域的特性,提出一种新的面向大容量数据块实时传输的块间4纠删编码方案。该编码方案对一组连续的数据块使用4个冗余数据块,即可容忍任意4个数据块同时差错。编解码运算的复杂度与数据块的大小成线性关系,对数据块的大小没有限制。编码具有MDS性质,在同等冗余条件下达到最佳的纠删能力。理论和实验分析表明:该编码方案最大能够对连续27个数据块进行块间纠删编码。
- 陈钢朱俊峰张世乐吴百锋
- 关键词：大容量数据奇偶校验码MDS
- 结构化协同Web标注模型及标注文档副本的一致性维护
- 本文针对原有Web标注模型在标注定位的准确性、会话方式的实时性等协同会话情景下存在的问题和不足,设计了一种结构化协同Web标注模型,同时提出了WAC算法用以解决协同标注会话中的核心问题——标注文档副本的一致性维护。与传统...
- 苏毅刘一鸣
- 关键词：计算机支持的协同工作
- 文献传递
- 一个医保基金风险防控数据仓库的设计和实现
- 2011年
- 上海医保系统基础建设实施已基本完成,全面覆盖业务领域,积累了丰富的历史数据。但由于数据规划不足,导致数据资源利用率不高,难以有效提供决策支持。数据仓库是提供决策支持的核心,因此,结合元数据管理和ETL(Extraction TransformationLoading)技术,构建了一个医保基金风险防控数据仓库,实现了医保异构数据源的有效整合,为医保基金风险管理提供了良好的数据基础。系统通过在上海医保基金风险管理中的实际应用,取得了良好效果。
- 秦德霖王爱荣陈诚林志杰熊赟朱扬勇
- 关键词：数据仓库医保基金风险防控元数据ETL
- 医保就医聚集行为挖掘被引量：4
- 2011年
- 医保就医聚集行为挖掘对于加强医保管理、保证医保基金的平稳运作具有非常重要的作用。数据挖掘技术可以为就医聚集行为挖掘提供有效的解决方案。找出具有就医聚集行为的人群,有助于对该人群进行更具有针对性的管理,提高管理效率。针对医保基金运营过程中出现的就医聚集行为,提出基于频繁模式挖掘的一致行为挖掘算法CBM,实验表明该算法比Apriori和Eclat具有更好的性能,能有效检测就医聚集行为。此外,CBM算法应用于医保管理与监督中并取得了显著成效。
- 何俊华张静谊熊赟朱扬勇
- 关键词：医保管理
- 多色点集直线划分的复杂性及其近似算法
- 2015年
- 多色点集划分研究如何将含有不同颜色点的平面划分为各个区域,每个区域中只包含一种颜色的点。这是计算几何中的一种组合优化问题。但是现有的多边形划分方式性能较差。为此,提出用直线来划分平面。针对平面上多色点集的直线划分,将其离散化,证明其可以被非确定性图灵机在多项式时间内判定。并将Max2SAT问题在多项式时间内归约到组合优化问题,证明多色点集直线划分为NP难,从而证明其是NP完全的。利用最优化版本的特有性质,运用贪心方法构造出多项式时间的近似算法,并L归约到Setcover问题,以此证明算法的近似比为O(lgn)。
- 陈崇琛Rudolf Fleischer
- 关键词：组合优化NP完全
- 一种面向大型网络的快速随机化社区挖掘算法
- 寻找网络的社区结构对于理解真实网络的自组织机制、可视化大网络有重要的作用.然而,现有的社区挖掘算法由于性能较低,还难以处理大型网络,特别是有着百万顶点的网络.然而,百万规模的大网络却在越来越多的真实应用中大量涌现,这对于...
- 余韬肖仰华何震瀛汪卫吴文涛
- 关键词：大网络
- 文献传递
