Real-time logic have obtained more and more attentions of software engineering researchers and system engineers, because their accurate syntax and semantic are able to quantitatively characterize the timing constraints of real-time systems.
实时系统的显著特性是对系统的时序性要求严格。 由于实时逻辑语义精确、对实时系统时序性质描述能力强大、测试和验证算法便捷，因此日益受到软件工程领域研究人员和系统工程师们的重视。
参考来源 - 基于实时规约的测试预言自动生成技术的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
给出了用该网络实现两幅非相干输入的二进制光学图象的各种实时逻辑运算的实验结果。
The experimental results of all kinds of real -time diginal optical logical computing of two incoherent input images with the interconnection are given.
不需要将连接性逻辑重新部署到基础结构中，因为它们全都在注册中心进行了描述，并以近实时的方式发挥作用。
There is no need to redeploy the connectivity logic into the infrastructure, as it is all described in the registry, and acted upon in near real-time.
实时系统指系统的计算正确性不仅取决于计算的逻辑正确性，还取决于产生结果的时间。
A real-time system is one in which the correctness of the computations not only depends upon the logical correctness of the computation but also upon the time at which the result is produced.
应用推荐