搜索筛选:
搜索耗时1.1156秒,为你在为你在102,285,761篇论文里面共找到 604 篇相符的论文内容
发布年度:
[期刊论文] 作者:王毅,段振华,,
来源:沈阳体育学院学报 年份:2013
运用专家访谈法、逻辑分析法等,以工程学理论中监控环节为切入点,对我国跆拳道女子优秀选手训练监控进行了创新性研究。研究认为训练监控在整个训练过程中贯穿始终,为训练规划和......
[期刊论文] 作者:甘一波,段振华,
来源:中国动物检疫 年份:2020
为了解广西玉林市鸭圆环病毒(duck circovirus,DuCV)感染情况,通过PCR方法,对2016—2019年玉林市629个养鸭场送检的856份病死鸭样品进行DuCV病原检测,并对检测结果进行不同月...
[期刊论文] 作者:段振华,贺忠,
来源:湖南理工学院学报:自然科学版 年份:2020
高职扩招是深化高职教育改革、缓解办学经费不足、促进产业转型升级、保就业、普及高等教育的必然选择.按照高职院校“三教”(教师、教材、教法)改革12字原则,提出“三教”改...
[期刊论文] 作者:李川, 段振华,,
来源:肉类研究 年份:2018
金鲳鱼是一种重要的海洋生物资源,其肉质鲜美、营养丰富,是鱼片及鱼糜制品深加工的优质原料。随着我国人民生活水平的提高,以金鲳鱼为代表的海洋养殖鱼类深受青睐。但目前我...
[期刊论文] 作者:张曼,段振华,
来源:西安电子科技大学学报 年份:2012
针对工作流网建模过程中节点精化方法只能扩展单节点的局限性,提出一种基于Petri网合成规则的工作流网精化方法.在活的和有界的自由选择网合成规则上添加限制,使其适用于自由...
[期刊论文] 作者:杨琛,段振华,
来源:西安电子科技大学学报 年份:2011
为了将命题区间时序逻辑(PITL)应用于组合验证,并降低组合产生的状态爆炸风险,提出了支持Stutter-不变性的命题区间时序逻辑PITLst.PITLst继承了PITL的结构相关性,可表达所有PI...
[期刊论文] 作者:门鹏,段振华,
来源:光子学报 年份:2009
为了提高光网络资源的利用率,提出一种基于Petri网的Web服务组合最优化选择的方法.根据用户需求使用Petri网对服务组合之间的数据依赖关系建模,利用Petri网的T-不变量得到各种可...
[期刊论文] 作者:段振华,贾金红,
来源:建材发展导向 年份:2013
随着高层建筑的大力发展,钢结构在建筑中的应用越来越普遍,从钢管桩基础到大型的跨海桥梁,从轻便简捷的公交站牌到宏伟壮观的埃菲尔铁塔,钢结构工程已经应用到当今社会生产生活的......
[期刊论文] 作者:逄涛,段振华,,
来源:计算机研究与发展 年份:2014
随着多核体系结构的出现和普及,片上总线逐渐成为影响片上系统功能和性能的关键部件.因此,片上总线的验证成为片上系统设计中一个重要组成部分.模型检测作为一种主流的形式化...
[期刊论文] 作者:门鹏,段振华,
来源:计算机研究与发展 年份:2009
Web服务组合的形式化描述和验证是一个重要的研究问题.为了更好地完成验证工作,提出了扩展着色Petri网的模型检测方法.首先,在着色Petri网原有的基于CTL的局部模型检测算法基础上......
[期刊论文] 作者:舒新峰,段振华,
来源:西北大学学报:自然科学版 年份:2010
目的为了解决形式化验证时需要分别使用不同工具进行系统建模和性质描述的问题。方法利用投影时序逻辑PTL(projection temporal logic)在同一逻辑框架内完成待验证系统的建模和...
[期刊论文] 作者:舒新峰,段振华,,
来源:西安电子科技大学学报 年份:2009
为了采用定理证明的方法对并发及交互式系统进行验证,提出了一阶投影时序逻辑的公理系统.利用投影时序逻辑既可描述待验证系统性质和规范,又可描述其实现模型的特点,在同一投影时......
[期刊论文] 作者:黄宇,段振华,
来源:畜牧兽医科技信息 年份:2017
母羊乳房炎是母羊指乳腺发生多种不同性质的炎症,该病主要是由于饲养环境卫生较差、产前大量饲喂、乳房严重充盈、挤奶操作不当、乳房受到冲撞、打击、创伤等,容易通过创伤或者......
[期刊论文] 作者:王小兵,段振华,
来源:西安电子科技大学学报 年份:2010
针对目前时序逻辑语言存在框架问题、缺少面向对象机制、形式化程度过高等不足,提出了框架时序逻辑语言MSVL,包含新的框架操作符、等待语句和非确定的选择语句等技术,并且能够支......
[期刊论文] 作者:王小兵,段振华,
来源:西安电子科技大学学报 年份:2008
针对框架投影时序逻辑程序设计语言Framed Tempura,提出了一种形式化指针及其实现的新方法.该方法扩展了投影时序逻辑,基于名字常量给出了指针引用和反引用的形式化定义,再使...
[期刊论文] 作者:杨潇潇,段振华,
来源:西安电子科技大学学报 年份:2010
MSVL语言是一种用于模拟、建模和验证程序的区间时序逻辑程序设计语言.为了证明区间时序逻辑程序的正确性,提出了MSVL语言的一个公理系统:包括正则形转换的状态公理和状态推演规......
[期刊论文] 作者:段振华,高伟,
来源:衡阳师范学院学报 年份:1999
研究了一类具偏差变元的非线性差分不等式解的一些性质,获得了对应差分方程的振动性的一些结果。...
[期刊论文] 作者:李汝,段振华,
来源:广西畜牧兽医 年份:2013
我国自2001年报道存在断奶仔猪多系统衰竭综合征(PMWS),并从患病猪体内分离到猪圆环病毒2型(PCV-2)后,我国PMWS的发生相当普遍,在今后一段时间内会对养猪业造成极大的威胁。...
[期刊论文] 作者:舒新峰,段振华,
来源:软件学报 年份:2011
为采用定理证明的方法对并发及交互式系统进行验证,研究了有穷论域下有穷时间一阶投影时序逻辑(projection temporal logic,简称PTL)的一个完备公理系统.在介绍PTL的语法、语义并...
[期刊论文] 作者:田聪,段振华,
来源:软件学报 年份:2011
提出了基于命题投影时序逻辑(propositional projection temporal logic,简称PPTL)的单调速率调度(rate monotonic scheduling,简称RMs)模型检测方法.该方法使用SPIN模型检测器的系...
相关搜索: