中国科技论文在线

期刊论文

已为您找到该学者13条结果成果回收站

排序

上传时间

2005年10月13日

【期刊论文】回溯自动机的两个基本定理

段振华，郝克刚

西北大学学报，1990，20（1）：11～18，-0001，（）：

-1年11月30日

摘要

本文详细证明了回潮自动机的两个基本定理，得到下列结论：1）∈ωΣ，ω∈L (M) iff ω=R (G)，2）从G中q处删除一个CSq（结点q点留）或者添加一个CSq（q不需添加）后的图G’也是M的接受状态活动图。

自动机，有穷自动机，下推自动机，回潮自动机，软件工程.，

78浏览
0点赞
0收藏
0分享
136下载
0

引用

上传时间

2005年10月13日

【期刊论文】从控制传播图导出分层结构图

段振华，郝克刚

西北大学学报，1989，19（2）：34～40，-0001，（）：

-1年11月30日

摘要

为了转换数据流图成为结构图，引入了一种新的图形工具即控制伟播图（CSD）。控制传播图是介于数据流图和结构图之间的图形工具，是实现从数据流图到结构转换的中间产物。本文着重讨论从控制传播图导出分层结构图的基本原则和方法。

数据流图，结构图，分层结构图，控制传播图，分层结构设计

112浏览
0点赞
0收藏
0分享
70下载
0

引用

上传时间

2005年10月13日

【期刊论文】多出口Petri网与Petri网的等价性*

段振华，郝克刚

计算机学报，1999，5：389～393，-0001，（）：

-1年11月30日

摘要

74浏览
0点赞
0收藏
0分享
62下载
0

引用

上传时间

2005年10月13日

【期刊论文】Traceable X-Machines As Models for Descrbing User Interfaces

段振华， Mike Holcombe， Zhenhua Duan

，-0001，（）：

-1年11月30日

摘要

In this paper the model of Traceable X-Machine is introdnced and methods to describe mean aspects of nser interfaces of intograted software engineering eaviromments are snggested.

67浏览
0点赞
0收藏
0分享
49下载
0

引用

上传时间

2005年10月13日

【期刊论文】Projection in Temporal Logic Programming*

段振华， Zhenhua Duan**， Macifj Koutny and Chris Holt

，-0001，（）：

-1年11月30日

摘要

We define a projection operator in the framework of the temporal logic programming. Its syntax and semantics are presented and illustrated with examples. We also discuss the implementation details of the projection construct.

Temporal logic,， programming,， Projection.，

82浏览
0点赞
0收藏
0分享
97下载
0

引用

合作学者

>

段振华邀请

西安电子科技大学，陕西

尚未开通主页