公共文化服务平台

李明树: 作品数：227 被引量：1,446H指数：20; 供职机构：中国科学院软件研究所更多>>; 发文基金：国家自然科学基金国家高技术研究发展计划中国科学院战略性先导科技专项更多>>; 相关领域：自动化与计算机技术文化科学电子电信经济管理更多>>

合作作者

一种基于控制状态跟踪的ROP攻击检测方法: 本发明公开了一种基于控制状态跟踪的ROP攻击检测方法，对传统动态污点分析的方法进行了简化，仅以攻击者控制的寄存器为跟踪对象，步骤包括：为每个寄存器维护一个标记组<T<Sub>b</Sub>,T<Sub>c</Sub...; 李威威马越杨秋松李明树; 文献传递

一种面向海云协同网络计算环境的数据组织方法: 本发明涉及一种适应海云协同网络计算环境的数据组织方法，称为DataCap(数据胶囊)。其基层构件是数据体与数据代数，前者是提供数据内容的容器及元数据描述信息，后者是数据体的操作子的集合。一个数据体以及其配套的一个(或多个...; 刘奎恩武延军李明树

一种软件可信性检测方法及系统: 本发明公开了一种软件可信性检测方法及系统，其方法包括步骤：1)根据软件的特征选择得到特定软件过程评价指标和软件可信评价指标；2)根据选择的软件过程评价指标，采集软件过程实际数据；3)建立软件过程数据和软件可信数据之间的映...; 于本海王青李明树杨叶吴克文陈心光杜晶王丹丹; 文献传递

基于ISO9000和CMMs的需求开发和需求管理平台框架的研究被引量：19: 2002年; 文章通过分析国内外当前软件需求开发和需求管理中的主要技术和存在的主要问题,并在研究ISO9000和SW-CMM、SA-CMM在软件需求开发和需求管理要求的基础上,结合现代软件工程的需求实现技术,提出了基于ISO9000和CMMs的需求开发和管理平台框架,用于指导国内软件组织软件需求开发和需求管理的实践工作。; 刘霞李怀璋王青李明树; 关键词：ISO9000 SW-CMM CMMS 需求管理软件工程

北京软件产业基地公共技术支撑体系总体方案设计: 李明树王青雷辉李怀璋武占春蒋晖周津慧李文杰张晓刚黄蒙赵欣培; 课题已经完成了“北京市软件产业基地公共技术支撑体系—3库4平台”总体方案。完成了中关村软件园公共技术支撑体系项目建议书（代可行性研究报告）的编写。该方案主要包括对3库平等内容的服务形式与内容的技术策划。同时包括对经济效益...; 关键词：

基于指令流访存模式预测的缓存替换策略被引量：2: 2022年; 传统的缓存替换策略主要基于经验主义,近年来研究者们使用预测技术推测访存行为,提高缓存替换的准确性,预测技术的应用是当前缓存替换策略研究的热点.由于访存行为自身的复杂性,直接在缓存系统中预测访存行为是困难的,要面对很大的不确定性.当前已有的研究为了解决该问题,使用越来越复杂的预测算法来分析访存行为之间的关联.然而这种方式并未真正减小不确定性,同时现有的缓存替换策略很难避免乱序执行和缓存预取对访存行为分析过程的干扰.为了解决以上问题,提出了一种新的预测缓存访问序列的方法IFAPP(instruction flow access pattern prediction),根据分支预测技术推测程序指令流,定位指令流中的访存指令,进而对其中访存指令的行为逐一进行预测.通过访存序列计算每个替换候选项的重用距离,将重用距离最远的候选项踢出.该方法可以避免乱序执行和缓存预取的干扰,预测对象是行为简单的独立访存指令,减少预测过程中所面对的不确定性.实验结果表明,该算法在一级数据缓存上比LRU算法平均减少3.2%的缓存缺失.相比经典的基于缓存预测的BRRIP和BIP算法,该算法在一级数据缓存上分别减少12.3%和14.4%的缓存缺失.; 王玉庆杨秋松杨秋松; 关键词：缓存替换策略

面向嵌入式实时软件的需求规约语言及检测方法被引量：10: 2004年; 针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和事件预定机制来描述时间限制,能够较好地支持系统交互性和实时性的建模.为弥补RTRSM*作为操作性规约语言不便于性质描述的问题,提出了命题时序逻辑RITL(real-time interval temporal logic).该语言以时间状态序列为语义模型,具有基于区间和时间点的量化时间属性描述功能,能自然、全面地描述RTRSM*模型性质.介绍并讨论了基于两种语言的规约检测方法和技术,主要包括系统状态空间有穷的RTRSM*模型状态可达图的相关问题和规约的模拟执行.; 舒风笛毋国庆李明树; 关键词：嵌入式实时软件可达图

基于时序逻辑的业务过程建模方法: 本发明涉及一种面向领域应用支撑平台的业务过程建模方法，通过将业务过程分为工作流和业务规则两部分，给出了工作流和业务规则的相互融合准则，并且基于时序逻辑语义定义了工作流和业务规则中的基本元素，从而建立了由工作流和业务规则表...; 杜栓柱黎巎赵琛李明树; 文献传递

Agent构建基于移动通信的实时电子商务平台: 移动通信的迅速发展给基于移动通信的电子商务开展带来了机会,但是移动通信电子商务相比在Internet上开展电子商务来讲有很多新的瓶颈.Agent是具有自主性和智能性的软件实体,移动Agent技术是Agent领域的新技术,...; 董颖李明树; 关键词：移动通信电子商务异构网络; 文献传递