The target is to declare necessary constraints for model, and to obtain the codes that can detect constraint violation during runtime, thus, precondition code pattern, postcondition code pattern, invariant code pattern need to be designed respectively.
本文的目标是对模型施加必要的约束,得到能检测出运行时约束冲突的代码,这就要求分别为前置条件、后置条件、不变式设计出相应的代码模式。
参考来源 - OCL约束验证与实现方法研究·2,447,543篇论文数据,部分数据来源于NoteExpress
On the basis of analyzing MPPM code pattern and length, a super-frame synchronization method using combinational Barker code is designed.
在分析MPPM码型和帧长的特点基础上,设计了组合巴克码做为MPPM超帧同步码的方法。
A novel symbol synchronization is presented with frame synchronization of PPM. On the basis of analyzing frame sync code pattern and length, a PPM frame scheme is designed.
在分析帧同步码型和长度要求的基础上,设计了一种PP M帧结构,提出了利用帧同步来实现PPM符号同步的方法。
A style in which a man's last few strands of hair are combed across the top of his head, thus resembling a bar-code pattern.
男子将头上仅存的几绺头发横梳过来盖在头顶上,其形状像是条形码。
The only thing that compiler needs to know is kind of what pattern to look for in the rest of your code.
编译器需要知道的唯一的东西是,用来在剩下的代码中寻找的函数形式。
应用推荐