化简论文

面向语义约束的协同验证研究
论文摘要随着网格技术的不断发展及网格应用研究的深入,网格环境下业务流程越来越复杂。随着业务流程规模因跨领域跨组织而增大,导致业务流程的高复杂性,就会由于状态空间爆炸而给网格工作...
移动IP安全组播算法研究
论文摘要随着移动设备的普及和移动技术的发展,移动与组播的结合给互联网带来了新问题:原有组播路由协议只考虑了静态的情况,若把移动节点的动态移动当作组播成员退出加入,组播树需要频繁...
近代数字理论中的特殊运算及其应用研究
论文摘要作为二值数字电子学的基础，传统的数字理论——布尔代数中基于与或非三种基本运算的代数系统的研究早已成熟。为了开拓新的数字元件及新一代数字电路，人们一直十分重视有关代数理论...
刘坤：应用不变量化简四维欧式空间中二次曲面的方程论文
本文主要研究内容作者刘坤,任润润,任晓娜（2019）在《应用不变量化简四维欧式空间中二次曲面的方程》一文中研究指出：利用四维欧式空间中二次曲面的5个不变量和3个半不变量取值的不...