-
题名一种结构化形式化说明的方法
被引量：1
- 1
-
-
作者
邓勇
丁峰
沈钧毅
-
机构
西安交通大学软件所
-
出处
《小型微型计算机系统》
CSCD
北大核心
2002年第6期736-738,共3页
-
基金
国家 8 63 /CIMS:XAC-CIMS项目资助
-
文摘
形式化方法使用数学符号来描述系统的性质 ,它具有精确性、无二义性和一致性等优点 .这些优点使形式化方法在安全性要求很高的情况和大型系统中得到了广泛的应用 .但用形式化方法书写的系统规格说明往往是冗长而乏味的 ,为了帮助开发人员书写和理解形式化说明 ,需要一种结构化的方法来分解、组织形式化说明 ,使之具有灵活性和可管理性并具有良好的风格 .
-
关键词
框架
形式语言理论
Z语言
结构化形式化说明
-
Keywords
Z
formal specification
frame
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
-
-
题名《现代语言学流派》评介
被引量：2
- 2
-
-
作者
张敏
-
出处
《语文建设》
CSSCI
北大核心
1989年第4期59-61,共3页
-
文摘
一20世纪在语言学史上是一个令人振奋而又使人眼花缭乱的时代。一方面,索绪尔之后的现代语言学摆脱了古老传统的重负,几十年间异军突起,成就斐然,在西方人文科学中获得了“领先科学”的美称,留下了一笔丰厚的遗产;另一方面,近20年来不同的学术流派和新兴学科层见叠出,理论翻新极为迅速,让人目不暇接。人们在渴求了解、吸收现代语言学最新成果的同时,面对这种千头万绪的局面,极易感到茫然和困惑。冯志伟先生的《现代语言学流派》
-
关键词
语言学流派
语言学史
描写语言学
学术流派
冯志伟
代数语言学
形式语言理论
成就斐然
转换生成语法
使人
-
分类号
H19
[语言文字—汉语]
-
-
题名广义混杂PN机
被引量：1
- 3
-
-
作者
蒋昌俊
叶志宝
赵明清
-
机构
同济大学计算机科学与工程系
中国科学院软件研究所智能工程实验室
山东科技大学信息科学与工程学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2001年第11期1386-1388,共3页
-
基金
国家自然科学基金(No. 69973 0 2 9
6993 3 0 2 0 )
+3 种基金
全国优秀博士论文作者专项基金
山东省优秀中青年科学家基金
上海市曙光基金
教育部青年骨干教师计划基金资助项目
-
文摘
建立了广义混杂 PN机模型 ,证明上下文有关矢量文法与广义混杂 PN机模型在语言上是等价的 .这样一来 ,使得文〔4〕中的悬而未决问题得到解决 .另外 ,还进一步研究了
-
关键词
广义混杂PN机
形式语言理论
计算机
-
Keywords
Model
Petri net
PN machine
Vector grammar
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
-
