BS ISO/IEC/IEEE 31320-1:2012
信息技术 建模语言 IDEF0 的语法和语义
Information technology. Modeling Languages - Syntax and Semantics for IDEF0
2013-08
- 标准号
- BS ISO/IEC/IEEE 31320-1:2012
- 发布
- 2013年
- 发布单位
- 英国标准学会
- 替代标准
- BS ISO/IEC/IEEE 31320-1:2013
- 当前最新
- BS ISO/IEC/IEEE 31320-1:2013
BS ISO/IEC/IEEE 31320-1:2012相似标准
DS/ISO/IEC/IEEE 31320-1:2012 信息技术 建模语言 第1部分：IDEF0 的语法和语义
IEEE 31320-1-2012 信息技术 建模语言 第1部分：IDEF0 的语法和语义
ISO/IEC/IEEE 31320-1:2012 (Adoption of IEEE Std 1320.1-1998 ) 信息技术 -- 建模语言 -- 第 1 部分：IDEF0 的语法和语义
IEEE/ISO/IEC 31320-1-2012 ISO/IEC/IEEE 国际标准 信息技术 建模语言 第1部分：IDEF0 的语法和语义
IEEE Std 1320.1-1998 功能建模语言的 IEEE 标准 IDEF0 的语法和语义
推荐
唯一做语义计算的编程理论！袁崇义提出OESPA新编程理论
传统的程序语言以社会学中的形式语言学为理论基础，没有考虑语义形式化的需求。OE则是二合一的，定义OE的公式既是编译程序需要的形式语法，又是定义语义公理的形式基础。 “传统数学中的谓词只能描述程序单独一个状态的性质，而程序语义是程序初态和终态之间的关系。SP联系初态和终态，能准确描述程序语义。语义谓词SP从语义公理A演变而成。...
深度神经网络静态代码分析研究
课题组提出使用抽象语法树、控制流图、程序依赖图等结构，对代码中不同类型和粒度的语义信息进行建模，并利用树神经网络和图神经网络分别对不同的语义信息进行处理。在该过程中，MultiCode模型自底向上地先学习语句级别的表示，再基于该表示学习代码段级别的表示。将该模型作为编码器进行神经网络构建，能够有效适配于不同的代码分析任务。...
研究发现猕猴可以掌握中心嵌套结构语法
文章高度评价了王立平研究组的该项工作，认为“……在超过十余年的努力探寻之后，研究者终于发现了能使得非人类物种打破‘语法壁垒’的范式。尽管完全的人类语言还需要更多的工作机制共同参与（包括复杂的语义及说话所必须的神经操控机制），但现如今已经可以（借助该范式）对语法上的核心成分之一开展神经活动层面的探究。让我们拭目以待！” ...
靠这个“谱”让机器会思考
“上世纪六十年代，人工智能先驱麻省理工学院的马文·明斯基在一个问答系统项目SIR中，使用了实体间语义关系来表示问句和答案的语义，剑桥语言研究部门的玛格丽特·玛斯特曼在1961年使用Semantic Network来建模世界知识，这些都可被看作是知识图谱的前身。”孙乐说。 随后的Wordnet、中国的知网（Hownet）也进行了人工构建知识库的工作。 ...