张广泉
- 作品数：234 被引量：712H指数：14
- 供职机构：苏州大学计算机科学与技术学院更多>>
- 发文基金：江苏省高校自然科学研究项目国家重点实验室开放基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信理学更多>>
- 并发系统性质验证的一种形式化方法
- 1999年
- 采用Manna和Pnueli提出的命题线性时态逻辑PLTL作为并发系统的形式化规约语言,用PLTL公式描述系统的性质,给出并发系统性质验证的一种模型检验算法。
- 张广泉
- 关键词：并发系统
- 网络协议形式化模型的分析与应用被引量：5
- 2005年
- 网络协议的形式化模型是协议分析和设计的核心技术之一。论文在简要分析当前的几种常用网络协议形式化模型之后,指出时序逻辑作为网络协议形式化模型的独特优越性,然后给出用一种线性时序逻辑MPTL描述IGMP协议的具体实例。
- 张广泉黄正宝戎玫
- 关键词：网络协议时序逻辑
- 基于特征分析的DDos攻击检测技术的研究
- 2011年
- 分布式拒绝服务(DDos)攻击是近年来对网络安全造成巨大威胁的一种恶意攻击方式,针对传统方法难以实时有效地检测DDos攻击的问题,对DDos攻击所造成的异常特征进行分析,研究了通过生成特征向量检测数据流的DDos攻击检测算法,对目前主流的DDos攻击类型提出了一种DDos攻击响应机制。仿真试验的结果表明,采用该响应机制所生成的模型能够快速、有效地检测DDos攻击。
- 赵宣张广泉
- 关键词：网络安全分布式拒绝服务
- 基于混成自动机的车联网服务建模方法被引量：4
- 2013年
- 针对汽车信息物理融合系统(CPS)软件的异构性、分布式等特点,提出一种车联网服务建膜方法.对混成自动机进行通信端口扩展,采用扩展的混成自动机作为形式化建模工具,从服务提供的角度,分别将待监测和控制的设备实体抽象为服务作为系统的基本组成单元.以汽车速度控制系统为例,说明该建模方法的有效性.
- 封飞陈名才张广泉邵玉珍李烨静
- 基于微电机系统的多参数传感器与检测系统设计被引量：2
- 2016年
- 基于电化学电流检测原理,利用微机电系统（MEMS）技术、电极表面修饰技术以及酶固定化技术,制备了纳米颗粒增强的多参数生物传感器。采用恒电位微电流检测方法,设计制作了配合该系列传感器的多参数检测系统。以葡萄糖参数为例,验证了检测系统的性能,结果表明,该系统与传统电化学工作站测得的数据相比较,在0.5-22 mmol/L范围内,相关系数达0.9943。
- 蒋丽丽陈国彬张广泉
- 关键词：MEMS恒电位
- 一种CPS建模的方法及装置
- 本发明公开了一种CPS建模的方法及装置，根据预设模型融合规则，将预先建立的基本网模型和方面网模型进行融合，得到CPS模型；其中，上述预设模型融合规则包括表征各个方面网模型间执行顺序的组合规则，以及基本网模型与方面网模型间...
- 张广泉戎玫宋相君宋振华
- 构件检索维度匹配模型及算法研究被引量：1
- 2012年
- 随着构件复用研究的深入和构件库规模的扩大,构件的描述、检索及适配技术成为当前研究的热点。然而传统的构件描述与检索方法存在查准率和查询效率低,查询结果也不利于下一步构件适配的问题。针对这些问题并结合分而治之和树匹配思想,提出了一种新的易扩展的维度匹配模型,并给出了相应的构件检索匹配算法,有效提高了构件的查询效率和查准率,缓解了适配的压力;且该算法的时间复杂度和空间复杂度是线性的。
- 祁华成陆英张广泉
- 关键词：构件库
- 基于XYZ/E的CA系统体系结构描述被引量：2
- 2005年
- XYZ/E是一种面向软件工程的时序逻辑语言,它在统一的逻辑框架下既能表示静态语义又能表示动态语义,在很多领域得到了广泛应用,但是能够同时结合XYZ/E的静态语义和动态语义在网络领域具体系统中的应用还不多见。本文用XYZ/E对CA系统的CA组件和RA组件之间的体系结构关系进行了抽象描述,并对CA和RA组件中的部分子组件进行了详细描述,从而为XYZ/E在CA系统中的应用提供了一个范例。
- 张广泉刘剑云黄正宝
- 关键词：XYZ/ECARA体系结构组件
- 一种基于时间自动机网络的实时系统形式化验证方法被引量：11
- 2008年
- 介绍了时间自动机形式模型,在此基础上给出了时间自动机网络的形式语法和语义,然后给出一种基于时间自动机网络的实时系统形式化验证方法,并采用基于时间自动机网络的模型检测工具UPPAAL对一个经典的实时系统实例进行了验证.
- 刘传会张广泉
- 关键词：实时系统UPPAAL
- 一种面向复用的增量软件开发过程框架被引量：2
- 2006年
- 以复用思想指导软件开发是软件产业发展的趋势,而当前主要面向复用的软件开发方法没有考虑到我国软件企业以中小型为主的现状,缺乏针对性,使得复用在我国软件开发中应用不够广泛。在基于构件开发的基础上提出了一种面向复用的增量软件开发过程框架。该过程框架适于我国中小型软件企业,采用了以体系结构为指导的增量开发模式,涵盖了可复用资产的生产过程和利用可复用资产的软件开发过程。
- 张广泉戎玫陆明
- 关键词：软件复用
