《计算机系统应用》稿约

《计算机系统应用》(CN 11-2854/TP, ISSN 1003-3254)创刊于1992年,是中国科学院主管、中国科学院软件研究所主办的、面向国内外公开发行的技术性、应用性科技核心期刊.本刊的办刊宗旨是宣传推广信息技术在各行各业的应用.重点是宣传介绍计算机应用系统的建设(包括系统的规划、设计与开发等方面)、信息技术的应用研究与开发成果以及相关技术的分析,探讨与应用.     

基于知识的机器人协同问题求解系统KBCOPS

本文在讨论了机器人协同问题求解的概念及难点的基础上，以模型化机器人世界为协同问题研究领域，选择并发成员系统程序设计语言ＭＳ—１为系统基本开发环境，设计开发了一个基于知识的机器人协同问题求解系统ＫＢＣＯＰＳ（Ｋｎｏｗｌｅｄｇｅ—ＢａｓｅｄＣＯｏｐｅｒａｔｉｖｅＰｒｏｂｌｅｍＳｏｌｖｉｎｓＳｒｓｔｅｍ），并给出了其在一维模型世界下的具体实现。     

汉字字形编辑器

本文介绍一个计算机辅助的字形设计系统——“汉字字形编辑器”（以下称“ 字形编辑器” ）的实现动机、功能、实现技术以及其支持的受限参量图形学方法、动态字形分解概念。     

反原形向量化与拟离散性

如何利用循环体诸如初值、终值、步长和下标式等数学对象的诸如恒等、正负、单调性一类的数学特征,按照严格推导出来的简单规则,绕过各种复杂的数据依赖关系图及其上诸如拓扑排序或等价变换等复杂的操作,直接从事向量化处理,这是极富实用价值的研究方向.文献[2,3,5]给出的可原形/准原形算法,以及本文的可反原形与拟离散性,正是这样的捷径.它们能使相当部分的常见循环,直接向量化.     

GB/T 20519-2006《时间戳规范》简介

介绍了时间戳规范的编制背景和时间戳系统部件组成．时间戳的产生和颁发、时间戳的管理、时间戳的格式和时间戳系统的安全等方面的具体内容。     

全国新闻出版网络信息系统的研制

详细介绍了全国新闻出版网络信息系统（ＮＰＮ系统）的设计与实现，包括ＮＰＮ系统的设计原则、数据库的设计、用户界面设计、开发与运行环境的选择等、在设计实现ＮＰＮ系统中，提出了“关联式数据库操作”的方法，提出并采用了“产品化工序”的实现方法和“层次式应用软件的实现办法”，为应用软件产品化开发与产量化生产做了一次尝试。     

对Otway-Rees协议的一个改进方法

在使用串空间理论对Otway—Rees协议进行分析时发现协议的双方不能保证收到的会话密钥的一致性。针对这一问题，提出了一种改进方法，改进后的方法不仅保证了会话密钥的一致性，而且使双方的认证性得到了改善。     

电子认证与授权管理标准体系研究

以国际上在标识、鉴别与授权标准方面已有的工作为基础，提出了我国电子认证与授权管理标准体系框架。     

OSI与OSI机

本文提出了OSIM的概念,并给出了一种可行的体系结构。讨论了它的软件系统。     

模块化C程序的编码方法及C模块接口的检查工具

1.引言 随着Unix操作系统的流行,C语言越来越广泛地被用来编写系统和应用程序,在开发大型C程序时,我们都会将程序分成若干文件,每个文件就大致实现了模块的功能。 我们定义“模块”为包括以下特征的文件: (1)文件中定义一些“实体”(entities):包括数据类型、变量、子程序和函数。