搜索筛选:
搜索耗时0.8163秒,为你在为你在102,267,441篇论文里面共找到 19 篇相符的论文内容
发布年度:
[期刊论文] 作者：张晋津,,
来源：教育教学论坛 年份：2014
在编译原理的教学中,不仅仅应当注重正规式、上下文无关文法等描述文法规则的概念及相关判定算法,更重要的是培养学生根据规则给出判定算法的能力。后者在传统教学中主要通过...
[学位论文] 作者：张晋津,,
来源：南京航空航天大学 年份：2010
在形式化方法研究领域,转换系统是描述软件或硬件系统行为的一种重要形式化模型。近年来,针对实时系统、控制系统及最优化问题等实际系统的建模需要,学术界提出了诸多带有量...
[期刊论文] 作者：张晋津,,
来源：世界最新医学信息文摘 年份：2016
目的:研究骨科创伤患者医院感染的相关因素与预防措施。方法:选取我院在2014年3月至2016年2月收治的952例骨科创伤住院患者,对所有患者的临床资料进行回顾分析,观察患者医院...
[期刊论文] 作者：张晋津,
来源：世界最新医学信息文摘（电子版） 年份：2016
目的:探讨髓内与髓外内固定治疗股骨粗隆间骨折的临床疗效,并对其生物力学进行分析。方法:选取我院在2014年7月至2016年3月诊治的76例股骨粗隆间骨折患者,通过随机的方式将所...
[学位论文] 作者：张晋津,
来源：南京航空航天大学 年份：2005
进程代数作为描述和分析并发与分布式系统的重要工具之一是并发理论的主流研究方向。互模拟是进程代数中刻画行为等价的核心概念,而模态逻辑特征是它的一个重要性质。随着进...
[期刊论文] 作者：鲍秋霜,张晋津,,
来源：计算机科学与探索 年份：2016
将Patrick Maier关于直觉主义线性时序逻辑的研究扩展到计算树逻辑中,基于完全树和非完全树构成的集合提出了一种直觉主义解释的计算树逻辑,并在此逻辑框架中研究了安全性和活性及其相关性质。比较了经典计算树逻辑与直觉主义计算树逻辑的表达能力,探究了直觉主......
[期刊论文] 作者：余寒,张晋津,
来源：计算机技术与发展 年份：2018
并发加权μ-演算(concurrent weightedμ-calculus,CWC)是对Kim.G.Larsen所提出的并发加权逻辑的强有力的扩充,通过加入不动点算子,增强表达能力,实现对复杂模块化系统的有效...
[会议论文] 作者：张晋津,朱朝晖,
来源：2005中国计算机大会 年份：2005
互模拟的逻辑特征是进程代数研究中的重要内容之一。指标互模拟是最近提出的用于描述进程近似等价的概念。由于指标互模拟在度量ρ不要求为超度量时一般不是等价关系，因而传统......
[期刊论文] 作者：邓鹏辉,张晋津,
来源：电子世界 年份：2016
在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了client must-testing（CLT）语义,service must-testing（SVR）语义用于描述进程的...
[期刊论文] 作者：杨宝印,张晋津,
来源：张家口医学院学报 年份：2003
臀上皮神经损伤也称臀上皮神经炎,是一种多发痛症,占骨科门诊病人的60%左右,以往大多把这一类病归属于坐股神经痛,坐股神经痛治疗不佳,本人通过二十余年300余人次的临床治疗...
[期刊论文] 作者：邓鹏辉,张晋津,,
来源：电子世界 年份：2016
在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了三种must-testing语义,并对它们的前同余性以及公理系统进行了研究。但是关于may-testing语义并未涉及,本文将对可能测试语义的前同余性进行研究。......
[期刊论文] 作者：邓鹏辉,张晋津,
来源：计算机技术与发展 年份：2016
进程之间的等价关系或精化关系的同余或前同余性（congruence或precongruence）是组合式推理和模块化设计验证的理论基础。针对面向WebService的进程演算，Bemardi和Hennessy提出了...
[期刊论文] 作者：施晓静,张晋津,
来源：计算机技术与发展 年份：2018
n-精化关系在计算机科学领域中发挥着重要作用。在理论计算机科学中，学者们常用互模拟来刻画状态转换系统（例如，实时控制系统）之间的行为关系，当两个系统之间存在互模拟等价关系时......
[期刊论文] 作者：张晋津,司志军,,
来源：中国保健营养 年份：2017
目的 研究分析这两种内固定术进行肱骨大结节骨折治疗的疗效.方法 选取我院2015年11月-2016年9月收治的肱骨大结节骨折患者66例,分成微创组(n=33)和切开复住组(n=33),两组骨...
[期刊论文] 作者：张晋津,张严,朱朝晖,,
来源：控制理论与应用 年份：2015
利用有限抽象进行控制系统的形式化分析与设计是目前研究较多的一类控制系统分析与设计方法．本文提出两种方法，使用有限抽象，构造出两种控制器，使带扰动的控制系统满足时序逻辑规......
[期刊论文] 作者：杨宝印,张晋津,李丹,
来源：张家口医学院学报 年份：2003
根据儿童骨折后,骨质有加速生长的趋势,作者采用下肢骨干骺端骨钻孔术,治疗儿童双下肢不等长取得了良好的效果....
[期刊论文] 作者：张晋津,张严,朱朝晖,
来源：计算机工程与科学 年份：2015
分层刻画是传统的互模拟概念研究中的一个重要内容,它为一些互模拟判定算法提供了理论基石。（η,α）-互模拟是一种带折扣的近似互模拟概念,其定义蕴涵着一种折扣思想：在比较系统......
[期刊论文] 作者：荆霞,张晋津,赵燕飞,
来源：福建电脑 年份：2020
结合《Access数据库基础与应用》课程在线教学情况,介绍了当前新冠疫情下在线教学的使用情况。并从在线课堂的组织、在线教学质量的考察和在线教学的改进等多个方面提出了意...
[期刊论文] 作者：施晓静,邢惠丽,张晋津,
来源：电子世界 年份：2017
精化关系是研究反应式系统的重要内容之一。本文在n-互模拟的基础上提出了分层精化精化关系,探究n-精化关系与分层互模拟关系之间的区别与联系,定义n-精化模态逻辑语言并给出...
相关搜索：
