安全的移动Agent系统体系结构——Jamogent

在分析现有移动 Agent系统特点和 MASIF规范的基础上给出一个具有高安全性的移动 Agent系统体系结构—— Jamogent,描述其工作流程 。

周期环的刻划

证明环 R是周期环的充分必要条件是对 a,b∈ R,均有自然数 m,n,k及常数项为零的整系数多项式 f ( x) ,使得 ambk=anbkf ( b)

基于自由度分析几何约束求解方法中过约束和欠约束的处理

在自由度分析方法的基础上使用依赖图,解决了约束求解过程中的过约束和欠约束的处理问题.依赖图中保留了求解问题中变量间的依赖信息.当系统发现矛盾的过约束时或欠约束时会给使用者显示提示信息,由用户进行处理.

基于权图搜索的约束求解

介绍一种基于加权约束图搜索的二维几何约束的求解方法或称之为求解过程 ,并对一些相关的概念进行阐述 .该几何约束的求解是在几何实体自由度衰减的基础上进行的 .求解过程中 ,在图的基础上提出循环约束的查找算法 。

π正则环的圈乘半群

证明 π正则环的圈乘半群是 π正则半群 .