段振华
- 作品数：206 被引量：223H指数：8
- 供职机构：西安电子科技大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学金属学及工艺更多>>
- 移动点对点网络MHP2P的架构及相关服务实现方法
- 本发明属于互联网计算技术领域，公开了一种移动点对点网络MHP2P的架构及相关服务实现方法。本发明基于一种稳定性和查询效率高、可扩展的HP2P网络，通过普通结点作为热点的形式使邻近的移动结点连接到普通结点，以使在原有网络拓...
- 段振华姜品田聪张南王小兵黄伯虎赵亮
- 文献传递
- 多速率混合系统的模型检查被引量：1
- 2008年
- 研究了初始化的多速率混合系统的模型检查问题,即检验初始化的多速率自动机是否满足某个混合区间时序逻辑公式描述的性质.首先定义了一套转换规则把混合区间时序逻辑公式转化为区间时序逻辑公式.接着定义了初始化的多速率自动机状态空间上的等价关系及其对应的域自动机,并且通过构造域自动机对应的标注有限状态自动机,把初始化的多速率混合系统的模型检查问题等价地转换成了可解的区间时序逻辑的模型检查问题.利用区间时序逻辑的模型检查算法加上上述的转换规则,就可以解决初始化的多速率混合系统的模型检查问题.
- 张海宾段振华
- 关键词：区间时序逻辑
- 投影时序逻辑的公理系统与形式验证被引量：4
- 2009年
- 为了采用定理证明的方法对并发及交互式系统进行验证,提出了一阶投影时序逻辑的公理系统.利用投影时序逻辑既可描述待验证系统性质和规范,又可描述其实现模型的特点,在同一投影时序逻辑框架可以方便地对待验证系统进行建模和性质描述,并使用公理系统完成系统性质的证明.最后通过一个实例来展示投影时序逻辑及公理系统在系统验证中的应用.
- 舒新峰段振华
- 关键词：投影时序逻辑公理系统形式化方法
- 基于源代码插桩的社交网络安全运行时验证方法及系统
- 本发明属于计算机应用技术领域，公开了一种基于源代码插桩的社交网络安全运行时验证方法及系统，通过对开源社交网络进行代码插桩来捕获事件，用PPTL<Sub>3</Sub>来描述性质并生成相应的性质监控模块，然后将事件和性质监...
- 王小兵郭文轩段振华赵亮田聪张南
- 文献传递
- 一种从扩展π演算p-π到MSVL的转换方法
- 一种扩展π演算p-π到MSVL的转换方法，包括采用p-π对时间相关并发系统建立系统模型，其特征在于：包括制定名字和原子命题到MSVL的映射规则，制定p-π进程到MSVL程序的转换规则，通过所述p-π建立的系统模型采用相应...
- 段振华罗玲田聪张南王小兵
- 文献传递
- 一种保证质量的快速软硬件划分方法
- 本发明公开了一种保证质量的快速软硬件划分方法，保留遗传算法的交叉运算和变异运算，并引入阴性选择算法的阴性选择过程和基于等位基因浓度来指导产生新个体的策略，采取一种新型的进化方法来加速进化的过程并保证个体的质量，从而克服传...
- 段振华李炳岩张南黄伯虎田聪王小兵
- 文献传递
- 基于UML2.0的软件安全测试方法
- 提出了一种从LIML2.0序列图产生软件安全测试用例的方法,该方法以基于模型的测试技术为基础,将序列图转换为事件迁移图,从而产生测试用例集,提高了软件安全性测试的自动化水平.该方法可应用于软件设计与开发过程的早期阶段.所...
- 张琛段振华
- 关键词：软件安全测试测试用例
- 文献传递
- 一种抽象模型虚假路径检测的方法
- 本发明公开了一种抽象模型中虚假路径的高效检测方法，所述方法具体是，在反例路径中，每个状态是不是失败状态，只与它的前驱状态和后继状态有关。所以，判断时，采用并发执行，通过集合In和集合Out的交集来判断状态是否为失败状态。...
- 田聪段振华段钊
- 文献传递
- 一种布尔子句的两阶段聚类方法
- 2016年
- 针对布尔子句的聚类问题,根据合取范式布尔子句的特点,提出了一种两阶段的子句聚类方法.初始时每个子句被看作1个簇,第1阶段的聚类采用基于连接的方法,根据两个子句或者子句组之间的共同邻居的个数来决定是否要合并它们;第2阶段根据子句或者子句组之间的相似度来进行聚类.该方法的第1阶段采用全局的观点来实现子句的聚类,在一定程度上避免了聚类的局部性最优性,第2阶段利用相似度来决定是否合并两个簇,因而无需指定聚类结果中簇的个数.实验结果表明,该聚类方法得到的结果中公共变量的个数较少,聚类结果更好.
- 范全润段振华
- 关键词：子句聚类
- 动态Web服务组合的选择策略
- 2009年
- 为了提高光网络资源的利用率,提出一种基于Petri网的Web服务组合最优化选择的方法.根据用户需求使用Petri网对服务组合之间的数据依赖关系建模,利用Petri网的T-不变量得到各种可能组合方案,并对于每种组合方案使用广义随机Petri网分析其性能.实验结果表明:该方法充分利用Petri网善于描述、分析、评价分布式系统的优点,得到性能最优的基于光网络资源的服务组合方案.
- 门鹏段振华
- 关键词：WEB服务组合PETRI网光网络
