-
公开(公告)号:CN101499003A
公开(公告)日:2009-08-05
申请号:CN200810008950.3
申请日:2008-01-31
Applicant: 国际商业机器公司
IPC: G06F9/44
Abstract: 一种用于在约束语言编辑器中帮助生成针对导航的约束语言代码的方法和导航帮助器,其中约束语言编辑器用于根据所加载的模型/实例和相关约束,生成关于模型/实例的约束表达式,导航是实现约束的路径,包括模型/实例元素的序列,所述方法包括:解析所加载的模型/实例;通过模型/实例中与导航有关的元素的类型,计算与元素有关的可能的关联;以及通过关联计算出可能的导航路径。一种用于在约束语言编辑器中帮助生成约束语言代码的方法和约束语言编辑器,所述方法包括:加载模型/实例;加载用于存储参数和约束代码模板的约束模式;根据约束模式中存储的参数类型,调用相应的帮助器,以基于模型/实例来帮助生成参数;根据所生成的参数和约束代码模板,生成约束代码。
-
公开(公告)号:CN101377757A
公开(公告)日:2009-03-04
申请号:CN200710148136.7
申请日:2007-08-28
Applicant: 国际商业机器公司
IPC: G06F11/36
CPC classification number: G06F11/3604
Abstract: 本发明提供了一种用于对实例模型进行约束故障分析的方法和装置,所述方法包括步骤:为标准模型的约束定义多个模式,所述多个模式包含导航模式和逻辑模式;判断由实例模型生成的约束评价树中是否存在空节点;和如果存在空节点,则基于导航模式对约束评价树进行故障分析,否则基于逻辑模式对约束评价树进行故障分析。本发明提供了一种便利的工具,以在模型-约束设计者和模型用户之间建立良好的衔接,减轻模型/约束的使用负担,简化学习曲线,并帮助模型用户进行模型校正。
-
公开(公告)号:CN102622372B
公开(公告)日:2015-01-28
申请号:CN201110033804.8
申请日:2011-01-31
Applicant: 国际商业机器公司
IPC: G06F17/30
CPC classification number: H04W4/14 , G06F17/30722
Abstract: 本发明公开一种推荐短消息接收人的方法和装置,其中方法包括步骤:解析用户的历史短消息以产生与联系人相关联的数据;利用所述数据构建语义关联库;识别所述用户的新短消息文本中的关键对象;利用所述语义关联库分析所述关键对象与联系人的关联性;根据关联性的强度向所述用户推荐短消息接收人。
-
公开(公告)号:CN102598273A
公开(公告)日:2012-07-18
申请号:CN201080045288.4
申请日:2010-08-25
Applicant: 国际商业机器公司
IPC: H01L29/78 , H01L21/762 , H01L21/336
CPC classification number: H01L29/78615 , H01L21/74 , H01L21/76229 , H01L21/76283 , H01L29/66772
Abstract: 本发明公开了一种体硅层上的SOI器件,其具有FET区、主体接触区和STI区。该FET区由SOI层和上覆栅极组成。该STI区包括第一STI层,该STI层将该SOI器件与相邻SOI器件分开。该主体接触区包括该SOI层的延伸部分、该延伸部分上的第二STI层以及与该延伸部分接触的主体接触。该第一STI层和该第二STI层邻接并且具有不同厚度以便形成分层STI。
-
公开(公告)号:CN102222037A
公开(公告)日:2011-10-19
申请号:CN201010150110.8
申请日:2010-04-15
Applicant: 国际商业机器公司
IPC: G06F11/36
CPC classification number: G06F11/3644 , G06F11/302 , G06F11/3089
Abstract: 本发明涉及用于定位Java程序的瓶颈的方法和设备。提供了一种用于定位Java程序的瓶颈的方法,包括以下步骤:在对应于所述Java程序的Java进程中创建辅助线程,并将所述辅助线程挂接到在该Java进程中创建的Java虚拟机;在操作系统内核中插入探测器;所述探测器监视所述Java进程中的Java线程在操作系统内核中的状态并且响应于检测到Java线程被阻塞而向所述辅助线程发送信号;以及所述辅助线程响应于接收到来自操作系统内核的所述信号,从所述JVM中取回调用栈信息,并利用所取回的调用栈信息定位到所述Java程序的源代码中的引起所述阻塞位置。
-
公开(公告)号:CN101847148A
公开(公告)日:2010-09-29
申请号:CN200910127589.0
申请日:2009-03-23
Applicant: 国际商业机器公司
CPC classification number: H04L67/06 , G06F11/2025 , G06F11/2038 , G06F11/2046 , G06F11/2048 , G06F11/2097 , G06F17/30144 , G06F17/30174 , H04L29/12339 , H04L61/2503 , H04L67/1095
Abstract: 公开了一种用于实现应用高可用性的方法和装置,其中应用分别被安装在第一节点和第二节点上,第一节点用作活动节点,第二节点用作备用节点,该方法包括:在应用在活动节点上的运行过程中监视应用对文件的访问操作;如果应用在对文件的访问操作过程中对文件进行更新,则将所监视的应用对文件的所述更新从活动节点复制到备用节点可访问的存储设备;探测应用在活动节点上的运行;以及响应于探测到应用在活动节点上的运行发生故障,将活动节点切换到第二节点,并启动第二节点上的应用。
-
公开(公告)号:CN101393535A
公开(公告)日:2009-03-25
申请号:CN200710153452.3
申请日:2007-09-19
Applicant: 国际商业机器公司
CPC classification number: G06F11/3447 , G06F8/20 , G06F9/06 , G06F9/445 , G06F9/542 , G06F11/30 , G06F11/3419 , G06F11/3476 , G06F21/55 , G06F2201/86 , G06F2209/543
Abstract: 本发明涉及将运行时事件与组件相关联的方法和系统。本发明的方法包括:获取运行时事件;获取当前运行环境的上下文并根据所述上下文确定当前组件;获取当前组件的关联策略并根据所述关联策略确定与所述运行时事件相关联的负责组件。本发明的一个目的是将运行时事件与组件相关联。本发明的另一个目的是在有复杂的互依存关系的组件组成的系统中确定哪个组件实际消费了资源。
-
公开(公告)号:CN101295268A
公开(公告)日:2008-10-29
申请号:CN200710104783.8
申请日:2007-04-27
Applicant: 国际商业机器公司
IPC: G06F9/50
CPC classification number: G06F11/366
Abstract: 提供了一种面向软件系统的分区存储器转储装置及方法,该装置包括监视器,其用于在软件系统的运行中,监视软件系统中的对象的存储器分配和去配,以及用于根据所述监视的结果,将软件系统中已分配的对象划分到相应的存储器分区中,其中所述软件系统的存储器空间是按照给定的分区方案进行分区的;事件检测器,其用于检测存储器转储触发事件;以及转储器,其用于根据检测到的存储器转储触发事件转储相关的存储器分区。优选地,该装置还包括分析器,用于分析所转储的信息,并由分析的结果产生新的转储触发事件或生成新的分区方案。
-
公开(公告)号:CN100416449C
公开(公告)日:2008-09-03
申请号:CN200510068430.8
申请日:2005-04-29
Applicant: 国际商业机器公司
IPC: G06F1/00
CPC classification number: G06Q99/00 , G06Q30/02 , G06Q50/188
Abstract: 本发明提供一种方法和装置,用于由始发服务提供商自动从第三方服务提供商在线获得并运行软件服务。所述方法包括:始发服务提供商与第三方服务提供商就第三方服务提供商运行的某个软件服务协商许可证,所述许可证规定所述软件服务的生命周期信息,以便所述始发服务提供商能够自动获得所述软件服务;响应于许可证的商定,所述第三方服务提供商将所述软件服务传送给所述始发服务提供商;以及所述始发服务提供商根据许可证的规定在自己的宿主环境中部署所述软件服务。通过本发明的方法和装置,服务提供商可以自动化、灵活地获得软件服务,从而降低服务提供商的成本,保证其软件服务的质量,便于其扩展软件服务的领域,并且便于软件服务的更新。
-
公开(公告)号:CN101615143B
公开(公告)日:2013-04-17
申请号:CN200810131740.3
申请日:2008-06-27
Applicant: 国际商业机器公司
IPC: G06F9/50
CPC classification number: G06F11/366 , G06F11/3636
Abstract: 一种诊断内存泄漏的方法和装置。所述方法包括:跟踪应用程序在虚拟机上运行过程中的对象分配,从而获取对象的分配路径和分配时间;记录每个对象的分配路径和分配时间;为每个对象赋予一个与一条分配路径相对应的唯一的id;基于每个对象的与分配该对象的分配路径相对应id,确定其每个对象所属的路径;针对每条分配路径整理由它分配的、并且还没有被回收的对象并根据这些对象的分配时间计算该路径所分配同一类对象的年龄代数;根据每条路径分配的、并且存活的同类对象的年龄代数对路径进行排序;以及对分配路径的排序数据进行分析,排序越高的分配路径,越有可能是引入内存泄漏。据此,可能存在内存泄漏的分配路径被挑选、报告给用户进行分析。本发明还涉及一种执行上述方法的装置。
-
-
-
-
-
-
-
-
-