论文部分内容阅读
建立软件交互行为模型是认识软件的内部机理和运行规律的基础。根据监控收集的典型的电子商务软件交互日志文档，挖掘其中的不变量约束规则，借鉴有限状态机构造方法构建动态模型。为确保模型的确定性和完备性，对模型进行精化和抽象，并给出了相应的建模算法。通过实例证实了该方法的正确性和有效性。
基于软件交互行为日志的动态模型构建
【摘 要】
：
建立软件交互行为模型是认识软件的内部机理和运行规律的基础。根据监控收集的典型的电子商务软件交互日志文档，挖掘其中的不变量约束规则，借鉴有限状态机构造方法构建动态模型
【机 构】
：
湖南化工职业技术学院信息工程系,湖南工业大学计算机与通信学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2013年20期
【基金项目】
：
国家技术创新基金项目（No.11C26214302856）,湖南省自科基金项目（No.12JJ2036,No.11JJ4050）.
其他文献
随着信息技术的不断发展,新课程标准中提出了信息技术与课程整合的要求,为＂仿真物理实验室＂在高中物理实验教学中的应用奠定了坚实的理论基础.实验是物理教学中的重点内容,通过
近期，卡西尼探测器拍摄到一些大型湖泊分布在土卫六北极地区．由于适宜的温度条件，液态甲烷和乙烷在土卫六内部流动．这是首次透过云层清晰地观测到土卫六北极，一些大型湖泊直径为数
以弱量式光电编码器在分布式光度计中应用为例，详细介绍了光电编码器信号处理和显示电路设计，为光电编码器可靠使用提供简单有效的方法。
针对乘客运输问题，提出一种基于粒子群算法的乘客运输车辆路径规划策略。初始化阶段对n个站点、m辆车的乘客运输问题编码成一个（n＋2m）维的粒子。迭代阶段对粒子进行解码，将一个（n＋2m
针对全局匹配算法复杂度太高的问题,提出了一种基于图割的快速鲁棒立体匹配算法。一方面,参考局部立体匹配算法的思想,优化图割求解中的网格图的节点和边缘个数,使得在进行图割全局优化求解时不需要遍历所有视差值,从而减少匹配时间;另一方面,用二维线性插值算法计算亚像素,提高匹配精度和算法鲁棒性。实验结果表明,该算法快速、鲁棒、准确。
民族要振兴、国家要富强、科技要发展、社会要进步，这一切都需要创新型的人才，可以说创新是社会发展的动力和源泉，培养学生的创新意识和创新能力是摆在我们面前的义不容辞的责任
阳极化电源是军工产品在进行硬质极化时频繁使用的关键设备之一,过去硬质阳极化过程中使用单机电源,工作人员需要经常进入非常恶劣的工作环境之中长时间工作,这对他们的身体
当前随着＂微视频＂走入人们的生活视野,也走进了课堂教学中.本文在比较微视频、微课这2种课堂教学现代化手段的基础上,用具体案例分析说明高中物理教学中使用微视频的可操作性和
试论林业企业的社会主义市场竞争张谦，朱海侠竞争规律作为社会主义市场经济的重要法则，是实现社会资源的有效配置，促进作为市场主体的企业全方位管理，增强活力的主要手段。林业企