SDL/GR中间语言的设计方法

SDL/GR 是 CCITT 推荐的用于通信领域的国际标准化语言.本文在 SDL/GR中间语言的形式定义中引入代数系统的同构概念,进而给出一个系统化地设计SDL/GR 中间语言的方法,它保证中间语言与 SDL/GR 语义等价.目前,该中间语言已被用于 SDL/GR 图形输入与各类处理工具之间的接口.     

SDL语言的测试数据选择标准

本文提出了一种新的方法:运用数据流分析技术,来选择测试路径和测试数据.这种技术类似于编译优化所用的方法.目前常用的只通过检查程序的控制流来产生路径选择标准是有欠缺的.本文提出的方法着眼于程序中变量以及状态的定义和引用,并对常用的路径选择其它标准加以比较.本文采用基本的 SDL/GR 语言为模型,来阐述这种新的分析方法.     

程控数字交换机局间信号系统的SDL/GR格式化描述方法

简洁、准确和直观地描述局间信号系统的工作过程,将有助于局间信号设备的研究、分析、设计和实现。本文提出基于 CCITT SDL 语言基础上的信号系统格式化描述方法,并给出了一个程控市话汇接局在国内网中各种接口条件下的局间信号 SDL/GR 状态图。     

遗传归纳逻辑程序设计中规则的位串表示法

为了利用ＧＡ来解决ＩＬＰ方法中的性能瓶颈问题,关键在于如何把ＩＬＰ的一阶规则编码为遗传算子可操作的位串形式．提出了一种新的用于遗传算法（ＧＡ）的一阶规则位串表示法．示例分析表明,这是一种结合ＧＡ算法和ＩＬＰ技术的有效的规则位串表示法．     

通信规程模拟的新方法

本文介绍一种通信规程模拟的新方法.这种方法的特点是通过功能说明和描述语言 SDL 到通用模拟语言 GPSS 的翻译,直接将通信规程和通信网的描述文件转换成模拟程序.本文以对 ISDN(综合业务数字网)的 D 信道规程 I.451的模拟为例,说明运用 SDL 语言来描述通信规程的方法,并介绍将 SDL 翻译成 GPSS 的主要原理和技术.     

学分制下绩点设定形式探讨

对目前国内高校采用的学分绩点设定形式进行归纳,分析了"段-点"型绩点表示法、"点-点"型绩点表示法和"标准分"型绩点表示法等三种绩点设定形式的优点和不足,指出"标准分"型绩点表示法是最值得提倡的一种绩点设定形式。     

SDL协议的研究与应用设计

针对SDL协议中存在的问题, 对其协议机制进行了研究和改进, 增强了承载不同网络协议的通用性, 提高了网络自身纠错能力. 研究了头部CRC检错和纠错问题, 以及MPLS标签在SDL协议中的应用问题, 给出了一种头部CRC纠错及MPLS标签在SDL协议中的使用方法. 最后提出了一种能够识别MPLS标签的SDL协议实现方案.     

TBNF一种实用的二维文法表示法

本文提出一种简单实用的二维文法表示法TBNF.它能描述某些常用二维结构并具有结构简单、易于理解与实现等特点.     

计算机中数的另一种表示法的尝试

本文提出了与计算机中常见的数的表示法不同的另一种表示法!为解决处理机字长、计算精度和处理速度之间的矛盾,提供了一条切实可行的途径。文章叙述了这种数表示法的数据结构,给出了它的运算规则,讨论了基本运算子程序库的建立。作者已将此种数表示法应用在实际系统中,获得满意效果。     

高分子乳化剂GR的研究

乳化剂GR是一种新型的高分子表面活性剂,可用于反相乳液聚合物和非水乳液聚合物的制造。本文简要探讨了乳化剂GR的HLB值(亲水亲油平衡值)和用量以及体系的pH值等对单体乳液稳定性的影响。     

SDL-2000的形式语义研究

介绍了SDL-2000形式语义的理论基础抽象状态机(ASM),深入分析了SDL-2000形式语义,其中静态语义使用一阶谓词演算定义,动态语义使用多代理的分布式ASM定义。     

SDL软件设计技术研究

研究了SDL语言及SDL系统的基本结构,分析了如何运用SDL进行协议软件的开发,给出了SDL与嵌入式操作系统VxWorks进行集成应用的方案。SDL语言是CCITT推荐的规格与描述性语言,描述实时、交互式和分布式系统的行为。研究结果对SDL在电信领域的应用有一定的参考价值。     

PCB工艺规则表示方法

利用谓词逻辑能表示确定性知识与模糊逻辑中隶属函数能表示不确定性知识的特点,提出了一种新的谓词隶属逻辑表示法,即通过隶属函数的谓词逻辑对二值和多值逻辑规则进行归一化表示,得到了印制电路板(PCB)规则工艺知识库,实现了基于该方法的知识推理,为后续实现PCB的智能审查提供了审查依据及数据支持.     

A scheme on automated test data generation and its evaluation

1INTRODUCTION Softwaretestingisanimportantphaseinthe softwaredevelopment.Severalapproacheshave beenproposedforautomatedtestdatageneration,includingrandommethod[1],syntaxbasedmeth od[2],programspecificationbasedmethod[3],sym bolicevaluationmethod[47]andprogramexecutionbasedmethod[816].Oneoftheearliestsystemsthat automaticallygeneratetestdatausingsymbolic evaluationonlyforlinearpathconstrainswasde scribedinRef.[6],whosecapabilityislimiteddue toitslowabilitytohandlearrayreferencedepen dingon…     

谓词逻辑在人工智能中的应用

谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理,是人工智能产生和发展的最重要的理论基础。本文从具体事例出发,解析了谓词逻辑在人工智能领域中两个主要应用:知识表示和消解原理。并在结束语提出谓词逻辑的局限,希望有更多的学者参加逻辑学的研究。     

An Intelligent Approach to Model Manipulation in DSS

ＡｎＩｎｔｅｌｌｉｇｅｎｔＡｐｐｒｏａｃｈｔｏＭｏｄｅｌＭａｎｉｐｕｌａｔｉｏｎ　ｉｎＤＳＳＨＡＮＳｈｉｘｉｎ；ＨＵＡＮＧＴｉｙｕｎ；ＬＩＵＸｉｕｑｉｎｇ（韩世欣，黄梯云，刘秀清）（ＣｏｌｌｅｇｅｏｆＭａｎａｇｅｍｅｎｔ，ＨａｒｂｉｎＩｎｓｔｉｔｕｔ...     

基于SDL的IEEE802.11MAC协议设计与实现

针对IEEE802.11MAC协议层固化于专用芯片难以改动的问题,采用形式化的协议开发方法,使用SDL语言的图形化描述方法对协议进行模块化和层次化的设计,实现了一个开放式IEEE802.11 MAC层协议,满足了高速移动场合下的宽带无线通信对MAC层进行优化修改的需求。使用SDL开发工具,对其进行了语法语义分析及仿真,结果表明,设计的SDL系统状态逻辑正确,实现了IEEE802.11MAC层功能。