摘要：动画产业在项目生产管理过程中，大多数还存在信息化程度低的现实问题。从动画片生产管理的实际出发，以建立能够方便地进行动画项目生产管理、为生产管理者适时做出正确决策提供有力的支持管理信息系统为目标，进行系统功能需求分析以及用例分析。设计并实现能够解决生产管理信息的分散采集、综合利用、统一管理、资源共享的软件，用以科学化的管理动画生产，提高效率。

摘要：斯特林制冷机表面温度对红外探测器性能有直接影响,使斯特林制冷机散热设计优化在热真空环境下显得尤为重要。为了优化热真空环境应用的斯特林制冷机散热条件,基于Ansys计算平台进行了斯特林制冷机热真空环境的热仿真分析,设计了斯特林制冷机水冷散热工装,并对其进行了仿真模拟计算和试验研究。结果表明,制冷机内的温度最高位置为驱动板。设计了以铜为材质的沟槽结构的制冷机水冷散热工装,采用该散热工装后可有效降低制冷机表面温度。在外界环境温度不变的条件下,提高散热工装的进液口温度时,制冷机电机外壳温度和散热工装温度升高,散热工装进出液口的温度差逐步缩小。

摘要：谓词执行信息收集和利用的程度会直接影响基于谓词的统计学缺陷定位方法(PBSD)的定位效果.文中主要围绕两个问题进行研究:(1)是否可以通过增加谓词的执行信息量来提高算法的定位精度?(2)执行信息量与算法定位精度有什么关系?在此基础上,设计了一种基于谓词执行序列的软件缺陷定位算法,通过引入谓词执行序列增大算法使用的谓词执行信息量.实验表明,增大谓词执行信息量确实可以提高缺陷定位精度,且当程序中谓词执行信息量充足时,定位精度会随信息量的增加不断提高.

摘要：基于儿童认知特征的交互界面设计是当前界面设计的主流。本文通过色相差异认知实验,探究8~12岁儿童对人机交互界面中色相差异的辨别认知情况,总结出正确运用色相差异进行儿童人机交互界面色彩设计的方法。

摘要：在异步热线切割成型EPS模样技术中,由于传统二维CAD设计无法准确地描述三维实体,从而导致模型设计与加工存在偏差。利用Microsoft Visual Studio软件完成异步线切割加工装置的控制系统设计,基于Open GL实现三维模型仿真优化工艺,提高材料利用率以及加工效率,完成三维EPS模样加工。

摘要：POPBL(Problem-oriented and Project-based Learning)的教学模式为教师的教学改革与实践提供了一种新的选择。首先分析了POPBL在物流管理课程教学中应用的意义,进一步围绕POPBL教学模式的理念,从构思研究项目、设计问题、组建项目团队、学生探索学习、课堂展示及书面报告和评价等方面具体阐述了POPBL在物流管理课程教学中的应用步骤,最后指出了POPBL在应用中的不足和改善措施。研究成果为其他教师的课程教学改革提供了参考。

摘要：职业教育的课程教学改革是促进职业教育高质量发展的重要手段之一。首先分析了职业教育的发展现状,进一步从教学方法、学生实践能力和培养目标等方面识别了职业教育课程教学存在的问题。通过引入OBE(成果导向教育)这种先进的教学理念,从培养目标、教学内容整合、教学评价方法以及模拟企业实践情境的设计,提出了基于OBE理念的《饮食业基础知识》课程教学改革方案,最后通过教学实践验证了本方案的有效性。研究有助于强化学生的实践能力的培养,为相关课程的教学改革提供了参考。

摘要：软件缺陷定位技术通过比较程序正确与错误运行过程中的不同行为特征,找出导致错误运行行为的代码。任意一种软件缺陷定位算法都有其适用的环境或条件,如果能够在其设计与选择过程中考虑到这些因素,将对提升算法的使用效果起到积极作用。在已有研究的基础上,选择了Tarantula、Zoltar等10种具有代表性的基于程序谱的缺陷定位算法作为研究对象,并通过语句级别的插桩设置,在space、flex等常用程序集上展开实验研究,提出了一种度量指标来评估不同算法受测试用例集类别比例变动的影响。实验结果表明,不同算法受类别比例变动的影响有很大差异,一些算法的定位效率受类别比例变动的影响较小,而其他算法的定位效率在类别比例变动时则呈现出跳变特性。

摘要：针对计算机系统设计的正确性问题,研究了一种在测试空间上完备的形式化方法,探讨了硬件系统在定理证明器HOL4中进行形式化验证的一般方法,其中包括如何采用高阶逻辑形式化描述系统的实现与规范,以及在HOL4中证明目标的一般过程.同时,以乘法器为实例,提出一种功能分解法对需要分析的电路进行形式化建模,并对模型的性质在HOL4中进行推理与验证,从而证明了乘法器电路设计的模型满足所提取的性质.

摘要：目的比较2株分离自手足口病(hand,foot and mouth disease,HFMD)和疱疹性咽峡炎(herpangina,HA)患者粪便样品中的柯萨奇病毒A组10型(Coxsackievirus A10,CA10)全基因组差异及基因特征,探讨基因突变可能导致的临床症状差异。方法收集昆明市儿童医院经实时荧光定量PCR检测结果为CA10阳性的HFMD及HA患者粪便样品,在敏感细胞人横纹肌瘤细胞(rhabdomyoma,RD)上培养并分离出CA10。设计特异性引物扩增获得CA10全基因序列,通过BioEdit软件比较分离自HFMD及HA患者的CA10基因序列核苷酸与编码氨基酸之间的差异。从NCBI基因库(https://***)中下载CA10 VP1基因序列作为参考序列,系统进化树分析分离获得的昆明CA10流行株的进化情况及来源。结果分离自HFMD和HA患者的CA10-HFMD和CA10-HA的VP1区域核苷酸同源性为99.1%,氨基酸同源性为99.8%,且存在2个非同义突变位点;全基因序列核苷酸同源性为98.9%,编码区氨基酸同源性为99.5%,且存在12个非同义突变位点。系统进化分析表明2个昆明CA10分离株均位于G基因谱系,且与KF999765(北京)和JX473455(深圳)株亲缘关系最近。结论来源于HFMD和HA患者的CA10分离株在核苷酸和氨基酸水平上相似性较高,且属于同一基因谱系。基因突变导致的氨基酸变异可能影响病毒的毒力从而导致患者症状的差异。