Lotos相关论文
从今年第1期杂志开始,黑防新增了一个搜索引擎优化(SEO)技术栏目,由于本人实在是没有技术功底,所以一直不敢占用黑防的宝贵版面。不过看......
该文提出了运用基于约束类型的LOTOS(LanguageOfTemporalOrderingSpecifications)形式化规范描述方法,来产生简单、抽象、结构良好的......
该文旨在为计算机软件系统提供一个高可靠性的形式化方法,给出软件形式化的规则和步骤.文章首先简单介绍了面向对象技术和形式化方......
随着计算机网络、通信网络以及分布式系统的不断发展,通信协议有日渐复杂化的趋势,形式描述技术在网络协议设计中占有举足轻重的作......
该文以"操作系统"课程为实例,研究在计算机辅助教学课件中扩事音通道的技术,并开发了一个实用的、高自然度的汉语语音合成系统和一......
随着计算机网络、通信网络以及分布式系统的不断发展,通信协议有日渐复杂化的趋势,形式描述技术在网络协议设计中占有举足轻重的作用......
随着人机交互技术的发展,计算机和用户之间的接口越来越自然,但用户界面管理系统内部的复杂度却大大地增加了.目前提出的新一代用......
高端案例:号称世界上最昂贵的眼镜品牌LOTOS的奢侈感,最初来自于产品属性上的“高科技”及第三方的论证。但在目前其一系列的推广传......
为了实现对伪代码的模型检测并且能够缓解模型检测中的状态空间爆炸问题,提出了测试目的引导的模型检测方法。该方法的基本思想是......
LOTOS(Language of Temporal Ordering Specification)是一种基于进程代数CCS的协议描述语言.这里提出LOTOS的实时扩展ET-LOTOS,是......
为了实现由BPEL描述的Web服务组合到LOTOS的自动化转换,提出一种基于翻译模式的转换算法。从BPEL语言的XML schema定义出发,分析BP......
品牌简介诞生于1872年的德国传统手工珠宝眼镜品牌LOTOS,由施密特家族(DoppenSchmidt)始创于德国南部制金重镇Pforzheim(普福尔茨姆)。......
在漫长的人类制镜史上,曾经出现过不少令人叹为观止的经典之作,无论是选材用料、款型设计、加工制作还是配色方案,总有其过人之处......
提出一种数据民控制流相结合的测试方法,在Petri网模型对上于控制流选定操作符覆盖标准,对于数据流采用all-defs标准,最后给出一既考虑数据流标准又......
由于PIM-SM协议标准化进程还处在实验阶段,协议本身需要不断发展完善.提出PIM-SM组播系统的抽象模型,给出了协议实体的部分形式化......
形式描述技术在协议设计中的应用是至关重要的和必不可少的,为形式规范确定一个合适的结构又是应用此技术的关键步骤,基于此文中重......
计算机网络协议形式描述技术FDT是计算机网络协议工程中基本而重要的一个课题。LOTCS语言是FDT中的一种方法。它是由国际标准化组......
<正>分布式系统的主要特点是靠各独立运转的组成部分协同工作来完成系统的功能。对干电信交换、指挥调度、实时控制以及模拟与仿真......
就分布式多媒体系统DMS中同步问题进行了分析与探讨,首先论述了形式化规范语言LOTOS的约定与基本概念,然后对其进行了基于时间的扩充......
E-LIOTOS是形式描述技术LOTOS的增强版。本文首先提出了一种E-LOTOS的图形表示方法,称为图形E-LOTOS(即GE-LOTOS)。然后利用面向对象程序设计语Java开发出了一个从文本E-LOTOS到图形E-LOTOS编......
通过深入分析GOMS、LOTOS和UAN这三种行为模型的局限性和优势,提出一种HEIS(Hierarchical Elaborate Interface specmcation)模型,HEIS......
本论文从实践LOTOS语言的角度出发,采用面向约束的LOTOS描述风格对网关体系结构进行形式化描述。......
LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言),是可操作的。LOTOS在说明执行方面最突出的问题是把抽象实体映像成实际......
本文主要阐述计算机网络OSI环境中传输层协议的LOTOS语言描述,主要介绍了结构说明和静态结构、动态结构;传输连接的标识和规程;TPDUs......
LOTOS是ISO制定的描述并发通信系统的标准化形式语言。并发组合操作符行为特征复杂,虽然给出了语义,但在编写及分析LOTOS规格说明文......
本文以LOTOS为基础,简介了LOTOS进程代数的概念和算子。同时,以事件结构作为进程代数的语义模型,充分展示了形式化方法是如何对一个复......
波兰国有控股公司GrupaLotosSA和GrupaAzotysA近日签署一项协议,计划投资39亿美元在Lotos炼油厂附近建设一家石化厂,化工集团Azoty公......
LOTOS形式规范的目标实现是协议设计中必不可少的阶段之.该文对基于LOTOS的形式描述规范的实现方法进行了研究,包括目标实现环境的......
文中首先给出基于进程代数的LOTOS形式化规范语言的基本概念,通过对传统LOTOS进行基于时间的扩充,引入时间算子,并给出其相应的语法定义和形式语......
在复杂系统的设计流程中,每个设计阶段都要制定标准的设并方案以实现系统功能。渐进细化设计就是把设计流程中的设计方案和检验其能......
依据多媒体时间模型和同步模型,面向对象的并发系统和分布式系统的研究已经取得不少结果.但由于特殊的要求,这些结果已不能满足实际......
ABB公司已与波兰格但斯克的Grupa Lotos SA签订1份柴油脱硫(HDS)合同。该项目投资额达13亿美元,其中一部分用于残渣改良项目,费用超过1......
据路透社华沙2月27日消息,波兰炼油商PKN Orlen表示,波兰政府计划合并该国两大炼油商PKN Orlen和Grupa Lotos,旨在创建更大的炼油......
Lotos规范风格在系统规范描述中可以体现系统模型的结构性.在已存在的4种Lotos规范风格中,引入了宏的思想,构思了一种新的Lotos描......
Lotos规范风格在系统规范描述中可以体现系统模型的结构性.在已存在的4种Lotos规范风格中,引入了宏的思想,构思了一种新的Lotos描......
基于基本网络代数(Basic Network Algebra, BNA)和LOTOS/E-LOTOS,该文提出一种适合于分析Internet路由系统行为的代数系统.该代数......
面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法,是一种实现软件自动化的有效方法。介绍了形式化描述语言LOTOS的组......
近日,GBV大光明眼镜眼艺圈视觉会所特邀德国百年珠宝眼镜品牌LOTOS在美丽的西子湖畔呈献了一场百万手工珠宝品鉴会,来自全国各地的眼......
近日,G18SStique眼镜专卖店与深圳西武百货携手.在深圳中信城市广场.悦会VIP俱乐部举行了LOTOS奢华珠宝眼镜展暨工艺坊VIP酒会。现场......
面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法是一种有效的实现软件自动化的方法。介绍了形式化描述语言LOTOS的......
在2007年第二季度举办MILEX-2007展会上,白俄罗斯LEMT公司展示了它的Lotos激光测距机模块。该固体激光装置工作波长为1.064μm,主要用......
阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议.介绍了协议工程、形式化方法及核心技术形式描述......
层次化设计方法是人们广泛接受的硬件电路设计的最主要方法之一。动作细化是系统层次化刻画方法的核心操作,目前已发展成为众所周......
在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述......
白俄岁斯明斯克LEMT公司推出的Lotos新型固态激光测距仪,其工作波长为1.064米.将用于下一代防空导弹系统。......
分析了LOTOS规范语言的4种规范风格的特征和在分布式系统开发中的实际应用,描绘了网络服务和协议的基本设计属性,并讨论了规范风格......
<正>日前,第37届香港电影金像奖颁奖典礼圆满落幕,溥仪眼镜再度耀目赞助此届颁奖典礼及"最佳衣着奖",并送出德国手工珠宝眼镜品牌......
期刊