算术逻辑运算单元的设计与仿真

本文利用Verilog硬件描述语言并采用结构化建模方法设计了一个算术逻辑运算单元，并对其进行了仿真测试。该算术逻辑运算单元的字长为32位，能够实现加法、减法、逻辑与、逻辑或四种运算，并产生相关的标志位。仿真结果表明该算术逻辑运算单元的功能是正确的。     

逻辑运算在定性意义下的连续性

现有的模糊逻辑一般采用定量的方法描述和处理逻辑运算,不能全面满足逻辑运算的公理化框架。使用布尔代数上的运算解释逻辑运算的语义,可以极好地满足除连续性以外的公理的要求。基于新定义的距离函数概念,能够在定性的意义下较为合理地解释逻辑运算的连续性,从而说明定性方法具有十分清楚的直观背景。     

集对逻辑及其运算定律

解决现行的集对联系函数四则运算中存在的不确定性问题与逻辑谬误.分析联系函数与模糊隶属函数在表达事物之间联系的相似性,借鉴模糊逻辑的基本方法,定义了以联系度为真值形式的集对命题,进而给出集对逻辑的析取、合取、取否运算法则,建立了集对逻辑的基本框架.在此基础之上,分析了集对逻辑运算的七大运算定律:对合律、幂等律、交换律、结合律、分配律、吸收律和摩根律,由此证明集对逻辑运算构成的代数(S,,,)为软代数.     

逻辑函数卡诺图及其应用

在数字电子技术领域,卡诺图不仅是表示和化简逻辑函数的重要工具,而且利用卡诺图还可以对逻辑函数进行各种基本逻辑运算。本文阐述了变量卡诺图和函数卡诺图的实用画法;推出了用卡诺图表示和化简逻辑函数的简捷方法。     

流体动力程序控制回路的状态式逻辑设计法

本文基于逻辑代数的基本方法提出状态式概念,利用状态式作简单逻辑运算,以确定干扰信号并排除干扰段,从而简化流体动力程序控制回路的设计。     

计算机辅助气动系统逻辑设计的研究

对计算机辅助气动系统逻辑设计进行了深入研究，选择逻辑综合的方法作为计算机辅助气动系统逻辑设计的基础理论基本方法，采用立方符号表述逻辑函数，把逻辑运算表示为立方的相交、相容及锐积运算，提出用判断最小项来完成对给定程序的判和校正，进而实现了计算机辅助逻辑综合，得到了的逻辑设计结果。     

概率逻辑中的命题相关性与逻辑运算

原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.     

计算机辅助气动系统逻辑设计的研究

计算机辅助气动系统逻辑设计的研究刘永贤，张瑞金，黄雨华对计算机辅助气动系统逻辑设计进行了深入研究，选择了逻辑综合的方法作为计算机辅助气动系统逻。辑设计的基本方法，采用立方符号表述逻辑函数，把逻辑运算表示为立方的相交、相容及锐积运算，提出用判断最小项来...     

PLC的微分二进制减法@SBB(051)指令实验

本文介绍PLC的微分二进制减法@SBB（051）指令的两个程序实验，一个程序经过逻辑运算观察借位位25504以及存放位018CH的状态。另一个程序通过逻辑运算，完成10S逻辑计时，控制5S后再进行以上的循环运行。     

计算机辅助气动系统逻辑设计的研究

本文对计算机辅助气动系统逻辑设计进行了深入研究，选择了逻辑综合的方法作为计算机辅助气动系统逻辑设计基本方法，采用立方符号表述逻辑函数，把逻辑运算表示为立方的相交、相容及锐积运算，提出用判断最小项来完成对给定程序的判断和校正，进而实现了计算机的辅助逻辑综合，得到了最优的逻辑设计结果，并将此应用于计算机辅助气动系统设计中取得了良好的效果。     

以斑马鱼模型评价6 种药物的神经毒性

摘要: 目的以斑马鱼为模式生物,评价6 种已知对人类具有神经毒药物吗替麦考酚酯、异烟肼、环孢素A、卡马西平、苯妥英钠和乙醇对斑马鱼的神经毒性。方法挑选受精后5 d( 5 dpf) 的野生型AB 系斑马鱼在含吗替麦考酚酯( 4. 5、15、45 和51 μmol /L) 、异烟肼( 1 460、4 866、14 599 和15 328 μmol /L) 、卡马西平( 17. 5、58. 3、175 和187μmol /L) 、苯妥英钠( 16. 7、55. 7、167 和185 μmol /L) 、乙醇( 0. 18%、0. 63%、1. 81% 和2. 0%) 、环孢素A( 5、16. 7 和50 μmol /L) 的养鱼用水中暴露,实验过程中不做换液处理, 24 h 后,利用斑马鱼行为分析仪检测斑马鱼的总运动距离,评价6 种药物对斑马鱼运动活力的影响; 受精后1 d( 1 dpf) 的运动神经元转基因斑马鱼胚胎在含吗替麦考酚酯( 0. 15、0. 5、1. 5 和5. 5 μmol /L) 、异烟肼( 10 971、36 596、109 708 和111 825 μmol /L) 、卡马西平( 45. 9、153、459 和 484 μmol /L) 、苯妥英钠( 200、667 和2000 μmol /L) 、乙醇( 0. 19%、0. 62%、1. 86% 和1. 98%) 、环孢素A( 5、16. 7 和 50 μmol /L) 的养鱼用水中暴露,实验过程中不做换液处理, 48 h 后,在荧光显微镜下拍照,分析统计斑马鱼次级运动神经元轴突的长度,评价6 种药物对斑马鱼运动神经元轴突生长的影响。结果吗替麦考酚酯、乙醇、卡马西平暴露后,随着浓度增加,斑马鱼运动距离先增加后减少,产生典型剂量依赖性倒“U”型运动; 异烟肼和苯妥英钠暴露后,随着浓度增加,对斑马鱼运动活力抑制作用逐渐增强; 环孢素A 暴露后,随着浓度增加,斑马鱼产生兴奋性,斑马鱼总运动距离逐渐增加; 6 种药物作用后,斑马鱼运动神经元轴突长度均变短,表明6 种药物在实验剂量下均能抑制运动神经元轴突的生长。结论斑马鱼模型可用于初步评价药物神经毒性。     

慢性毒性联合致癌性试验中SD 大鼠血液部分生理生化 参考值的研究

摘要: 目的研究两年慢性毒性联合致癌性试验中SD 大鼠的体质量、死亡率、血常规值和血生化值的变化。方法 SPF 级雄性SD 大鼠135 只,雌性138 只,4～ 17 周龄间每周测量体质量1 次,18 ～ 108 周龄间每4 周测定动物体 质量1 次并计算动物的死亡率; 分别于8 周龄、30 周龄、56 周龄、82 周龄和108 周采血,检测血常规和血生化指标。 结果雌性大鼠在6 ～ 108 周的体质量与雄性大鼠比较具有显著性差异( P ＜ 0. 05) ; 82 ～ 108 周龄是大鼠死亡率增 长的快速期。随着周龄的增加,雌鼠和雄鼠血液指标的变异系数增大。性别对大鼠的血常规和血生化指标具有明 显的影响,但雌鼠与雄鼠比较具有显著性差异的血液指标,随着周龄的增加而减少。结论在进行安全性评价试 验中,性别、周龄对SD 大鼠体质量、血常规值、血生化指标均有较大的影响,因此,雌雄宜分开统计,并需使用相同 周龄的动物背景数据作为参考值范围。     

C57 － ras 转基因小鼠模型的血液生理生化指标比较分析

摘要: 目的测定C57 － ras 转基因小鼠的血液生理生化正常值,对成年动物两性的正常值进行比较,并比较4 周龄和8 周龄的血液生理生化正常值。方法将20 只8 周龄和20 只4 周龄的近交系C57 － ras 转基因小鼠,采血后,用日本光电MEK － 7222K 血球分析仪测定血液生理指标,用OLYMPUS AU400 全自动生化分析仪测定血清生化指标。结果8 周龄动物血液生化指标中,ALB、GLU 和CHO,3 项指标雌雄间比较有显著性差异( P ＜ 0. 05) ,血液生理指标中WBC和LYM 这2 个指标雌雄差异有显著性( P ＜ 0. 05) ; 在4 周龄和8 周龄的血液生化指标比较,其中ALT、TP、ALB、ALP、P、CHO 和T． Bili,7 项有显著性差异( P ＜ 0. 05) ; 血液生理指标4 周龄和8 周龄比较,WBC、ＲBC、HGB、HCT、MCV、MCHC、ＲDW、PLT、PCT、MPV、NEUT 和LYM 12 项指标有显著性差异( P ＜ 0. 05) 。结论成年的C57 － ras 转基因小鼠的血液生理生化值,部分指标两性间测定值有差异; 4 周龄和8 周龄C57 － ras 转基因小鼠的血液生理生化值中多数指标差异显著; 年龄对C57 － ras 转基因小鼠的血液生理生化值的影响比性别对其影响要大。     

蔓茎堇菜愈伤组织分化再生植株

研究了蔓茎堇菜植株再生的培养条件。通过L9（3^4）正交试验筛选出诱导蔓茎堇菜愈伤组织的适合培养基为MS＋2,4－D1．5＋ZT1．0;4个激素组合即ZT2．0＋NAA0．5、ZT2．0＋IBA0．5、6－BA2．0和6－BA2．0＋NAA0．5可诱导出蔓茎堇菜芽;诱导根分化与植株培养的适宜培养基为MS＋NAA2．0＋6－BA（或ZT）0．25或MS＋（IBA＋IAA）1．0＋6－BA（或ZT）0．25。     

SPF 级FMMU 白化豚鼠基础生理指标的测定与比较

摘要: 目的测定与比较SPF 级FMMU 白化豚鼠血液指标、心率、颈总动脉压及心室压、脏器参数。方法取30 只雌雄各半、体质量250 ～ 300 g 范围内SPF 级FMMU 白化豚鼠,心脏采血后分别检测血常规、血生化及血气指标; 穿刺颈总动脉量取动脉压,辅助呼吸下开胸测定心室压; 解剖后称量各脏器质量。结果雄性与雌性豚鼠比较: 血液指标中,红细胞、血红蛋白、红细胞压积、谷草转氨酶、淀粉酶、胆固醇、二氧化碳总量、实际碳酸氢根、钠离子、总血红蛋白差异有显著性意义( P ＜ 0. 05 或P ＜ 0. 01) ; 颈总动脉舒张压、颈总动脉平均压、左心室舒张压、右心室收缩压、右心室平均压差异有显著性意义( P ＜ 0. 05 或P ＜ 0. 01) ; 体质量、脑质量差异以及脑垂体、肾上腺、左肾、右肾脏器系数差异有显著性意义( P ＜ 0. 05 或P ＜ 0. 01) 。结论不同性别的SPF 级FMMU 白化豚鼠血生理生化、血气、 颈总动脉压、心室压指标及脏器参数存在差异。     

丹参酮ⅡA 磺酸钠注射的肌肉刺激性研究

摘要: 目的考察家兔单次股四头肌肌内注射丹参酮ⅡA 磺酸钠( 60 mg) 后,给药局部肌肉组织是否出现扩张、红肿、充血、水肿、瘀斑、变性、坏死等局部肌肉刺激性反应,综合判断供试品肌内注射的安全性,并且为该药物的安全性评价提供参考。方法以等量等渗的氯化钠溶液为阴性对照药进行自身性对照,设结束期和恢复期两组,进行一般症状肉眼观察和组织病理学检查。结果家兔单次股四头肌肌内给药后一般症状观察均无异常表现; 剖检肉眼观察结果评分符合标准; 剖检镜下观察结果显示恢复期观察时间内,局部的肌肉刺激反应具有完全可逆性。结论丹参酮ⅡA 磺酸钠注射液对家兔股四头肌无明显刺激性。     

P407 诱导和脂肪乳剂建立小鼠高血脂模型的比较研究

摘要: 目的比较P407( 泊洛沙姆) 和脂肪乳剂的小鼠高血脂模型的特点。方法采用灌胃法给予小鼠脂肪乳剂,腹腔注射法给予小鼠P407,之后测血清中的胆固醇( TC) 、甘油三酯( TG) 、高密度脂蛋白( HDL-C) 和低密度脂蛋白( LDL-C) 。结果脂肪乳剂造模后小鼠TC、LDL-C 显著升高,TG 显著降低,HDL-C 的变化没有显著性。P407-1d 组的小鼠TC、TG、LDL-C 显著升高,HDL-C 显著下降,符合临床典型高血脂的特征。结论用P407 建立小鼠高血脂模型更快速,更接近临床高血脂症。     

2013 年昆明地区实验用小鼠及豚鼠寄生虫及病毒感染情况调查

摘要: 目的 分别调查昆明市三家单位提供的共 90 只实验用 ICR 小鼠和 45 只实验用豚鼠的体内、外寄生虫感染 情况,以及小鼠及豚鼠仙台病毒(SeV)、小鼠肝炎病毒(MHV)、豚鼠淋巴细胞脉络丛脑膜炎(LCMV) 的感染情况, 为实验动物质量管理提供一定的参考依据。方法 根据现行国家标准所描述的方法及病毒检测试剂盒说明书的 说明,对昆明市三家单位随机提供的共 90 只 ICR 小鼠和 45 只豚鼠样本,分别进行体内、外寄生虫、小鼠 MHV 及小 鼠 SeV、豚鼠 LCMV 及豚鼠 SeV 的检测。结果 昆明地区实验用小鼠及实验用豚鼠均检出体内、外寄生虫;3 只小 鼠检测出体外寄生虫,检出率为 3. 3% ;20 只小鼠检测出体内寄生虫卵,检出率为 22. 2% ; 4 只豚鼠检测出体外寄 生虫,检出率为 8. 9% ;9 只豚鼠检测出体内寄生虫卵,检出率为 20. 0% ;小鼠 MHV 及 SeV 血清学检测无阳性; 豚 鼠 LCMV、SeV 血清学检测无阳性。结论 实验动物质量监测是实验动物质量控制的有效手段,对医学及生命科学 的研究至关重要,昆明地区实验动物的寄生虫质量控制有待加强。     

类钙钛矿型La1．6Ba0．4MO4（M=Co、Ni、Cu）复合氧化物催化分解NO性能的研究

采用柠檬酸络合爆炸法合成了La1．6Ba0．4MO4（M=Co、Ni、Cu）系列类钙钛矿复合氧化物催化剂,通过 XRD、H2-TPR等分析方法表征了其物相组成及氧化还原能力的变化,并考察了该系列催化剂催化分解 NO的活性．结果表明:Ba的掺杂对于不同过渡金属的氧化性的影响是不同的,但都提高了过渡金属的氧化还原能力,从而提高了样品的催化活性,其中Ni基类钙钛矿的直接分解NO的催化活性是最理想的．     

中国恒河猴MHC I型部分等位基因的分析

摘要：目的对中国恒河猴主要组织相容性复合体(MHC)l型部分基因进行携带情况调查与分析。方法采用序 列特异性引物(PCR—SSP)分型方法对华南灵长类动物研究中心繁殖的30只谱系清晰的中国恒河猴(Macaca mulatta)的32个MHC I型分子位点进行检测。结果采用的32对引物中,中国恒河猴可检出携带23个MHC—I等 位基因,但基因携带频率存在很大的差异,由3．57％至82．14％不等。结合遗传谱系分析,判断A1·21和b．2睾05 之间以及B·04和B·30之间可能就是连锁的。结论中国恒河猴携带能控制病毒复制的MHC I型基因位点的 频率较高,其基因携带频率与已发表的印度恒河猴携带频率存在明显差异。本研究为促进中国恒河猴在AIDS研 究中的应用,以及为建立携带特定MHC I基因实验猴小种群提供了依据。