Combinator演算族的π演算语义

以SKI演算作为Combinator演算族的代表, 通过形式化的手段给出了SKI演算的π演算语义; 通过一个实例验证了所论方法的正确性. 所给出的转换方法证明了π演算的表达能力： π演算为图灵完备的. 由于高阶函数式语言与Combinator演算族之间存在着自然的转换, 所给的转换思想不仅为在π演算的理论框架下 研究Combinator演算族提供了基础, 也为探讨高阶函数式语言的表示和实现问题提供了新途径.     

并行面向对象语言的Action演算语义

给出具体的Action演算EP的定义,并且应用该演算进一步给出一个并行面向对象语言的语义.通过这个例子,说明了Action演算簇在实际应用方面的描述能力.     

并发计算的元模型Ⅱ.对称通信

在并发计算图模型的基础上 ,提出并研究了一新的进程演算。该演算的创新处在于它只有一类前缀操作 ,故通信是对称的。通过建立从 pi演算到对称 pi演算的翻译 ,证明 pi演算是对称 pi演算的子语言。该翻译既保持前者的操作语义 ,又保特其代数语义。对称 pi演算的意义在于它既简化了 pi演算 ,又不影响其表达能力     

并发计算的元模型Ⅱ.对称通信

在并发计算图模型的基础上,提出了并研究了一新的进程演算,该演算的创新处在于它只有在业前缀操作,故通信是对称的,通过建立从ｐｉ演算到对称ｐｉ演算的翻译,证明ｐｉ演算是对称ｐｉ演算的子语言该翻译既保持前者的操作语义,又保持其代数语义,对称ｐｉ算的意义在于它既简化了ｐｉ演算,又不影响其表达能力。     

带类型λ-演算的扩充

在许多情况下λ－演算的能力不够、Felleisen M等把λ－演算加以扩充，并证明扩充后的语言λｃ具有某些基本性质．本文试图为λｃ－演算加上类型，给出带类型λｃ－演算的逻辑系统，然后考虑它的指称语义．     

一个面向对象数据库系统中的查询处理

主要讨论了ＣＩＭＢＡＳＥ的交互式界面系统的有关查询处理技术，其中包括对象关联代数、对象关联演算、对象关数到对象关联演算及对象关联演算到关系数据库语言的翻译算法、查询处理流程。     

异构服务聚合的协同访问控制算法研究

由于服务聚合要实现异构多态交互过程,必然对安全访问控制模型的性能提出较高的要求.为满足服务聚合的访问控制需求,本文提出了一种异构服务聚合协同访问控制算法ACAHSP.首先,本文剖析了服务聚合中访问的动态情景要素构成,从多维度定义了构成情景的不同要素;然后,提出了基于动态情景状态的状态演算和规则演算的机制,并给出了动态情景机约束下在服务聚合模型ACAHSP;其次,基于CP ABE算法提出了ACAHSP访问控制模型的安全验证算法,强有力的保证了ACAHSP模型在服务聚合中访问控制机制状态机转换、数据交互的安全性;最后,结合案例进行应用验证,并与已有模型进行对比.     

κ-演算建模λ噬菌体的生活周期

κ-演算是一种描述生物蛋白质分子间相互作用的形式化语言.介绍了κ-演算的语法、语义以及λ噬菌体侵蚀大肠杆菌细胞的生物过程,提出了用κ-演算建模生物过程的一种方法,给出翻译规则,并在规则的指导下建模具体的生物过程.根据模型的特点,分析和研究κ-演算的表达能力和表达特点.     

基于旋转x-t平面的河渠水流反向演算

水流反向演算在水利工程中应用广泛。由于水流具有沿程坦化的特性,直接反向求解水动力方程存在误差放大、结果不稳定的问题。该文将水流正向演算模型所在的x-t平面逆时针旋转90°后,构建了水流反向演算模型。该研究将正向模型的初始、边界条件分别变换为反向模型的边界、初始条件,解决了逆向数值迭代不稳定、不收敛的问题。经理想河道案例验证后,将反向模型应用于西江天然河道案例,结果表明模型稳定性好、模拟精度高,能有效反算出不同情景下的水流入流过程。该研究对于使用水流反向演算的水利工程具有实用价值。     

初中英语教学中如何创设情景语境

从语言教学的角度理解,情景语境是英语教学中非常重要的因素,它直接影响到英语教学的效果。这是因为人的一切活动都是在特定的情景中进行的,情景作用于人的感官而产生心智活动。语言是客观情景的反映,学习语言只有在一定的情景中才能完成理解和表达。     

分数演算的G-L数值算法中加权系数求解

从分数演算基本的G-L定义出发，引出G-L数值算法中加权系数——G-L加权系数与广义二项式系数之间的关系，进而通过Γ函数来求解G-L加权系数. 而后用加权系数的参数构建一个二维平面，使这些参数由整数域拓展到整个实数域，实现了分数演算中加权系数和对应二项式系数的推广.最后利用Matlab语言编程实现,为分数演算的数值计算提供方便、快捷的工具.     

并发Lambek演算在时态查询中的语义转换

 为寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析,构建了并发的Lambek演算（L_CTQ）及其范畴语法用以作时态查询的句法分析。根据L_CTQ演算构造相应的L_CTQ标号自然演绎系统,从而提供句法演算到语义计算的转换方式,为时态查询语句的语义分析提供相关接口。     

谈初中英语情景教学

文章从情景教学在初中英语教学中的作用,运用情景教学实践语言的方法及运用多种方法及手段营造语言氛围等方面论述了初中英语情景教学的作用,认可了情景教学的良好教学效果。     

谈初中英语教学中精心创设情景

本文介绍了在初中英语教学中通过精心创设视觉情景、语言情景和兴趣情景的做法,引导学生从整体上理解和运用语言。     

MATLAB软件在信号处理中的应用

本文讨论了“演算纸”的工程计算语言MATLAB在信号分析中的应用,给出了分析方法。通过举例,说明该软件可以成功地应用于信号分析。     

面向AGENT的程序设计语言AOPLID

ＡＯＰＬＩＤ语言是以现有的情境演算理论和基于意向驱动方式的ａｇｅｎｔ模型为理论框架而建立的一种面向ａｇｅｎｔ的程序设计语言，介绍了该语言的程序组成及程序的运行，并通过一电梯控制程序说明了如何该语言编制面向ａｇｅｎｔ的程序。     

英语课堂情景教学初探

本文就英语课堂情景教学问题,分别从英语课堂进行情景教学的必要性;创设真实自然的语言环境,巧设创新探索机会;充分利用现代化的教学设备虚拟情景,培养综合运用能力;形式多样的方法和手段营造语言氛围,提高创新思维能力等方面作了论述。认为采取情景教学的方法能收到很好的教学效果。     

情景化教学法在德语教学中的运用探究

对情景化教学模式的概念、形式特征、结构内容等进行了论述,系统全面地构建了德语情景化教学模式体系,介绍了德语情景化教学的实施要素和实施方式,德语情景化教学的内容模块和实例,影响情景化德语教学效果的其他因素。德语情景化教学强化了学生的角色和自身的作用,通过改变语言学习的传统形式,将语言的知识点、语法规则和书本内容融入情景任务之中,使学习中的各个重要环节自然地融会贯通,最大限度地提高学习效率和尽快达到掌握语言技能的目的,对学生综合学习能力和个性发展产生直接和间接的影响。     

外语教学中的几种情景设置法

语言只有在一定的情景中才有意义，才会形象生动，也才会有利于理解和掌握。非母语英语教学中要让学生更好地理解、领会语言就离不开语言的具体情景。只有创设具体的、适当的情景，学生才会真正理解这句英语的含义，懂得其用法，而不仅仅表层的汉语意思。     

句型教学中情景教学的意义

所谓“情景”,是指点具体场合的情形及景象。情景一般可分为视觉情景和听觉情景两类。视觉情景即发挥视觉功能,把情景活生生地展现出来。听觉情景则是通过耳听来感受情景,是要借助于人的想象和联想。利用情景教学学生听到的或看到的就不是干巴巴的语言,而是融会于真实场面的一种栩栩如生的语言。例如:在教否定祈使句 Don't do Sth 这一句型时,教师可事先安排好几个学生来