清华大学软件学院
- 作品数：1,286 被引量：6,351H指数：31
- 相关作者：孙家广黄向东张力闻立杰金涛更多>>
- 相关机构：江苏大学计算机科学与通信工程学院中国科学院计算技术研究所山东理工大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术经济管理电子电信文化科学更多>>
- 带数据工作流的形式化建模语言--数据感知的工作流网
- 为了在工作流实施之前对工作流进行形式化建模与验证，首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后，提出一种带数据工作流的形式化建模语言——数据感知的工作流网，并给出其行为语义。...
- 王朝霞王建民朱笑尘
- 关键词：建模语言信息处理自动控制
- MRO支持技术研究
- MRO(Maintenance，Repair，Overhaul and Operation)是产品生命中期阶段所进行的各种维护、维修、大修和运行等服务活动的总称。MRO支持技术即支撑MRO业务高效运行的信息使能技术。MR...
- 王建民任艮全张力刘英博莫欣农
- 关键词：决策支持运行监控生命周期管理
- 文献传递
- 工作流应用数据生命周期模型的提取方法被引量：4
- 2011年
- 针对工作流管理系统中对应用数据的分析和研究需求,结合目前已有的工作流应用数据的研究成果,提出了一种应用数据的生命周期模型提取方法。该方法以WFD-net为输入,通过自动分析,得到各种类型的应用数据在工作流中随流程执行的状态变化情况,然后通过对状态变化情况的分析,综合得出流程中应用数据的复合对象生命周期模型。为了验证提取方法的可行性和正确性,开发了一套复合对象生命周期模型提取工具。
- 田钊程曜安刘英博赵炯张力
- 关键词：工作流应用数据生命周期模型
- 后金融危机下北京软件外包的挑战、机遇和对策被引量：1
- 2010年
- 分析了金融危机对北京软件外包带来的挑战和机遇,指出机遇大于挑战,在北京独有的地理区位和雄厚的人力资源等优势基础上,借鉴国内外经验教训,提出后金融危机下创新发展北京软件外包产业的相应战略对策,包括人才储备和科学评测、改善产业环境、国内外市场开拓、吸引跨国公司和支持本土企业、打造地区品牌和增强自主创新能力等。
- 冀付军
- 关键词：后金融危机
- 多阶段优化的小目标聚焦检测被引量：6
- 2020年
- 目标检测是深度学习领域重要的基础问题之一,目前已经有相当多且较为成熟的研究。无人冰柜是人工智能在零售产业的一个应用场景。其通过冰柜内设置的摄像头捕捉图像,利用目标检测方法检测出顾客手中抓取的商品,然后进行后续的商品分类等任务的工作。而由于场景及硬件的限制,无人冰柜中只能使用速度快但精度较低的深度模型,而这些模型往往在小目标的检测上精度相对更低。针对无人冰柜场景数据的背景单一、目标范围小等特殊性,改进了主流的目标检测方法,提出了一种基于聚焦的由粗到精的2阶段检测网络结构FocusNet,提升了该场景下的小目标检测效果。该方法相比先前的模型在小目标检测上的平均准确率提升了8.3%,总体检测平均准确率提升了3.5%。
- 周立旺潘天翔杨泽曦王斌
- 关键词：目标检测小目标检测
- 基于主题模型的微博重要话题发现与排序方法被引量：12
- 2013年
- 近年来,以Twitter和新浪微博为代表的微博客正在世界范围内流行起来.根据微博的特点,提出一种与特定主题(比如某种产品)相关的话题发现和排序的新方法.首先,在互联网上收集并格式化出现了感兴趣的词的微博.对于这些微博中的所有词汇,综合考虑影响力、突发性和相关性3个要素对其重要性进行评估.其次,对词的重要性做出估量后,以含有同一关键词的微博的集合为输入文档训练LDA模型.然后通过对主题关键词的概率分布的推导,实现词的聚类和主题的挖掘.这一方法可以克服微博的长度限制所带来的数据稀缺性问题.最后,通过真实数据集上的实验表明了该方法的有效性.
- 姜晓伟王建民丁贵广
- 关键词：主题发现LDA主题模型文本挖掘
- 基于着色Petri网的工作流系统子流调用机制的研究与实现
- 2006年
- 提出了一种利用弧函数上的绑定变量来实现的子流调用机制,并且以参数映射的方式达到了流程独立性基础上的调用。
- 董超王建民王喆
- 关键词：着色PETRI网映射
- 具有中国特色的制造业信息化构想被引量：1
- 2009年
- 信息化着重解放人的脑力劳动,提高制造业的产品设计、制造和管理等环节的劳动生产率。经历上述工业革命,美国的GDP达到全球的27%,成为世界超级大国。中国错过前二次工业革命的机会,尽管目前工程师的数量是美国的15倍,但GDP的总量还相差很远。这就说明曾经在相当长历史时期内全球领先的中国目前平均劳动生产率与发达国家之间存在很大的差距。然而，仅仅经历三十年的改革开放，中国的GDP从十几位跃升到前四位。抓住信息化工业革命的机会，中国的经济发展将有更光明的前途。
- 莫欣农
- 关键词：制造业信息化劳动生产率GDP脑力劳动产品设计
- 允许自由旋转的2个简单多边形匹配算法
- 2020年
- 为了解决二维不规则排料问题中的匹配问题,提出了一种允许自由旋转条件下,2个无孔洞的简单多边形之间的匹配算法.该算法基于2个多边形可以自由旋转的假设,对它们之间NFP为凹或凸的情况,选择适当的匹配方法,找出一种使得其匹配后空隙尽可能小,同时保证其整体的矩形的规整度也较高的匹配方案;并用匹配空隙的利用率、匹配后整体面积的利用率,以及匹配后整体的矩形规整度等多个指标来衡量匹配的效果.实验选择于ESICUP中的部分代表性的多边形样例与多个算法进行对比实验,结果表明,该算法在任意旋转精度的要求下,均具有运行速度快的特点,可以很好地应用于服装排料等实际问题.
- 刘新阳雍俊海
- 电子政务中的PKI体系研究及应用被引量：12
- 2006年
- 基于PKI的电子政务系统,近几年得到了迅速的发展,其安全信息技术和PKI建模技术也在不断的完善,我国的电子政务也在得到不断的发展。本文从公开密钥基础设施PKI、基于PKI的公钥技术、PKI体系的应用三个方面,进行了系统的分析和论证,并对其应用技术进行了深入的探讨。为建立科学合理的电子政务PKI体系提供了重要的依据和方法。
- 徐炜
- 关键词：公开密钥基础设施PKI公钥技术电子政务
