《软件建模技术》课程在Web服务组合中的应用探索

在Web服务互操作技术的基础上,提供高层的Web服务集成手段、实现Web服务组合成为Web服务技术发展的自然需求。Web服务(Web Services)是当前实现面向服务的体系结构最有前景的技术。Web服务技术的广泛应用使得Web服务正逐步成为Internet网络环境中资源封装的标准形式。随着部署在Internet上的Web服务不断丰富,这些可被公共访问和集成的服务构成了一个潜在的巨大标准组件库。本文探讨了在《软件建模技术》课程中所介绍的语法方法、语义方法、UML方法和形式化方法在Web服务组合建模中的应用情况。     

MAS应用域本体的形式化建模及变换

该文提出了一种应用域本体形式化建模方法,定义对应的形式化建模语言DORL,建立了DORL语言的集成开发框架,实现本体的语法和一致性检查,利用语言范畴同构的思想实现了DORL语言与XML Schema语言的相互转换.     

有关PAR在数学算法之中的应用探析

目前在高中课堂中,算法的应用也比较多,本文主要提出PAR作为高中阶段对算法学习的基础平台,对素数及多项式两个经典数学问题通过PAR形式化推导进行实现,说明PAR具有较好的程序设计及数学语言的透明性,其算法简单,容易理解,很大程度上也保证了算法的正确性,通过理论和试验表明,PAR是一种数学算法学习的有效平台.     

新课程实施中应防止“形式化”走向

新课程改革是对我国传统课程的一次重大变革,所涉及的是从教学理念、教学方法、教学内容到教学评价等多方面的创新与改革。因此,在实施的过程中应重视出现的“形式化”的走向,在实践中逐步完善新课程的实施。     

藏传应成论式研究

应成论式最早发源于古印度,后传入西藏,经过藏族僧人及学者的研习与整理,最终被确立为正式的因明论式,成为藏传佛教中极具特色的一种论式。本文主要从藏传应成论式的渊源及其传入与确立为出发点,对其进行了论述,并重点研究了其内容规范与形式化的问题,力图以符号化、公式化的方法来剖析其内部结构,展现其精髓所在。     

基于开放世界假设的三值逻辑的语义推理系统

Kleene三值逻辑的蕴含词"→"和开放世界假定的否定词"┒"构成的三值命题逻辑系统没有重言式,这使得在该系统内进行推理变得比较困难,而正确刻画语义,进而进行正确推理通常是我们构造逻辑系统的目的.既然该命题逻辑系统难以进行推理,文章通过引进真算子T和F,直接把背后的语义推理形式化,给出三值命题逻辑语义公理系统SKO.文章还给出了严格的形式语义,并且用该语义理论证明了SKO的可靠性和完全性.     

资源描述框架的形式化表示问题研究

资源描述框架(RDF)正成为语义网技术中首选的数据描述语言,因而在语义网系统中有着广泛的应用基础。RDF的形式化表示问题是RDF研究领域的重要课题。本文结合国内外关于RDF形式化表示的各种观点,提出了一种较为完整的RDF图形式化表示框架。     

农村独生子女家庭的现代权变与制度隐忧——以苏北鱼村“一子两挑”的家庭为例

“一子两挑”是独生子女家庭在日常实践中为应对现实需求而形塑出的权变模式,以独生子女为主体的核心小家庭呈现出双系继嗣的制度幻象。然而户籍的分离和财产继承的身份边界将小夫妻割裂为两个独立的经济主体,并将孙代的姓氏与财产继承捆绑,进一步撕裂了小家庭的完整性;另一方面,夫妻小家庭因利益、感情、现实等因素避重就轻地游走在两家之间,父代被置于劣势地位,家庭养老逐渐向“管好最后丧礼”的形式化孝道蜕变。由此来看,“一子两挑”的婚居实践确实改写了男性单系继嗣的家庭制度,但在变革的过程中存在诸多隐忧,是否会转向双系继嗣制度有待进一步研究。     

关于辩证逻辑形式化问题

辩证逻辑的研究重心究竟是什么 ,这是关于辩证逻辑发展的一个关键问题。从 2 0世纪 80年代末开始 ,有人提出应当把研究重心放在对它的形式化上 ,并为此付出了不懈努力。但是 ,我认为在这门学科尚未完全成熟的情况下 ,谈论如何对它进行形式化为时尚早 ,并且形式化也不是判断辩证逻辑是否是逻辑的标准。现在建立辩证逻辑形式系统的条件还不成熟 ,目前的关键是要搞清楚辩证思维的内在结构和机制 ,然后才能考虑使用何种语言 (包括人工语言 )去刻画它     

“形式化”·“语义化”·“意向化”——现代斯拉夫文论中“文学性”追问的不同路径之比较

“特征论者”雅可布森以“形式化”视界提出“文学性”命题,“功能论者”穆卡若夫斯基以“语义化”视界拓展“文学性”空间,“合成论者”英加顿则是以“意向化”视界进入“文学性”生成机制。他们在言说“文学性”这一命题时,实际上很少关心什么是文学性,而更多地专注于“文学性”何以生成;他们在使用“文学性”这一概念时,实际上很少是在对文学是什么加以界说,而更多地是在言说文学研究科学化的路径。他们的探索表明:“文学性”理论的建构是可以不断深化的。