生成关于模型的约束表达式的方法以及约束语言编辑器

    公开(公告)号:CN101499003A

    公开(公告)日:2009-08-05

    申请号:CN200810008950.3

    申请日:2008-01-31

    CPC classification number: G06F8/427 G06F8/35

    Abstract: 一种用于在约束语言编辑器中帮助生成针对导航的约束语言代码的方法和导航帮助器,其中约束语言编辑器用于根据所加载的模型/实例和相关约束,生成关于模型/实例的约束表达式,导航是实现约束的路径,包括模型/实例元素的序列,所述方法包括:解析所加载的模型/实例;通过模型/实例中与导航有关的元素的类型,计算与元素有关的可能的关联;以及通过关联计算出可能的导航路径。一种用于在约束语言编辑器中帮助生成约束语言代码的方法和约束语言编辑器,所述方法包括:加载模型/实例;加载用于存储参数和约束代码模板的约束模式;根据约束模式中存储的参数类型,调用相应的帮助器,以基于模型/实例来帮助生成参数;根据所生成的参数和约束代码模板,生成约束代码。

    基于约束模式进行约束故障分析的方法和装置

    公开(公告)号:CN101377757A

    公开(公告)日:2009-03-04

    申请号:CN200710148136.7

    申请日:2007-08-28

    CPC classification number: G06F11/3604

    Abstract: 本发明提供了一种用于对实例模型进行约束故障分析的方法和装置,所述方法包括步骤:为标准模型的约束定义多个模式,所述多个模式包含导航模式和逻辑模式;判断由实例模型生成的约束评价树中是否存在空节点;和如果存在空节点,则基于导航模式对约束评价树进行故障分析,否则基于逻辑模式对约束评价树进行故障分析。本发明提供了一种便利的工具,以在模型-约束设计者和模型用户之间建立良好的衔接,减轻模型/约束的使用负担,简化学习曲线,并帮助模型用户进行模型校正。

    推荐短消息接收人的方法和装置

    公开(公告)号:CN102622372B

    公开(公告)日:2015-01-28

    申请号:CN201110033804.8

    申请日:2011-01-31

    CPC classification number: H04W4/14 G06F17/30722

    Abstract: 本发明公开一种推荐短消息接收人的方法和装置,其中方法包括步骤:解析用户的历史短消息以产生与联系人相关联的数据;利用所述数据构建语义关联库;识别所述用户的新短消息文本中的关键对象;利用所述语义关联库分析所述关键对象与联系人的关联性;根据关联性的强度向所述用户推荐短消息接收人。

    用于定位JAVA程序的瓶颈的方法和设备

    公开(公告)号:CN102222037A

    公开(公告)日:2011-10-19

    申请号:CN201010150110.8

    申请日:2010-04-15

    CPC classification number: G06F11/3644 G06F11/302 G06F11/3089

    Abstract: 本发明涉及用于定位Java程序的瓶颈的方法和设备。提供了一种用于定位Java程序的瓶颈的方法,包括以下步骤:在对应于所述Java程序的Java进程中创建辅助线程,并将所述辅助线程挂接到在该Java进程中创建的Java虚拟机;在操作系统内核中插入探测器;所述探测器监视所述Java进程中的Java线程在操作系统内核中的状态并且响应于检测到Java线程被阻塞而向所述辅助线程发送信号;以及所述辅助线程响应于接收到来自操作系统内核的所述信号,从所述JVM中取回调用栈信息,并利用所取回的调用栈信息定位到所述Java程序的源代码中的引起所述阻塞位置。

    面向软件系统的分区存储器转储方法和装置

    公开(公告)号:CN101295268A

    公开(公告)日:2008-10-29

    申请号:CN200710104783.8

    申请日:2007-04-27

    Inventor: 滕启明 邱杰 李影

    CPC classification number: G06F11/366

    Abstract: 提供了一种面向软件系统的分区存储器转储装置及方法,该装置包括监视器,其用于在软件系统的运行中,监视软件系统中的对象的存储器分配和去配,以及用于根据所述监视的结果,将软件系统中已分配的对象划分到相应的存储器分区中,其中所述软件系统的存储器空间是按照给定的分区方案进行分区的;事件检测器,其用于检测存储器转储触发事件;以及转储器,其用于根据检测到的存储器转储触发事件转储相关的存储器分区。优选地,该装置还包括分析器,用于分析所转储的信息,并由分析的结果产生新的转储触发事件或生成新的分区方案。

    软件服务提供商自动获得及运行软件服务的方法和装置

    公开(公告)号:CN100416449C

    公开(公告)日:2008-09-03

    申请号:CN200510068430.8

    申请日:2005-04-29

    Inventor: 李影 陈滢 田忠

    CPC classification number: G06Q99/00 G06Q30/02 G06Q50/188

    Abstract: 本发明提供一种方法和装置,用于由始发服务提供商自动从第三方服务提供商在线获得并运行软件服务。所述方法包括:始发服务提供商与第三方服务提供商就第三方服务提供商运行的某个软件服务协商许可证,所述许可证规定所述软件服务的生命周期信息,以便所述始发服务提供商能够自动获得所述软件服务;响应于许可证的商定,所述第三方服务提供商将所述软件服务传送给所述始发服务提供商;以及所述始发服务提供商根据许可证的规定在自己的宿主环境中部署所述软件服务。通过本发明的方法和装置,服务提供商可以自动化、灵活地获得软件服务,从而降低服务提供商的成本,保证其软件服务的质量,便于其扩展软件服务的领域,并且便于软件服务的更新。

    用于内存泄漏诊断的方法和装置

    公开(公告)号:CN101615143B

    公开(公告)日:2013-04-17

    申请号:CN200810131740.3

    申请日:2008-06-27

    CPC classification number: G06F11/366 G06F11/3636

    Abstract: 一种诊断内存泄漏的方法和装置。所述方法包括:跟踪应用程序在虚拟机上运行过程中的对象分配,从而获取对象的分配路径和分配时间;记录每个对象的分配路径和分配时间;为每个对象赋予一个与一条分配路径相对应的唯一的id;基于每个对象的与分配该对象的分配路径相对应id,确定其每个对象所属的路径;针对每条分配路径整理由它分配的、并且还没有被回收的对象并根据这些对象的分配时间计算该路径所分配同一类对象的年龄代数;根据每条路径分配的、并且存活的同类对象的年龄代数对路径进行排序;以及对分配路径的排序数据进行分析,排序越高的分配路径,越有可能是引入内存泄漏。据此,可能存在内存泄漏的分配路径被挑选、报告给用户进行分析。本发明还涉及一种执行上述方法的装置。

Patent Agency Ranking