异型通讯协议互连的数据描述形式化语言ASN．1

ＡＳＮ．１是由ＩＳＯ和ＣＣＴＴ定义的以支持描述网际通讯协议中规定类型、类型值和传送格式的形式化语言。本文旨在研究ＡＳＮ．１描述数据类型的抽象符号、数据类型、构造规则、数据值、子类型和宏的概念及定义，数据类型值的描述格式，基本的编码规则ＢＥＲ。文中以若干实例表述了ＡＳＮ．１描述语言的应用。     

OSI／MMS系统中ASN.1编／解码器的设计与实现

ＡＳＮ．１是一种标准的抽象语法定义描述语言，它提供了定义复杂数据类型以及确定这些数据类型值的方法，许多ＯＳＩ应用协议标准都采用ＡＳＮ．１作为数据结构定义描述工具，尤其用来定义各各应用协议数据单元的结构。本文首先介绍ＡＳＮ．１数据类型和基本编码规则，接着详细讨论ＭＭＳ通信系统中ＡＳＮ．１编／解码器的设计与实现，此编／解码器用于ＭＭＳ协议数据单元的ＡＳＮ．１抽象语法和传送语法之间的转换，以实现ＭＭＳ在     

MAP规程分析仪的研究

本文介绍了ＭＡＰ／ＭｉｎｉＭＡＰ网的体系结构，抽象语法符号表示法（ＡＳＮ．１）基本编码规则，ＭＭＳ协议数据单元的编码，ＬＬＣ协议数据单元的编码，ＭｉｎｉＭＡＰ协议的分析和实现，并与ＨＰ－４９７４协议分析仪作对比和讨论。     

双曲守恒律的拟单调二阶格式

双曲守恒律的拟单调二阶格式胡长青（中国科学院计算中心）ＳＥＣＯＮＤ－ＯＲＤＥＲＱＵＡＳＩＭＯＮＯＴＯＮＥＳＣＨＥＭＥＳＦＯＲＣＯＮＳＥＲＶＡＴＩＯＮＬＡＷＳ￥ＨｕＣｈａｎｇ－ｑｉｎｇ（ＣｏｍｐｕｔｉｎｇＣｅｎｔｅｒ，ＡｃａｄｅｍｉａＳｉｎｉｃａ）Ａｂ...     

基于NURBS的雕塑实体造型系统

本文介绍了一个基于ＮＵＲＢＳ精确表达的雕塑实体造型系统－－ＳＣＡＤ１．０，该系统采用曲面模型和实体模型相统一的雕塑实体模型，扩大了造型覆盖城。用ＮＵＲＢＳ精确表达二次曲面和自由曲面，使整个系统具有一致的数学模型。该系统具有较强的造型功能，基本上满足了工程实际的需要。另外，ＳＣＡＤ１．０还有曲面ＮＣ加工的干涉检验和轨迹仿真等功能。     

基于NURBS的雕塑实体造型系统

本文介绍了一个基于ＮＵＲＢＳ精确表达的雕塑实体造型系统──ＳＣＡＤ１．０，该系统采用曲面模型和实体模型相统一的雕塑实体模型，扩大了造型覆盖城。用ＮＵＲＢＳ精确表达二次曲面和自由曲面，使整个系统具有一致的数学模型。该系统具有较强的造型功能，基本上满足了工程实际的需要。另外，ＳＣＡＤ１．０还有曲面ＮＣ加工的干涉检验和轨迹仿真等功能。     

通用多级菜单自动生成软件

通用多级菜单自动生成软件华北电力学院史立生笔者用ｄＢＡＳＥ语言成功地开发了一个“通用多级菜单自动生成软件”，在实际应用中效果良好，兹介绍如下：１．数据库简介１）辅助库（ＣＤＦ．ＤＢＦ）字段名类型宽度字段内容注释ＪＳＮ１菜单总级数ＸＨＳＮ２屏幕最多可显...     

EDS UNIGRAPHICS V10．4

ＥＤＳＵＮＩＧＲＡＰＨＩＣＳＶ１０．４最新版本ＵＧＶ１０．４是目前最全面的ＣＡＤ／ＣＡＥ／ＣＡＭ系统．拥有４０多个应用软件，并能在各种平台上运行，如ＨＰ７００系列、ＶＡＸ和ＡＸＰ系列、ＳＧＩ、ＳＵＮ和ＩＢＭＲＳ／６００系列的各种机器。与老版本相比，１...     

形式化方法的回顾（续一）

形式化方法的回顾（续一）ＡＲｅｐｏｒｔｆｒｏｍｔｈｅＢＣＳＷｏｒｋｉｎｇＧｒｏｕｐ￥Ｃ．Ｌ．Ｎ．Ｒｕｇｇｉｅｓ（上接１９９３年第３期）２．２并发软件的ＦＤＩ和ＦＳＬ有限状态机（ＦＳＭ：）是用来描述形式系统的语言，曾应用来描述Ａｌｇ。１６０的语法，基于...     

关于非线性L_1回归的算法

关于非线性Ｌ_１回归的算法杨自强（中国科学院计算中心）ＯＮＳＯＭＥＣＯＭＰＵＴＡＴＩＯＮＭＥＴＨＯＤＳＯＦＴＨＥＮＯＮＬＩＮＥＡＲＬ_１－ＮＯＲＭＥＳＴＩＭＡＴＩＯＮＩＮＲＥＧＲＥＳＳＩＯＮ￥ＹａｎｇＺｉ－ｑｉａｎｇ（ＣｏｍｐｕｔｉｎｇＣｅｎｔｅｒ．Ａ...     

适合Windows的网络设计工具

适合Ｗｉｎｄｏｗｓ的网络设计工具利用面向对象的技术．ＮＣｔＳＵｉｔＳ：：ＰｔｏｆｅＳＳＩＯＤ．ａｌＤｅｓｉｇｎ（价格’９５Ｍ元）建立有关一个单位的网络设备和媒体的智能模型．该软件包支撑ＬＡＮＳ、ＷＡＮＳ及ＭＡＮＳ的逻辑和物理描述；允许对从布局技术到收...     

SOFT ENGINE3．0绘图加速软件

ＳＯＦＴＥＮＧＩＮＥ３．０绘图加速软件美国ＶｉｂｒａｎｔＧｒａｐｈｉｃｓ新近推出ＳｏｆｔＥｎｇｉｎｅ３．０版，可提升ＡｕｔｏＣＡＤ２５倍绘图效益，适用于ＡｕｔｏＣＡＤ中、英文版，使用方便、操作容易，让ＡｕｔｏＣＡＤ使用者更得心应手。１．图像屏幕功能表...     

EIKI

ＥＩＫＩ ＬＣ－ＮＢ１Ｗ分辨率 ＳＶＧＡ ８００＊６００支持ＸＧＡ光源亮度 ９００ＡＮＳＩ １６０Ｗ ＵＨＰ ３０００Ｈ重量 ３．９ｋｇＥＩＫＩ ＬＣ－８７０分辨率 ＳＶＧＡ ８００＊６００支持ＸＧＡ光源亮度 １２５０ＡＮＳＩ １６０Ｗ ＵＨＰ ３０００Ｈ重量 ６．６ｋｇEIKI     

粘性项参与构造的隐式矢通量分裂格式及其数值模拟

粘性项参与构造的隐式矢通量分裂格式及其数值模拟刘仪，曹琦，刘斌（西安交通大学涡轮教研室）ＩＭＰＬＩＣＩＴＦＬＵＸＶＥＣＴＯＲＳＰＬＩＴＴＩＮＧＳＣＨＥＭＥＳＷＩＴＨＶＩＳＣＯＵＳＡＮＤＮＵＭＥＲＩＣＡＬＳＩＭＵＬＡＴＩＯＮ￥ＬｉｕＹｉ；ＣａｏＱｉ；Ｌ...     

一种应用层安全通信协议的形式描述和验证

安全通信是一个日益重要的问题。本文作者在［１］中在应用层设计了一个安全通信控制设备（ＳＣＣＭ），来实现安全通信。本文用ＡＳＮ．１对此安全通信协议的协议数据元进行描述，然后根据协议状态转移图、应用可达性分析技术来验证协议的完整性、无死锁、无活锁、终止性等重要性质。     

车削数控加工半自动编程系统

一、程序简介 本程序基于ＡｕｔｏＣＡＤ Ｒ１４，采用ＡｕｔｏＬＩＳＰ语言开发，可以在待加工零件二维ＣＡＤ工程图绘制完毕之后进行数控编程，因其功能尚待进一步完善，所以称之为“半自动”编程系统。在处理编程坐标数据方面它具有以下优点： ☆使编程人员可以倾精力于工艺，完全不需为坐标数据的烦琐而分神； ☆加工余量定义灵活； ☆编程过程与加工过程（模拟）同步，动态跟踪分毫必现； ☆ＮＣ程序严格遵循加工路线，并可实现与计算机的通讯。 二、运行展示 １．工件毛坯定义（图１中虚线） 根据实际情况定义毛坯尺寸。 ２．加工余量…     

日本NEC磁盘格式读取方法

日本ＮＥＣ磁盘格式读取方法张生元，亢俊健，张保安河北地质学院计统系１ＮＥＣ磁盘格式ＮＥＣ磁盘格式是一种在日本ＮＥＣ计算机上广泛使用的磁盘格式、其磁盘逻辑格式布局与ＤＯＳ磁盘逻辑格式布局完全相同，与ＤＯＳ标准磁盘格式不同的仅是磁盘的磁道数、每个磁道的扇...     

无线局域网MAC标准

８０２．１１为无线局域网标准，其物理层的无线媒体决定了它与现有的有线局域网（ＬＡＮ）的媒体访问控制（ＭＡＣ）层不同，具有独特的媒体访问控制机制，各站以载波侦听多路访问／碰撞避免（ＣＳＭＡ／ＣＡ）的方式共享无线媒体。本文结合具体设计研制过程，介绍ＭＡＣ的分布式协调功能（ＤＣＦ）和点协调功能（ＰＣＦ）、及ＭＡＣ帧格式等。     

ANSI／ISO的SQL和Foxpro的SQL的差异

本文在对ＡＮＳＩ／ＩＳＯ的ＳＱＬ简要总结的基础上论述了ＡＮＳＩ／ＩＳＯ的ＳＱＬ和Ｆｏｘｐｒｏ的ＳＱＬ在功能、语法格式及使用规则方面的差异。     

ODBC技术及其在Authorware中的应用

各种应用程序要使用数据库,一般先要建立数据源,常称为ＤＳＮ（数据源名称）,一个数据源是一个通过ＯＤＢＣ设定连接的数据库,也称为ＯＤＢＣ数据库。这种连接是通过ＯＤＢＣ驱动程序来实现的,ＯＤＢＣＡＤ３２．ＥＸＥ是一个ＯＤＢＣ数据源管理器应用程序,在Ｗｉｎｄｏｗｓ的控制面板上有其相应的图标,通过它可建立各种类型数据源。１建立ＯＤＢＣ数据深 双击控制面板中的“ＯＤＢＣ数据源（３２位）”图标,如图１所示： 通过它可添加、删除或设置三种类型的数据源：用户ＤＳＮ、系统ＤＳＮ、文件ＤＳＮ,各类型的数据源特点详见“…