排序方式： 共有4条查询结果，搜索用时 0 毫秒
1
1.
基于超图文法的软件体系结构动态演化 总被引：2，自引：0，他引：2
提出用带约束的超图表示软件体系结构,给出基于超图态射的软件体系结构动态演化通用产生式规则的形式化语义和操作,定义类型超图作为体系结构风格,运用超图文法和体系结构风格建模软件体系结构动态演化.为了验证软件体系结构动态演化的正确性,采用模型检测技术,设计算法对软件体系结构动态演化性质进行形式化验证,并应用模型检测工具进行实验分析.该方法既提供了图形化的直观表示,又展示了基于文法的形式化理论框架. 相似文献
2.
短消息是移动用户之间通过手机来发送和接收信息的一种形式，本文详细讨论了如何运用C#的控件技术，利用第三方控件SMSControl，采用Windows的“服务”形式，实现手机短信息服务． 相似文献
3.
介绍了VRML和当前教学的现状,然后以开发"电脑DIY多媒体课件系统"为例,论述了基于VRML的虚拟现实技术在多媒体教学系统中的应用. 相似文献
4.
分析了目前H.264/AVC已有的非规则运动分块方法的优缺点,根据高效率视频编码(High Efficiency Video Coding,缩写HEVC)标准,提出了三角形的帧间预测单元(Prediction Unit-PU)运动分块,相比常规的PU运动分块,它的斜边更适合一些场景中有着斜边的运动对象,从而提高编码效率.根据该三角形的运动分块形状,提出三角形PU运动分块的运动向量预测方法和运动估计方法.通过分析斜边将产生的块效应方向,相应地提出了优化HEVC滤波方法.实验结果显示,相比已有的非规则运动分块的编码方法,在编码时间平均上升23％的前提下,本算法在BD-rate方面平均降低了2.1％. 相似文献
1