黄银强
- 作品数：6 被引量：1H指数：1
- 供职机构：浙江师范大学数理与信息工程学院更多>>
- 发文基金：浙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 用π-演算描述网络考试系统被引量：1
- 2006年
- 在分析了基于W eb的网络考试系统需求的基础上,针对其具有多进程并发通讯的特点,采用π-演算对系统进行结构和功能的描述;在简单介绍π-演算的语法和操作语义的基础上,用进程表达式对整个系统进行形式化的描述;最后,通过实际编程实现,表明用π-演算描述这一类系统是非常适合的.
- 黄银强钟发荣
- 关键词：考试系统Π-演算并发形式化
- 非对称_(χ-)演算的符号互模拟验证算法
- 2006年
- 非对称χ-演算是一种移动计算模型。文介绍非对称χ-演算的语法和符号操作语义,给出非对称χ-演算的符号互模拟的验证算法,该算法根据算法输出的谓词等式系,求解最大符号解。并证明算法正确性,这在一定程度上为今后的自动机验证提供了理论基础。
- 黄银强钟发荣
- 关键词：进程代数符号互模拟符号迁移图
- 基于Web的电力企业培训考试系统的设计与应用
- 2006年
- 介绍了基于Web的网络型电力企业培训考试系统的设计与实现过程,阐述了网络考试系统从系统需求分析与功能设计到系统设计与系统实现的全过程,为电力系统的运行检修管理和其它标准化考试科目开发网络环境下的考试系统提供了借鉴。
- 陈升黄银强王立方
- 关键词：考试系统培训系统ASPWEB
- 非对称χ-演算的符号互模拟验证算法
- 非对称x-演算是一种移动计算模型.文介绍非对称x-演算的语法和符号操作语义,给出非对称x-演算的符号互模拟的验证算法,该算法根据算法输出的谓词等式系,求解最大符号解.并证明算法正确性,这在一定程度上为今后的自动机验证提供...
- 黄银强钟发荣
- 关键词：进程代数符号互模拟符号迁移图
- 文献传递
- 非对称X～≠-演算符号互模拟验证
- 随着计算机技术和网络通信技术的高速发展，以并发性、分布性、实时性、异构性和互操作性等为主要特征的并发分布式系统已经成为计算机技术的主流方向。与此同时，并发计算本身固有的复杂性，使得并发系统的研究和开发非常困难，系统的正确...
- 黄银强
- 关键词：进程代数符号互模拟形式化
- 文献传递
- 非对称χ<'≠>-演算符号互模拟验证
- 本文研究具有非对称通信和带不等名算子的χ-演算，即非对称χ≠-演算。主要工作包括以下三个方面：
1.参照傅育熙教授关于χ≠-演算的开互模拟定义，给出非对称χ≠-演算的强开互模拟关系定义，以及其弱的版本定义.
...
- 黄银强
- 关键词：操作语义
- 文献传递
