摘要：为了在虚拟环境下实现工作空间设计的人机工程评价,提出了一种新的计算机辅助人机工程设计研究方法.该方法包括对人机工程咨询系统、人机工程仿真系统和人机工程评价系统的整合研究.将人体测量、人体建模、虚拟人运动控制与仿真、人机评价等关键技术结合起来,构建了计算机辅助人机工程设计系统,并以汽车驾驶座椅设计为例进行了实时评价验证.试验结果表明,该方法可以有效地应用于虚拟环境中汽车驾驶空间的人机工程仿真与评价,支持产品开发设计.

摘要：分布式乘法计算是安全多方计算中的重要部分,也是设计门限密码体制的基本协议.应用可验证秘密共享的方法,设计了两种不同情况下的整数环上多项相乘的鲁棒分布式乘法计算方案.其中并行不交互的鲁棒多项相乘的分布式乘法计算方案效率较高,且保持了不交互特性,而另一种方案却能达到最优弹性.

摘要：建立了确定区域供冷系统冷冻水输送管线最优水流速度和保温层最优厚度的优化模型 ,其目标函数为系统的年度费用 ,由冷冻水二级泵的年运行费用、冷冻水输送管线冷量损失费用、二级泵功耗导致的冷水温升所产生的费用、冷冻水二级泵的折旧和维修费用以及冷冻水输送管线折旧和维修费用 5个部分组成 .考虑全年变负荷运行的特点 ,在部分负荷时假设冷冻水的供回水温差不变 ,采用变频泵调节流量 .通过实例计算 ,得到以下结论 :对于区域供冷系统 ,存在最优的水流速度和保温层厚度 ;冷水输送距离对最优水流速度和保温层最优厚度没有影响 ;最优水流速度随电价升高而降低 ,随设计冷负荷增大而升高 ;保温层最优厚度随电价升高而增加 。

摘要：在低速大尺寸单级压气机实验台上,利用SPIV技术测量了设计状态和近失速状态下压气机转子尖区多个截面的 三维瞬态速度场。基于瞬态场测量结果,详细分析了设计状态和近失速状态下压气机转子叶尖泄漏涡产生、发展、失稳、 破碎的演化过程。

摘要：为研究强流质子RFQ加速腔的设计与加工工艺 ,研制了一台全尺寸无氧铜工艺腔 .本文介绍了其物理设计与机械设计、机械加工与钎焊工艺研究及其高频性能的测量和调节 .经调节 ,RFQ工艺腔可以达到较为理想的电场分布 ,其 4个象限电场分布的一致性和平整度均能满足要求 。

摘要：针对我国平板显示器件数字视频处理技术及芯片开发的需求,提出一种新结构的数字视频后处理芯片DTV100的设计方案及其关键技术指标.采用高效的SDRAM控制器实时地完成三维视频降噪、去隔行、帧频提升和运动补偿消锯齿、电影模式处理.提出了一种基于运动边缘检测的三维自适应降噪算法和基于双线性插值的视频缩放算法的硬件实现方法,该方法具有结构简单、硬件资源开支少、性能稳定的特点.依照规范的芯片设计流程,采用0.25μm CMOS工艺实现数字视频处理专用集成电路.与同类芯片的比较实验表明,该芯片性价比高.不同降噪因子的三维降噪功能测试表明,该芯片功能正常,达到了预期的技术指标.

摘要：用设计的特异引物,扩增得到了N-端带有6×His编码序列的口蹄疫病毒完整3ABC基因序列,并将其亚克隆入带有蜂毒溶血肽序列的穿梭质粒pMelBac-B中,构建了重组质粒pMel-3ABC。将该重组质粒与杆状病毒骨架DNABac-N-BlueTM共转染Sf9昆虫细胞,通过噬斑筛选和PCR鉴定,获得了含有目的基因的重组杆状病毒。重组病毒感染Sf9昆虫细胞,采用通过SDS-PAGE和Western blot检测,证明目的基因在昆虫细胞中得到了正确的表达,表达产物分泌至细胞培养上清中,并具有良好的生物活性。表达的目的蛋白经过镍柱亲和层析法纯化后,用间接ELISA方法检测与口蹄疫病毒感染动物血清的反应性,证明表达目的蛋白与感染动物血清有很好的反应性而与正常动物以及免疫动物血清不发生反应。该研究为建立一种更加敏感和特异的口蹄疫病毒感染动物与疫苗免疫动物的鉴别诊断方法奠定了基础。

摘要：为了拓宽由标准正交基与广义Ball(GB)基所构造的新的参数曲线的使用范围,研究了用它们表示圆弧的一整套理论,包括表示圆弧的充要条件、圆心角范围和几何作图法等.以最基本而常用的有理三次形式为研究类型,运用几何代数和基变换这两种方法,研究了以有理三次形式的Delgado-Pe^na(DP)曲线、Wang-Ball曲线与Said-Ball曲线表示圆弧曲线段的方法,找到了用这3种曲线分别表示圆弧的充要条件,推导了算法,并给出了圆心角范围和几何作图法.研究结果既可用于圆弧的各种有理化参数设计,又可用于鉴别一条有理三次DP或GB曲线是否为圆弧.

摘要：应用FLUENT计算软件对某型号船舶余热排出热交换器进行数值模拟 ,采用GAMBIT网格生成技术建立物理模型 ,在FLUENT中采用合适的计算模型、差分格式和边界条件 ,对计算结果进行后处理分析 。

摘要：该文提出了一种针对多个难达目标状态的激励生成方法,该方法基于抽象引导的半形式化方法框架.采用一个评估函数对候选状态进行评价,该评估函数综合考虑了从一个状态到不同目标状态的全局抽象距离信息,评价出从各个状态到达某个目标状态或者同时到达多个目标状态的潜能,并以此指导模拟过程直到最终搜索到一条能同时覆盖多个目标状态的状态序列.此外,该文采用了基于路径约束求解的激励生成方式,这种方式结合了具体模拟和符号模拟技术,符号模拟沿着具体执行路径提取分支条件构成路径约束,通过约束条件的翻转与求解能够有效地产生输入向量,以一种较均衡的模式遍历设计的状态空间,帮助验证快速覆盖到目标.实验结果表明,该文方法能够有效地同时验证设计中的多个目标状态.