CN105843973B - 一种基于案例的设计知识的描述方法及*** - Google Patents
一种基于案例的设计知识的描述方法及*** Download PDFInfo
- Publication number
- CN105843973B CN105843973B CN201510015475.2A CN201510015475A CN105843973B CN 105843973 B CN105843973 B CN 105843973B CN 201510015475 A CN201510015475 A CN 201510015475A CN 105843973 B CN105843973 B CN 105843973B
- Authority
- CN
- China
- Prior art keywords
- knowledge
- case
- information
- formula
- xml
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000000034 method Methods 0.000 title claims abstract description 68
- 238000013461 design Methods 0.000 title claims abstract description 33
- 238000012795 verification Methods 0.000 claims abstract description 8
- 238000011161 development Methods 0.000 description 5
- 238000012356 Product development Methods 0.000 description 4
- 238000010586 diagram Methods 0.000 description 3
- 238000012986 modification Methods 0.000 description 3
- 230000004048 modification Effects 0.000 description 3
- 206010063385 Intellectualisation Diseases 0.000 description 2
- 230000015572 biosynthetic process Effects 0.000 description 2
- 238000012938 design process Methods 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 238000009825 accumulation Methods 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000007123 defense Effects 0.000 description 1
- 239000000284 extract Substances 0.000 description 1
- 238000007689 inspection Methods 0.000 description 1
- 230000010354 integration Effects 0.000 description 1
- 238000001556 precipitation Methods 0.000 description 1
- 238000011160 research Methods 0.000 description 1
- 238000012827 research and development Methods 0.000 description 1
- 230000000007 visual effect Effects 0.000 description 1
Landscapes
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Abstract
本发明公开一种基于案例的设计知识的描述方法及***,该方法包括步骤:根据基于XML的案例知识信息描述规范描述案例知识的基本信息;根据案例知识的基本信息建立案例知识的具体信息模型;检查案例知识的具体信息模型中案例知识的具体信息的语法和逻辑。本发明所述技术方案通过建立基于XML的统一描述语法,能够屏蔽案例中公式、规则、过程等知识的异构性,支持形成统一的案例知识基本信息;通过提供与EXCEL集成的公式、规则、过程的建模方法,支持知识的获取和形式化描述;通过案例知识验证,能够支持对多个异构知识之间的逻辑进行检查和验证。
Description
技术领域
本发明涉及一种设计知识的描述方法及***。更具体地,涉及一种基于案例的设计知识的描述方法及***。
背景技术
随着复杂产品研制从数字化向智能化方向发展,设计知识的描述成为制约产品智能化研制的基础问题。通过研究,在复杂产品研制中,大量设计知识是由计算过程串联公式、图表、规则等多种形式的知识构成。因此,在设计手册中,规则型知识和公式类知识是融合到一起的,目前复杂产品基于知识工程的研发属于起步阶段,对于这类复杂的知识缺乏有效的描述方法,因此这类知识多存在于设计师的头脑中,无法进行积累和共享。同时在产品研制中又需要将这些宝贵的工程研发知识提炼总结,形成固定的模板,一方面能够指导后续设计师应用,另一方面也能够支撑后续型号的创新设计。知识的表达方式要能够对这种规则和公式的混合型知识进行表达,迫切需要研究提出适合于工程应用的知识描述方法支持将这些设计知识以一定的形式进行表达和存储,形成知识模型,通过知识的沉淀和积累,便于在以后的设计过程中进行调用,辅助设计人员完成设计,有利于改善产品研制的时间、周期和成本。
因此,需要提供一种基于案例的设计知识的描述方法,实现复杂产品研制设计案例知识的描述,特别是支持不同类型知识的统一描述。
发明内容
本发明的一个目的在于提供一种基于案例的设计知识的描述方法。
本发明的另一个目的在于提供一种基于案例的设计知识的描述***。
为达到上述目的,本发明采用下述技术方案:
1、一种基于案例的设计知识的描述方法,该方法包括如下步骤:
根据基于XML的案例知识信息描述规范描述案例知识的基本信息;
根据案例知识的基本信息建立案例知识的具体信息模型;
检查案例知识的具体信息模型中案例知识的具体信息的语法和逻辑。
优选地,步骤“根据基于XML的案例知识信息描述规范描述案例知识的基本信息”中基于XML的案例知识信息描述规范定义了案例知识的基本信息的属性名称和数据类型。
优选地,步骤“根据基于XML的案例知识信息描述规范描述案例知识的基本信息”中案例知识的基本信息包括:案例知识的模型的基本信息、共性变量的基本信息、规则知识的基本信息、公式知识的基本信息和过程知识的基本信息。
优选地,步骤“根据案例知识的基本信息建立案例知识的具体信息模型”进一步包括如下子步骤:
定义共性变量的具体信息;
建立规则知识的具体信息模型;
建立公式知识的具体信息模型;
定义过程知识的具体信息。
优选地,步骤“定义共性变量的具体信息”进一步包括如下子步骤:
定义案例知识中的各个输入、输出参数;
定义变量的名称、含义、单位和类型;
将共性变量的具体信息和基本信息结合。
优选地,步骤“建立规则知识的具体信息模型”进一步包括如下子步骤:
建立规则集;
以VISO图形化的方式建立规则的前件、后件、逻辑与或的判断关系;
选择规则中包含的共性变量和公式;
以VISO图形的形式保存规则知识的具体信息模型,并根据基于XML的案例知识信息描述规范生成规则知识的XML描述文件。
优选地,步骤“建立公式知识的具体信息模型”进一步包括如下子步骤:
建立公式集;
定义公式的名称和描述;
编辑公式的具体内容;
选择公式中包含的共性变量,定义公式中包含的临时变量;
根据基于XML的案例知识信息描述规范生成公式知识的XML描述文件。
优选地,步骤“定义过程知识的具体信息”进一步包括如下子步骤:
定义规则集和公式集的调用顺序;
根据基于XML的案例知识信息描述规范生成过程知识的XML描述文件。
优选地,步骤“检查案例知识的具体信息模型中案例知识的具体信息的语法和逻辑”进一步包括如下子步骤:
根据基于XML的案例知识信息描述规范检查案例知识的具体信息模型中语法的正确性;
检查规则知识和公式知识中变量定义的完整性;
检查过程知识中调用顺序的正确性。
一种如前文所述方法的基于案例的设计知识的描述***,该***包括:
案例知识描述单元,用于根据基于XML的案例知识信息描述规范描述案例知识的基本信息;
案例知识建模单元,用于根据案例知识的基本信息建立案例知识的具体信息模型;
案例知识验证单元,用于根据基于XML的案例知识信息描述规范检查案例知识的具体信息模型中语法的正确性,检查规则知识和公式知识中变量定义的完整性,检查过程知识中调用顺序的正确性;
案例知识描述单元中,基于XML的案例知识信息描述规范定义了案例知识的基本信息的属性名称和数据类型,案例知识的基本信息进一步包括:案例知识的模型的基本信息、共性变量的基本信息、规则知识的基本信息、公式知识的基本信息和过程知识的基本信息;
案例知识建模单元进一步包括:
共性变量定义模块,用于定义案例知识中用到的各个输入、输出参数,定义变量的名称、含义、单位和类型,并将共性变量的具体信息和基本信息结合;
规则知识建模模块,用于建立规则集,以VISO图形化的方式建立规则的前件、后件、逻辑与或的判断关系,选择规则中包含的共性变量和公式知识,以VISO图形的形式保存规则知识的具体信息模型,并根据基于XML的案例知识信息描述规范生成规则知识的XML描述文件;
公式知识建模模块,用于建立公式集,定义公式的名称和描述,编辑公式的具体内容,选择公式中包含的共性变量,定义公式中包含的临时变量,并根据基于XML的案例知识信息描述规范生成公式知识的XML描述文件;
过程知识定义模块,用于定义规则集和公式集的调用顺序,并根据基于XML的案例知识信息描述规范生成过程知识的XML描述文件。
本发明的有益效果如下:
本发明所述技术方案实现了基于案例的设计知识描述,能够支持复杂产品研制中案例知识的描述。通过建立基于XML的统一描述语法,能够屏蔽案例中公式、规则、过程、图表等知识的异构性,支持形成统一的案例知识基本信息;通过对与EXCEL集成的公式、规则、过程的建模,支持知识的获取和形式化描述;通过案例知识验证,能够支持对多个异构知识之间的逻辑进行检查和验证。通过案例知识的描述,建立案例知识模型,能够支持在设计过程中应用案例知识辅助设计,改善产品研制的时间、成本和质量。适用于需要发展知识工程负责设计、产品知识复杂的企业,适用于国防科技领域各军工行业,并可以转化为民用技术。
附图说明
下面结合附图对本发明的具体实施方式作进一步详细的说明。
图1示出一种基于案例的设计知识的描述方法的流程图。
图2示出一种基于案例的设计知识的描述***的示意图。
具体实施方式
为了更清楚地说明本发明,下面结合优选实施例和附图对本发明做进一步的说明。附图中相似的部件以相同的附图标记进行表示。本领域技术人员应当理解,下面所具体描述的内容是说明性的而非限制性的,不应以此限制本发明的保护范围。
本实施例提供的基于案例的设计知识的描述方法包括如下步骤:
根据基于XML的案例知识信息描述规范描述案例知识的基本信息;
根据案例知识的基本信息建立案例知识的具体信息模型;
检查案例知识的具体信息模型中案例知识的具体信息的语法和逻辑。
其中
步骤“根据基于XML的案例知识信息描述规范描述案例知识的基本信息”中根据基于XML的案例知识信息描述规范描述案例知识的基本信息,基于XML的案例知识信息描述规范定义了案例知识的基本信息的属性名称和数据类型包括属性名称和数据类型,案例知识的基本信息包括案例知识的模型的基本信息、共性变量的基本信息、规则知识的基本信息、公式知识的基本信息和过程知识的基本信息。
步骤“根据案例知识的基本信息建立案例知识的具体信息模型”进一步包括如下子步骤:
定义共性变量的具体信息;
建立规则知识的具体信息模型;
建立公式知识的具体信息模型;
定义过程知识的具体信息。
其中
步骤“定义共性变量的具体信息”进一步包括如下子步骤:
定义案例知识中用到的各个输入参数和输出参数;
定义变量的名称、含义、单位和类型;
将共性变量的具体信息和基本信息结合。
步骤“建立规则知识的具体信息模型”进一步包括如下子步骤:
建立规则集;
以VISO图形化的方式建立规则的前件、后件、逻辑与或的判断关系;
选择规则中包含的共性变量和公式;
以VISO图形的形式保存规则知识的具体信息模型,并根据基于XML的案例知识信息描述规范生成规则知识的XML描述文件。
步骤“建立公式知识的具体信息模型”进一步包括如下子步骤:
建立公式集;
定义公式的名称和描述;
编辑公式的具体内容;
选择公式中包含的共性变量,定义公式中包含的临时变量;
根据基于XML的案例知识信息描述规范生成公式知识的XML描述文件。
步骤“定义过程知识的具体信息”进一步包括如下子步骤:
定义规则集和公式集的调用顺序;
根据基于XML的案例知识信息描述规范生成过程知识的XML描述文件。
以上规则知识、公式知识的建模和过程知识的定义均实现了与EXCEL的集成,即在EXCEL页面中添加了“案例知识建模功能”进入,公式、规则、过程中的输入端口和输出端口均与EXCEL中的单元格绑定,实现从EXCEL中获取输入信息,并将输出信息写入EXCEL中。
步骤“检查案例知识的语法和逻辑”进一步包括如下子步骤:
根据基于XML的案例知识信息描述规范检查案例知识的具体信息模型中语法的正确性;
检查规则知识和公式知识中变量定义的完整性;
检查过程知识中调用顺序的正确性。
本实施例提供的基于案例的设计知识的描述***包括:
案例知识统一描述单元,用于提供统一的建模规范;
知识建模单元,用于建立具体的知识模型;
知识验证单元,用于检查案例知识的语法和逻辑;
其中
案例知识统一描述单元;
用于提供统一的建模规范;统一建模规范定义基于XML的案例知识描述语法,需要描述案例知识模型信息、案例知识中共性变量信息、规则知识基本信息、过程知识基本信息。各类信息均需遵循基于XML的案例知识信息的描述规范,描述规范如表1所示。
表1案例知识统一描述单元信息描述规范
在知识建模单元建立案例知识的具体信息模型后,案例知识统一描述单元将按照案例知识信息描述规范提取相应信息,以XML语法的形式生成规范的案例知识基本信息。
知识建模单元;
用于建立具体的知识模型,包括共性变量定义模块、规则知识建模模块、公式知识建模模块和过程知识建模模块。
共性变量定义模块,支持定义案例知识中用到的所有输入、输出参数,定义变量的名称、含义、单位和类型,完成定义后,将共性变量与案例知识基本信息相结合。
规则知识建模模块,包括规则集定义、规则建立和规则保存。规则集定义支持定义规则集,一个规则集可以包含多条规则;规则建立支持以VISO图形化的方式建立规则的前件、后件、逻辑与或的判断关系,规则建立中基本事件支持选择共性变量、公式;规则保存支持将规则模型保存成VISO图的形式,并按照案例知识统一描述信息描述规范生成规则知识的XML描述文件。
公式知识建模模块,包括公式集定义、公式定义、公式建立和公式保存。公式集定义支持定义公式集,一个公式集可以包含多条公式;公式定义支持定义公式的名称和描述;公式建立支持编辑具体公式,支持选择共性变量和定义该公式所需要的零时变量;公式保存支持按照案例知识统一描述信息描述规范生成公式知识的XML描述文件。
过程知识定义模块,支持定义所建立的多个规则集和公式集的调用顺序,并按照案例知识统一描述信息描述规范生成过程知识的XML描述文件。
以上规则知识建模模块、公式知识建模模块和过程知识定义模块均实现了与EXCEL的集成,即在EXCEL页面中添加了“案例知识建模功能”进入,规则、公式、过程中的输入端口、输出端口均与EXCEL中的单元格绑定,实现从EXCEL中获取输入信息,并将输出信息写入EXCEL中。
知识验证单元;
用于检查案例知识的语法和逻辑,具体用于根据案例知识统一描述信息描述规范检查案例知识模型语法的正确性、检查规则知识和公式知识中使用的变量是否全部定义并检查过程知识的调用顺序是否正确。
知识验证单元支持检查结果的直观展示,如果有错误,会提示修改。通过验证的案例知识才能够支持自动推理。
知识描述伪代码实现
综上所述,本发明所述技术方案实现了基于案例的设计知识描述,能够支持复杂产品研制中案例知识的描述。通过建立基于XML的统一描述语法,能够屏蔽案例中公式、规则、过程、图表等知识的异构性,支持形成统一的案例知识基本信息;通过对与EXCEL集成的公式、规则、过程的建模,支持知识的获取和形式化描述;通过案例知识验证,能够支持对多个异构知识之间的逻辑进行检查和验证。
显然,本发明的上述实施例仅仅是为清楚地说明本发明所作的举例,而并非是对本发明的实施方式的限定,对于所属领域的普通技术人员来说,在上述说明的基础上还可以做出其它不同形式的变化或变动,这里无法对所有的实施方式予以穷举,凡是属于本发明的技术方案所引伸出的显而易见的变化或变动仍处于本发明的保护范围之列。
Claims (8)
1.一种基于案例的设计知识的描述方法,其特征在于,该方法包括如下步骤:
根据基于XML的案例知识信息描述规范描述案例知识的基本信息;
根据所述案例知识的基本信息建立案例知识的具体信息模型;
检查所述案例知识的具体信息模型中案例知识的具体信息的语法和逻辑;
其中,
所述根据所述案例知识的基本信息建立案例知识的具体信息模型进一步包括如下子步骤:
定义共性变量的具体信息;
建立规则知识的具体信息模型;
建立公式知识的具体信息模型;
定义过程知识的具体信息;
所述建立规则知识的具体信息模型进一步包括如下子步骤:
建立规则集;
以VISO图形化的方式建立规则的前件、后件、逻辑与或的判断关系;
选择规则中包含的共性变量和公式;
以VISO图形的形式保存规则知识的具体信息模型,并根据基于XML的案例知识信息描述规范生成规则知识的XML描述文件。
2.根据权利要求1所述的基于案例的设计知识的描述方法,其特征在于,所述根据基于XML的案例知识信息描述规范描述案例知识的基本信息中基于XML的案例知识信息描述规范定义了案例知识的基本信息的属性名称和数据类型。
3.根据权利要求1所述的基于案例的设计知识的描述方法,其特征在于,所述根据基于XML的案例知识信息描述规范描述案例知识的基本信息中案例知识的基本信息包括:案例知识的模型的基本信息、共性变量的基本信息、规则知识的基本信息、公式知识的基本信息和过程知识的基本信息。
4.根据权利要求1所述的基于案例的设计知识的描述方法,其特征在于,所述定义共性变量的具体信息进一步包括如下子步骤:
定义案例知识中的各个输入、输出参数;
定义变量的名称、含义、单位和类型;
将共性变量的具体信息和基本信息结合。
5.根据权利要求1所述的基于案例的设计知识的描述方法,其特征在于,所述建立公式知识的具体信息模型进一步包括如下子步骤:
建立公式集;
定义公式的名称和描述;
编辑公式的具体内容;
选择公式中包含的共性变量,定义公式中包含的临时变量;
根据基于XML的案例知识信息描述规范生成公式知识的XML描述文件。
6.根据权利要求1或5所述的基于案例的设计知识的描述方法,其特征在于,所述定义过程知识的具体信息进一步包括如下子步骤:
定义规则集和公式集的调用顺序;
根据基于XML的案例知识信息描述规范生成过程知识的XML描述文件。
7.根据权利要求6所述的基于案例的设计知识的描述方法,其特征在于,检查所述案例知识的具体信息模型中案例知识的具体信息的语法和逻辑进一步包括如下子步骤:
根据基于XML的案例知识信息描述规范检查案例知识的具体信息模型中语法的正确性;
检查规则知识和公式知识中变量定义的完整性;
检查过程知识中调用顺序的正确性。
8.一种如权利要求1所述方法的基于案例的设计知识的描述***,其特征在于,该***包括:
案例知识描述单元,用于根据基于XML的案例知识信息描述规范描述案例知识的基本信息;
案例知识建模单元,用于根据所述案例知识的基本信息建立案例知识的具体信息模型;
案例知识验证单元,用于根据基于XML的案例知识信息描述规范检查案例知识的具体信息模型中语法的正确性,检查规则知识和公式知识中变量定义的完整性,检查过程知识中调用顺序的正确性;
所述案例知识描述单元中,基于XML的案例知识信息描述规范定义了案例知识的基本信息的属性名称和数据类型,所述案例知识的基本信息进一步包括:案例知识的模型的基本信息、共性变量的基本信息、规则知识的基本信息、公式知识的基本信息和过程知识的基本信息;
所述案例知识建模单元进一步包括:
共性变量定义模块,用于定义案例知识中用到的各个输入、输出参数,定义变量的名称、含义、单位和类型,并将共性变量的具体信息和基本信息结合;
规则知识建模模块,用于建立规则集,以VISO图形化的方式建立规则的前件、后件、逻辑与或的判断关系,选择规则中包含的共性变量和公式知识,以VISO图形的形式保存规则知识的具体信息模型,并根据基于XML的案例知识信息描述规范生成规则知识的XML描述文件;
公式知识建模模块,用于建立公式集,定义公式的名称和描述,编辑公式的具体内容,选择公式中包含的共性变量,定义公式中包含的临时变量,并根据基于XML的案例知识信息描述规范生成公式知识的XML描述文件;
过程知识定义模块,用于定义规则集和公式集的调用顺序,并根据基于XML的案例知识信息描述规范生成过程知识的XML描述文件。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510015475.2A CN105843973B (zh) | 2015-01-13 | 2015-01-13 | 一种基于案例的设计知识的描述方法及*** |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510015475.2A CN105843973B (zh) | 2015-01-13 | 2015-01-13 | 一种基于案例的设计知识的描述方法及*** |
Publications (2)
Publication Number | Publication Date |
---|---|
CN105843973A CN105843973A (zh) | 2016-08-10 |
CN105843973B true CN105843973B (zh) | 2018-12-14 |
Family
ID=57177955
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201510015475.2A Active CN105843973B (zh) | 2015-01-13 | 2015-01-13 | 一种基于案例的设计知识的描述方法及*** |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN105843973B (zh) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108984883A (zh) * | 2018-07-05 | 2018-12-11 | 北京航空航天大学 | 一种基于xml的电连接器设计质量自动检查方法 |
CN111964724B (zh) * | 2020-08-18 | 2022-10-28 | 中电科思仪科技股份有限公司 | 一种基于面向仪器的测试描述模型的描述方法及装置 |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102609449A (zh) * | 2012-01-06 | 2012-07-25 | 华中科技大学 | 一种基于***构建概念型知识地图的方法 |
CN102930479A (zh) * | 2012-09-13 | 2013-02-13 | 中国电力科学研究院 | 一种用于电力***规程知识的形式化方法及其形式化*** |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8150835B2 (en) * | 2009-09-23 | 2012-04-03 | Nokia Corporation | Method and apparatus for creating and utilizing information signatures |
-
2015
- 2015-01-13 CN CN201510015475.2A patent/CN105843973B/zh active Active
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102609449A (zh) * | 2012-01-06 | 2012-07-25 | 华中科技大学 | 一种基于***构建概念型知识地图的方法 |
CN102930479A (zh) * | 2012-09-13 | 2013-02-13 | 中国电力科学研究院 | 一种用于电力***规程知识的形式化方法及其形式化*** |
Non-Patent Citations (4)
Title |
---|
《基于XML Schema 的知识描述与模式验证》;许桂艳;《计算机***应用》;20081231(第9期);正文第33-37页,图1-6 * |
《基于XML的案例表示和案例库构造方法》;李玲娟;《计算机应用研究》;20071231;第24卷(第11期);全文 * |
《基于统一描述框架的导弹设计知识模型研究》;谷牧等;《现代防御技术》;20130228;第41卷(第1期);正文第33-37页,图1-6 * |
《本体驱动的知识管理***模型及其应用研究》;王昊等;《中国图书馆学报》;20130331;第39卷(第204期);全文 * |
Also Published As
Publication number | Publication date |
---|---|
CN105843973A (zh) | 2016-08-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN104391934B (zh) | 数据校验方法和装置 | |
CN103135976B (zh) | 代码自动生成方法及装置 | |
WO2020233330A1 (zh) | 批量测试方法、装置及计算机可读存储介质 | |
US9037549B2 (en) | System and method for testing data at a data warehouse | |
CN104679488B (zh) | 一种流程定制开发平台及流程定制开发方法 | |
CN106599039B (zh) | 一种支持关系数据库数据自由组合嵌套的统计表述方法 | |
Park et al. | Plant model generation for PLC simulation | |
US8626477B2 (en) | Spreadsheet-based graphical user interface for modeling of products using the systems engineering process | |
CN105320806B (zh) | PML结合Excel-VBA处理数据汇总核电工艺管道材料的方法 | |
CN106383701A (zh) | 基于通用多协议数据访问接口技术的数据服务*** | |
WO2015013528A1 (en) | Systems and methods for creating engineering models | |
CN104933224A (zh) | 一种智能变电站用电子设备快速配置器 | |
CN105843973B (zh) | 一种基于案例的设计知识的描述方法及*** | |
CN106372359B (zh) | 一种设备虚拟样机*** | |
Singh et al. | Use of tabular expressions for refinement automation | |
US20130219354A1 (en) | Systems and methods for generating high-quality formal executable software feature requirements | |
WO2015006786A1 (en) | Integrated, configurable, analytical, temporal, visual electronic plan system | |
CN103853554A (zh) | 一种软件重构位置确定方法及装置 | |
CN105786787A (zh) | 基于Java的高效PDF报表测试方法 | |
CN104794010A (zh) | 一种***内信息交互优化方法 | |
Cinque et al. | Requirements management support for the ITER plasma control system in view of first plasma operations | |
CN103324776A (zh) | 基于抽象解释的线性混成***不变式的生成方法 | |
Zaytsev | Renarrating linguistic architecture: a case study | |
Du et al. | A Novel Approach to Construct Object-Oriented System Dependence Graph and Algorithm Design. | |
Al-Khanjari | Proposing a systematic approach to verify software requirements |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |