翟健 作品数:18 被引量:54 H指数:4 供职机构: 中国科学院软件研究所 更多>> 发文基金: 国家自然科学基金 国家高技术研究发展计划 国家重点基础研究发展计划 更多>> 相关领域: 自动化与计算机技术 经济管理 更多>>
一种在多任务环境下防止死锁的互斥信号量管理方法 一种在多任务环境中防止死锁的互斥信号量管理方法,包括以下步骤:A、为系统所需的互斥信号量分配一一对应的编号;B、建立包括含有互斥信号量的ID与互斥信号量编号信息的双向链表,并指明任务已经占有的信号量的个数以及任务可占有信... 李彦峰 潘远明 杨秋松 武延军 翟健 杜栓柱 刘立宇文献传递 一种增强实时性能的任务管理方法 一种在RTEMS实时操作系统中增强实时性能的任务管理方法,包括如下步骤:A.通过发送信号量的方式调度某一个任务;B.设置同任务优先级任务就绪队列,如果根据所述某一任务的信号量的状态值确定其应该被放入就绪队列,则将该任务排... 李彦峰 潘远明 杨秋松 武延军 翟健 杜栓柱 刘立宇文献传递 基于邻域的大规模图数据动态分割算法 被引量:2 2016年 随着图数据的规模日益增大,出现大量以动态图数据为基础的分布式处理需求,划分问题在动态图数据分布式处理领域尤为重要.对大规模动态图数据上的划分问题进行研究,根据图结构性质及动态图特点,提出并实现基于邻域的动态图分割算法.算法分为静态切分和动态调整两个阶段,其中基于割边算法整合现有最优化策略提出了大规模图数据的静态切割算法.在优化后的静态切割算法的基础上,根据图数据的动态扩张的特性提出动态分割算法.根据迁移顶点所达到的最小负载值进行顶点迁移,并在此基础上进行性能及割边控制优化操作.最后,改进算法在各类图数据集上进行了验证,验证的结果显示在平衡度和割边等指标上优化后的算法效果显著,提高了划分的合理性,并且在保证割边不增加的情况下提高了图分割的平衡度. 张晓媛 张珩 翟健关键词:动态图 图分割 负载均衡 一种形式化的组件化软件过程建模方法 被引量:6 2011年 为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM提供了形式化定义可重用软件过程的机制,并且给出了将过程组件组合成过程模型的一系列操作法则.利用CSPM方法,能够以严格的方式对软件过程组件进行重用,并且有效地避免了传统非形式化建模方法中因歧义而有可能引起的潜在错误.CSPM还可以将对组装后的软件过程模型针对某些特定性质的验证问题转化成对其对应组件的一系列子验证问题,从而通过指数地减少需要搜索的状态空间规模,将原来在某些特定环境下不实用的验证问题简化成验证代价较小的一系列问题. 翟健 杨秋松 肖俊超 李明树关键词:形式化方法 基于代数的软件过程建模系统的设计与实现 被引量:1 2008年 软件过程建模的主要目的是建立组织内软件开发过程的模型,使得软件开发过程在整个组织内获得一致的理解,进而提高软件开发效率和改进软件生产质量。软件过程建模语言一方面要易于理解、具有较强的表达能力,同时也要易于分析和验证,以保证所要描述的软件过程的正确性。介绍了基于代数的软件过程建模系统ASPMS的设计和实现,该系统提供了图形化的建模表示方式,而该图形化表示方式具有基于多元演算的形式化语义,从而较好地平衡了建模语言的易于理解、具有较强的表达能力和易于分析和验证这一矛盾的内在要求。 杨国伟 杨秋松 翟健 袁峰关键词:软件过程建模 形式化分析 一种针对返工预测软件开发成本和执行时间的方法 本发明属于软件过程仿真和建模领域,公开了一种预测软件过程执行时间和开发成本的方法,通过as-TRISO/ML过程仿真建模语言建立软件过程模型;并根据历史经验等指派模型中实际活动的属性,及待分配人力资源的属性;进而将人员分... 翟健 张备 杨秋松 肖俊超 杨叶 李明树文献传递 基于过程模型随机仿真的TDD模块选取建模方法研究 被引量:1 2010年 为了帮助项目经理合理选择TDD实施模块,基于进程代数方法对测试驱动软件开发过程和非测试驱动软件开发过程建立过程仿真模型。通过用例度量软件模块的复杂性来获取随机变量参数对模型调参,并采用该模型得到仿真结果。提出TDD模块选取算法来分析仿真结果并得出最佳TDD实施策略,最终为项目经理提供合理的决策。 苏峰 翟健 杨秋松关键词:随机进程代数 测试驱动开发 仿真 决策支持 软件过程建模方法研究 被引量:31 2009年 通过软件开发实践,人们逐步地认识到软件产品的质量在很大程度上依赖于产品开发时所使用的过程.软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解,同时,可执行的(enactable)软件过程模型可以直接指导实际软件开发活动,进而规范软件开发行为并最终提高软件质量.为了系统地了解软件过程建模方法研究的现状和最新进展,采用系统评价(systematic review)方法对该领域最近10年的主要研究进行了概括和分析.从一系列的相关研究中,选出来自20个会议和7种期刊的72篇文献,作为系统评价的依据.该系统评价回答了如下关于软件过程建模方法的3个问题,以便从总体上概括和把握该领域的研究:1)软件过程建模方法主要基于什么范式;2)软件过程建模方法研究的主要目的集中在哪些方面;3)软件过程建模方法的研究有哪些新的趋势.同时,在仔细回顾和分析软件过程建模领域研究现状的基础上,给出了一种多维度的集成化软件过程建模方法.该方法有助于解决过程建模领域所面临的主要问题. 李明树 杨秋松 翟健GSim:支持GPU加速软件过程仿真框架 2012年 为了提高软件过程仿真的效率,提出了一种基于图形处理单元(graphic processing unit,GPU)加速的仿真框架。该框架利用图形化语言和随机参数来描述一个过程模型,将模型转换为RansomSpec字节码从而可以在GPU平台上运行,以期借助GPU平台的高并行特性提高原有仿真算法的效率。实验结果表明,通过这种框架,基于GPU的随机软件过程仿真与传统基于CPU串行的仿真算法相比在效率上提高一个数量级。 张备 翟健 杨秋松关键词:中间语言 一种预测软件过程执行时间的方法 本发明属于软件过程仿真和建模领域,具体公开了一种通过建立考虑随机因素的软件过程仿真模型和软件过程仿真,预测出软件过程执行时间的方法。本发明通过将一般的软件过程工作流图转化为s-TRIS0/ML随机过程模型;并由拟指派的项... 李明树 翟健 王青 杨秋松 苏峰 肖俊超文献传递