实验室建设项目化管理的实践与探索

实验室建设是高职院校一项既艰巨又复杂的系统工程，实验室建设水平和管理水平是学院办学水平、科研实力和科技开发能力的重要标志之一。文中简述了宜宾职业技术学院实施实验室建设项目化管理实践所取得的成效、存在的问题以及改进措施。     

基于电动现象的细胞光镊阱力测量

提出了一种新的细胞光阱力标定的实验方法，利用细胞电泳原理，设计并研制了一套符合用光镊测力的电动样品池系统，用它替代单光镊操作系统中的普通样品池和高精密压电位移驱动平台，可以用电压调控细胞运动速度，系统相对简单、经济．实验测量结果为：在2～18V／cm电压梯度范围内，酵母细胞的运动速度与电压梯度成正线性关系，即在皮牛量级以下，最大光阱力与光镊光源的功率成线性增加关系．测量结果表明，该方法可实现对细胞光阱力的测量，还可用来测量细胞表面电量．     

P-反演半群的P-同态及强P-半格

讨论了P-反演半群的P-同态和P-同态基本定理,进而研究P-反演半群的强P-半格.     

正则半群上的强同余

证明了正则半群上的所有强同余构成该半群同余格的完备子格,刻画了与强同余对应的核-迹同余对-强同余对及其相互关系,由此给出正则半群上任一强同余的结构,并证明了强同余格和强同余对的集合之间一一对应.     

食物链算法及其与实编码遗传算法性能比较研究

根据人工生命突现集群和与环境进行动态作用的特点,同时基于生命系统中广泛存在的食物链现象,通过定义各级人工生命的局部活动规则,提出一种具有食物链形式的人工生命算法,并称之为食物链算法.详细阐述了食物链算法的定义、思想和算法流程;讨论了该算法中的生命代谢能量规则和人工生命活动邻域的变化规则;最后比较分析了食物链算法与基于实数编码的遗传算法在函数优化方面的性能.根据测试结果,食物链算法在函数优化方面具有明显的优势.另一方面,食物链算法具有很强的类生命特性,非常适合于类生物系统问题的优化求解.     

带共模反馈的CMOS折叠式高增益运算放大器

提出了一种单电源5V供电的带共模反馈的两级折叠式运算放大器结构.折叠式运算放大器的输入共模反馈结构使输出共模电平维持在2.5 V左右,增益可达到90 dB以上,相位裕度为45°,同时增益带宽为33 MHz.     

无机厚膜电致发光显示器件的研究

采用丝网印刷技术,在Al2O3陶瓷基板上印刷、高温烧结内电极及绝缘层,制备出陶瓷厚膜基板,进而制备了新型厚膜电致发光显示器(TDEL).整个器件结构为陶瓷基板/内电极/厚膜绝缘层/发光层/薄膜绝缘层/ITO透明电极.测试了器件的阈值电压、亮度与电压、亮度与频率关系,并对器件衰减特性进行了分析.结果显示厚膜电致发光器件比薄膜电致发光器件有更低的阈值电压和较小的介电损耗,有效地防止了串扰现象.     

关于弱逆半群上最大幂等元分离同余和群同余的注记

给出了文献（四川师范大学学报（自然科学版），2001，24（3）：219－223．）中关于弱逆半群上最大幂等元分离同余和群同余主要结论的刻画及证明的一些更正和简化。     

强可收缩半群

设S为半群 ,H为S的子半群 ,称H是S的一个缩回 ,若存在满同态 φ :S→H满足 φ｜H =1H(H上的恒等映射 ) ,称半群S是强可收缩的 ,若S的每个子半群都是S的一个缩回 .首先证明了群G为强可收缩半群的充要条件为G是一族初等Abel群的限制直积 ,接着得到完全单半群S强可收缩的充要条件是S G× (I×Λ) ,其中G为强可收缩群 ,I×Λ是矩形带 .还证明了一个半格是强可收缩半群的充要条件是它为局部有限树 .在这些结论的基础上最后得到一个半群是强可收缩半群的完整刻划 .     

面向路由器的分布式实时操作系统HEROS

分布式实时操作系统是高性能分布式路由器的控制核心。为了保证路由器系统的整体性能和安全性 ,设计并实现了实时分布式操作系统 (highly efficient router operat-ing system ,HEROS)。 HEROS基于微内核体系结构 ,其多任务内核实现了基于优先级的抢先式调度 ,高效率的任务间同步和通信原语 ,实时的中断处理和高效的内存管理机制。为了更好地服务于分布式路由器体系结构 ,HEROS实现了一种基于消息传递的分布式任务通信机制和面向网络协议的高性能的缓冲管理机制。基于 HEROS的高性能安全路由器原型系统已经设计完成