论文部分内容阅读
动态软件体系结构语言已成为描述复杂软件体系结构的重要工具,然而许多描述语言都是静态的,并不能对动态软件体系进行描述。为此,对经典Z描述语言进行扩展,主要通过对构件、连接件和它们的添加以及删除来达到动态演化的目的。实例分析表明了这种扩展的可行性。
适用于动态软件体系结构的扩展的Z描述语言
【摘 要】
：
动态软件体系结构语言已成为描述复杂软件体系结构的重要工具,然而许多描述语言都是静态的,并不能对动态软件体系进行描述。为此,对经典Z描述语言进行扩展,主要通过对构件、连接件和它们的添加以及删除来达到动态演化的目的。实例分析表明了这种扩展的可行性。
【机 构】
：
西南民族大学计算机科学与技术学院
【出 处】
：
计算机应用研究
【发表日期】
：
2012年09期
【基金项目】
：
西南民族大学中央高校基本科研业务费专项资金资助项目（11NZYBS09）
其他文献
研究了有限域F2上有随机噪声的一组多项式的近似最大公因式问题,提出了基于近似最大公因多项式问题的公钥密码方案。证明了方案的正确性并归约证明了方案的安全性等价于求解近似最大公因式问题,同时讨论了对于该方案可能的攻击方式。通过与现有公钥系统比较,该方案的安全性和可靠性较高,运算速度较快。
事务所的经营规模问题是这次深港中小型会计师事务所座谈会的主要议题之一，近年来，在注册会计师行业刮起了一股合并旋风，一时间，联合，合并，兼并成了众多会计师事务所追逐的目标，许多
2002年底，深国投，深业集团两家市属国有企业与深圳市国家资委签定了“授权经营”合同；今年4月，深圳市机场集团、盐田港集团和深圳地铁公司三家市属国有企业又与市国资委鉴定了“
2002年底，财政部决定将原委托中国注册会计师协会行使的有关行政职能予以收回，而注册会计师协会则履行行业自律性管理职能，并要求各地理颊相应的管理体制。为何要收回注协的行政
针对体素着色方法所重建出的模型存在大量空洞与缺损的问题,提出了一种模型修复方法。首先采用改进的变分水平集方法恢复出封闭完整的体素模型曲面;再利用原始体素模型的颜色信息,对新生成的模型曲面进行重着色并滤除杂色,最终完成体素模型的修复。其中,改进的变分水平集方法在水平集能量函数中引入了符号距离函数自动规整项,避免了重初始化操作;添加了新的进化加速项,防止了隐式曲面穿透模型而造成模型侵蚀。实验表明,修复