切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
计算机联锁安全软件测试评估平台的静态数据交换策略
计算机联锁安全软件测试评估平台的静态数据交换策略
来源 :上海铁道大学学报 | 被引量 : 0次 | 上传用户:RockyZhang111
【摘 要】
:
介绍了计算机联锁安全软件测试平台的研制背景、结构及信息交换的方式,着重讨论了平台静态数据特征,然后给出了平台上的客户端/服务器型数据库模型,最后论述了关系型数据库中数据
【作 者】
:
荆剑
吴芳美
【机 构】
:
上海铁道大学电信工程系
【出 处】
:
上海铁道大学学报
【发表日期】
:
1999年12期
【关键词】
:
静态数据
铁路信号
计算机联锁
安全软件
software testing platform
client/server
static data
【基金项目】
:
铁道部科技研究开发计划项目!(99X13)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了计算机联锁安全软件测试平台的研制背景、结构及信息交换的方式,着重讨论了平台静态数据特征,然后给出了平台上的客户端/服务器型数据库模型,最后论述了关系型数据库中数据的安全和完整性,并结合具体平台的需求,详细说明了平台静态数据的生成校验过程与查询的方式。
其他文献
清肝饮对大鼠肝纤维化模型胶原纤维和网状纤维的影响
研究中药清肝对大鼠肝纤维化模型胶原纤维和网状纤维的影响。方法以四氯化碳建立大鼠肝纤维化模型,用免疫组化染色,通过图像处理,分析CF和RF的面积,并察了肝细胞核/浆比值的变化。结果
期刊
肝纤维化
胶原纤维
网状纤维
清肝饮
中医药疗法
medicinal herbs
liver fibrosis
collagen fibers
reticula
铁路碎石道床静刚度的试验研究
针对不同材质、不同厚度、不同密度、一定脏污程度的道床做了动、静载试验,总结了静刚度试验结果。主要内容包括:静刚度试验的理论基础、测试方法、静赐度的表达方式、测试数据
期刊
静刚度
试验
铁路
碎石道床
track bed
static stiffness
test
SSH法获取大鼠小脑特异表达cDNA片段
目的 获取大鼠小脑特异表达的cDNA序列,比较SSH方法的特点。方法 以大鼠大脑和脑干mRNA逆转录cDNA作为driver(驱动)cDNA,大鼠小脑mRNA逆转录cDNA作为Tester(测试)cDNA,经抑制性消减杂交法,去除与大脑及脑干相同的cDNA,从而获得大鼠小
期刊
CDNA片段
特异表达
小脑
大鼠
SSH法
suppression subtractive hybridization
cDNA fragments
diff
基因重组人HSC73在大肠杆菌中的表达和纯化
目的 用基因工程方法表达人的热休克类似蛋白73(HSC73)并提纯HSC73蛋白,为研究该蛋白提供条件。方法 用人HSC73基因构建原核细胞表达载体pETHSC73,在大肠杆菌BL21中用异丙基硫代-β-D半乳糖苷(IPTG)诱导表达,ATP亲和层析法
期刊
基因重组
热休克类似蛋白73
大肠杆菌
人
gene recombination
heat shock cognate protein 73
E. coli
h
关于在国有企业建立年薪制的理论思考
在国有企业推行年薪制的过程中,人们关注的“热点“往往是年薪的数量。提高经营者的收水平,是构建和实施年薪制过程中需要解决的问题之一。但实施年薪制的根本原因是经济体制和
期刊
国有企业
年薪制
体制改革
分配制度
wage system
enterprise system
property right theory
annual
轮对蛇行失稳导致脱轨的机理研究
针对车辆高速时如何评定蛇行失稳导致脱轨的问题,调研了国内外现有的评定方法。采用计算机模拟方法求得车辆在高速时的瞬态的轮轨作用力及脱轨系数,结果表明了传统脱轨评定方法
期刊
机车车辆
脱轨系数
高速运行
高速蛇行脱轨
仿真
railway vehicles
derailment criteria
high-speed
开挖问题平面有限元分析的前后处理技术
介绍了一个与地下工程开挖问题的有限元计算上配套的前后处理系统,它具有以下功能;计算网格的自动生成;计算网格的显示和纠错;整体位移显示及局部位 的显示;塑性区及破坏区的显示
期刊
地下工程
开挖
有限元
前后处理
地铁车站
underground engineering
excavation
finite element method
p
强夯法加固地基的数值模拟
以三维多孔介质中固结问题的基本方程为基础,提出了强夯问题的力学模型,给出了相应的变分原理及其有限元格式,用轴对称问题的有限单元法模拟了单点单次夯击过程。在算例中给出了
期刊
强夯法
加固地基
夯锤
消散规律
施工现场
夯沉量
固结
接触压力
有限单元法
孔隙压力
dynamic consolidation technique
fi
模拟实验型多媒体CAI课件的研究
简要介绍了多媒体CAI技术的概况,在分析教学模拟基本原理的基础上,介绍了模拟实验型CAI课设计方法,并以“机械设计”中滑动轴承实验为例进行了分析研究。
期刊
多媒体
CAI
课件
模拟实验
multimedia CAI
course-ware
simulating experiment
多类顾客循环来到的排队系统的弱极限定理
讨论了具有单个服务台和K类顾客循环来到的排队系统。通过与相应的GI/G/1系统的排除指标相比较,得到此系统的到达更新过程和服务更新过程等排队指标的弱极限,进而得到闲期过程,工作负载
期刊
排除系统
多类顾客
循环来到
弱极限定理
顾客
queue systems
multi-class cylic arrial
single sever
w
其他学术论文