基于总线式网络的DKBS体系结构

通过对ＤＫＢＳ体系结构的分析，提出了一种基于，总线式网络的ＤＫＢＳ体系结构。该结构提高了求解过程的并行性，避免了通讯瓶颈现象，从而支持良好的分布式问题的求解。     

构件式体系结构模型转换的语义一致性

基于软件体系结构模型的形式化描述,从结构语义、公理语义和行为语义等几个方面分析了模型转换中特性保持问题的描述,并建立了相应的判定标准,同时探讨了证明一个转换是否满足某些特性保持约束的方法。这些方法支持以定理证明的方式,对模型转换的语义特性保持进行验证,克服了模型检测的不足。该研究可用于指导模型转换规则的定义和模型映射关系的正确性的验证。     

一种容错实时计算机体系结构的研究与实现

为满足对安全关键领域日益增长的可靠性需求,通过对容错关键技术和多处理器系统的深入研究,提出了一种基于松耦合多处理器体系结构的双机容错实时嵌入式系统设计方案。该方案无缝整合了计算机硬件级、操作系统级、应用级的容错技术,以达到从整体上提高系统可靠性的目的。然后,利用马尔科夫状态图法对该系统进行了可靠性分析和数值模拟,结果表明该设计方案能显著地从整体上提高系统的可靠性水平。     

工业控制计算机测控系统的开放式体系结构的设计方法

介绍了工业控制计算机在构建测控系统时常遇到的一些问题,同时也针对性的指出了进行开放体系结构设计的一些新的思想和设计方法,描述了当前测控技术发展的趋势,重点阐明了软件和网络在新型测控系统中的地位和作用,提出了开放式测控系统所须具有的功能,进行组合设计的层次化问题和总体设计时的一些基本原则。     

计算机公共弱点/风险(CVE)体系结构的研究

通过对计算机公共弱点／风险(CVE)列表所列漏洞进行了深入分析的基础上，依据对漏洞抽象层次和漏洞看待角度的不同，建立了多种CVE体系结构，包括树形结构、视角三雏、产生三雏等，并给出了由有穷自动机实现的CVE树形结构的形式化描述．CVE体系结构的建立对理解、避免、检测和消除计算杌系统漏洞具有理论和实践意义．     

虚拟共享存储体系结构并行计算机的原理和实现技术

根据不同的耦合程度，并行计算机的体系结构可以分为两类：共享存储器体系结构（ＳｈａｒｅｄＭｅｍｏｒｙＡｒｃｈｉｔｅｃｔｕｒｅ—ＳＭＡ）以及分布式存储器体系结构（ＤｉｓｔｒｉｂｕｔｅｄＭｅｍｏｒｙＡｒｃｈｉｔｅｃｔｕｒｅＤＭＡ）．分布式存储器结构的并行机比共享存储器结构的并行机具有更好的灵活性和可扩展性，但用户在分布式存储器结构的并行机上开发软件的难度特别大．本文介绍这两种并行计算机体系结构的概念和特点，以及将一个物理上的ＤＭＡ并行机构成一个逻辑上的ＳＭＡ并行机，即虚拟共享存储体系结构（ＶｉｒｔｕａｌＳｈａｒｅｄＭｅｍｏｒｙＡｒｃｈｉｔｅｃｔｕｒｅＶＳＭＡ）并行计算机系统的原理和实现技术．     

高速走丝线切割加工计算机数字控制装置体系结构的研究

从发展高速走线线切割加工及其计算机数字控制装置系列产品出发，对其ＣＮＣ装置的体系结构作了系统的研究，基于充分利用计算机领域中软、硬件开发技术及其成果，提出了一种中低档高速走丝线切割加工ＣＮＣ装置的硬件结构和软件结构。     

翅片管式蒸发器的计算机辅助设计

就计算机辅助设计在制冷系统部件设计表面作了一定的探索,使产品设计更快捷更优化。     

基于产业链的军民融合式武器装备科研生产体系结构研究

研究军民融合式武器装备科研生产体系结构,是当前构建和完善军民结合、寓军于民的武器装备科研生产体系的迫切要求。从军民融合式武器装备科研生产结构性问题出发,以产业链视角剖析了军民融合式武器装备科研生产体系内在要素结构的科研、生产、服务3个职能域,以及产业链内在结构。     

HPLC法测定非诺贝特软胶囊的有关物质及含量

采用高效液相色谱(HPLC)法测定非诺贝特软胶囊的有关物质及含量,用C18色谱柱(Inertsil ODS-35μm,4.6 mm×150 mm),以水-乙腈(30:70)(v/v)磷酸调节PH2.5为流动相,紫外检测波长为286 nm;线性范围40.7～407.1 ug·mL-1(r=O.9999);平均回收率为99.8%,RSD=0.3%;检测限为0.4ng.结果表明本法具有操作简便,快速准确.干扰小等优点.     

高性能并行计算机体系结构和典型的 DSM 系统-SPP1200/XA

详细介绍了美国在高等并行计算机系统结构领域的发展动态和ＡＳＣＩ跨世纪计划的执行情况,同时也介绍了１种典型的最新型分布式共享存储系统ＤＳＭ（ＤｉｓｔｒｉｂｕｔｅｄＳｈａｒｅｄＭｅｍｏｒｙ）－ＳＰＰ１２００／ＸＡ。     

高性能并行计算机体系结构的典型的DSM系统—SPP1200／XA

详细介绍了美国在高等并行计算机系统结构领域的发展动态和ＡＳＣＩ跨世纪计划的执行情况，同时也介绍了１种典型的最新型分布式共享存储系统ＤＳＭ－ＳＰＰ１２００／ＸＡ。     

帘式气囊的计算机仿真建模研究

帘式气囊模型相对一般气囊模型复杂,运用Hypermesh和MADYMO等软件建立帘式气囊仿真模型,并通过静态起爆中的展开状态参数和动态起爆中头形物的运动参数曲线对模型进行验证。验证结果表明所建模型准确,可以用于滑台实验及实车匹配实验研究。     

基于建构主义的计算机任务驱动式教学法

通过实例具体阐述了基于建构主义思想的一种教学方法一任务驱动式教学法，该方法通过确定任务，并通过对任务的实现过程中使学习者最终掌握知识。     

室式干燥炉的计算机设计计算

本文采用电子计算机进行砂型室式干燥炉的设计计算。采用适当的数学式和迭代算法取代设计计算所涉及的图算,建立一个数据文件按一定规则存入所有要查的表中的数据,计算机以文件操作的形式自动“查表”,使计算机能在很短的时间内自动完成全部设计计算工作。不但大大减轻了人工计算的繁琐劳动和缩短设计周期,而且为优化设计创造了条件。     

室式干燥炉的计算机设计计算

本文采用电子计算机进行砂型室式干燥炉的设计计算。采用适当的数学式和迭代算法取代设计计算所渺及的图算，建立一个数据文件按一定规则存入所有要查的表中的数据，计算机以文件操作的形式自动“查表”，使计算机能在很短的时间内自动完成全部设计计算工作。不但大大减轻了人工计算的繁琐劳动和缩短设计周期，而且为优化设计创造了条件。     

非均匀颗粒自然堆积过程的计算机仿真

通过对非均匀颗粒的自然堆积过程进行计算机仿真,获得了散体的分形特性,为散体的物性研究提供了较详细的几何结构信息。拟议了自然堆积过程的计算机仿真实现方法,确定了随机堆积形成的散作的分形维数,仿真结果与己有数据相比较,表明了该方法的可行性。     

基于计算机图像处理的电路板非接触式检测研究

针对电路板尺寸小、器件多、质量要求高且不适合频繁接触检测的现状,提出了一种基于计算机图像处理的非接触式检测方案。该方案主要包括图像获取、算法处理和结果显示3部分。采用TWAIN协议获取电路板图像;在RGB色彩空间使用改进的轮廓提取算法获取元器件的轮廓;利用色彩空间的区分度,对电路板上的器件缺失和器件缺陷进行检测。相对于传统的人工检测,该方案在检测效率和检测准确性上,都有较大的提高。