王永吉
- 作品数：97 被引量：938H指数：14
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金中国科学院“百人计划”国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学医药卫生政治法律更多>>
- 基于多特征融合的乳腺癌新辅助化疗疗效预测装置
- 本发明公开了一种基于多特征融合的乳腺癌新辅助化疗疗效预测装置，包括：图像获取模块，用于获取患者病灶区域的多模态乳腺影像；图像预处理模块，用于对每一模态乳腺影像进行图像剪裁，得到该模态乳腺影像的3D感兴趣区；病灶区域分割模...
- 关贝赵亚晨王永吉石清磊曹崑
- 基于混合搜索的含逻辑“与”“或”的RM优化算法
- 2017年
- 相对于标准约束优化问题,广义约束优化问题(或称析取优化问题)的等式或不等式约束条件中不仅包含逻辑"与"关系,还含有逻辑"或"关系.单调速率(RM)优化问题是广义约束优化问题的一个重要应用.目前RM优化问题已有的解法包括函数变换、混合整数规划、线性规划搜索等算法.随着任务数的增多,这些算法的求解时间较长.提出一种基于线性规划的深度广度混合搜索算法(LPHS),将广义约束优化问题拆分成若干子问题,建立线性规划搜索树,合理选择搜索顺序,利用动态剪枝算法减小子问题的规模,最终求得最优解.实验结果表明,LPHS算法比其他方法有明显的效率提升.研究成果与计算机基础理论中的可满足性模理论的研究相结合,有助于提高可满足性模理论问题的求解效率,促进该理论在程序验证、符号执行等领域的进一步应用.
- 吕荫润陈力陈力吴敬征王翀
- 关键词：约束优化问题实时系统线性规划搜索算法
- Kaffe在龙芯2E上的移植
- 2010年
- 为了在龙芯2E处理器上建立稳定的Java运行环境,丰富龙芯平台的上层软件库,以Kaffe这款开源Java虚拟机为移植对象,分析了其运行机制,确定了其代码结构中平台相关的3个主要模块:SysCallMethod、Trampoline和JIT,并结合龙芯2E处理器的特点,给出了相关模块的修改方案。最后用第三方的测试标准对移植后的虚拟机进行了测试,表明了移植的有效性。
- 辛博坤王永吉潘远明徐帆江
- 关键词：JAVA虚拟机KAFFE龙芯2EMIPS指令集
- 中医四诊客观化在脾胃病诊治中的应用现况被引量：2
- 2022年
- 中医诊断客观化研究的相关技术处于快速发展阶段,客观化诊断技术在各种疾病中的应用研究孕育而生,尤其在指导脾胃病诊疗领域发挥了重要作用。近年来,脾胃病相关的数据库建设日益丰富,望闻问切相关仪器相继被研发,投入临床使用,分析诊断系统也日益丰富精进,故本文对脾胃病中医诊断相关的数据库及四诊客观化的研究现况进行汇总整理,以期为进一步发展提供思路。
- 商子梦关贝王永吉王永吉王海洋马赟杜正光
- 关键词：望闻问切脾胃病四诊客观化中医诊断
- 一种云计算环境下的隐蔽通信方法
- 本发明公开了一种云计算环境下的隐蔽通信方法，包括1)发送方与接收方约定机密信息的编解码方法，即将机密信息编码为正常数据传输中的间隔时间；2)发送方建立环形共享内存数据结构，将授权引用发送给接收方，双方以内核模块的形式将环...
- 吴敬征王永吉丁丽萍
- 文献传递
- 软件过程服务技术及集成管理系统
- 李明树王青武占春赵琛李怀璋蒋晖雷辉周津慧王永吉张晓刚
- “软件过程服务技术及集成管理系统”代表了实验室多年来在软件质量保证、软件过程改进等领域研究成果的精华，是集体智慧的结晶。该成果隶属于计算机软件工程领域，主要研究支持软件全生命周期的软件过程服务核心技术。成果包括五部分：①...
- 关键词：
- 一种开放源代码的网络仿真器的原理与实现被引量：23
- 2004年
- 随着互联网的飞速发展,网络拥塞已经成为一个十分重要的问题,网络仿真是一种检测拥塞控制算法有效性的常用方法。该文给出了一种开放源代码的网络仿真器NS2(NetworkSimulatorV2)的原理与实现。首先比较了四种不同仿真器的优缺点,然后详细描述了NS2的模块组成、工作环境、主代码结构以及扩展方法等,最后用RED(RandomEarlyDetection)队列调度和移动IP数据传输两个典型实例说明了NS2的应用价值。
- 王秀利王永吉
- 关键词：拥塞控制网络仿真器开放源代码NS2
- 软件过程服务技术与集成管理系统
- 李明树王青武占春赵琛李怀璋蒋晖雷辉周津慧王永吉张晓刚刘瑞刚王继喆杨秋松赵欣培
- 该成果研究支持软件全生命周期的软件过程服务核心技术和开发软件过程服务集成管理系统，构成一个大型的以质量保证、辅助开发和服务支持为主要特征的软件生产基础设施软件，具有自主知识产权。建立了一个软件过程、人（资源）和开发支撑技...
- 关键词：
- 关键词：软件工程质量管理
- 基于树状线性规划搜索的单调速率优化设计被引量：6
- 2015年
- 改善单调速率（rate monotonic，简称RM）可调度性判定算法的效率，是过去40年计算机实时臣统设计的重要问题。最近，研究人员把可调度性判定问题扩展到了更一般的优化设计问题，即，如何调节在区间可选择情况下的任务运行时间，使得：（1）系统RM可调度；（2）系统的某个性能（如CPU利用率）达到最优。在已有的求解实时系统RM优化设计问题的方法中，都是先把原问题建模成广义约束优化问题，然后再对广义约束优化问题进行求解，但现有方法的求解速度较慢，任务数较多时不再适用。提出一种求解优化问题的方法——基于树状的线性规划搜（1inear programming search，简称LPS）方法。该方法先将实时系统RM优化设计问题建模成广义约束优化问题，再将其分拆成若干线性规划子问题，然后构造线性规划搜索树，利用剪枝搜索算法求解部分线性规划子问题，最后得到优化解。实验结果表明：LPS方法相比于已有的方法能够节省20％～70％的求解时间，任务数越多，节省时间越多。该研究成果可以与计算机可满足性模定理（satisfiability modulo theories，简称SMT）领域的多个研究热点问题联系起来，并可望改善SMT问题的求解效率。
- 陈力王永吉吴敬征吕荫润
- 关键词：实时系统搜索算法线性规划
- 基于动态信任根的虚拟机监控器动态完整性度量架构
- 2014年
- 现有虚拟机监控器(VMM)动态完整性度量架构在度量信任根的安全性方面存在问题,同时没有综合考虑VMM中需要进行完整性度量的数据,为此提出了一种基于动态信任根的VMM动态完整性度量架构。采用基于AMD的安全虚拟机技术构建动态信任根,可以实现对度量程序加载执行前的完整性度量;同时构建封闭独立的执行环境,从而可以有效地解决度量信任根的问题。通过分析VMM运行时的内存状态,对所有需要进行完整性保护的静态持久化数据进行完整性度量,从而可以保证度量内容的完备性。同时给出该架构在Xen上的实现。实验结果表明,该架构可以有效地解决度量信任根的问题,并且对度量内容具有良好的扩展性,从而保证度量内容的完备性;此外,该度量架构与现有架构Hyper Check-SMM相比有23.3%的性能提升。
- 王晓龙丁丽萍廖晓锋金波林渝淇王秀利王永吉
- 关键词：虚拟机监控器可信计算
