中介命题系统MP推理规则的独立性问题

对于一个形式系统而言,在不改变其完备性的前提下,形式越简洁,使用越方便。现在中介命题系统MP推理规则集S的简化定价集S1已经建立,其中S1共有14条推理规则,如果这些推理规则中有一条可以由S1的其余推理规则推导出来,那么它就是不独立的,可以将其删去而不影响形式系统S1的效力,从而得到形式上更为简洁的系统。为此目的笔者利用值模型法对形式系统S1的每条推理规则的独立性一一进行了探讨,发现一条不独立的规则,并且证明了其余每条推理规则都独立于其余推理规则。     

一类含部分非线性状态系统的稳定条件

研究了一类非线性系统的稳定性问题.利用一种正定连续可导的Lyapunov函数,证明了在系统平衡点附近全局渐近稳定的充分条件.又根据Lyapunov的二乘形式推证判别系统稳定的充要条件.     

鞍山巨峰葡萄籽油中脂肪酸的GC/MS分析

利用索氏提取法对产于辽宁鞍山的巨峰葡萄籽中的油性成分进行了提取,用硫酸-甲醇法酯化后,对其进行了GC／MS分析。实验结果表明,用索氏提取法从鞍山巨峰葡萄籽中主要提取出6种脂肪酸,其中主要是亚油酸,而油酸和棕榈酸的含量相对于其它产地的葡萄有较大的区别,可以作为快速鉴定鞍山巨峰葡萄的依据。     

用动态压力测量方法进行双垂尾飞机抖振实验研究

运用动态压力测量的方法对双垂尾飞机进了抖振实验研究,并与翼根弯距法测量的结果进行了对比。结果表明,在双垂尾飞机抖振研究中使用动态压力测量的方法可以得到更准确的测量结果和动态特性。     

hPin1原核表达、纯化及热稳定性研究

利用E．coli BL21原核表达,纯化得到了His-hPin1融合蛋白,并研究了它的热稳定性．在中性条件下进行不同温度处理,SDS-PAGE分析表明,低于40℃处理不会影响His-hPin1的溶解性,50～100℃处理会使其部分变性而沉淀．荧光发射光谱研究表明,未处理的His-hPin1具有339nm的荧光发射峰;热处理使荧光发射峰的位置变化,低于40℃处理对His—hPin1的荧光强度影响较小,50～100℃热处理使HiS-hPin1的荧光强度明显降低．圆二色谱研究表明,热处理对His-hPin1的二级结构有影响,引起α-螺旋含量的明显减少,而无规卷曲增加．以上数据表明hPin1是一个相对热稳定的蛋白．     

流缺失标记环境下的多标记特征选择

在监督学习实际任务中,特征的高维性、标记的动态性和缺失性为监督学习带来严峻的挑战。为解决这些不足,提出流缺失标记环境下的多标记特征选择算法。首先,为解决缺失标记的影响,通过学习标记相关性填补不完整的标记矩阵。其次,利用稀疏学习方法为每个新到达的标记选择类属属性。然后,根据已到达标记的类属属性,通过计算得分选取一个有代表性的特征子集。最后,在11个基准数据集上进行一系列实验表明,所提算法能选择有代表性的特征子集,且分类性能较优。     

基于CAN总线的机械海流计测控模块设计

针对目前机械海流计功耗大、姿态测量精度较低、体积大、维护复杂、流速流向测量数据单一等问题,设计了一种基于控制器局域网络(controller area network,CAN)总线并以STM32F103RCT6芯片为控制核心的低功耗机械海流计测控模块,并给出了测控模块系统的总体结构、硬件接口电路、通信协议、软件设计及主要技术指标。海上试验结果表明,该模块不仅实现了海流流速和流向的信号采集与控制,而且通过CAN总线的可拓展性,可以实现对不同海流层流速流向的测量,拓展了海洋水文测量的范围并提高了其灵活性。     

一种新型高层住宅供电用低压环网柜设计

为了满足住宅电气设备安全性、可靠性、适用性、经济性、安装运行及检修工作便利性的要求,针对传统居民住宅小区供电方式和低压环网柜存在的问题,设计一种新型高层住宅低压环网柜,采用三根副母排在两隔离刀开关之间连接两组主母排的电气连接结构和"井"字型板前接线方式,节约高设备空间和成本,提高了宅供电气的安全性和可靠性。     

烧结机星轮包装设计

该文通过对烧结机星轮部产品特点的深入分析,设计出适合该产品运输的包装装置,此装置可以解决该产品的包装并完全满足运输过程中有关稳定性的要求,从而很好保证了产品吊装及运输过程中的安全,使产品免受任何损坏,同时此包装装置还适合于多种运输工具.     

芭蕉扇Tn的（整，模整）和数

给出了芭蕉扇Tn和数的上界，并证明了芭蕉扇Tn是整和图，模整和图．