信息技术用语言_国内外标准网文献检索下载

1.[标准] 工业自动化系统工程用工程数据交换格式自动化标记语言第3部分：几何学和运动学

发布单位：
中国-国家标准(CN-GB)

标准状态：
现行

标准号：
GB/T 39003.3-2023

发布时间：
2023-09-07

中标分类：
L74 电子元器件与信息技术 - 信息处理技术 - 程序语言

国标分类：
35.060 信息技术、办公机械 - 信息技术用语言

25.040.01 工业自动化系统 - 工业自动化系统综合

实施时间：
2024-04-01

摘要：本文件通过AML的方式，规定了用于交换工厂自动化区域内的工程工具的几何学和运动学信息整合。
本文件未定义数据交换过程的细节以及导入/导出工具的使用要求。

获取标准
2.[标准] 工业自动化系统工程用工程数据交换格式自动化标记语言第2部分：语义学库

发布单位：
中国-国家标准(CN-GB)

标准状态：
现行

标准号：
GB/T 39003.2-2023

发布时间：
2023-09-07

中标分类：
L74 电子元器件与信息技术 - 信息处理技术 - 程序语言

国标分类：
35.060 信息技术、办公机械 - 信息技术用语言

25.040.01 工业自动化系统 - 工业自动化系统综合

实施时间：
2024-04-01

摘要：本文件规定了用于工程信息建模的规范性及资料性AML库，用于自动化区域中工程工具之间以AML方式进行信息交换。另外，作为示例，本文件给出了其他由用户定义的库。其条款适用于相关工具的导出/导入应用。本文件规定了用于表达语义的AML角色类库和AML的用法。角色类为AML对象提供语义，属性类型为AML属性提供语义。角色类与AML对象的关联或属性类型与AML属性的关联表示了向其添加（包括外部）语义信息的可能性。语义信息通过关联角色类与AML对象或属性类型与AML属性来获取。本文件没有定义数据交换过程的细节以及导出/导入工具的使用要求。注：未来可能在本文件包含AML属性类型库。

获取标准
3.[标准] 信息技术中间件消息中间件技术要求

发布单位：
中国-国家标准计划(CN-PLAN)

标准状态：
正在起草

标准号：
20230212-T-469

发布时间：
2023-03-21

中标分类：
-

国标分类：
35.060 信息技术、办公机械 - 信息技术用语言

实施时间：
4.[标准] 基于Java EE的应用服务器技术要求

发布单位：
中国-国家标准计划(CN-PLAN)

标准状态：
正在起草

标准号：
20230208-T-469

发布时间：
2023-03-21

中标分类：
-

国标分类：
35.060 信息技术、办公机械 - 信息技术用语言

实施时间：
5.[标准] Information technology - Database languages SQL - Part 4: Persistent stored modules (SQL/PSM)

信息技术.数据库语言SQL.第4部分:持久存储模块（SQL/PSM）

发布单位：
国际组织-国际电工委员会(IX-IEC)

标准状态：
现行

标准号：
ISO/IEC 9075-4:2023

发布时间：
2023-06-01

中标分类：
-

国标分类：
35.060 信息技术、办公机械 - 信息技术用语言

实施时间：
6.[标准] SystemVerilog - Part 2: Universal Verification Methodology Language Reference Manual

SystemVerilog-第2部分:通用验证方法语言参考手册

发布单位：
国际组织-国际电工委员会(IX-IEC)

标准状态：
现行

标准号：
IEC 62530-2:2023

发布时间：
2023-10-11

中标分类：
-

国标分类：
35.060 信息技术、办公机械 - 信息技术用语言

25.040.01 工业自动化系统 - 工业自动化系统综合

实施时间：

摘要： IEC 62530-2:2023 establishes the Universal Verification Methodology (UVM), a set of application programming interfaces (APIs) that defines a base class library (BCL) definition used to develop modular, scalable, and reusable components for functional verification environments. The APIs and BCL are based on the IEEE standard for SystemVerilog, IEEE Std 1800？.1. This is an IEC/IEEE dual logo standard.
7.[标准] Information technology - C# specification suite

信息技术.C#规范套件

发布单位：
国际组织-国际电工委员会(IX-IEC)

标准状态：
现行

标准号：
ISO/IEC 20619:2023

发布时间：
2023-09-05

中标分类：
-

国标分类：
35.060 信息技术、办公机械 - 信息技术用语言

实施时间：
8.[标准] Programming languages - Fortran - Part 1: Base language

程序设计语言.Fortran.第1部分:基本语言

发布单位：
国际组织-国际电工委员会(IX-IEC)

标准状态：
现行

标准号：
ISO/IEC 1539-1:2023

发布时间：
2023-11-17

中标分类：
-

国标分类：
35.060 信息技术、办公机械 - 信息技术用语言

实施时间：
9.[标准] Information technology - Database languages SQL - Part 1: Framework (SQL/Framework)

信息技术.数据库语言SQL.第1部分:框架（SQL/框架）

发布单位：
国际组织-国际电工委员会(IX-IEC)

标准状态：
现行

标准号：
ISO/IEC 9075-1:2023

发布时间：
2023-06-01

中标分类：
-

国标分类：
35.060 信息技术、办公机械 - 信息技术用语言

实施时间：
10.[标准] Delay and power calculation standards - Part 4: Design and Verification of Low-Power, Energy-Aware Electronic Systems

延迟和功率计算标准.第4部分:低功率、能量感知电子系统的设计和验证

发布单位：
国际组织-国际电工委员会(IX-IEC)

标准状态：
现行

标准号：
IEC 61523-4:2023

发布时间：
2023-10-11

中标分类：
-

国标分类：
35.060 信息技术、办公机械 - 信息技术用语言

25.040.01 工业自动化系统 - 工业自动化系统综合

实施时间：

摘要： IEC 61523-4:2023 defines the syntax and semantics of a format used to express power intent in energy-aware electronic system design. Power intent includes the concepts and information required for specification and validation, implementation and verification, and modeling and analysis of power-managed electronic systems. This standard also defines the relationship between the power intent captured in this format and design intent captured via other formats (e.g., standard hardware description languages and cell libraries). This is an IEC/IEEE dual logo standard.
11.[标准] Power Modeling to Enable System Level Analysis

启用系统级分析的功率建模

发布单位：
国际组织-国际电工委员会(IX-IEC)

标准状态：
现行

标准号：
IEC 63501-2416:2023

发布时间：
2023-10-17

中标分类：
-

国标分类：
35.060 信息技术、办公机械 - 信息技术用语言

25.040.01 工业自动化系统 - 工业自动化系统综合

实施时间：

摘要： IEC 63501-2416:2023 describes a parameterized and abstracted power model enabling system, software, and hardware intellectual property (IP)-centric power analysis and optimization. It defines concepts for the development of parameterized, accurate, efficient, and complete power models for systems and hardware IP blocks usable for system power analysis and optimization. These concepts include, but are not limited to, process, voltage, and temperature (PVT) independence; power and thermal management interface; and workload and architecture parameterization. This standard also defines the necessary requirements for the information content of parameterized, accurate, efficient, and complete power models to help guide development and usage of other related power, workload, and functional modeling standards. This standard is published as a double logo IEC-IEEE standard.
12.[标准] Information technology - Programming languages, their environments and system software interfaces - Programming language COBOL

信息技术.程序设计语言、环境和系统软件接口.程序设计语COBOL

发布单位：
国际组织-国际电工委员会(IX-IEC)

标准状态：
现行

标准号：
ISO/IEC 1989:2023

发布时间：
2023-01-31

中标分类：
-

国标分类：
35.060 信息技术、办公机械 - 信息技术用语言

实施时间：

摘要： ISO/IEC 1989:2023 This document specifies the syntax and semantics of COBOL. Its purpose is to promote a high degree of machine independence to permit the use of COBOL on a variety of data processing systems.This document specifies:The form of a compilation group written in COBOL.The effect of compiling a compilation group.The effect of executing run units.The elements of the language for which a conforming implementation is required to supply a definition.The elements of the language for which meaning is explicitly undefined.The elements of the language that are dependent on the capabilities of the processor.This document does not specify:The means whereby a compilation group written in COBOL is compiled into code executable by a processor.The time at which method, function, or program runtime modules are linked or bound to an activating statement, except that runtime binding occurs of necessity when the identification of the appropriate program or method is not known at compile time.The time at which parameterized classes and interfaces are expanded.The mechanism by which locales are defined and made available on a processor.The form or content of error, flagging, or warning messages.The form and content of listings produced during compilation, if any.The form of documentation produced by an implementor of products conforming to this document.The sharing of objects and resources other than files among run units.
13.[标准] Information technology - Programming languages - Ada

信息技术.程序设计语言.Ada

发布单位：
国际组织-国际电工委员会(IX-IEC)

标准状态：
现行

标准号：
ISO/IEC 8652:2023

发布时间：
2023-05-02

中标分类：
-

国标分类：
35.060 信息技术、办公机械 - 信息技术用语言

实施时间：

摘要： ISO/IEC 8652:2023 This document specifies the form and meaning of programs written in Ada. Its purpose is to promote the portability of Ada programs to a variety of computing systems.This document specifies:- The form of a program written in Ada;- The effect of translating and executing such a program;- The manner in which program units can be combined to form Ada programs;- The language-defined library units that a conforming implementation is required to supply;- The permissible variations in conformance to the rules of this document, and the manner in which they are to be documented;- Those violations of the requirements of this document that a conforming implementation is required to detect, and the effect of attempting to translate or execute a program containing such violations;- Those violations of the requirements of this document that a conforming implementation is not required to detect.This document does not specify:- The means whereby a program written in Ada is transformed into object code executable by a processor;- The means whereby translation or execution of programs is invoked and the executing units are controlled;- The size or speed of the object code, or the relative execution speed of different language constructs;- The form or contents of any listings produced by implementations; in particular, the form or contents of error or warning messages;- The effect of unspecified execution;- The size of a program or program unit that will exceed the capacity of a particular conforming implementation.
14.[标准] Information technology - Database languages SQL - Part 2: Foundation (SQL/Foundation)

信息技术.数据库语言SQL.第2部分:基础（SQL/Foundation）

发布单位：
国际组织-国际电工委员会(IX-IEC)

标准状态：
现行

标准号：
ISO/IEC 9075-2:2023

发布时间：
2023-06-01

中标分类：
-

国标分类：
35.060 信息技术、办公机械 - 信息技术用语言

实施时间：
15.[标准] Information technology - Database languages SQL - Part 3: Call-Level Interface (SQL/CLI)

信息技术.数据库语言SQL.第3部分:调用级接口（SQL/CLI）

发布单位：
国际组织-国际电工委员会(IX-IEC)

标准状态：
现行

标准号：
ISO/IEC 9075-3:2023

发布时间：
2023-06-01

中标分类：
-

国标分类：
35.060 信息技术、办公机械 - 信息技术用语言

实施时间：

摘要： ISO/IEC 9075-3:2023 de？nes the structures and procedures that can be used to execute statements of the database language SQL from within an application written in a programming language in such a way that procedures used are independent of the SQL statements to be executed.
16.[标准] Format for LSI-Package-Board Interoperable design

LSI封装板互操作设计格式

发布单位：
国际组织-国际电工委员会(IX-IEC)

标准状态：
现行

标准号：
IEC 63055:2023

发布时间：
2023-10-11

中标分类：
-

国标分类：
35.060 信息技术、办公机械 - 信息技术用语言

31.200 电子学 - 集成电路、微电子学

31.180 电子学 - 印制电路和印制电路板

实施时间：

摘要： IEC 63055:2023 defines a common interoperable format that will be used for the design of a) large-scale integration (LSI), b) packages for such LSI, and c) printed circuit boards on which the packaged LSIs are interconnected. Collectively, such designs are referred to as LSI-Package-Board (LPB) designs. The format provides a common way to specify information/data about the project management, netlists, components, design rules, and geometries used in LPB designs. This is an IEC/IEEE dual logo standard.
17.[标准] Information technology - Top-level ontologies (TLO) - Part 4: TUpper

信息技术.顶级本体（TLO）.第4部分:TUpper

发布单位：
国际组织-国际电工委员会(IX-IEC)

标准状态：
现行

标准号：
ISO/IEC 21838-4:2023

发布时间：
2023-09-19

中标分类：
-

国标分类：
01.040.35 词汇 - 信息技术、办公机械设备 (词汇)

35.060 信息技术、办公机械 - 信息技术用语言

实施时间：

摘要： This document describes TUpper as an ontology that is conformant to the requirements specified for top-level ontologies in ISO/IEC 21838-1.This document describes TUpper as a resource designed to support ontology design, ontology integration, automated reasoning, and semantic integration of heterogeneous information systems.The following are within the scope of this document:- definitions of classes and relations in the signature of TUpper;- axiomatizations of TUpper in OWL 2 and CL;- documentation of the conformity of TUpper to the requirements specified for top-level ontologies in ISO/IEC 21838-1;- documentation of the methodology for specifying domain ontologies that conform to TUpper.The following are outside the scope of this document:- specification of ontology languages, including the languages RDF, OWL and CL standardly used in ontology development;- specification of methods for reasoning with ontologies;- specification of translators between the notations of ontologies developed in different ontology languages.
18.[标准] Software Interface for Maintenance Information Collection and Analysis (SIMICA) - Part 2: Exchanging Maintenance Action Information via the Extensible Markup Language (XML)

维护信息收集和分析（SIMICA）软件接口.第2部分:通过可扩展标记语言（XML）交换维护行动信息

发布单位：
国际组织-国际电工委员会(IX-IEC)

标准状态：
现行

标准号：
IEC 61636-2:2023

发布时间：
2023-01-19

中标分类：
-

国标分类：
35.060 信息技术、办公机械 - 信息技术用语言

25.040.01 工业自动化系统 - 工业自动化系统综合

实施时间：

摘要： IEC 61636-2:2023 (E) provides the definition of an exchange format, utilizing XML, for exchanging maintenance action information (MAI) associated with the removal, repair, and replacement of system components to maintain/support an operational system. This standard is published as a double log IEC-IEEE standard.
19.[标准] Information technology - Database languages SQL - Part 9: Management of External Data (SQL/MED)

信息技术.数据库语言SQL.第9部分:外部数据管理（SQL/MED）

发布单位：
国际组织-国际电工委员会(IX-IEC)

标准状态：
现行

标准号：
ISO/IEC 9075-9:2023

发布时间：
2023-06-01

中标分类：
-

国标分类：
35.060 信息技术、办公机械 - 信息技术用语言

实施时间：

摘要： ISO/IEC 9075-9:2023 de？nes extensions to Database Language SQL to support management of external data through the use of foreign-data wrappers and datalink types.
20.[标准] Software-Hardware Interface for Multi-Many-Core

多核心的软硬件接口

发布单位：
国际组织-国际电工委员会(IX-IEC)

标准状态：
现行

标准号：
IEC 63504-2804:2023

发布时间：
2023-10-17

中标分类：
-

国标分类：
35.060 信息技术、办公机械 - 信息技术用语言

25.040.01 工业自动化系统 - 工业自动化系统综合

实施时间：

摘要： IEC 63504-2804:2023 defines an architecture description standard from the software design perspective - this provides a common interface that abstracts the hardware properties that are critical to enable multicore tools. The standard includes performance estimation accuracy for complex processors like Very Long Instruction Word (VLIW) core and complex contention scenarios, description of caches to include uncached memory regions and caches for subsets of memories, properties for coarse power consumption estimation, and reusability by separating eXtensible Markup Language (XML) files for processor description and other memory/communication-related information. This is an IEC/IEEE dual logo standard.