分析了面向对象类与对象间的关系，在此基础上建立了对应的属性模型并且以关系演算的方法进行捕获模型的对象关系；讨论并实现了动、静态相结合的基于Java语言的经典设计模式检查工具，并以该工具为基础做实验对一
非对称Chi-演算的符号互模拟，黄银强，钟发荣，非对称chi-演算是一种移动计算模型。本文在给出非对称chi-演算的语法和转移语义的基础上，定义该演算的开互模拟关系，同时给出该演�
为满足构件演化形式化分析的需要，确保演化正确性，提出了一种基于高阶π演算的构件演化模型。在定义演化构件的基础上，将演化过程中的行为描述为原子行为、结构行为和操作行为，建立行为与高阶π演算间的转换规则、
SetPi-演算及其对本体演化的建模，刘磊，范茸，对Pi-演算进行语法扩展，提出了一种新的演算：SetPi-演算，在Pi-演算原有语义的基础上引入了“集合”的思想，从而解决了Pi-演算无法添
PiCal2NuSMV为本文研究生阶段实现的一个从Pi-演算模型到SMV程序代码的自动转换工具。PiCal2lNuSMV共分为三大组件：Pi-演算文本解析器、转换适配器和SMV程序产生器。Pi-演算文
PiCal2NuSMV为本人研究生阶段实现的一个从Pi-演算模型到SMV程序代码的自动转换工具。PiCal2lNuSMV共分为三大组件：Pi-演算文本解析器、转换适配器和SMV程序产生器。Pi-演算文
PI7.3新功能& XI 7.3新功能介绍
PI7900电磁搅拌器专用电源介绍 电磁搅拌工作原理 电磁搅拌效果 电磁搅拌电源应用案例
时钟晶振
树莓派开发的经典书籍，希望对大家有所帮助！
用户评论