应用框架的形式化研究

从软件体系结构的角度,运用Ｚ－规范在系统描述了应用框架和设计样本的语义,包括设计样本的组成,联系,合成和运用设计样本组成应用框架等,与通常的非形式化方式,如图表,自然语言等描述形式相比,具有语义精确,易于实现和交流等优点。     

苏南地区乡村城市化制约因素、动力机制与对策

苏南地区现行的村镇企业生产经营模式、产品销售方式,农村建设用地使用机制、农民的观念意识等严重制约着农村城市化进程．本文通过对这些制约因素及农村城市化动力机制的分析,提出了加速苏南地区农村城市化的若干调控措施．     

1-苯基-3-甲基-4-苯甲酰基-吡唑啉酮-5(HPMBP)合钴(Ⅱ)配合物的合成及晶体结构

合成了1-苯基-3-甲基-4-苯甲酰基-吡唑啉酮-5(HPMBP)合钴(II)化合物,并进行了元素分析和红外光谱表征,用X射线衍射方法测定了其晶体结构.晶体属单斜晶系,空间群P21/c,a=11.259(4),b=14.784(5),c=11.607(4),β=107.157(7),V=3039.43(A)3,Z=2,Dc=0.769g·cm-3,F(000)=1384,最终偏离因子R=0.0993,金属Co(II)原子与PMBP-及乙醇中的氧原子配位形成八面体构型.     

M／N型负载固体碱吸附胶质性能及再生方法的考察

对碱性物质／多孔性物质（Ｍ／Ｎ型）负载固体碱吸附胶质性能及再生方法进行了试验研究。研究发现,Ｍ／Ｎ型负载固体碱对汽油胶质具有一定的吸附能力,以活化剂－汽油溶液（活化剂含量为２００μｇ／ｇ）为再生溶剂,可有效地对吸附胶质失活后的固体碱进行再生。此外,汽油固体碱预碱洗的室内试验表明,Ｍ／Ｎ型钢载固体碱预碱洗 效果良好,可使脱臭装置的使用寿命明显延长２倍以上。     

嵌入式BACnet广播管理设备的研究与实现

分析了基于BACnet／IP规范BACnet广播管理设备(BBMD)的工作原理,在此基础上提出了嵌入式BBMD软件总体结构设计和模块划分方案,通过重新编译内核、裁剪文件系统和压缩函数库,构建了嵌入式Linux操作系统平台,在此定制的Linux操作系统之上,通过套接字编程和多线程实时处理,实现了嵌入式BBMD的软件设计,实验表明,此BBMD配置灵活、工作稳定、扩展性强。     

B-IBI在东江河流健康评估中的应用研究

基于东江流域24个采样点的底栖无脊椎动物监测数据，构建生物完整性指数，采用比值法统一筛选出的核心参数的量纲，将各个参数累加得到B-IBI值.以参照点B-IBI值的25%分位数为健康基准值，小于25%分位数值的进行4等分，划分河流生态健康评价标准:B-IBI387为健康；290B-IBI387为亚健康；193B-IBI290为一般；097B-IBI193为差；B-IBI097为极差.运用构建的B-IBI对东江流域的主要干支流进行健康评估，结果显示，全流域24个样点中达到健康和亚健康水平的占292%，一般占292%，差和极差占416%.     

阶≤200的群的Thompson猜想

通过研究阶≤200的非可解群的结构,并计算出其阶型,证明了阶≤200的群满足Thompson猜想.     

海底天然气水合物绞吸式开采方法研究

 根据海底天然气水合物藏特点,结合绞吸式挖泥船工作原理和大洋多金属结核开采技术,提出了一种全新的绞吸式海底天然气水合物开采方法,克服了海底天然气水合物开采依赖构筑封闭开采环境的技术瓶颈;然后根据管道输送原理和两相流理论,对绞吸式开采方法的提升系统进行了水力参数分析。由分析结果可知,将体积浓度为15%~25%天然气水合物流体从1 000 m海底提升到海面所需泵的扬程为30~50 m;将体积浓度为10%~20%天然气水合物流体从4 000 m海底提升到海面所需扬程为90~150 m,现有的矿浆泵就能满足要求;由于天然气水合物和海底沉积物硬度较低,并且其混合流体的密度与海水密度相差不大,采用矿浆泵进行直接输送其对泵的磨损不会严重,能保证系统长期稳定的工作,证明了该开采方法在理论上是可行的。     

多元凸函数的某些性质

本文旨在将一元凸函数的某些分析性质推广到多元凸函数的情况,例如有界性、连续性等。并建立一元凸函数与多元凸函数之间的联系     

论生命科学技术的伦理底线

20世纪,尤其是20世纪下半叶,生命科学技术得到了迅猛的发展,从人工授精到心脏移植,从基因检测到基因工程,到随时都可能出现的克隆人.掌握突飞猛进尖端技术的人类,正在向自己最核心的地段开掘,以前一些不能做到的事现在可以做到了,是福还是祸?是生存还是毁灭?由此对传统的伦理学提出了挑战,即提出了应该做什么、不应该做什么和应该如何做的问题,这是本文的切入点,由此提出了对生命科学技术的哲学思考的问题.