排序方式: 共有16条查询结果,搜索用时 46 毫秒
1.
2.
使用统一建模语言(unified modeling language,UML)为联锁软件建立平台无关的模型(platform independent model.PIM),可以实现在异种平台间的移植和复用,并有助于自动生成测试案例和测试脚本。UML建模包括静态结构分析和动态行为分析。Petri网可对联锁软件与安全性相关的动态行为精确和严格地进行形式化描述。 相似文献
3.
聚天门冬氨酸/盐的合成、改性及应用研究进展 总被引:3,自引:0,他引:3
聚天门冬氨酸/盐(PASP)是一种新兴的可生物降解的环境友好材料,凭借其特殊的分子链结构和优异的性能在许多领域得到广泛应用。近年来,随着研究的不断深入,PASP的合成及改性方法逐渐多样化,产品类型不断丰富、性能大大提升,其应用领域也得到快速扩展。本文综述了PASP的合成、改性方法以及PASP在工农业(阻垢剂、缓蚀剂、肥料增效剂、保水剂、涂料)、生物医药和其他领域应用的新进展,并对PASP及其改性衍生物未来的发展方向进行了展望。 相似文献
4.
5.
6.
在分析空间信息对抗概念和内涵的基础上,对空间信息对抗的作战对象、作战途径、空间信息对抗的主要特点进行了深入地分析与研究。对空间信息对抗系统建设和实施空间信息对抗应把握的原则提出了意见和建议。根据实际国情提出了我国空间电子对抗的应对措施。 相似文献
7.
安全苛求软件的安全性混沌分析 总被引:2,自引:0,他引:2
对软件安全性的研究大多基于概率的或随机过程的软件可靠性理论,但是首先安全性并不等同于可靠性,再则可靠性概念在21世纪随科技的发展也在演化。在研究安全苛求软件及其失效的特征的基础上,使用混沌的方法研究其安全性具有合理性。采用嵌入空间的技术可从时间序列中重构出具有系统特征的相平面和吸引子,由此可以预测危险。铁路联锁软件是典型的安全苛求软件,安全性的混沌分析将有助于实施高效的铁路联锁软件的现场测试。 相似文献
8.
9.
基于UML和Petri网的铁路联锁软件建模 总被引:2,自引:0,他引:2
在异种嵌入式平台上,采用统一建模语言UML,可为铁路联锁软件建立平台无关模型,从而改进软件的开发和复用。UML适用于软件的静态结构和简单场景下的动态行为的建模。为保证其安全性,采用了Petri网作为补充,对复杂的动态行为和约束规则,在模型中加入了精确和严格的形式化描述。 相似文献
10.
一个基于Web技术的办公自动化软件的开发 总被引:4,自引:1,他引:3
介绍和分析了基于Web技术的办公自动化软件开发的特点,就体系结构、系统平台、开发工具、系统功能划分、系统安全等问题进行了分析、论述。 相似文献