充分利用3+专用服务器的硬件资源

本文介绍了一种在NOVELL网中使用3+专用服务器的方法,使得早期被淘汰的3+专用服务器做为NOVELL网的数据备份部件而被充分利用,节省了开支。     

提高FoxPRO软件运行速度的若干措施

在信息管理系统（MIS）应用开发中，提高应用软件运行速度至关重要，本文介绍在NOVELL网络环境下提高FoxPRO应用软件运行速度的几种措施。     

微机局域网上数据库系统的并发控制

本文论述的是微机NOVELL和3+网上FOXBASE+和dBASEⅢ PLUS数据库管理系统的多用户程序设 计方法。主要包括：数据保护、错误捕获、死锁处理和环境因素等。     

NetWare网络操作系统文件属性的研究

本文主要介绍NOVELL公司的NetWare网络操作系统文件属性的结构，并对文件X属性的修改进行了探讨，提出了网络文件X属性更改的可行方法。     

NOVELL环境下数据库的远程传输

本文提出了在NOVELL网络环境下借助WNIM+卡实现数据库数据远程传输且保证传输可靠性的一种方法。文章先给出传输控制算法，然后编程加以实现，最后给出可行性结论。     

Hayes ULTRA系列调制解调器在中国分组网上的应用

本文概要介绍HayesULTRA系列调制解调器的分组网功能。这种分组网功能可以让用户通过异步端。访问中国分组网的同步X.32（拔号X.25）端口和专线X25端口，并且能提供四条虚连接。本文还介绍如何利用HayesULTRA系列调制解调器与中国分组网进行连接访问北京电子信箱，及利用Hayes公司开发的中文Smartcom III软件方便操作。为经济、快速推广使用中国分组网提供一种解决方案。     

MS-DOS 6.22中新的磁盘压缩技术

本文主要介绍了MS－DOS6.22的新的磁盘压缩技术DriveSpace的功能、特点及使用。     

微机网上的分布式专家联合系统UNION(上)

本文描述微机网上的分布式专家联合系统UNION的设计思想、目标、体系结构和原理。UNION是继1985年陆汝钤提出分布式专家系统的概念及其设计思想之后于次年夏天开始组织实现的一个实验系统。目标机型是配有UNOS操作系统、PASCAL和C语言的MC68000微机,它们用Ethernet局部网联网。UNION目前已完成支撑系统Sup- port1和通信系统,其余部分正在实现中。UNION的工程实现由中国科学院数学研究所承担。     

一种保持编排与参与者间行为一致的映射方法

将编排映射为Peer（参与者）,是对编排进行可实现性分析的第1个步骤.现有文献提出的映射方法未考虑参与者中τ对行为的影响,无法确保编排与参与者间的行为一致性.以Petri网作为形式化基础,提出了一种能够保持编排与参与者间行为一致的映射方法,允许：（1）通过动作映射,将交互式Petri网定义的编排映射为带τ的交互式Petri网;（2）提出了4条τ删除规则,用以对带τ的交互式Petri网中的τ进行有选择的删除;（3）将编排与参与者间的行为一致性问题规约为检验两个交互式Petri间是否满足弱互模拟的问题,并证明了这4条τ删除规则的正确性.实验结果表明,该映射方法能够确保编排与参与者间的行为一致性.     

实现生产管理与控制自动化的Ether LAN网络

本文在简介秦皇岛港务煤码头Ether LAN网系统构成及其主要功能的基础上，介绍了用于管理与主控系 统的应用软件，重点是EtherLAN网基本通信软件。为Ether LAN网络用于生产管理与控制自动化提供了范例。     

关于有ω-穷自动机的两个新的接受条件*

至今被公开的ω-有穷自动机的接受条件有6个即C₁—C₆，寻找新的接受条件和研究ω-有穷自动机关于新接受条件接受ω-语言的能力是ω-有穷自动机理论中的一个重要课题．本文定义了ω-有穷自动机的两个新的接受条件Z₁和Z₂，并且研究了：(1)ω-U—NFA关于Z_i(i=1,2)接受 ω-语言的能力，得到了 N     

描述逻辑ALC中关于伪子概念极小改变的R-演算

AGM公设是用于信念修正的（被一个单一信念修正）,而DP公设是用于迭代修正的（被一个有限的信念序列修正）.李未给出了对于R-构型（configuration）△|Γ的R-演算,其中,△是一个原子公式或原子公式否定的集合,而Γ是一个有限的公式集合.为了在修正过程中能够保留断言中尽可能多的信息,将考虑一种新的极小改变的定义：伪子概念极小改变（≤-极小改变）,其中,≤是一种伪子概念的关系;之后,在此基础上给出一种新的R-演算T^DL,它是关于≤-极小改变可靠和完备的,使得△|Γ在T^DL中可以被约减为一个理论△∪Θ（记作├_T^DL △|Γ⇒△,Θ）当且仅当Θ是Γ关于△的一个≤-极小改变.     

开放系统互连安全体系结构

采用不同保护措施的用户之间的信息不能互通，网与网之问不能处理相应的业务。为了解决这个问题，国际标 准化组织的计算机专业委员(ISO TC97/SC21)根据OSI开放系统互连参考模型(OSI/RM)制定了一个安全体系 结构(ISO 7498—2)，提出了如何对网络系统的传输信息进行保密。本文介绍这个安全体系的结构模型。     

虫孔路由Mesh上的连通分量算法及其应用

用倍增技术在带有Wormhole路由技术的n×n二维网孔机器上提出了时间复杂度为O(log²n)的连通分量和传递闭包并行算法,并在此基础上提出了一个时间复杂度为O(log³n)的最小生成树并行算法.这些都改进了Store-and-Forward路由技术下的时间复杂度下界O(n).同其他运行在非总线连接分布式存储并行计算机上的算法相比,此连通分量和传递闭包算法的时间复杂度是最优的.     

Ball基的推广

构造了一系列次数为n且带有参数k(2(≤)k(≤)「n/2」+1)的新的广义Ball基,作为Wang-Ball基(k=2)到Said-Ball基(k=「n/2」+1)的过渡,并给出新基的一些性质.接着,由新基定义出新的广义Ball曲线,给出曲线的递归求值、升阶和降阶逼近算法.最后,提出相应的三角基,并给出三角曲面的递归求值和升阶算法.     

Novell网络环境下Windows的安装与使用

本文详细地介绍了在Novell网环境中安装Windows的方法与步骤，指出了对于不同工作站环境的配置方法，以及在网路环境中使用Windows时可能出现的一些问题及解决办法。     

一个基于抽象解释的部分演绎过程

本文提出一种新的基于抽象解释的逻辑程序部分演绎方法．在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行Ｐ∪｛Ｇ｝的部分演绎和抽象解释，以抽象解释控制部分演绎的展开过程．只要抽象论域是有穷的，部分演绎必定终止，而且Ｐ＇带有抽象解释估算出的关于其运行性质的信息，便于对Ｐ作进一步优化．     

PRAM和LARPBS模型上有向序列翻转距离并行算法

分别在两种重要并行计算模型中给出计算有向基因组排列的反转距离新的并行算法.基于Hannenhalli和Pevzner理论,分3个主要部分设计并行算法:构建断点图、计算断点图中圈数、计算断点图中障碍的数目.在CREW-PRAM模型上,算法使用O(n²)处理器,时间复杂度为O(log²n);在基于流水光总线的可重构线性阵列系统(linear array with a reconfigurable pipelined bus system, LARPBS)模型上,算法使用O(n³)处理器,计算时间复杂度为O(logn).     

一种基于彩色编码技术的基序发现算法

从DNA序列中发现基序是生物计算中的一个重要问题,序列条数K=20包含基序用例的序列条数k=16的(l,d)-(K-k)问题(记作(l,d)-(20-16)问题)是目前生物学家十分关注的基序发现问题.针对该问题提出了一种基于彩色编码技术的SDA(sample-driven algorithm)搜索算法--彩色编码基序搜索算法(color coding motif finding algorithm,简称CCMF算法).它利用彩色编码技术将该问题转化为(l,d)-(16-16)问题,再采用分治算法和分支定界法来求解.在解决将(l,d)-(20-16)问题转化为(l,d)-(16-16)问题时,CCMF算法利用彩色编码技术将4 845个组合降低到403个着色,这将极大地提高算法的整体运行效率.使用模拟数据和生物数据进行测试的结果表明,CCMF算法能够快速发现所有(l,d)-(20-16)问题的基序模型和基序用例,具有优于其他算法的综合性能评价,能够用于真实的基序发现问题.同时,通过修改着色方案,CCMF算法可以用于求解一般的(l,d)-(K-k)问题,其中,k＜K.     

面向数值型敏感属性的隐私保护方案

针对现有的个性化隐私匿名技术不能很好地解决数值型敏感属性容易遭受近邻泄漏的问题,提出了一种基于聚类技术的匿名模型——（ε_i,k）-匿名模型.该模型首先基于聚类技术将按升序排列的敏感属性值划分到几个值域区间内;然后,提出了针对数值型敏感属性抵抗近邻泄漏的（ε_i,k）-匿名原则;最后,提出了一种最大桶优先算法来实现（ε_i,k）-匿名原则.实验结果表明,与已有的面向数值型敏感属性抗近邻泄漏方案相比,该匿名方案信息损失降低,算法执行效率提高,可以有效地降低用户隐私泄露风险.