异构分布式计算机网远程服务系统的设计与实现

本文阐述了自行设计的一种具有“远程变换服务”目的的简明通用的远程服务语言(RSL)的设计方法,基于 RSL 实现了对异构环境下远程服务系统(HERSS)的逻辑结构的构造.并基于 RSL 自行设计完成了SUN(UNIX)/VAX(VMS)异构分布式计算机网远程服务系统软件.RSL 语言简化了异构分布式计算机网络环境下的远程用户使用网络资源的任务,由此设计的 HERSS 具有很好的开放性与透明性.     

面向分布式证明的信任协商策略语言和方法

现有信任协商语言对复杂的访问控制策略和协商策略以及信任分布式证明方法的支持都不够全面.在RT(role-based trust-management)语言基础上提出一种面向信任分布式证明和协商的策略语言RTP(role-based trust proving),其特点是能够支持信任分布式证明方法,可以定义复杂角色,保护信任证敏感信息并能避免信任证盲目搜索.给出了RTP语言及其推理规则的语法语义描述,介绍了一种基于RTP语言的信任分布式证明协商示例算法.实验结果表明,该算法支持RTP语言的功能,且比传统信任协商方法有很大的性能提升.     

可更新Datalog的分布式时态逻辑扩展及应用

针对现有的分布式逻辑语言缺乏完整时态表达力等问题,将分布式时态逻辑谓词引入Datalog规则,提出TU-Datalog语言。该语言通过融入U-Datalog的非即时性更新语义,形成完全声明式具有强大时态表达力的逻辑编程语言和环境。通过扩展U-Datalog逻辑固定点语义,提出TU-Datalog语言的固定点时态演化规则,并对该语言的语法、语义、评价算法进行了研究,最后对该语言的应用做了说明和示例。     

Apla语言中并发分布式机制的研究

从并发分布式程序设计的角度,对现有的并发分布式语言进行分析比较,选取Jayadev Misra教授近几年提出的全新结构化并发分布式语言Orc作为研究对象。通过深入分析Orc语言的基本原理和语言特征,提出了一个能够适合Apla抽象程序设计语言的并发分布式机制,设计了并发算子、并发语句、进程定义、进程通信和进程同步,并通过实例探讨了该设计方案的可行性和实用性,最后阐述了Apla语言中并发分布式机制具有通用性强、抽象层次高、简单易懂、便于并发分布式程序的开发等优点。     

网络状态下的语言环境

分布式计算机网络与数据库的结合,将对信息管理产生深远的影响。本文着重阐述了分布式计算机网络(DSA)状态下的COBOL语言环境,而COBOL语言又是DM6数据库的宿主语言,并且可以嵌入汉字。因此,开发COBOL语言与DSA网络的接口,实现DSA与DM6的结合,对形成大规模的汉字数据管理系统有着重要作用。     

分布式制造资源集成系统软件平台研究

本文提出了分布式制造资源集成系统的概念,分析了该系统的特点,给出了具有核心功能结构的分布式制造多智能体的系统框图。在研究了分布式制造资源集成系统软件平台的功能及其关键技术的基础上,给出了软件平台的有关流程、程序和界面。实验表明,这些工作对分布式制造资源集成系统软件平台的理论研究及应用均具有实际的意义。     

VAX-11/780计算机系统软件资源的综合利用

本文提出一个综合利用VAX—11/780现有系统软件资源并付之解决实际问题的方法。命令过程、数据检索软件、FORTRAN语言及其它高级语言的有机结合,可以为我们提供一条开发诸如数据库、文献库及各种实用软件的途径。文中两个实例的开发证实了作者的想法。     

用于高并行系统的软件工程技术和工具

本文考察了并行系统软件工程的当前状态。评论了现有的方法和技术并找出了不足，介绍了在设计，验证和自动化支持方面所做的工作。由于需要和多样性的增长，下一代嵌入式和分布式技术将混有这些问题。本文还讨论了当前的技术发展成新的方法对并行未来软件工程产生的意义。     

系统程序设计语言 CSP

概述所谓系统程序设计语言,就是用来书写系统软件(如操作系统、编译系统等)的高级语言。早期的系统软件是用机器指令或汇编语言书写的,具有费工、难懂、难改、难调试等一系列缺点,并且很难由一台计算机移植到另一台计算机上去。     

ABC95阵列机系统软件的研究与实践

本文以通用计算机系统软件为基础,对专用阵列计算机ＡＢＣ９５的系统软件进行探讨与实践,它根据ＡＢＣ９５阵列机体系结构的特点,对通用计算机的系统软件进行适当的修改和扩充,并在保持主机操作系统框架及高级程序设计语言不变的基础上,着重研究了主机－目标机之间的接口软件和目标机的程序设计环境和执行环境．这种借助现有软件为专用机开发系统软件的方法,大大地简化了问题处理,缩短了系统的开发周期．     

分布式协同建模仿真环境中的文档管理系统

电子文档管理系统(EDMS)负责在分布式协同建模仿真环境(DCMSE)中以统一的方式处理不同格式文件的保存与共享.版本控制是EDMS的核心内容,对于保证文件更新的合法性与使用的统一性至关重要.针对目前EDMS系统中管理信息不足、流程缺失、权限不明的问题,提出了基于三层框架的文档全生命周期管理方法、基于流程的审批以及基于文档状态的访问控制方法.设计并实现了分布式协同建模环境中的文档管理系统软件,经使用证明该系统能够较好的满足分布式协同建模环境中的文档管理需求.     

分布式在线交替方向乘子法

针对如何对分布式网络采集的数据进行在线学习的问题,提出了一种基于交替方向乘子法(ADMM)的分布式在线学习优化算法--分布式在线交替方向乘子法(DOM)。首先,针对分布式在线学习需要各节点根据新采集的数据来更新本地估计,同时保持网络中所有节点的估计趋于一致这一问题,建立了数学模型并设计DOM算法对其进行求解。其次,针对分布式在线学习问题定义了Regret 界,用以表征在线估计的性能;证明了当本地即时损失函数是凸函数时,DOM算法是收敛的,并给出了其收敛速度。最后,通过数值仿真实验结果表明,相比现有的分布式在线梯度下降法(DOGD)和分布式在线自主学习算法(DAOL),所提出的DOM算法具有更快的收敛性能。     

通用电控产品分布式计算机测试系统软件的设计与实现

针对通用电控产品的特性,介绍了通用电控产品分布式计算机测试系统的系统结构,详细给出了通用分布式测试系统软件的设计方案与实现方法。本系统软件具有结构合理、功能齐全、操作简单、通用性强、易于扩充等特点。为电控设备的自动化测试提供了可靠的技术保障。     

面向嵌入式软件开发的C语言程序设计课程改革探索

从嵌入式系统软件开发的角度出发,探讨在嵌入式系统开发方向上C语言程序设计课程的改进思路,首先阐述嵌入式软件开发对C语言的知识和技能需求,指出现有C语言课程针对嵌入式系统开发存在的不足;在此基础上,从课程设置、教学内容划分、实验设置及教学方法与手段等方面讨论C语言程序设计课程的改革思路。     

基于消息总线的分布式仿真在CAS中的应用

仿真和模拟方法是解决管理领域特有复杂性问题的一个重要途径.分析和比较了多种分布式仿真解决方案,采用基于Java 消息服务(Java message service,JMS)的消息总线技术,用Jboss的应用服务器平台实现底层消息通信,同时采用统一建模语言(unified modeling language,UML)对分布式仿真系统进行建模并最终用Java语言编程实现分布式仿真系统平台.通过一个人群-工作互动的具体应用,表明基于消息总线的分布式仿真对解决管理领域的复杂性问题具有可行性,同时对以较小成本开发的分布式仿真平台也具有一定的通用性.     

系统软件开发过程中的软件工程技术

因为系统软件的复杂性和特殊性，如何控制和管理系统软件的开发过程是直接关系到开发成败的重要问题。本文认为系统软件不同于应用软件，有其自身的特点和规律。现有的应用软件开发方法和软件工程技术不能完全满足系统软件开发的需要。本文结合一个编译系统开发的实例介绍了系统软件开发过程中的一点经验和体会。     

大型分布式地理信息系统的技术与发展

随着地理信息系统和网络技术的发展,空间数据的处理正深入到各个专业应用领域,大型分布式地理信息系统对于空间数据的共享和互操作,以及专业领域应用系统集成具有重要的意义,本文通过对大型分布式地理信息系统的结构分析,介绍了硬件环境,系统软件和分布计算平台对大型分布式地理信息系统的影响,以及适应大型分布式地理信息系统空间数据共享和互操作发展要求的空间数据模型,海量空间数据库和空间数据操作服务技术,以及应用系统集成技术。     

基于DRTSADL的分布式实时系统建模

在考察现有的体系结构描述语言的基础上,提出了一种新的分布式实时系统体系结构描述语言（DRTSADL）,研究了该语言操作语义。结合一个分布式实时前端系统实例描述,说明了DRTSADL的应用。与现存ADL相比,新的ADL对分布式实时系统有较强的描述能力。     

CCA1—BASIC语言科技计算特色

CCAI—BASIC语言(以后简称C—B语言)是我所受命于国家科委和机器部为微波网络自动测试系统编制的执行软件(系统软件)。作为微波网络自动测试系统的专用高级语言,为满足微波网络自动测试的需要,它专门配准了十六种测试语句,可沟通DJS—130机和IEC—625接口,高速度、高精度地对各种测试信息进行传输、控制和加工处理。在科技技算方面,本语言也颇具特色,它的不少功能是通常BASIC语言所没有的。本文单就这方面的问题作简要介绍。     

分布式最小二乘估计中隐匿FDI攻击策略的设计

虽然分布式坏值检测方法能够消除观测数据中坏值对分布式最小二乘估计性能的影响,但是现有的分布式坏值检测方法中依然存在安全漏洞.针对一类分布式最小二乘估计算法研究了相应隐匿虚假数据注入(FDI)攻击策略的设计问题,设计依赖于部分节点系统信息的分布式隐匿FDI攻击方法,这一方法不仅使得FDI攻击信号无法被现有分布式坏值检测方法检测到,而且可以以预设的偏移量改变估计结果.最后,通过IEEE 118-Bus电力系统模型验证所设计FDI攻击方法的隐匿性和有效性.