摘要：信息产业飞速发展,芯片设计的复杂性与日俱增。在复杂的电路设计中,经常包含某些功能未知的模块,这样的电路称为部分实现电路。为了保证产品设计的正确性,对部分实现电路进行等价性验证,提出了一种基于可满足性的优化算法。首先对部分实现组合电路进行"逻辑锥"分割;其次根据匹配的逻辑锥创建Miter电路,并且使用符号模拟技术对电路中的功能未知模块进行变量约束;最后对多个Miter电路的合取范式依次进行可满足性验证。通过在包含单个未知模块的ISCAS'85基准电路以及包含若干大小相近未知模块的组合电路上得到的实验数据,表明了此算法能够较好地提高电路检错率。

摘要：为了研究铅芯橡胶支座的端部水平动剪力与静剪力的关系,提出了动静比,并对于橡胶剪切模量为0.6 MPa的铅芯橡胶支座进行动静比的初步分析,依据建筑抗震设计规范对铅芯橡胶支座竖向设计荷载的规定,采用非线性模型对常用的铅芯橡胶支座进行动力时程响应分析,研究了铅芯橡胶支座的直径、屈服后刚度与屈服前刚度比及其竖向设计荷载等参数对地震作用下铅芯橡胶支座端部水平动静比的变化趋势和分布状态的影响,主要探讨了各种参数下剪切变形与动静比的变化关系,给出了动剪力的简化计算的一般公式.研究表明随着铅芯橡胶支座剪切变形的增大,其动静比逐渐的在降低,动剪力和静剪力逐渐接近.当剪切变形达到250%时动静比在1.25以内,此时动剪力简化计算结果与数值分析结果变化趋势基本一致,具有一定的可靠性.

摘要：唐卡图像包含内容丰富、颜色复杂,使用基于形态成分分析(MCA)的图像修复算法修复图像时,增加全变分对恢复有毛糙边缘的分段光滑图像效果较好,但其很难有效利用图像全局冗余相似信息,并且易产生阶梯效应.针对该问题,提出一种快速的非局部均值MCA唐卡图像修复算法.该算法利用像素周围固定大小窗口内的信息表征该像素的特征,使得像素估计结果能够很好地保留结构细节信息,即分解后的结构部分具有更稀疏的梯度,使得后续的迭代分离效果更加优良;同时,使用该算法有效地减少了区域内不相关像素权值的计算,降低了算法的复杂度.对于唐卡图像中出现的折痕、斑块状破损以及部分信息缺失的修复实验结果表明,文中算法具有良好的修复能力.

摘要：目的调查某民族高校汉族、藏族、蒙古族、回族中老年教职工慢性病危险因素及相关知识的认知状况,探究其与高血压的关系。方法设计慢性病行为危险因素及相关知识调查问卷,采用多阶段分层系统抽样的方法,以学院为单位对980名教职工进行面对面询问式的问卷调查。结果男性吸烟率、饮酒率、食盐、进食肉类、参加体育锻炼、超重、肥胖均高于女性(P<0.05),女性进食蔬菜率高于男性(P<0.05);两两比较吸烟率、饮酒率、食盐、食入油、压力、慢性病跟踪接受情况、超重患病率均无差异,进食肉类藏族、蒙古族、回族较汉族高(P<0.05),进食蔬菜汉族较三个民族高(P<0.05);慢性病知晓情况汉族、回族好于藏族、蒙古族(P<0.05),肥胖患病率低于藏族、蒙古族(P<0.05);高血压患病率汉族最高。结论跟慢性病相关的危险因素男性较女性高而多,藏族、蒙古族教职工需加强慢性病健康教育;年龄是影响4个民族教职工高血压患病的因素,藏族、蒙古族的超重肥胖是高血压独立危险因素。

摘要：该研究以藏柳茶为原料,用聚乙二醇-超声酶法辅助提取其粗多糖,采用响应面法优化其提取工艺参数。进一步用高效凝胶渗透色谱(HPGPC)高效液相色谱(HPLC)红外光谱(FT-IR)和扫描电镜(SEM)对藏柳茶多糖(SAPs)的结构进行初步解析,并考察其抗氧化活性。聚乙二醇-超声酶法辅助提取SAPs的最佳工艺参数为:PEG-400浓度为30%、酶添加量2%(m/m)、pH值4.0、超声功率80%、超声时间2.0h、超声温度80℃。此条件下,藏柳茶多糖提取率为10.95%。经HPLC分析,SAPs主要由半乳糖(13.34%)、葡萄糖(46.76%)、鼠李糖(8.78%)、果糖(2.89%)和阿拉伯糖(11.79%)组成;FT-IR及SEM分析表明,SAPs是一种β-糖苷键的吡喃型非晶态多糖结构。此外,SAPs体外抗氧化活性结果表明其DPPH·清除能力、·OH清除能力和·O_(2)清除能力的IC_(50)值分别为0.42、2.08、0.28mg/mL,且随着多糖含量的提高,其自由基清除能力提高,呈现剂量效应关系。所得提取工艺设计空间稳定可行,为藏柳茶多糖提取和产品的综合开发利用提供理论技术支持依据。

摘要：利用响应面法研究了早酥梨果酒加工的最优条件,并用SPME-GC-MS技术分析了果酒主要香气成分。结果表明:早酥梨在初始可溶性固形物含量24°Brix、pH 4.3、28℃发酵温度、0.68g/L的接种量的最优条件下发酵9d,并经过陈酿后得到12.4%的酒精体积分数且品质良好的果酒,高级醇3-甲基-1-丁醇和苯基乙醇为其主要香气成分。

摘要：关于普罗普的学术思想渊源问题,学界普遍认为俄国历史主义诗学是其主要来源之一。通过认真研读普罗普的学术论著,不难发现普罗普故事学思想与歌德的有机整体论哲学思想有密切关系,有机整体论哲学思想是自然科学和艺术思维的完美结合,这一思想影响了普罗普对民间神奇故事的结构研究,并得出普罗普公式。此外,在研究方法和关键性概念上,歌德也影响了普罗普。

摘要：以人参果为原料,对预干燥后的人参果片进行微波膨化,探讨了微波膨化人参果脆片的最佳工艺。通过单因素实验分别探讨了切片厚度、水分含量以及微波时间等因素对膨化率的影响。在此基础上,以膨化率为指标,设计了Box-Behnken实验。通过统计和数学分析,得出微波膨化人参果脆片的最佳工艺参数为:新鲜原料质量200 g,切片厚度9 mm,预干燥采用热风干燥,温度85℃,预干燥结束时切片水分含量为10.5%,选择微波功率700 W、微波处理时间65 s,在此优化条件下得到的人参果脆片膨化率为43.7%。所得产品口感酥脆、具有浓郁的人参果香气。

摘要：隔震结构设计一般要求上部结构尽量规则,避免扭转的不利影响,为了研究规则结构中楼梯对隔震结构减震性能的影响,本文建立了考虑楼梯作用的隔震结构动力方程,提出采用附加系数法对该动力方程进行简化,以某规则的实际隔震工程的基本参数为基础,应用数值分析软件Matlab2010对该简化方程进行了数值分析,主要分析了6种不同刚度附加系数时隔震结构在7条地震波作用下42个工况的动力时程响应,研究了其减震效果的变化规律,最后采用实际工程对所得结论进行了验证。结果表明在规则结构中,楼梯对于隔震结构的减震性能影响明显。考虑楼梯影响后上部结构层位移和层间位移角均减小,隔震结构的水平向减震系数降低,结构减震效果明显,从而确保地震过程中上部结构更加安全。所得结论可为隔震结构的设计提供必要参考依据。

摘要：作为当代中国古典舞流派之一,敦煌舞既保持着中国古典舞的要素,也在很多方面充分彰显出她的与众不同。在敦煌所有的石窟壁画中,凡是有舞蹈图像必有乐器图像,呈现出一种有乐必有舞,有舞必有乐的局面。而壁画中这种固定艺术形式——乐舞共存,也形成了敦煌舞中持乐器舞蹈的独特艺术表现手法。所以敦煌舞中,乐器已成为不可或缺的组成部分,成为敦煌舞独有的艺术表现手法。壁画乐器在敦煌舞中的合理运用对丰富和增强敦煌舞蹈的艺术表现力及感染力起到极大推动作用,它不仅能使敦煌舞蹈的主题得到升华,更重要的是能够不断丰富敦煌舞的创作,持续创新,增强敦煌舞的舞台表现力,突破敦煌舞蹈创作和发展的瓶颈,将敦煌舞发扬光大。