-
题名潮间带水下真空预压联合堆载预压软基处理施工工艺
被引量：2
- 1
-
-
作者
陈顺益
-
机构
厦门市路桥建设投资总公司
-
出处
《世界桥梁》
北大核心
2005年第4期72-75,共4页
-
文摘
介绍厦门岛第三码头至同益码头段岸线综合整治工程中的护岸工程基础软基处理过程,在潮间带采用水下真空预压联合堆载预压软基处理施工工艺。
-
关键词
软基处理
水下真空预压
联合堆载预压
施工工艺
-
Keywords
soft ground treatment
underwater vacuum precompacting
combined heap load precompacting
construction technology
-
分类号
TU472.31
[建筑科学—结构工程]
-
-
题名一种时间Petri网及其在通信规程中的应用
被引量：1
- 2
-
-
作者
陈顺益
-
机构
湖南省计算技术研究所
-
出处
《计算技术与自动化》
1990年第2期22-30,共9页
-
基金
本课题为非教育系统出国留学人员科技活动资助项目
-
文摘
本文所论述的时间Petri网属确定性(deter—ministic)时间Petri网类的一种。在简要回顾时间Petri 网的发展过程的同时,指出了这种网的优点和限制。对这种时间Petri网的主要基本概念进行了论述。最后举了一个简单通信规程的应用例子,使用PNUT软件工具描绘了TRG,进行了逻辑正确性的验证和简单的系统性能分析。
-
关键词
时间PETRI网
通信规程
软件工程
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名Petri网分析工具对一个通讯规程的验证
- 3
-
-
作者
陈顺益
刘晓辉
-
机构
湖南省计算技术研究所
-
出处
《计算技术与自动化》
1992年第1期20-25,共6页
-
基金
非教育系统出国留学人员科技活动经费资助项目
-
文摘
本文对ISO协议的传输层通讯规程在文献[1]验证的基础上,使用Petri网工具予以佐证。
-
关键词
PETRI网
分析工具
通讯规程
-
分类号
TP15
[自动化与计算机技术—控制理论与控制工程]
-
-
题名一种Petri网工具软件
- 4
-
-
作者
陈顺益
刘晓辉
-
机构
湖南省计算技术研究所
-
出处
《计算技术与自动化》
1992年第1期1-6,共6页
-
基金
非教育系统出国留学人员科技活动经费资助项目
-
文摘
本文在简单介绍Petri网的一般概念之后。论述了一种Petri网工具软件的基本功能、结构、使用特点及期限制条件。
-
关键词
PETRI网
工具软件
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
-
题名petri网分析工具对增广petri网模型的验证
- 5
-
-
作者
陈顺益
刘晓辉
-
机构
湖南省计算技术研究所
-
出处
《计算技术与自动化》
1992年第1期14-19,25,共7页
-
基金
非教育系统出国留学人员科技活动经费资助项目
-
文摘
petri网分析工具支持增广petri网模型的建立、分析和验证。本文举例分析了用增广petri网描述的数学公式排列A m/n及幕指数n^m的分析和验证。
-
关键词
PETRI网
增广
模型
PETRI网
-
分类号
TP15
[自动化与计算机技术—控制理论与控制工程]
-
-
题名计算两个向量的数量积的增广Petri网模型
- 6
-
-
作者
许安国
陈顺益
-
机构
山东矿业学院
湖南省计算所
-
出处
《计算技术与自动化》
1993年第1期54-61,共8页
-
基金
国家自然科学基金资助课题
非教育战线出国归学人员科技活动资助课题
-
文摘
本文给出了计算两个向量的数量积的增广 Petri 网模型,然后给出了矩阵描述和状态方程分析,最后用计算工具加以验证。
-
关键词
计算
向量
数量积
PETRI网
-
分类号
TN711
[电子电信—电路与系统]
-
