您的位置: 专家智库 > >

于笑丰

作品数:18 被引量:185H指数:8
供职机构:南京大学商学院更多>>
发文基金:国家自然科学基金江苏省自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术经济管理航空宇航科学技术自然科学总论更多>>

文献类型

  • 17篇期刊文章
  • 1篇学位论文

领域

  • 12篇自动化与计算...
  • 5篇经济管理
  • 1篇机械工程
  • 1篇航空宇航科学...
  • 1篇文化科学
  • 1篇自然科学总论
  • 1篇理学

主题

  • 5篇自动机
  • 4篇接口
  • 4篇接口自动机
  • 2篇影响因素
  • 2篇顺序图
  • 2篇统一建模
  • 2篇统一建模语言
  • 2篇企业
  • 2篇建模语言
  • 2篇MDA
  • 1篇信息化
  • 1篇信息化建设
  • 1篇信息系统
  • 1篇形式化
  • 1篇形式化方法
  • 1篇序列图
  • 1篇学科
  • 1篇学术
  • 1篇学术评价
  • 1篇人力资源

机构

  • 16篇南京大学
  • 3篇南京航空航天...
  • 2篇计算机软件新...
  • 1篇中国科学院
  • 1篇国家自然科学...
  • 1篇华为技术有限...
  • 1篇中国科学院文...

作者

  • 18篇于笑丰
  • 8篇胡军
  • 7篇李宣东
  • 6篇郑国梁
  • 6篇张岩
  • 3篇王林章
  • 2篇张天
  • 2篇徐丙凤
  • 1篇卜磊
  • 1篇吴黎明
  • 1篇沈宁国
  • 1篇杜一
  • 1篇杨雪
  • 1篇黄志球
  • 1篇周耿
  • 1篇李明辉
  • 1篇吴宜真
  • 1篇郑称德
  • 1篇吕伟
  • 1篇李东

传媒

  • 4篇软件学报
  • 4篇计算机科学
  • 1篇企业研究
  • 1篇计算机学报
  • 1篇当代财经
  • 1篇理论与改革
  • 1篇航空学报
  • 1篇中国科学基金
  • 1篇机械制造与自...
  • 1篇晋图学刊
  • 1篇南京邮电大学...

年份

  • 1篇2023
  • 1篇2021
  • 1篇2018
  • 1篇2016
  • 1篇2014
  • 1篇2013
  • 3篇2012
  • 1篇2008
  • 2篇2007
  • 3篇2006
  • 2篇2005
  • 1篇2003
18 条 记 录,以下是 1-10
排序方式:
面向Web Services的模型驱动开发方法被引量:2
2006年
随着分布式对象技术的发展和电子商务应用的扩大,Web Services 技术应运而生。由于在解决异构软件的交互和企业系统集成问题上表现了极大潜力,因此学术界和工业界对 Web Services 都备加关注。MDA 是 OMG 提出的用于解决不同中间件系统交互和集成问题的新的软件开发方法,是目前软件工程领域最引人注目的研究热点。本文阐述了 Web Services 和 MDA 的基本概念,对二者的交叉研究进行了分析和综述,提出了面向 Web Services 的模型驱动开发框架,并对未来工作做了展望。
于笑丰胡军李宣东郑国梁
关键词:WEBSERVICES模型驱动开发MDA
基于企业分布式计算的服务建模与模型转换研究
企业信息系统对现代企业的重要性与日俱增,企业的进一步发展壮大要求企业信息化进一步深入发展。然而近年来,信息技术的迅猛发展和企业规模的扩大、业务的扩展给企业信息化的更深层发展提出了新的问题:企业信息系统的代码量和所需的数据...
于笑丰
关键词:信息化建设办公自动化分布式系统
基于指标依赖模型构建与监控的攻击检测方法被引量:1
2023年
随着攻击技术的不断演进,防御的难度也与日俱增.为了及时、有效地识别和阻断攻击的实施,学术界与工业界已提出众多基于攻击检测的防御技术.现有的攻击检测方法主要着眼于攻击事件,通过识别攻击特征或者定位异常活动来发现攻击,分别具有泛化性和攻击导向性不足的局限性,容易被攻击者精心构造的攻击变种绕过,造成漏报和误报.然而,根据观察发现:尽管攻击及其变种可能采用众多不同的攻击机制来绕过一些防御措施,以实现同一攻击目的,但是由于攻击目的不变,这些攻击对系统的影响依然具有相似性,因此,所造成的系统影响并不会随攻击手段的大量增多而随之产生对应的增长.针对这一特点,提出了基于攻击指标依赖模型的攻击检测方法,以更有效地应对攻击变种.所提出的指标依赖模型着眼于漏洞利用后对系统的影响而非变化多样的攻击行为,因此具有更强的泛化能力.基于模型指导,进一步采用多层次监控技术,以迅速捕获定位攻击迹,最终实现对目标攻击与变种的精确检测,有效降低攻击检测的误报率.在DARPA透明计算项目以及典型APT攻击组成的测试集上,与现有的基于攻击事件分析的检测方法进行实验对比,结果表明:在预设场景下,所提出的方法可以根据可接受的性能损耗实现99.30%的检出率.
王立敏卜磊马乐之于笑丰于笑丰
关键词:攻击检测漏洞利用
企业标准化实施过程中的“三维六向”模型——论标准体系、业务流程、信息系统间的协同关系被引量:1
2013年
大型集团企业的标准化管理已成为潮流,企业实施标准化工作时往往涉及标准体系、业务流程及信息系统三项主要内容,但目前尚未有标准的模型来清晰解释三者之间的关系以及三者如何协同推进标准化工作,作者结合在某特大型集团企业直接参与"三维六向"模型推进企业标准化建设工程的实践,分析如何利用该模型厘清标准化实施中三项重要内容间的交互关系及如何统筹从三项工作协同推进企业标准化。
胡全贵于笑丰刘坤
关键词:信息系统
网上销售的影响因素:利基与热门市场的对比研究被引量:4
2012年
长尾理论表明,互联网更利于利基市场的发展。然而,近期有研究认为热门市场在网上更有优势。为了验证在线商家在这两类市场的不同表现,我们对淘宝网上的791家店铺的64万余种产品的销售数据进行了分析。结果表明,网上销售受到信誉、产品多样性、价格、口碑以及被推荐机会等因素的影响,并且这些影响在利基和热门市场上表现出显著的差异。其中,信誉、产品多样性、价格和口碑对利基产品销售的影响更大。基于历史数据的被推荐机会对热门产品的销售有正向影响,而对利基产品的销售有负向影响。此外,我们还发现了网上销售的后发优势。
周耿于笑丰
关键词:长尾理论淘宝网
国家自然科学基金资助成果开放共享平台:现状与展望被引量:9
2021年
自2014年国家自然科学基金委员会(以下简称"自然科学基金委")发布了"受资助项目科研论文实行开放获取的政策声明"后,基金资助项目产出成果的开放共享工作取得了显著的成效。本文对国家自然科学基金成果开放共享平台建设现状进行总结和分析,与国际主流国立科研机构的开放共享机制进行比较,结合我国国情与国家自然科学基金信息化建设进程,从成果应用贯通需求、成果提交与审核机制、成果开放共享类别增加、特色功能设计实现以及系统安全性角度,提出成果开放共享平台未来建设建议。
李东于笑丰杜一刘静羽
关键词:开放共享机构知识库科研论文科研信息化
嵌入式软件建模、实现与验证:研究与进展被引量:16
2005年
随着计算机硬件设备计算能力的迅速提高,嵌入式系统中软件的规模和复杂度的急剧增大,软件可靠性在嵌入式系统中的重要性占据了统治地位。本文首先概要介绍了嵌入式软件不同于传统商业软件、科学计算软件的物理性、实时性、领域性等重要特征,以及由此带来的困难和挑战。然后重点介绍目前在解决嵌入式软件系统开发过程中的问题时所采取的建模思想、实现技术和验证方法。最后对嵌入式软件及其相关技术的发展进行了展望。
胡军张岩于笑丰王林章李宣东郑国梁
关键词:嵌入式软件嵌入式系统
场景驱动的构件行为抽取被引量:23
2007年
如果构件含有冗余的功能,特别是含有用户不想要的功能,则无法被用户正确使用.因此,如何从构件中提取场景规约中所描述的用户想要的行为便是一个亟待解决的问题.给出了解决该问题的一种方法.该方法通过为构件构造一个环境,即极大包含环境,使得场景规约中所描述的所有行为可以从构件中抽取出来,并保留到该构件与其极大包含环境的组合中.同时,构件中的其他行为,即不在场景规约中的行为,被尽可能地舍弃.用接口自动机为构件的行为建模,并将用消息序列图描述的场景规约抽象为一组活动序列.构件的组合描述为接口自动机的乘积.给出了基于场景进行构件行为抽取的相关算法,并用一个实例对文中所述方法进行了说明.
张岩胡军于笑丰张天李宣东郑国梁
关键词:接口自动机消息序列图
风险资本、风控机制与价值创造研究被引量:1
2014年
风险投资是近二十年来全球增长最快的行业之一。发达国家的实践证明,风险投资能够促进一国技术创新,扶持一批有潜力的中小企业,并带动了新兴产业持续高速成长。在中国自创业板推出以来,越来越多的上市企业背后也出现了风险投资的身影,风投行业的最重要价值就是筛选与控制投资项目风险,从而创造财富。但风投行业的部分缺陷成为学术界与实务界热议的焦点,在控制风险的同时该行业本身也成为风险来源。本文正是在此背景下,分别从产权安排、声誉效应、联合体以及分阶段注资投资这四种风控机制来研究风投行业创造价值的路径,以期能为我国风险投资行业实现可持续发展提供一点参考意见。
吕伟李明辉于笑丰
关键词:风险投资
基于场景构件式实时软件设计的一致性检验被引量:16
2006年
在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口行为的表达能力;使用实时接口自动机网络来描述实时软件系统的构件式设计模型;使用带布尔不等式时间约束的UML顺序图表示基于场景的需求规约,对系统设计阶段实时软件构件的动态行为进行形式化分析与检验.通过对实时接口自动机网络状态空间的分析,构造了其可兼容的整型状态等价类空间的可达图,并在此基础上给出了验证算法,以检验构件式实时软件系统的设计与带时间约束的场景式规约之间的一致性.
胡军于笑丰张岩李宣东郑国梁
关键词:接口自动机顺序图统一建模语言
共2页<12>
聚类工具0