逻辑方程解的性质

以二值命题逻辑的真度理论为基础,提出了基于真度理论的逻辑方程的概念,并给出了此种逻辑方程解的存在性定理,并就τ(A→X)=α的逻辑方程展开了讨论,其中,A是舍有 n 个原子公式的合式公式,X是待定的公式,A的真度τ(A)=K/2n,α=m/2n,且1-τ(A)＜α≤1.我们得到了如下结论:(1)以上逻辑方程的解的等价类个数为Cmn+k-2nk·22n-k.(2)α≠1时,上述方程的解集合是不相容的.(3)解集合中公式的相似度最大值为1-1/2n,相似度的最小值为|2n+1-2m-k|/2n.(4)形如τ((A→X)∧(X→A))=α的逻辑方程其解集合是不相容的.     

人体组织学与解剖学设计性实验的探讨

在人体组织学与解剖学实验教学中,引入设计性实验教学内容,使学生通过查阅文献、独立撰写实验设计方案、教师审查、学生实验、教师讲评、学生撰写实验报告等过程,提高了学生查阅文献意识、独立设计实验意识、独立实验操作意识以及研究探索能力。     

一种基于CPLD的12864LCD控制器设计

本文指出了应用单片机驱动液晶显示器的某些局限性,提出使用CPLD做为LCD控制芯片的方法。这种方法简单实用,可以提高LCD控制器控制速度,形成的控制电路便于提高电子系统集成度,特别适合用于设计以CPLD/FPGA为主要控制芯片的电路。本文介绍了液晶屏幕的控制方法,根据对液晶屏幕控制方法的分析设计了LCD控制状态机。应用VHDL语言举例说明了控制器的具体实现。描述文件在QuartusⅡ4.2环境下调试通过。控制电路在实际电路中调试通过。     

浅谈高校辅导员做好困难生工作应采取的措施与对策

国家从2007年秋季开始实施新的困难生资助政策,加大对困难生的资助力度。在给困难生同学带来帮助的同时,也给高校辅导员在困难生评定和困难生工作带来了一定的压力。高校辅导员工作处在学生管理工作的第一线,有着诸多的有利条件,因此高校辅导员在日常管理工作中应该发挥自己的优势作用,以生为本采取必要的措施与对策切实地做好困难生工作。     

大地电磁反演中改进的自适应正则化因子选取研究

通过建立大地电磁(MT)层状地电模型,利用共轭梯度法求解反问题,在给定不同初始模型的条件下对多种正则化因子选取方法进行了计算比较,分析了各种方法的特点和使用条件.结果表明,自适应正则化算法的效果与传统的定值方法如L曲线法相近,但反演过程远比传统方法便捷.为了解决反演依赖于初始模型的局限并增强解的稳定性,基于多种自适应正则化方案的对比分析,提出了改进的自适应正则化方案,选取数据拟合泛函与模型稳定泛函较大的比值为正则化因子的初始值,并提出相应的调整方案自动控制正则化因子衰减.模型试验表明,该方法对初始模型的依赖性低于其他几种自适应的算法,反演结果的稳定性较强,可以进一步提高正则化反演的效率.     

蚂蚁附着力的测试及ANSYS分析

为探究生物学湿吸机制的潜在原理,在自行搭建的微小力测试平台上测量了蚂蚁的水平和垂直方向的吸附力,并且在亲水性表面和疏水性表面分别进行测试,对蚂蚁滑行时分泌液内部的压力和速度分布用有限元软件进行了分析.结果表明,昆虫湿吸对所接触的地面不敏感,吸附具有鲁棒性;滑行时湿吸足垫与分泌液接触面处的受力不均衡,而是由小到大分布,这样有助于昆虫抵抗扰动保持身体平衡.     

海陆联测的大地电磁数据处理与综合解释

结合研究区雷州半岛的实际地质情况，通过在陆上布置磁道，近岸的浅海-潮间带海水中布置电道，实现了海陆电场和磁场分离同步采集的大地电磁勘探，填补了海陆地震空白带．通过建立针对性的地电模型，利用正演模拟方法校正了海水对陆地测点的畸变效应影响，并通过大地电磁二维反演以及重力和磁力数据的正反演计算，进行了综合地质地球物理解释，证明了海陆联测数据的采集、处理和解释效果．     

SD大鼠房颤模型的建立

目的研究一种发病机制,病理改变与临床接近且造模周期较短的大鼠房颤模型制备方法与技术。方法大鼠连续给药,经尾静脉注射乙酰胆碱-氯化钙混合液,每次给药后记录房颤持续时间。寻找能诱发稳定房颤的给药剂量和给药时间。电生理学方法观察正常和模型大鼠心房不应期的变化。结果CaCl210 mg/mL,乙酰胆碱66μg/mL模型大鼠从第4 d起房颤时间缓慢增长,7 d后趋于稳定。与正常组相比,模型大鼠心房肌ERP显著缩短(59.3 ms±5.8 ms)。结论CaCl210 mg/mL+乙酰胆碱66μg/mL混合液连续给予7 d诱导产生的大鼠房颤模型,其电生理学的病理变化与临床房颤相似,适用于化合物抗房颤活性筛选研究。     

电磁直驱静液作动器多学科建模与优化

针对汽车电动化与智能化对线控系统执行元件日益严苛的需求,提出了一种高功率密度动圈式直线执行器直接驱动液压泵活塞,进而实现作动筒容积伺服控制的电磁直驱静液作动器,有效缩短了动力传递路径.建立了作动器电磁-机械-液压-控制耦合的多学科仿真模型,设计了直驱活塞运动的滑模-自抗扰控制算法,分析了单向阀阀芯球座直径、阀芯球体直径、弹簧刚度和弹簧预压力等结构参数对作动器性能的影响规律;以作动器动态响应时间为优化目标,通过遗传算法优化了单向阀的结构参数.仿真与实验结果验证了电磁直驱静液作动器多学科建模及优化的有效性,在直驱活塞运动幅值±5 mm、频率20 Hz典型工况下,作动器20 mm行程的响应时间小于0.2 s.     

典型案例教学法在单片机教学中的应用探索

以案例教学的理论为指导、以单片机原理及应用教学方法和教学内容为研究对象、以培养应用型人才为教学目的,建立了单片机典型案例库,介绍了单片机典型案例式教学方法,取得了良好的教学成果.