论文研究 基于pi演算的UML状态图的组装机制以及模型精化的验证 .pdf

分析了面向对象类与对象间的关系，在此基础上建立了对应的属性模型并且以关系演算的方法进行捕获模型的对象关系；讨论并实现了动、静态相结合的基于Java语言的经典设计模式检查工具，并以该工具为基础做实验对一

基于SOA的异构构件组装模型研究浙江师范大学硕士学位论文2007盛贤良瞿有甜副教授

UML笔记2（状态图、活动图、协作图、组件图、配置图）

论文研究-一种基于π演算的行为建模形式化方法.pdf,  根据人的行为建模形式化方法需求, 针对直接应用π演算形式化建模人的行为所存在的不足, 尝试以π演算为基础扩展定义了一种人的行为建模形式化方法π

针对目前概念模型动态部分内容的验证由于其复杂性难以通过阅读式地审查发现其中的瑕疵等问题，提出了利用Petri网进行概念模型验证的一种新思路，研究了进行概念模型验证的具体步骤，分析了概念模型错误对应的P

对RoughSet理论中属性域约简、决策表及Rough算子等问题进行了研究，分析了RoughSet理论与模糊集理论及证据理论的关系，着重对基于RoughSet理论的推理机制进行了研究。

基于Android的密钥保护机制的研究，黄洋，苏放，安全因素一直是Android应用开发关注的重点。随着移动支付领域的兴起，数据安全问题越发受到重视。Android应用数据一般通过加密来进行�

基于状态空间划分的预测状态表示模型学习算法，刘云龙，，预测状态表示（PredictiveStateRepresentations,PSRs）是解决局部可观测问题的有效方法，但现有研究往往以整个状态空间

基于pi演算的软件体系结构形式化研究任洪敏phd

提出一种在模型驱动开发过程中的形式化语义描述方法。该方法利用元建模技术，形式化地描述了元模型及其语义间的映射关系，以提供精确的语义描述，从而为模型驱动开发提供有力的支持。将描述框架用于模型转换规则的定