共查询到20条相似文献，搜索用时 22 毫秒
1.
2.
黄邵 《湖南第一师范学报》2008,8(1):169-172
通过对pi演算进行扩充以形式化描述BPEL4WS程序,给出了扩充pi演算的语法和操作语义,并用pi演算的通讯并发结构表示BPEL4WS规范的link结构。基于对BPEL4WS规范死路排除DPE模式的分析,提出了一个完善的解决DPE问题的pi演算形式化方法。在以上工作的基础上,系统地完成从Web服务组合语言BPEIA．WS规范到扩展pi演算的映射,提出了几种验证程序性质的思路。最后给出了一个完整的案例,说明BPEL4WS程序的pi演算描述。 相似文献
3.
对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。 相似文献
4.
对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。 相似文献
5.
黄晗 《泉州师范学院学报》2013,31(2):34-39
提出一种扩展的lambda演算方法并给出相应类型的系统．基于扩展的lambda演算可建立服务模型,采用形式化方法,将服务内部流程抽象为函数概念,引入效果系统来记录服务的动作属性,推导服务动作操作集以验证服务编排是否满足用户所定义的规范,最后通过Coq实验来验证该方法的可行性． 相似文献
6.
建模思想,就是从分析问题的数量关系入手,经过抽象概括,将实际问题用数学方式表达,建立数学模型,然后通过推理演算,得出数学模型的解,最后还原成实际问题的解。数学建模对初中学生来说是难点,强化数学建模的能力,不仅能使学生更好地掌握 相似文献
7.
元程序设计是许多逻辑程序语言具有的重要特点。研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义。Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能。通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,通过比较分析,表明Gdel语言具有更好的说明性语义和执行效率。 相似文献
8.
9.
为了实现随需应变、动态组合的跨组织协作业务流程模型,将pi-演算理论引入业务流程建模与验证中,应用pi-演算理论建立了多角色、多维度、多集成性的业务流程跨组织协同的模型.新的业务流程模型为M×N多维度网状关系,同时兼顾了以往单一的线性顺序关系模型,并分别从横向与纵向对该协作业务流程模型进行了形式化描述.最后依据pi-演算理论对样例模型的死锁、活锁以及同步性进行了验证,确保了模型的正确性和可行性.跨组织动态协作业务流程模型具有稳固的理论基础,为跨部门、跨区域分布式信息交互提供了新的思路和方法. 相似文献
10.
对逻辑推理四大基础类型的反演算和非演算 总被引：1，自引：1，他引：0
罗翊重 《昆明师范高等专科学校学报》2009,31(4):48-54
用中华传统8大阴阳矛盾范畴分析数学中的开闭区间,得出相同、相似、相异、相反这4大逻辑推理基础类型问存在着三极对立统一的组成关系,进而提出涉及此组成关系的逻辑推理基础类型的互蕴公理及其描述内涵的反演算和逻辑外延的非演算。由此说明：只有将对逻辑词的外延否定演算和对描述词的内涵否定演算对称互补起来,这才可能形成一个较为完善的现代数理逻辑关于能指否定和断定否定相互结合的逻辑演算体系。 相似文献
11.
基于GP／GA的数据建模方法 总被引：1，自引：0，他引：1
传统的数据建模方法,需要利用统计学和人工智能技术对数据进行探索性分析,操作者必须掌握大量的先验知识,将遗传程序设计（GP）和遗传算法（GA）应用到数据建模中,实现模型的自动获取,试验结果表明,在遗传操作中执行了树变异操作,将性能好的模型结构引入到进化中,可以提高遗传程序设计的收敛速度。 相似文献
12.
《逻辑演绎研究》(“Untersuchungen über das Logische Schliessen”)是甘岑提交哥廷根大学的就职论文,文中甘岑提出了两种逻辑演算系统,即“自然演绎”和“后继式演算”系统。从自然演绎开始甘岑尝试构造一个接近数学实际推理的逻辑演算,而后针对自然演绎系统的不足进行了转化和改进,构造了后继式演算系统,并证明了该逻辑演算系统的合理性。甘岑的逻辑演绎思想在逻辑史上具有十分重要的地位,对现代逻辑和证明论的发展具有深远的影响。 相似文献
13.
1958年,Joachim Lambek提出了Lambek演算,进一步推动了逻辑学、语言学、计算机科学等学界的纵深和交叉发展.然而在语法分析方面,Lambek演算与范畴语法的结合仍存在小足,就传统的Lambek演算而苦,由于其过于刚性,因此所能处理的语法问题还有限.本文重点论述了传统Lambek演算不能处理的时态句型问题,并基于此设计了模态Lambek演算系统(Lambek Calculus with Temporal Modality,LTM系统).LTM系统红相应关系框架上是可靠的和完全的,同时在证明论方面也具有良好的性质,其不仅具有切割消除性,还具有判定件.鉴于Lambek演算与Montague内涵语义理论的对应衔接,使得语法和语义的衔接采用了同样的文法(Lambck演算),这为计算机界研发自然语言的编译工具提供了有力支撑.由此,我们希望所设计出相应的LTM演算系统,也终将能推动计算机编译系统对时态问题进行处理. 相似文献
14.
洪伟 《牡丹江教育学院学报》2006,(5)
针对Web CAI系统传统开发方法的不足,本文提出基于UML的建模设计方法,通过对《大学计算机信息技术课程》CAI系统的需求分析,利用UML给出了该CAI系统的开发设计的应用实例。实践证明,使用这种方法提高了系统设计和维护的效率。 相似文献
15.
一、师资队伍建设的实践二.实施蓝青工程,采取以老带新的“帮教制”青年教师刚走出校门,对生活充满幻想,对工作抱极大热情,在这个关键时刻,学校抓住他们人生旅途的起点,为他们安置好生活,聘请好指导教师,由工会牵头组织实施蓝青工程.明确青年教师必须要分阶段过五关:热爱并献身于教育事业的思想关,动手操作 相似文献
16.
重力货架自动存取系统的双提取操作排序问题等价于在一组提取货物中进行两两配对以生成最小执行成本的双提取操作序列,因此双提取操作排序问题被建模为一个匹配问题.提出一个基于匈牙利方法的启发式方法 RSHM来生成具有最小总行驶时间的双提取命令.为了保证生成可行的双提取操作序列,对称标记法被引入RSHM;为了打破对称标记法引起的无限循环,RSHM被设计成一个递归过程.仿真实验对双负载装卸设备的成本效益和RSHM的性能进行了评价和分析.仿真实验结果显示:与单负载设备相比,采用双负载装卸设备可以节省超过40%的提取操作总行驶时间;与贪婪规则相比,RSHM能够减少5%~10%的总行驶时间. 相似文献
17.
祁明君 《教育前沿(综合版)》2023,(8):28-32
程实践和科学思维相结合是科学教学新趋势。本文从工程实践视角出发,根据图式理论,开展建模教学,创造性地提出“仿制·精制·创制”三位一体的图式建模教学方式。研究表明,该教学从“做中学”、“用中学”以及“创中学”三个角度进行实践,在促进教学方式转变,提升模型构建能力,孵化设计创意思维方面有重要的启示作用。 相似文献
18.
19.
罗翊重 《昆明师范高等专科学校学报》2006,28(3):10-15,22
形式逻辑是关于断定的逻辑（Logic），辩证逻辑是关于描述的逻辑（Logos）。通过对性质判断的非反否定演算，将形式逻辑的断定否定演算，辩证逻辑的描述否定演算，认知模态逻辑的真假断定否定演算与规范模态逻辑的对错断定否定演算及其相互间的辩证否定演算，都归结为非和反的哲学否定演算。由此，所述四种相对独立的逻辑演算分支就可通过哲学的非反演算而内在地统一起来了。 相似文献
20.
为了促进并完善基于UML工作流技术在建模领域的应用与发展，本文通过对UML建模与意外处理的基本概念进行分析，并结合一个具体的应用实例进行研究。提出了针对产生于工作流系统的执行阶段、未在系统建模阶段描述和定义的突发事件等意外事件的处理方法． 相似文献