排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
本文先从软件理论的角度对安全协议分析语言CPAL的语法和语义进行分析,指出这种语言控制流的缺陷,在语法和语义方面给出CPAL语言的完善方案,并从信息安全中的协议的广泛性方面说明其必要性。 相似文献
2.
通过对国内外研究工作的分析,提出了面向语义的解释型测试程序集描述方法。该方法采用具有完备性、独立性和灵活性的语义集合对具体的测试需求进行抽象,构建通用性较强的测试程序集,并为可扩展性提供了相应的接口。 相似文献
3.
预应力技术在我国水利水电工程中已广泛应用土层预应力锚索是一种安设在土层深处的受拉体,它一端与构筑物相连,另一端锚固在土层中,安设时施加预应力,改善结构内部应力状况,维护构筑物的稳定。 相似文献
4.
提出了使用几个具有典型已知响应曲线且经过实验室标定的标准特性单元,到现场对动态信号分析仪进行全自动校准的方法。 相似文献
5.
基于Domino平台的工作流设计与实现 总被引:2,自引:0,他引:2
鉴于目前办公工作流所存在的灵活性和易用性方面的不足,该文以此为出发点提出了一种基于Domino平台的办公工作流的设计与实现算法,实践证明此算法可以有效地提高系统对复杂流程的描述能力,简化了流程建模操作。 相似文献
1