搜索筛选:
搜索耗时0.8854秒,为你在为你在102,285,761篇论文里面共找到 604 篇相符的论文内容
发布年度:
[期刊论文] 作者:罗玲,段振华,,
来源:西安交通大学学报 年份:2014
针对π演算难于对时间相关移动并发系统进行建模和推演,提出了一种采用扩展π演算p-π对时间相关移动并发系统进行形式化建模与推演的方法.该方法首先采用区间动作前缀和瞬时...
[期刊论文] 作者:商飞飞,段振华,
来源:贺州学院学报 年份:2020
作为欠发达地区后发展阶段的贺州,贺州学院食品学科近几年在平台建设、高层次人才引进、创新型人才培养、高水平项目获得等方面取得了相对较好的成绩,该学科如何面向广西、立...
[期刊论文] 作者:张曼,段振华,
来源:西安交通大学学报 年份:2012
针对工作流建模过程中流程模型的演化问题,在真并发等价性概念下,提出将图形化控制流模型转换为顺序与并发结构可分隔处理的可分离形式的方法.采用自由选择工作流网建模控制...
[期刊论文] 作者:张琛,段振华,
来源:西安交通大学学报 年份:2011
针对软件开发过程中测试自动化程度低的问题,在研究基于模型的测试用例生成技术的基础上,提出了一种基于UML2.0序列图与用例描述的测试用例生成方法.采用事件确定有限自动机来描......
[期刊论文] 作者:舒新峰,段振华,
来源:西安交通大学学报 年份:2010
针对软件测试无法满足多内核处理器上进程调度的验证需要这一问题,提出利用投影时序逻辑(PTL)的定理证明方法来验证进程调度.使用PTL公式建立了支持当前主流进程调度算法的多内......
[期刊论文] 作者:王小兵,段振华,
来源:西安交通大学学报 年份:2009
为了满足Web服务的可靠性,利用投影时序逻辑的模型检测方法来验证Web服务.利用投影时序逻辑的一个可执行子集对OWL-S进行建模,用命题投影时序逻辑来描述期望的性质.模型M和性质P......
[期刊论文] 作者:杨琛,段振华,,
来源:西安交通大学学报 年份:2010
针对命题线性时序逻辑表达能力有限的问题,设计并开发了基于SPIN(Simple Promela interpreter)验证系统的命题投影时序逻辑(PPTL)模型检测器.将协议元语言(ProMeLa)描述的系统转换...
[期刊论文] 作者:王小兵,段振华,
来源:电子科技大学学报 年份:2009
针对时序逻辑语言缺少面向对象概念的现状,对投影时序逻辑进行了扩展,介绍了新的语法和语义。在扩展投影时序逻辑中,基于变量集合的层次化和谓词的分组,给出了对象、类和继承等概......
[期刊论文] 作者:门鹏,段振华,,
来源:系统仿真学报 年份:2007
分析了多种模糊Petri网的推理算法优缺点。在此基础上,给出了一个基于代数的模糊Petri网逆向推理算法。此算法充分利用了Petri网的数学理论基础和描述并发系统的能力,其数据结构简单,便于计算机编程处理。此外,其逆向推理思想可以将系统转化为一个只与问题有关......
[期刊论文] 作者:段振华,王红艳,,
来源:科技经济市场 年份:2011
在了解四川国防科技工业发展及军工科技扩散现状的基础上,参考借鉴其他行业技术扩散的经验模式,探索提出政-产-学-研-介合作模式、军地融合模式、企业主体模式、平台推动模式...
[期刊论文] 作者:王小兵,段振华,
来源:计算机科学 年份:2009
时序逻辑程序的形式化验证对提高程序的正确性具有重要意义。以投影时序逻辑的可执行子集、框架投影时序逻辑语言Framed Tempura为研究对象,使用命题投影时序逻辑描述Framed T...
[期刊论文] 作者:杨潇潇,段振华,
来源:计算机科学 年份:2009
并发程序的不变式验证对理解程序和提高程序的正确性具有重要意义。以一种区间时序逻辑程序设计语言Framed Tempura为研究对象,给出了该语言的等价正则形,定义了该正则形在相邻...
[期刊论文] 作者:门鹏,段振华,,
来源:西安交通大学学报 年份:2008
为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL_S过程模型进行建模、分析、验证以及......
[期刊论文] 作者:贾金红,段振华,
来源:建材与装饰 年份:2013
本文主要以工程实例为根据来进行研究,主要介绍中空玻化微珠外墙保温系统的特点以及影响保温效果的原因和使用范围等因素,通过施工工艺原理,施工方法,质量控制要求等方面,对中空玻......
[会议论文] 作者:张琛,段振华,
来源:2010年第四届中国可信计算与信息安全学术会议 年份:2010
提出了一种从LIML2.0序列图产生软件安全测试用例的方法,该方法以基于模型的测试技术为基础,将序列图转换为事件迁移图,从而产生测试用例集,提高了软件安全性测试的自动化水...
[期刊论文] 作者:李川,段振华,,
来源:食品科技 年份:2010
以罗非鱼头为原料,初步探讨了硫酸软骨素的提取工艺,采用稀碱提取,酶解,三氯乙酸沉淀蛋白,乙醇沉淀的方法,考察了碱提取过程中碱浓度、料液比、温度、时间对提取率的影响,在...
[期刊论文] 作者:段振华,魏镜,
来源:粉末冶金工业 年份:1998
介绍了超细粉末的主要制备方法、应用和发展。The main preparation, application and development of ultrafine powder are introduced....
[期刊论文] 作者:段振华!江西九江,
来源:中国钓鱼 年份:1999
1.垂钓后钓竿的处理:垂钓后,应将钓竿一节一节地抽出来,用毛巾将约竿上的水、脏物擦干净,放在毛巾上或报纸上,彻底晾干后才能收竿。2.出钓前一天,用机油或菜油滴在绒布上,将钓竿擦一遍......
[会议论文] 作者:罗伟,段振华,
来源:2013年环北部湾高校研究生海洋论坛 年份:2013
有效利用海洋贝类蛋白资源是中国海洋生物资源可持续利用的重要研究方向,酶解技术已经成为海洋贝类蛋白资源高附加值化的重要手段,具有重要的理论意义和实践意义.酶法水解贝类蛋白得到的活性肽液,经过进一步的分离纯化可以制备具有抗氧化性、抗菌活性、抗疲劳性......
[期刊论文] 作者:段振华, 汪菊兰,,
来源:食品研究与开发 年份:2007
微波干燥技术是一种应用在食品工业的快速脱水新技术。介绍了近年来微波干燥技术在谷类、果蔬和水产品等食品原料中的应用技术研究,分析了现状及存在的问题,提出了微波干燥技...
相关搜索: