基于多层Ｃ／Ｓ结构的标准网上虚拟学校的研究和设计

由于开发课件工程的不同,以及网上教学系统实现的差异,所以不同系统之间的课件很难通用。该文结合ＸＭＬ技术和ＩＥＥＥ ＬＴＳＣ（Ｌearning Technolgy Stendards Committee)标准,介绍了能在不同网上教学系统间通用的标准课件的设计,以及基于Ｗeb的多层Ｃ／Ｓ结构的能应用标准课件进行智能教学的ＣＭＩ系统的研究和设计。并且对于ＩＥＥＥ ＬＴＳＣ中对ＣＭＩ系统只准对Ｂ／Ｓ两层结构的设计拓广到Ｃ／Ｓ多层结构的设计。     

SCALAR系列DLT磁带库

ＳＣＡＬＡＲ系列ＤＬＴ磁带库ＡｄｖａｎｃｅｄＤｉｇｉｔａｌＩｎｆｏｒｍａｔｉｏｎ公司的ＳＣＡＬＡＲＳｅｒｉｅｓ是一种基于ＤＬＴ技术的磁带库，其市场目标为企事业单位级的存储业务。ＳＣＡＬＡＲ系列磁带库有三种型号：ＳＣＡＬＡＲ４２４配有４台ＤＬＴ２０００...     

PSS／Ada程序切片系统的设计与实现

ＰＳＳ／Ａｄａ是一个Ａｄａ程序静态切片生成系统，可广泛应用于Ａｄａ程序的测试、排错、理解、维护以及Ａｄａ软件的波动性分析、并行性检测和复杂性度量等诸方面，本文介绍ＰＳＳ／Ａｄａ系统的设计思想、系统的结构、工作原理以及系统实现的重要技术细节。     

会话层／表示层协议一致性测试的研究与实现

会话层／表示层协议是ＯＳＩ高层协议的一部分。本文介绍协议一致性测试研究现状、测试过程及方法，分析会话层／表示层协议一致性测试需求，采用树表格式（ＴＴＣＮ）与抽向语法表示（ＡＳＮ，１）相结合的形式化描述语言，设计实现了会话层／表示层协议一致性测试系统及测试集。并对ＩＳＯＤＥ软件中的会话层／表示层协议实现进行了一致性测试，包括基本互连、能力、有效行为、无效行为及定向诊断等。     

SOPHO—S250／1000系统的硬件,软件结构分析

ＳＯＰＨＯ－Ｓ２５０和ＳＯＰＨＯ－Ｓ１０００是ＳＯＰＨＯ－Ｓ系列中的一对“孪生儿”，是趋于小型或中型容量的事务通信系统。其硬件是以ＳＯＰＨＯ－Ｓ２５００为基础设计的，软件则大量地使用了ＴＢＸ系列中已开发成功的软件。本文首先重点分析了ＳＯＰＨＯ－Ｓ２５０／１０００系统的硬件、模块组成、控制结构及其交换网络结构，并与ＳＯＰＨＯ－Ｓ２５００系统作了比较；接着介绍了其软件模块组成，并分析了有关模块的生成过     

多总线的系统扩展在计算机系统中的应用

本文分析了系统在多总线（ＭＵＬＴＩＢＵＳ）下的扩展，局部内存扩展（ＩＬＢＸ）总线、多通道Ｉ／Ｏ（ＭＵＬＴＩＣＨＡＮＮＥＬＩ／Ｏ）总线、系统扩展Ｉ／Ｏ（ＩＳＢＸ Ｉ／Ｏ）总线在多总线中的作用和结构。最后讨论了系统运用ＭＵＬＴＩＢＵＳ的情况下，板上ＣＰＵ和ＭＵＬＴＩＢＵＳ接口是如何占用双端总线，对双端口总线，对双端口ＲＡＭ进行资源共享的。     

ISEE——现代软件工业之摇篮

本文讨论了ＩＳＥＥ的概念、集成模型和实现结构，并结合ＩＳＥＥ现行产品的开发与应用，系统分析了目前国内外ＩＳＥＥ的发展现状和水平，指出了ＩＳＥＥ对现代软件工业的形成和发展具有十分重要的战略意义。     

分布式共享内存的技术和实现

分布式共享内存结合了布式内存结构与共享存储结构的优点，具有可扩充性、通过性性、方便性，本文论述了在实现ＤＳＭ系统中存在的问题，并讨论了ＤＳＭ系统在软件硬件方面所做的工作和采取的措施。     

利用S7—216的自由通信口实现对多台VLT5000变频器的控制

本文讨论了利用Ｓ７－２１６的自由通信口实现对多台Ｄａｎｆｏｓｓ的ＶＬＴ５０００系列变频器的网络控制。介绍了Ｓ７－２１６的自由口通信协议和Ｄａｎｆｏｓｓ的ＶＬＴ５０００系列变频器的通信协议,列举了ＶＬＴ５０００的参数设置,提出了实现方案,给出了通信中断程序。利用该方法,可以方便地进行各器的运行参数的在线监测和各变频器的协调控制。     

MAS结构分析和优化设计系统

ＭＡＳ结构分析和优化设计系统ＭＡＳ系统是机械产品和工程项目进行结构分析和优化设计的计算机软件。已在国内各行业广泛应用，深受工程界欢迎。通过ＭＡＳ的分析软件，使设计师能快速、方便地在计算机上产生机械产品或工程项目的模拟样机，进行分析、仿真试验，预测结构...     

嵌入式API测试套生成方法和技术

随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究.     

软件体系结构动态模型描述及其测试中的应用

软件体系结构的动态性描述在基于软件体系结构的一致性测试中是非常件体系结构的动态性,通过对软件体系结构描述语言研究,利用带标号的转换系统来模拟软件体系结构的动态性,把带标号的转换系统作为软件体系结构动态性模型并从中选取测试序列进行测试,并通过具体实例给出了带标号转换系统这一动态模型的导出过程及利用此动态模型进行一致性测试的方法.     

用于测试的SA动态模型生成方法

SA(软件体系结构)的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。许多软件体系结构描述语言是利用带标号的转换系统(LTS)来模拟软件体系结构动态性的,利用LTS作为软件体系结构动态性模型并从中选取测试序列。通过实例研究了两种体系结构描述语言及其分别向动态模型LTS转变的过程。     

CHAM在面向对象类测试中的应用

UML已经成为当前面向对象软件测试研究的重要方向.面向对象的类测试不仅要测试类的输入、输出还需要对类的状态变换进行测试.CHAM具有良好的动态特性可以很好地描述类状态的动态变换.LTS作为多种形式化语言的语义模型可以表达出类的动态特征.通过CHAM来描述UML状态图,并由CHAM生成LTS,最终通过对LTS的遍历生成测...     

测控软件数据接口测试与典型缺陷分析

为提升软件测试效率与加强测试质量,考虑装备软件数据接口功能多变、任务复杂的特点,提取装备测控软件数据处理接口共性,分析测试与控制参数以及数据通信接口数据帧结构、内容与特点,并以此为基础构造数据处理接口测试模式,提出对应的测试策略.通过这种办法更科学系统地指导针对数据输入/输出接口、人机交互接口及数据文件接口测试用例的设计.将所述测试方法应用于某装备测控软件数据处理接口测试,能有效发现软件缺陷,提升装备软件质量.     

基于PCI9054的高速数据处理卡的设计

详细介绍了一种基于PCI9054的高速数据处理卡的系统结构以及主要功能模块,并基于PCI9054桥片和EPM1270,介绍了该数据处理卡的硬件和软件的实现方案,讨论了数据处理卡的测试结果.     

实验室间协同试验数据处理软件设计

为降低协同试验数据处理的复杂程度,设计和实现基于开源数据SQLite的协同试验数据处理软件。该软件总体功能包含单元平均值计算、单元离散度计算、曼德尔检验、柯克伦检验、格拉布斯检验、回归方程管理、报告管理以及检验数据管理等。详细分析软件核心功能模块以及SQLite数据库构建方法。经过应用验证,该软件提高了精密度数据处理效率,保障了数据处理的准确性。     

加速度计自动测试系统

文章介绍了一种基于GPIB叫线的加速度计参数自动测试系统，并详细说明了该系统的组成原理、硬件结构、软件结构及实现技术等。该系统实现了对加速度计参数的自动测试和可靠的数据处理，提高了加速度计的检测效率及测试过程的管理效率。     

一种基于索引的海量路测数据处理新方式

通过对路测数据的结构分析,提出了一种基于索引的路测数据处理新方式,能够高效地处理海量路测数据,从而提高无线网络优化软件的数据处理效率和性能。建立实际系统模型,与两种传统的路测数据处理方式进行了比较。通过对处理时间、内存消耗和读取时间的比较,表明了新方式在处理海量数据时性能优于传统方式。     

非开挖电力竣工管道铺缆回拖力测试仪

针对电力竣工管道铺设电缆时回拖力测试的需要,设计了一种铺缆回拖力测试仪,仪器由机械结构、数据处理电路及上位机软件组成。仪器随电缆从管道始端至终端拖行,期间将整个施工过程中的回拖力采集并存储起来,施工完毕后通过上位机软件将仪器内存储的数据读出,进行进一步的分析、处理及显示。仪器加工完成后进行了大量的室内外实验,实验结果显示：仪器符合实际施工测试要求。