摘要：为了从运动捕获数据中提取关键帧来进行人体动画创作,提出一种以重建误差或压缩率为目标的运动捕获数据关键帧提取方法.该方法将关键帧提取划分为帧预选和基于重建误差优化的精选2个阶段,在第一阶段,对原始动作序列筛选边界姿势作为候选关键帧,使最终关键帧序列具有较强运动类型描述能力;在第二阶段,定义帧消减误差作为关键帧重要性的度量标准,并定义最大重建误差作为关键帧提取过程中的优化目标,同时考虑压缩率目标,精选候选帧获得满足指定重建误差或压缩率要求的最终关键帧集合.实验结果表明,文中方法具有良好的数据压缩效果,能满足实时压缩的需要.

摘要：通过对目前工作流程审批现状进行分析以及对C/S和B/S两种流行系统架构进行比较,确定采用面向对象技术以及软件工程流程开发系统,以B/S模式作为系统架构,使用基于.NET的系统实现方法,系统实现了流程设计器和表单设计器两大核心部件,通过接口的配置,使其与其它系统集成,并最终实现了工作流程审批系统。目前该系统在实际中运行稳定,实际运行效果表明,该系统克服传统工作流程审批带来的缺点,实现办公自化,节约资源,大大提高了审批效率。

摘要：基于合约的程序设计是提高软件质量的一种重要技术,已经得到了很大的发展。合约描述了程序内部的基本属性、程序良性运行的保证条件以及运行后的期望结果。作为合约的一种表达形式,程序不变量一般包含类不变量、前置条件和后置条件。程序不变量是程序中隐含的属性,它可以应用于程序验证、软件测试技术、逆向工程、程序质量保证等领域。本文结合当前主流的程序不变量研究的相关成果和基于合约的程序不变量程序设计方法,分别从源程序编配技术、测试用例生成技术、程序运行轨迹收集技术和程序不变量分析技术四个方面,对程序不变量挖掘的关键方法和原理进行了详细的剖析。

摘要：通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约的似然程序不变量发现的基本理论模型,并结合Java建模语言进一步阐明程序断言动态生成技术及其现在产生的重点问题,针对提出的问题给出了相应的解决方法。

摘要：讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。主要描述基于合约的似然程序不变量发现的基本理论模型,以及程序不变量发现的主体过程,并结合Java程序设计语言进一步阐明函数依赖程序不变量动态发现的一种方法。通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。

摘要：经典的硬实时任务响应时间分析及其各种基于初始值的递归改进无法适用交互的实时设计环境.高效的近似分析方法是一种有效的选择,提出能高效计算任务最差响应时间上限的方法并给出与精确调度的误差量化分析,定义响应时间分析的线性近似请求约束函数并由此提出一个具有ε参数多项式时间复杂度的死线约束分析方法.针对死线约束分析方法本文将采用经典的近似比率技术和资源增值技术来分析该方法所提供的性能保证的程度.随机任务集的相关实验证明了所提出近似方法的有效性.

摘要：C语言是高等院校计算机专业学生的专业基础课,是计算机专业后续课程如数据结构、面向对象技术等课程的前期课程。能否学好C语言直接影响到后续课程的学习效果。文章以湖南涉外经济学院计算机科学与技术学院为例介绍了目前程序设计课程的教学概况,分析了C语言教学过程中出现的一些典型问题,并针对这些问题提出了改革措施。

摘要：将高桥墩简化为一端固支一端简支的受压杆,考虑大变形和混凝土的特殊本构关系,通过仿真分析得到在不同强度地震波下高桥墩从产生横向小幅振动到大幅振动直至失稳的全过程;得到了地震波冲击时高桥墩失稳的临界地震加速度和失稳时刻。通过算例的数值仿真分析比较了地震波幅值以及桥面质量大小对位移幅值响应曲线、临界地震加速度和失稳时刻的影响。所得结论对高桥墩的设计具有重要的指导意义。