SDL形式语义定义现状及其改进

SDL语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用 ,而SDL- 92的形式语义已无法充分满足应用需要 ,本文分析了现有形式语义定义的基本方法 ,指出其存在的主要不足 ,并针对SDL形式语义的定义方法提出了一种基于SDL未来发展方向的语义定义框架。

关系数据库范式中的语义定义问题研究

本文介绍了在关系数据库中使用 W 文法的集合形式表示3NF 的方法。在保持函数依赖的基础上,本文还就在关系数据库中使用 W 文法以增强3NF 的静态和动态语义问题进行了探讨。最后,本文讨论了使用 LR(1)类文法构造 W 语法分析器问题以及使用该分析器对关系数据库模式和3NF 进行有效验证等问题。

基于通信地址的智能变电站变压器保护新配置方法研究

目前,智能变电站虚端子配置通常采用人工手配方式,智能化水平有待提高。为此,提出智能变电站变压器保护新配置的解决方法。针对智能变电站变压器保护配置实现方式,探讨了智能变电站智能设备之间通信配置和报文发布订阅自动识别原理,指出了智能变电站变压器保护新配置趋势及原因。根据220 kV变压器间隔信息流,深入分析变压器保护新配置实现方法,通信链路参数设置方法,发布数据集条目数量和描述规范化定义,以及后期扩建变压器中压侧时变压器保护相关参数修改及验证问题。通过变压器中压侧间隔模型解析,证明基于通信地址的智能变电站变压器保护新配置方法的可行性。

逻辑理论中的语词定义类型探新

句法定义和语义定义是语词定义的两种重要类型,前者的作出无须假定关于相应系统的一种解释,也无须满足某些语言外条件(如可证实性),而后者的作出必须先假定关于相应系统的一种解释,也必须满足某些语言外条件(如可证实性)。

BPMN2.0过程模型的语义和分析

BPMN 2.0已成为了建模业务过程事实上的标准。BPMN 2.0过程模型中建模元素的混用会产生控制流方面的语义错误。首先,建立了BPMN 2.0过程模型到工作流网的映射,并使用Petri网来形式定义过程模型的语义;其次,借助Petri网的分析技术,使用这种定义的语义对BPMN 2.0过程模型进行了合理性分析。实验结果表明,这种形式化可以识别BPMN 2.0过程模型中的语义错误。

基于无线射频识别技术的在制品管理系统的设计与实现

针对制造物联环境下车间层生产数据有余、有用信息不足的问题,提出了一种基于RFID的在制品管理系统(WMS).该系统通过对车间层次的划分和RFID的绑定规则的定义来构建车间层SOs事件的模型,并且用XML语言对车间SOs事件进行语义封装以便于车间层的实时信息采集和集成.实例验证表明,该系统操作简单,可视化界面友好,具有很强的实用性和稳定性,可用于提高产品质量和改善库存.

电子档案元数据分开管理研究

随着电子文件、电子档案、数字档案馆建设等方面研究与应用的不断深入,对于电子文件元数据的概念理解、理论研究、内容探讨、实际应用也日趋深入,很多问题在经过照搬模式—初步应用—不断辨析—重新解析过程中逐渐走向清晰。本文旨在对电子档案/文件元数据,尤其是对与电子档案/文件凭证性、真实性等相关元数据信息和与管理流程相关的管理元数据信息进行重新解读,以厘清电子档案/文件元数据的相关概念与特征,提出电子档案元数据分开管理的理念，并研究建立适合电子档案元数据管理系统框架。

多义形容词的属性界定与话语功能

日语中的"いい"不是有具体属性的形容词,而是一个介于属性形容词和感觉形容词之间,界限不明的多义形容词。由属性形容词和感觉形容词溶合而成的"いい"大致等于两种词性特性的总和。在词义派生方面,"いい"具有功能词所具有的某种特殊的语用功能。因此,应该把"いい"的复杂性质归结于该词内在的特性,而常见的基于参数化或逻辑式移位的分析难以解释这一语言现象。

CSS样式表在网页制作中的应用

采用CSS技术,可以有效地对现代网页制作页面的布局、字体、颜色、背景和其它效果实现更加精确的控制。用CSS不仅可以做出美观工整令浏览者赏心悦目的网页,还能给网页添加许多神奇的效果。

综合零部件-整车的VOCs多级溯源数学模型与方法

为降低整车挥发性有机化合物(Volatile Organic Compounds,VOCs)并寻求解决方案,提出一种新的VOCs多级溯源定量分析数学模型与方法.该方法首次综合考虑零部件散发VOCs的交互协同效应以及基于国标限值的VOCs单一组分危害程度,建立了从零部件到整车的VOCs溯源分析数学模型.综合应用多目标决策法和三角模糊数语义学定义理论,构建定量分析多级VOCs溯源数学模型中各级影响权重的成对比较矩阵和计算多级组合权重的理论方法.所提出的VOCs溯源定量分析数学模型与方法不仅能够准确分析各种VOCs组分对整车VOCs贡献度大小序次,而且能够定量求解零部件散发VOCs交互协同作用下各零部件对整车VOCs的贡献度大小,从而为开展车内VOCs的溯源与控制提供更为准确的理论方法.某款车型的案例验证研究结果表明:各VOCs组分对案例车型中VOCs组分贡献大小的排序为甲醛>乙醛>甲苯>二甲苯>乙苯;零部件对整车VOCs贡献大小的排序为前排座椅>后排座椅>地毯>仪表板和顶棚.案例研究证明了某一零部件对车内VOCs的贡献,并不是该零部件各种VOCs组分的简单叠加,而是多种零部件VOCs散发组分协同作用的综合体现.

一种地下工程导线测量的灯光语言

地下工程测量作业沟通不畅,亟需制定一种通用的施工语言。文中以井下导线测量为例,筛选出测量的关键沟通节点,进行灯语语义定义和动作约定,从而获得一套用于地下工程导线测量沟通的灯光语言,保障了两个特大型贯通测量的顺利实施。

关于“前途”的哲学论纲

一前途,一个生气勃勃的字眼,一个令人瞩目的主题,它宛如一个巨大的磁场,吸引着不同民族、不同国度、不同肤色、不同年龄、不同性别以及不同历史时期的人们的兴味。个人的前途、子女的前途、他人的前途、国家的前途、民族的前途、人类的前途……人们关心前途,思考前途,追寻前途,并为前途而感奋、奉献以至牺牲,也常常为前途而焦虑,哀伤或懊恼.那末,什么是'前途'呢?现代汉语词典的定义是:前途原指前面的路程,比喻将来的光景。其实这只能算作一个语义定义。前途的底蕴远不止于此。从形而上入视。

系统数据模型及体系结构

建立系统数据模型的主要工具是实体—关联图,即E—R图。如果系统是一个复杂的大型系统,可考虑如下步骤实现:(1)选择局部应用。在多层的数据流图中选择一个适当层次的数据流图,在该部分每一个部分对应一个局部应用,逐一设计分E—R图。根据上述所选择的局部应用逐一设计分E—R图。(2)合并E—R图。生初步E—R图。此时,可存在分E—R图间的冲突,如民属性冲突、命名冲突、结构冲突等现象,此时,应根据需求分析的语义定义对实体联系的类型进行综合或调整。

前提关系及其教学意义

1.前提的语义定义前提(presupposition)是一种语义关系。语义上某一语句依赖于另一语句,这时二者之间可能存在前提关系:语句Y是语句X的前提,或者说,语句X以语句Y为前提。例如:句(1) Reports came into London Zoo.以句(2) There was a Zoo in London为前提。前提关系,就真理值而言,可解释为:

多学科之间的巴别通天塔

巴别综合病症一、引言数年前,在一次国际社会学大会上,我参加了关于"发展"问题的专门小组。与会者提出的一些分析报告虽然尖锐而富于说服力,却由于人们对"发展"问题的概念不一,大家很难谈得拢。例如,心理学家想的是个人成长的诸阶段,经济学家考虑的是实现人均收入增长的诸条件,政治学家关心的是社会分化阈限的变动,马克思主义者注重的是"不发达"现象。

软件及软件开发工具

Y2000-62097-224 0011870POSIX 线索程序的用户级检查点程序库=A user-Ievelcheckpointing library for POSIX threads programs[会,英]/Dieter,W.R.& Lumpp,J.E.//1999 IEEE29th International Symposium on Fault-Tolerant Com-puting.—224～227(Z)Y2000-62097-228 0011871DSPNexpress 2.000的性能与可靠性模拟环境=TheDSPNexpress 2.000 performance and dependability mod-eling environment[会,英]/Lindemann,C.& Reuys,A.//1999 IEEE 29th International Symposium on Fault-