模型论语义方面主要有两种:稳定模型(Stable model)和良基模型(Well一founded model),还有各自的一些变体.后者比较易于实现,目前己经有了高效的证明论语义及实现。
基于32个网页-相关网页
稳定模型语义 stable model semantics
动稳定性模型 dynamic stability model
模型稳定性 model stability ; the stability of the quantitative model
稳定静态模型 [统计] stable static model
动态不稳定性模型 dynamic instability
模型稳定性试验 pattern stability test
不稳定随机走动模型 non-stationary random walk model
模型稳定性评价 Evaluation of model reliability
稳定控制模型 Stable control model
The first one is Win32 PE virus detection method based on stable modal;the second one is Win32 PE virus detection method based on logic semantic chart. In the first method,the semantic characteristics of Win32 PE virus is summed up.
一是基于稳定模型的检测方法,二是基于逻辑语义流图的检测方法。
参考来源 - 基于程序语义的Win32 PE病毒检测方法研究·2,447,543篇论文数据，部分数据来源于NoteExpress
基于逻辑程序的稳定模型语义学，用稳定模型语义计算作为新的淋巴细胞的匹配算法。
As the semantics model of logic program, the matching rule of new lymphocytes is to compute the stable model of lymphocytes and antigens.
通过简单的跃移模型、蠕移模型和稳定模型对风成沙纹的形成过程进行了二维数值模拟研究。
Based on the saltation, creeping and stability models, a two-dimensional numerical model is established to study the development process of aeolian ripples.
对一个典型的电力系统动态模型进行了分析，在考虑了负荷随机性基础上，建立了随机扰动的电压稳定模型。
The random load characteristics in a sample power system were considered to develop a stochastic model for voltage stability.
应用推荐