彭展

作品数：9被引量：4H指数：1
导出分析报告
供职机构：广东石油化工学院实验教学部更多>>
发文主题：电信系统Z语言电信VB程序高校更多>>
发文领域：自动化与计算机技术文化科学电子电信更多>>
发文期刊：《微型电脑应用》《科技信息》《计算机工程》《广东科技》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
电信服务系统特征交互的Z规格及验证被引量：1
《计算机工程》2016年第8期19-23,共5页彭展 梁根 周炳 
广东石油化工学院青年自然科学基金资助项目(513023)
为对电信服务系统的特征交互问题进行精确、简洁的形式化描述,提出将Z语言应用于该问题的研究。对3种主要特征交互类型进行形式化描述,包括完整性破坏、相同触发条件和坏循环类型。针对特征交互的具体案例,通过Z语言得到精确、无歧义的...
关键词：特征交互 Z规格 电信系统 形式化描述 形式化验证 
研讨式教学法在Visual Basic课程中的应用与探索
《现代计算机》2016年第9期33-35,39,共4页彭展 
广东石油化工学院2015年实验项目(No.215184)
针对VB教学中存在的学生团队意识薄弱、学习内容与专业联系较少、实际操作水平偏低、缺乏探索精神等问题,提出把研讨式教学法应用到VB课程教学当中,利用网络资源提高实施效果。精心设计研讨课题,让学生以团队的方式研究课题,并进行演示...
关键词：研讨式教学法 网络资源 VISUAL Basic 教学研究 
宽带用户二次认证系统设计研究
《广东科技》2014年第20期199-200,共2页薛锋 彭展 刘韬 
随着校园网用户日渐增多,用户之间信息传递数量与日俱增,识别网络用户的身份的正确性,即身份认证成为网络中关键的一个环节。单一的认证方式(如PPPoE、802.1x、Portal),无法满足用户对网络复杂性和多样性的需求,二次认证技术应运而生。...
关键词：认证 接入 PPPOE 802.1x PORTAL认证 
Z语言检测出的电信系统的故障类型总结
《现代计算机（中旬刊）》2014年第3期48-51,共4页彭展 
广东石油化工学院青年自然科学项目(No.513023)
电信系统的复杂性致使其故障较难检测,形式化规格语言Z对检测电信系统的故障具备较好的优势。在结合之前研究成果的基础上,对Z语言检测出的电信系统的故障类型进行详细的总结,这些故障类型都具备较强的隐蔽性,证明Z语言对提高软件开发...
关键词：Z语言 电信系统 故障检测 
从类树形流程图到Z语言的形式化规格
《微型电脑应用》2014年第1期28-30,共3页彭展 
广东石油化工学院青年自然科学项目(513023)
在软件工程中,使用Z语言形式化规格可以大大提高软件开发质量,提高稳定性,降低开发成本,但要开发出高质量的形式化规格并通过验证,却需要损耗较多的时间和精力。为使软件开发人员能够较快地并且高质量地开发出基于Z语言的形式化规格,提...
关键词：类树形流程图 Z语言 电信系统 形式化规格 
三种不同类型语音对话系统的分析与研究
《现代计算机》2013年第10期58-61,共4页彭展 
口语对话系统一直是计算机科学领域人类语言技术的热点,能够应用于不同的领域并且具备广阔的前景。将分析国外不同领域的三种典型会话系统:CommandTalk、ITSPOKE和NICE。将从使用范围与交互方式、语音识别、对话管理、语音合成等几方面...
关键词：口语对话系统 对话管理 语音识别 
浅谈高校VB程序设计实验教学方法的改进被引量：2
《科技信息》2012年第21期123-124,共2页彭展 
VB程序设计语言是现在高校非计算机专业开设的热门课程之一,实验所占的比重较大,但实验教学部分存在着不少问题。本文首先对VB实验教学的现状进行分析,找出其中出现的问题,再提出改进的方法和意见,以期待提高VB实验教学的质量和学生的...
关键词：实验教学 VB程序 教学改革 
基于Z语言的电信服务系统的形式化规格被引量：1
《微型电脑应用》2012年第5期43-45,共3页彭展 
形式化方法是基于数学的系统开发方法,它可以应用于系统开发的各个阶段,包括系统需求、设计、实现、测试等。首先介绍了形式化规格语言Z,接着用Z开发电信服务系统的形式化规格,并对形式化规格进行验证,以期提高电信服务系统的稳定性,也...
关键词：Z语言 电信系统 形式化规格 验证 
形式化方法在电信服务系统中的应用与研究
《现代计算机》2012年第9期25-29,共5页彭展 
为提高电信服务系统的稳定性,把形式化方法引入到电信服务系统的研究中,并用典型的形式化规格语言Z开发电信系统中基本功能的形式化规格,该套形式化规格对拨打电话、建立连接、释放连接、修改密码等操作的进行详细、精确的描述。基于Z...
关键词：形式化方法 Z语言 电信系统 形式化规格 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部