模糊Horn子句逻辑形式系统

简要回顾逻辑推理的发展历史,指出了经典数理逻辑中存在的一些问题。作者为每个传统的Horn子句赋予一个蕴涵强度f∈(0,1],从而得到模糊Horn子句及其Herbrand解释。进而,对传统Horn子句逻辑的语法和语义进行了拓展,建立了一个基于模糊Horn子句有限集合的逻辑推理系统,并证明了该系统的正确性和完备性。     

基于车路协同的交通管控设备互联交互通信协议研究

当前我国现有各类交通管控设备互相独立、缺少统一的数据交换规范,无法实现交通管控信息的互联交互,难以进行数据共享。总结分析了现有交通管控设备通信协议,在此基础上,针对车路协同的管控应用需求,提出了各类交通管控设备之间的通信框架、通信格式、通信内容及数据安全认证机制,并选取无锡市太湖新城片区16个交叉口进行实地评测应用,验证通信协议的可行性。测试结果表明,采用本文提出的通信协议能够实现各类交通管控设备的互联互通,提高了交通控制信息的共享水平和服务水平,实现了交通控制设备的精准化采集和控制。     

基于网络的远程虚拟仪器及其应用

传统仪器功能比较单一，虚拟仪器比传统仪器增添了计算机处理功能，远程虚拟仪器可以借助互联网在任何地方用户都可以使用它，这是研究远程虚拟仪器的主要目的．简要地介绍了虚拟仪器和远程虚拟仪器，描述了远程虚拟仪器的结构，介绍了ASP．NET技术、ADO．NET对象及ActiveX控件在远程虚拟仪器中的应用，并且在TCP／IP协议下，基于B／S网络模式来设计远程虚拟仪器，并将它应用于远程小型变电站运行状况监测中．     

DS 9701菌株的紫外诱变及PHB解聚酶高产菌株的筛选

以青霉(Penicillium.sp)DS 9701为出发菌株,通过紫外线诱变分生孢子,采用透明圈初筛和摇瓶培养复筛的方法,获得一突变株,编号DS 9701-M 09.该突变株的PHB解聚酶活力是原始菌株的2.3倍,经传代培养,该菌株的PHB解聚酶高产特性稳定遗传.     

浅谈提高医院药师自身素质

针对医院药师存在的素质问题提出提高其素质的对策与建议。     

一种新的评价好氧性细菌降解天然纤维素能力的方法

对比研究了好氧性细菌生孢噬纤维菌Sporocytophaga sp. JL-01,纤维素诺卡氏菌Nocardia Cellulans sp. HD-86与青霉Penicillium sp. DS-04降解纤维素的特性.通过对上述菌株各种纤维素酶活的测定以及它们对滤纸和结晶纤维素粉CF11降解能力的比较,提出了新的评价好氧性纤维素细菌降解纤维素能力的方法,即采用天然纤维素失重率为指标测定酶活.     

石英晶体微天平实时监测低密度脂蛋白在胆固醇修饰葡聚糖上的吸附及其动力学研究

利用石英晶体微天平实时监测低密度脂蛋白(LDL)在胆固醇修饰葡聚糖(CMD)上的吸附,并对其吸附动力学进行研究.结果表明,CMD与LDL之间的相互作用符合Langmuir吸附方程,当LDL浓度(ng/μL)为9.9,12.38和14.14时,其吸附平衡常数[K/(mol·L-1·s-1)]分别为0.0477,0.0536和0.0628,表面吸附量(ng/cm2)分别为107.6,139.6和167.9.最大吸附量达到284.8ng/cm2,吸附率为72.91%.     

Supply Chain Production-distribution Cost Optimization under Grey Fuzzy Uncertainty

Most supply chain programming problems are restricted to the deterministic situations or stochastic environments. Considering twofold uncertainty combining grey and fuzzy factors, this paper proposes a hybrid uncertain programming model to optimize the supply chain production-distribution cost. The programming parameters of the material suppliers, manufacturer, distribution centers, and the customers are integrated into the presented model. On the basis of the chance measure and the credibility of grey fuzzy variable, the grey fuzzy simulation methodology was proposed to generate input-output data for the uncertain functions. The designed neural network can expedite the simulation process after trained from the generated input-output data. The improved Particle Swarm Optimization (PSO) algorithm based on the Differential Evolution (DE) algorithm can optimize the uncertain programming problems. A numerical example was presented to highlight the significance of the uncertain model and the feasibility of the solution strategy.     

产纤维素酶芽孢杆菌DS1309的分离鉴定及产酶条件研究

通过唯一碳源法从来源于长白山森林的土壤中筛选到多株具有纤维素降解活力的细菌,选取其中的1株芽孢杆菌DS1309进行了鉴定及发酵条件的初步优化,结果显示该菌株为地衣芽孢杆菌(Bacillus licheniformis)。发酵产酶的最适条件为培养温度30℃,培养基初始p H6.0,最适碳源为葡萄糖,最适碳源为酵母粉。菌株在最适条件下培养48h达到产酶高峰,酶活力可达到1.82 IU/m L。     

黑曲霉木聚糖酶同工酶的性质及圆二色谱分析

对黑曲霉木聚糖酶同工酶的酶学性质及圆二色谱(CD)进行了研究.结果表明,黑曲霉木聚糖酶粗酶液经离心、超滤及SephadexG-75凝胶层析后,分离得到了两个黑曲霉木聚糖酶同工酶组分XⅠ,XⅡ,其最适反应温度均为45℃～55℃,最佳反应pH值均为4 8～5 5,SDS-PAGE法测得XⅠ,XⅡ的相对分子质量分别为2.2×104和4.0×104.XⅠ与XⅡ的CD光谱表明,XⅠ,XⅡ分别在218和215nm处有最大负峰,说明β-折叠结构是组分XⅠ,XⅡ具有木聚糖酶活性的主要结构,也是它们发挥催化功能的结构基础.