搜索筛选:
搜索耗时1.1218秒,为你在为你在102,285,761篇论文里面共找到 604 篇相符的论文内容
发布年度:
[期刊论文] 作者:张海宾,段振华,
来源:西安电子科技大学学报 年份:2007
定义了稠密时间区间时序逻辑(DTITL),它是区间讨序逻辑的一种实时扩充.通过定义DTITL无穷状态空间上的具有有限个数等价类的等价关系,把DTITL的连续状态模型离散化为一阶区间时序......
[期刊论文] 作者:张海宾,段振华,
来源:西安电子科技大学学报 年份:2009
为了检验标注有限状态自动机描述的系统是否满足某个区间时序逻辑公式刻画的性质,定义了一套转换规则.利用这些规则,可以构造一个chop-自动机,该自动机接受的语言恰是所有满...
[期刊论文] 作者:黄伯虎,段振华,,
来源:西安电子科技大学学报 年份:2010
为了提高Web服务选择效率,首先提出了一种树形结构组合服务服务质量计算模型,采用二叉树表示组合服务中的任务(抽象服务)及依赖关系,自底向上逐层汇聚服务质量属性,通过树形结构避......
[期刊论文] 作者:段振华,郝克刚,
来源:西北大学学报:自然科学版 年份:1989
为了转换数据流图成为结构图,引入了一种新的图形工具即控制传播图(CSD)。控制传播图是介于数据流图和结构图之间的图形工具,是实现从数据流图到结构图转换的中间产物。本文...
[期刊论文] 作者:秦有福,何伟,段振华,
来源:现代机械 年份:2008
利用Pro/E建立了齿轮的参数化模型,给出了齿轮装配的方法,并进一步利用ADAMS软件对圆柱齿轮减速器进行了动力学分析,实现了仿真。...
[期刊论文] 作者:段振华,邱德华,
来源:当代教育理论与实践 年份:2020
针对高职数学教学中两种倾向形成的三个关键问题,依托四项省市课题,设计并重构分类分层的教学内容,搭建课赛结合的机制,形成以学生为主体的教学模式,通过线上线下教学手段,全...
[期刊论文] 作者:段振华,唐先华,
来源:湖南师范大学自然科学学报 年份:1999
运且一种有效的方法研究一类形式广泛的泛函微分方程解的振动性,得到了Hunt-York型定理的一般形式,推广了一系列已有的结论。...
[期刊论文] 作者:段振华,张剑峰,等,
来源:无锡轻工大学学报:食品与生物技术 年份:2002
通过橄榄冻前不同的处理工艺比较,发现青橄榄经0.2%碳酸氢钢溶液浸泡不同时间后速冻解冻,对于阻止解冻后的色泽变化稍有作用,但是不明显;冻前热烫,0.2%碳酸氢钠溶液热烫比水热烫要好,其......
[期刊论文] 作者:段振华,周贤君,
来源:经济数学 年份:1999
本文我们证明了下列两个差分方程Δ(xn - xn- k)α+ qnf(xn- T) = 0Δ(Δyn- 1)α+ k- αqnf(yn) = 0振动的等价性.其中qn0,k,T为正整数,α为两奇数之商,f∈C(R,R)是非减的并满足xf(x)> 0(x≠0).获得了这些方程振动的一些充分条件.......
[期刊论文] 作者:段振华,王素华,
来源:肉类研究 年份:2013
金枪鱼是一种重要的海洋食物资源,日本、欧美是其主要的消费市场。在我国,随着人民生活水平的提高,以金枪鱼为代表的大洋性深海鱼类深受青睐,逐渐出现在广大老百姓的餐桌上。...
[期刊论文] 作者:段振华,魏镜弢,
来源:粉末冶金工业 年份:1998
介绍了超细粉末的主要制备方法、应用和发展。...
[期刊论文] 作者:范全润,段振华,
来源:软件学报 年份:2015
提出了一种将布尔公式划分为子句组来进行布尔可满足性判定的方法.CNF(conjunctive normal form)公式是可满足的当且仅当划分产生的每个子句组都是可满足的,因此,通过判定子句组的......
[期刊论文] 作者:郝克刚,段振华,
来源:计算机学报 年份:1990
为了描述集成化软件工程环境用户接口中选单的控制机构,需要引入回溯自动机的概念。本文给出了回溯自动机概念的严格数学定义,并讨论了它与有穷自动机、确定的下推自动机等之...
[期刊论文] 作者:段振华,郝克刚,
来源:计算机学报 年份:1990
控制传布图是介于数据流图和结构图之间的图形工具,是实现从数据流图到结构图转换的中间产物。本文详细讨论了如何从控制传布图转换为结构图,给出了转换算法,从而,该算法与文...
[期刊论文] 作者:郝克刚,段振华,
来源:计算机学报 年份:1989
1.引言 为了便于描述程序的控制结构,文[1,2]引入了多出口Petri网的概念,并指出,在一定意义下,多出口Petri网与一般Petri网是等价的。本文旨在从理论上讨论这两个概念的...
[期刊论文] 作者:雷丽晖,段振华,
来源:计算机科学与探索 年份:2009
随着Web服务组合的发展,整合业务过程成为可能。组合Web服务可以被看作是基于过程的工作流。由于死锁、不安全和不可达等流的设计错误会影响组合Web服务的有效执行,因此这些错...
[期刊论文] 作者:张海宾,段振华,
来源:软件学报 年份:2008
定义了一种称作混合区域的形式化结构表示矩形混合系统的状态集,它实际上是由一组特殊形式的线性不等式联立表示的多面体空间.证明了混合区域对于矩形混合系统的可达性操作的封......
[期刊论文] 作者:雷丽晖,段振华,,
来源:西安交通大学学报 年份:2007
针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务.将组合Web服务视为一个基于过程的工......
[期刊论文] 作者:张海宾,段振华,,
来源:西安交通大学学报 年份:2007
针对目前还没有专门的数据结构处理多速率混合系统的符号化可达性问题,定义了多速率区域来表示和处理多速率自动机的无穷状态空间,从而把多速率混合系统的符号化可达性分析等价......
[期刊论文] 作者:雷丽晖,段振华,,
来源:计算机科学 年份:2007
确定OWL-S过程模型描述Web服务之间交互协议的能力和缺陷,为组合Web服务执行提供有效支持。将组合web服务视为基于Web服务的工作流,利用OWL-S过程模型的控制结构给出工作流模式...
相关搜索: