粒的形式化表示研究

为了能为粒计算的粒提供一种统一的表示形式,分析了粒的对象、特征、关系及状态等4个基本要素,提出了基于数据层面的粒的四元组的形式化表示形式,即由对象集、特征集、关系集和约束集四元组组成。接着给出了几个特殊粒的表示形式,然后说明了该表示形式的统一性,并结合具体的例子进行了研究。该形式化表示形式能够很好地解决基于数据层面的粒的表示问题,有利于问题求解和粒计算理论的研究。     

图书馆知识信息的表示及处理技术研究

随着知识表示研究的深入 ,出现了多种知识表示方式 ,常见的几种知识表示方式为产生式表示法、语义网络表示法以及面向对象表示法等。本文利用这几种知识表示法充分表达了复合图书馆的知识信息     

哲学理论的形式化问题

形式化是现代逻辑最重要的方法。将形式化方法引入哲学研究是必要的，也是有可能的，当今的“哲学逻辑”把这种可能性变成了现实；哲学理论的形式化有自己的具体操作程序。但是哲学理论的形式化也有其内在局限，即适用范围的狭窄性、研究结果的尝试性、作用程度的有限性；因此最后结论是：形式化是哲学研究的一种重要的辅助性研究方法，必须注意将它与其他哲学研究方法配合使用。     

非形式逻辑形式化研究的三个问题

非形式逻辑的形式化研究秉持一种局部的形式化观,即非形式逻辑能够部分地被形式化,但不是全部。形式化研究亟需回应三个问题：第一个问题是如何确定形式化域,也就是明确形式化的研究对象。第二个问题是如何找到适格的形式化工具,使之能够适用于处理形式化域当中的研究对象。第三个问题是如何应用适格的形式化工具来展开具体的形式化研究。回答这三个问题是建构非形式逻辑形式化理论的基础。     

关于辩证逻辑形式化问题

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

动宾语义搭配框架描述要素

动宾语义搭配框架的描述主要包括三大要素——语义角色、语义类别和语义特征。具体地说就是,考察某个动词所能搭配的宾语语义角色有哪些,分别由哪个或哪些语义类别的名词充当,需要的时候应该给名词附加哪些语义特征。     

实时可信服务的构件设计与形式化描述

针对分布式实时嵌入式系统DRES,设计了一种提供自适应服务质量(QoS)保证的构件模型QuOCCM,以形式化方法描述构件,并推导构件各实体之间的自适应过程。QuOCCM由三部分组成,Client、Qoskets和Server,分别以CCM(CORBA Component Model)构件技术实现。Client与应用或功能构件交互,获取当前QoS需求,并触发自适应机制;Qoskets通过对QoS保证框架QuO进行改进,以构件技术实现QoS自适应调整策略;Server提供自适应调整之后的QoS保证机制。研究结果表明,该方法不仅保证了DRES中当前应用环境的QoS自适应需求,而且QoS保证与具体功能应用分离也降低了系统开发的复杂性。形式化方法研究为构件实体间的交互提供了保证。     

信息处理用彝语语义网络知识表征的实践研究

借鉴语义网络关于语义知识表征的理论和实践,提出彝语语义网络表征的思路。 首先描述彝语语义网络表征的语义 单位和方法;然后分析彝语语义网络表征的分类方式,阐明彝语的静态聚合网络、动态组合网络及知识网络的激活过程;最后 探讨彝语语义网络在机器翻译和知识推理中的可能应用。 彝语语义网络表示方式的探索,为构建富含彝语信息资源的语义 知识库奠定了基础,以期推动彝文信息处理智能化应用和自然语言处理等工作的创新发展。     

基于Event-B的形式化建模关键技术研究

软件系统的规模和复杂程度不断提高而传统的需求分析方法难以确保软件的正确性和一致性,为软件系统的质量埋下了隐患。软件工程的实践表明,在开发过程中,错误发现得越早,修复得越早,付出的代价越小。为了确保软件的质量,可在软件开发的早期需求分析阶段,采用Event-B形式化方法描述软件的需求,并验证模型的正确性。以文件系统建模为例,该文讨论了如何利用Event-B方法,采用逐步精化的方式建立并验证模型,确保软件的正确性。     

多媒体呈现流程的形式化描述及内容表示

交互式多媒体呈现系统一般由呈现内容和呈现控制流程两部分组成。通过引入通用转换网络,对交互式多媒体应用系统的内部呈现流程进行了形式化描述;讨论了该形式化描述下呈现流程的重用性;提出了将呈现流程与呈现内容相分离的系统实现策略;给出了呈现内容描述和可呈现对象相结合的呈现内容表示方法。该策略和方法可用于设计实现交互式多媒体呈现系统创作平台,利用该平台创作的呈现系统能够并发地呈现多种媒体形式的信息,系统及其组成部件具有良好的可重用性。     

安赛乐米塔尔技术创新体系

对新合并的世界最大钢铁企业--安赛乐米塔尔公司的技术创新体系进行了综述,因两家公司正在整合之中,分别介绍了其公司发展现状,技术创新与研发体系以及下属研发中心的构成,主要战略产品的研发及技术创新工作等.     

基于语义的智能检索在供需网中的应用

随着加入供需网的供需流逐渐增多,有关信息智能检索的实现将成为供需网成功实施的关键技术.为了实现智能检索,提出了利用语义网中的XML和RDF(资源描述框架)对现有词汇表进行扩展,运用RDQL(RDF数据查询语言)对供需网中的信息进行查询,并提出了一个供需网中基于语义的智能检索实施框架.     

古汉语AA式摹状词语义分析

AA式摹状词是摹状词中最重要的一类,其语义由主体义、过程义和特征义三部分构成;AA式摹状词的语义具有感知性、变化性、程度性、多义性和民族性的特征;其确定语义的方法是语境确定法,可分为主体确定法和特征确定法两类。     

一个基于多主体语义Web服务的案例研究

语义Web服务的一个目标就是在Web平台上搜索不同的应用软件并实现它们之间的信息交互.为了方便进一步的讨论,假定了多主体语义Web服务系统模型,而语义Web服务被描述成允许服务自动搜索、请求、组合、执行和管理的多主体机制.通过一个实际案例说明多主体语义Web服务模型结合工作流表现形式可以正确表述软件系统的功能.     

量子描述和超弦描述

量子理论和超弦理论标志着对微观世界的两类典型描述。量子描述建立在量的基础之上,这种形式化描述本身会遇到难以处理的问题。量子理论与相对论难以协调,归根结底由于量子力学描述只是单纯量的描述,而相对论则包含了形的描述。超弦描述扬弃了粒子(点状物)而采用具有有限大小的弦,从而能使对微观世界的描述保持自洽。但超弦理论在实验基础方面的不足,又使我们不能不立足于量子描述。在量子描述的基础上,超弦描述是对微观世界描述的一种重要扩展。     

《金瓶梅词话》词法问题研究综述

1987至2006年,学术界对《金瓶梅词话》中的动词、名词、形容词、象声词、代词、副词、数词、量词、介词、助词、语气词,进行了广泛、深入、细致的分析与描写,说明了它们在使用上的某些特点,并试图解释这些特点形成的原因,可以说是硕果累累.这些研究成果无论是对明代汉语语法体系的建构以及对整个汉语语法发展脉络的探究,还是对古代汉语、近代汉语与现代汉语源流、传承关系的疏理,都具有重要的参考价值.     

混凝土箱梁顶板横向预应力框架效应分析

针对目前预应力混凝土箱梁腹板开裂现象比较普遍这一现象,拟从预应力混凝土箱梁顶板横向预应力框架效应查找开裂原因。首先,分析了箱梁截面参数对顶板预应力横向框架效应的影响,然后结合具体预应力混凝土连续箱梁桥,分析了预应力混凝土箱梁顶板横向框架效应所引起的腹板竖向拉应力,得到了一些有意义的结论,可为改进该类桥梁的设计提供参考。     

精神回溯与意象精研的本质书写--林雪诗歌评论

林雪是当代汉语诗歌的重要诗人,她“在心为志,发言为诗”,诗风大气沉郁。她近期的诗歌,情怀与思辨相互倚重、酵化,介入生活与提炼心性同步发力,题材多样,手法多变,情感收放自如,气韵放达从容。她对现实的观照,对时空的架构,对存在的开掘,都呈现出一种新的气象。她自觉地从先期女性主义诗写中觉醒,到如今的清澈中隐显尘世的味蕾,对生活细节和感念触觉的精妙镂刻,以及对世道人心的专注和细致打量。     

基于特征的零件信息描述方法的研究与应用

本文通过分析国内外常用的零件信息描述方法，根据近年来兴起的基于特征设计思想，建立了基于特征的零件信息描述模型，并应用于箱体类零件数控加工微机自动编程系统中，得到良好的人机交互界面。     

罗伯-格里耶物本主义辨析

罗伯-格里耶从未提出过以物为本的理论,也从未创作过以物为本的小说。"物本主义"是一种误读。这种误读之所以发生和流传,源于非此即彼的思维定势和弥漫于20世纪的文化广告意识。同时,罗伯-格里耶早期的写物理论也存在着把文学的客观真实性推到极端的误区。对于自己的失误,罗伯-格里耶早已察觉并作了修正。值得我们重视和肯定的不是他曾经有过并且已经修正了的失误,而是他从失误中采撷的成功之果。