摘要：为了给虚拟角色合成出逼真的大范围运动数据,提出一种为特定运动路径配上自然多样的人体运动数据的方法.该方法将待匹配运动路径分割为一系列短小的运动路径片断,并在一个结构化的运动状态机上逐片断地寻找最为匹配的运动序列;然后将这些运动序列依次连接起来,得到一段连续的、满足运动路径约束的人体运动数据.用户还可以交互式地设计运动路径上一个路径片断的运动类型.该方法适用于待匹配运动路径运动范围大、对多条运动路径同时计算匹配运动、多条运动路径之间交叉频繁的情景.

摘要：大数据电商时代,数据交易可使彼此孤立的数据资源得到协同共享与价值利用,营销标签作为电商业务中数据交易的主要形式,拥有巨大的潜在价值.然而传统数据交易市场面临3个主要问题:1)中心化平台信息不透明导致信任危机和恶意竞价排名;2)缺乏合理的激励机制来打破数据孤岛导致数据不流通和共享困难;3)数据安全威胁导致隐私泄露和数据倒卖盗卖等问题.为解决这些问题,设计了一种面向电商联盟的区块链营销标签交易机制DSTS(decentralized data security transaction system),以去中心化为基础设计上层共识激励机制,结合可信执行环境完成系统各项数据交易和计算业务,从而实现了一个安全完备的数据交易生态.通过真实性验证机制确保营销标签有效性,设计共识激励机制使用户积极共享数据,利用智能合约对角色行为按照系统设计规范进行有效约束;随后通过SGX(software guard extensions)远程认证实现密钥传输和数据安全存储,实现了智能合约安全调用来保障用户隐私和数据安全;最后,通过可信计算机制和系统设计思想,实现了数据交易结果的可靠交付.为验证系统的安全性和实用性,采用某电商公司提供的35万条真实数据进行性能测试,测试结果表明系统能够同时保证安全和性能需求,其额外开销主要来自远程认证模块且在可接受范围内.

摘要：OBE教育理念的核心是学习成果导向性,它引领了一种全新的教育模式。以“数字电路设计”课程为例,该理念被巧妙融入教学模式,实现了两者间的深度融合。在实施教学改革的实践探索中,教师基于OBE理念并采用多元化的教学方式,显著提升了该课程的教学质量与效率。这种模式不仅有效强化了学生的学习成效,还极大地激发了他们的创新能力,充分契合了新工科时代培养具备创新精神、实践能力和跨学科素养的复合型人才的需求。

摘要：电视广告作为一种商业服务的重要宣传手段,在现代社会里扮演着极其重要的角色。随着社会的发展,人们价值观的变化,电视广告媒体语言随之推陈出新,然而要想在纷繁复杂的各种媒体信息里脱颖而出,就必须追求更高的艺术表现手法。多元化的艺术表现形式带来了多元化的美学追求,动漫元素的出现无疑为电视广告注入了一剂新鲜血液。

摘要：介绍了B/S模式下具体的一个价格监控系统的设计与实现。从系统的整体功能入手介绍了该系统的具体功能构成;侧重介绍了系统中显示次序、数据信息的实时更新、客户与服务器间的隐蔽式交互等技术要点的设计与实现。这对同类系统的设计研究具有一定的参考价值。

摘要：针对悲观锁机制并行性不足的缺点,改进了Zookeeper的悲观锁机制并设计了一种乐观锁协议。通过研究分布式锁机制和Zookeeper的工作原理,提出了一种可以降低总执行时间的乐观锁协议,从理论上与三种不同协议进行了对比和分析,在保证数据一致性的同时,得出乐观锁协议为最优化设计,且对该协议的互斥性、死锁性和公平性加以证明。实验结果表明,乐观锁协议使系统性能有较大幅度提升,并且与其他协议相比,在总执行时间、占有带宽等方面均有一定优势。

摘要：以吴方法为理论基础,提出一种针对高层次设计验证的定界模型检验方法·通过使用多项式等式建模高层次设计和待验证性质,将定界模型检验问题转化为定理证明问题,并用吴方法有效地解决该定理证明问题·实验结果表明,与基于布尔SAT、基于LP的RTLSAT以及基于非线性求解器的性质检验方法相比,该方法在时间消耗上具有相当大的优势·

摘要：阐明了产品风格的基本内涵、认知过程和主要研究内容,进一步从认知心理学、形状文法、感性工学、模式识别等4个方面总结了产品风格计算的研究进展,最后指出了其发展趋势·

摘要：针对多品种、小批量复杂产品综合调度中,因忽略工艺树整体约束关系而产生较多设备空隙、影响设备利用率的问题,提出了工艺树子树循环分解的资源协同综合调度算法。算法首先设计了子树循环分解策略,建立了以工序串为单位的调度单元;其次设计了工序调整策略,有效解决了工序串在解重组时的冲突问题;最后设计了工序约束关系审核策略,严格保证了调度过程中工序的约束关系。实验结果表明,提出的算法相对于考虑串行工序紧密度的择时算法、基于工序集的动态关键路径多产品制造调度算法和可回退抢占的设备驱动综合调度算法,设备利用率分别提高了9.7%、6.3%和6.3%。

摘要：SECOS是一个自主产权的安全操作系统,符合国家4级标准。该文总结了SECOS设计过程中的关键技术,包括:安全增强/改进设计方法,在Bell-La Padula强制访问模型基础上修改建立的理论模型及其实现,系统开发过程形式化设计,隐蔽信道分析方法及防范措施,客体重用等。安全系统性能估算测试表明SECOS的设计和实现是成功的。