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

摘要：唐卡图像包含内容丰富、颜色复杂,使用基于形态成分分析(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,且随着多糖含量的提高,其自由基清除能力提高,呈现剂量效应关系。所得提取工艺设计空间稳定可行,为藏柳茶多糖提取和产品的综合开发利用提供理论技术支持依据。

摘要：从伦理精神的层面出发,对改编自安徒生童话的两部迪士尼动画电影进行考察,可见其伦理诉求也是电影的基本主题,分别呈现为代际冲突与家庭伦理、冒险旅程与道德完善.影片的伦理诉求也受到了安徒生童话的伦理意识的深刻影响.迪士尼虽然以全新的方式占有了安徒生童话,但作为文学经典,其所蕴含的伦理价值,却在迪士尼创造的新的艺术形式下焕发出新的生机.迪士尼让安徒生童话的伦理价值得到更广泛意义上的传播,同时也通过巧妙的借鉴与改装,重新构建了自身的伦理意义.

摘要：针对不确定性问题的模糊性和信息不完整性,将广义正交模糊集和粗糙集进行融合研究。首先,基于广义正交模糊关系建立了广义正交模糊粗糙集并讨论了该模型的性质。其次,在广义正交模糊信息系统中定义了信息熵,探讨了该模型的属性约简。基于此,设计了信息熵约简算法,并将其应用到一个实际案例中,阐述了该算法的有效性。

摘要：磁控溅射真空镀膜技术与传统的化学电镀技术相比,具有环保、降耗、减排等优点,磁控电源是这种镀膜装置的关键部件之一。该文研究和设计了以高频开关电源技术为基础的高效率、大功率磁控稳压电源。文中介绍了主电路、控制电路的原理设计,用Matlab仿真软件搭建了电路模型,并进行了仿真实验,在此基础上完成了硬件电路、软件程序设计。通过AT89C51单片机实现了在不同工作方式下电源输出电压和电流的调节。实际应用证明该电源具有恒流控制效果好,可靠性高,工作稳定等优点。

摘要：随着非线性负载的大量接入和电力系统自身的发展,电力系统中的谐波污染日益严重,谐波影响着电力系统的可靠、安全、经济运行,同时对电力用户也造成潜在的威胁。该文设计了以TMS320F2812型DSP为核心的有源电力滤波器对电力系统的谐波进行了补偿。完成硬件电路的搭建和软件程序编制,对性能、参数进行了测试,测试结果表明设计的滤波器具有电路结构简单、补偿效果好等优点。

摘要：由于多属性决策问题中属性本身具有不确定性的特性,在不考虑属性本身的不确定性情形下,决策者所做的决策存在准确率偏低的情况,从而影响决策结果的效果。针对此问题,本文首先在Pythagorean模糊软集的基础上,将属性进行量化,引出一种广义Pythagorean模糊软集,并讨论了其基本性质。其次,给出了一种广义Pythagorean模糊软关系并利用Pythagorean模糊软集的得分函数,设计出一种决策失误降低的决策方法。最后,提出一种广义Pythagorean模糊软集的相似测度方法,将该方法应用于医疗诊断,并通过一个实例说明了该方法的有效性。

摘要：为了探讨Toll样受体2基因与荷斯坦牛乳腺炎抗性的相关性,本研究选取中国荷斯坦牛为试验对象构建DNA池,设计4对特异性引物,并结合克隆测序法对中国荷斯坦牛TLR_2基因编码区进行多态性筛查。结果显示,荷斯坦牛TLR_2基因编码区有6个核苷酸突变位点,分别为T602A-Intron2、G10900C-Exon2、G11047C-Exon2、A11076T-Exon2、C12077T-Exon2、T10634G-Exon2,其中T10634G-Exon2为错义突变,其余均为同义突变,SNPs突变前后等位基因频率有明显差异。6个SNPs等位基因频率分别由0.8067、0.7843、0.7959、0.7647、0.6897、0.8413突变为0.1933、0.2157、0.2041、0.2353、0.3103、0.1587。研究结果可为中国荷斯坦牛的分子抗病育种提供理论依据。