互逆蕴涵命题的空间曲线投影柱面表示

互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何中,空间曲线是两曲面的交线,在空间曲线中消去一元,即得投影柱面。与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。     

苏云金芽胞杆菌的研究进展

围绕国内外对苏云金芽胞杆菌(Bacillus thuringiensis)研究的新进展,分别从转苏云金芽胞杆菌作物的安全性、苏云金芽胞杆菌的酶学研究、苏云金芽胞杆菌的基因学研究、苏云金芽胞杆菌的蛋白质学研究四个方面进行论述,为进一步预防昆虫对苏云金芽胞杆菌植物产生抗性、防止苏云金芽胞杆菌基因飘逸、构建新型苏云金芽胞杆菌载体及生产出杀虫毒性更高、专一性更强的苏云金芽胞杆菌植物提供了新的思路.     

特高浓度氨氮废水吹脱复合氧化处理技术研究

目的研究氨氮含量为44.16 g/L的高浓度废水处理技术,探讨反应温度、pH值、反应时间、温度、吹脱工艺对氨氮去除、COD去除率的影响。方法在水温106℃,pH=11.0~11.2,采用空气吹脱处理18 min,气液比150∶1左右;残余液用一定浓度的复合氧化剂处理。结果经过处理,一次氨氮去除率达91.50%,氨氮含量≤120 mg/L,COD≤50 mg/L符合国家排放标准。结论该处理方法简单、可靠、方便,具有较高的实用性和可操作性。     

纳米面状磷酸锰的制备和表征

本文通过沉淀法制备了纳米面状的磷酸锰,并对其结构进行了X-射线粉末衍射(XRD)、透射电镜(TEM)、选区电子衍射(SAED)表征,讨论了温度和反应容器对产物的影响,结果表明在室温条件下能制备出纯的磷酸锰。     

“目标教学”在高校体育课程改革中的应用——公体排球教学中的实验研究

通过在普通高校公体排球教学中运用“目标教学”理论,结合高校体育教学的实际,从课时具体目标入手,发挥教学目标的导向、激励作用,注重情感素材的挖掘、积极情绪的调动,推动了学生知识、技能的掌握和提高,收到了事半功倍的教学效果.     

安徽省高校教职工信息管理分析系统的开发与应用

本文介绍了“安徽省高等院校教职工信息管理分析系统”的设计思路、实现方法、程序模块和应用环境,详细描述了该系统的结构和功能,阐述了系统的特点、优点以及实现方案。目前,该系统已经开发完毕,通过鉴定,并在全省高校中推广使用,取得了良好的社会效益和经济效益。     

基于恒等变换的单摆振动解析逼近

应用修正的谐波平衡法构造了单摆大幅振动的解析逼近周期和周期解.通过引入三角变换或反三角变换将单摆振动方程恒等变形为关于新变量的Duffing方程或其他易于处理的非线性振动方程,利用牛顿谐波平衡法构造了单摆振动的解析逼近解.给出的解析逼近周期及周期解简单易用,几乎在振幅(初始摆角)的全部取值范围内,都有很高的逼近精度.     

S连通空间及其性质

给出了拓扑空间是S连通空间的几个等价刻画,同时讨论了S连通子集及其性质,连通序列空间与S连通空间的性质,证明了拓扑空间X是S连通空间则X是连通序列空间的连续映象,连通序列空间的序列连续映象,连通序列空间的连续序列覆盖映象.     

基于Java SE1.4的道桥及车辆施工信息管理软件

为实现道桥施工中信息的传输与管理,需要提取施工过程中的道桥和车辆信息。通过对对象实体的分析,可将道桥的全部信息封装在一个地图中,车辆可作为移动单元。利用统一模型语言(UML:Unified Modeling Language)对道桥单元和移动单元模型的属性进行描述,由此建立道桥施工中道桥及车辆的信息模型。在该软件中,文件的存储采用Unicode(统一码)字符集的字符编码格式和Java SE(Standard Edition)的对象存储方式进行;利用Java中的ServerSocket和Socket两个类提供的功能完成信息传输控制;利用图形用户界面(GUI:Graphics User Interface)方法实现地图编辑器。该软件可计算移动单元间真实距离,在一定容错范围内车辆显示不会偏离道路,在一定程度上对操作系统的网络连接功能依赖小,具有较强的适应性。由于采用Ja-va编程软件,因此具有较强的跨平台能力。     

支持大规模分布式网络测量的组件自配置机制

针对大规模分布式网络测量中,大量异构组件需要自动配置和管理才能统一协调运行的问题,提出了分布式网络测量组件自配置机制(CSCM:Components Self-Configuration Mechanism)。采用基于目录服务的方式对组件进行认证和配置管理;并通过资源权限的分配,使全网范围内的测量资源得到合理使用。通过形式化描述和分析CSCM机制的系统模型和运行模型,证明了CSCM具有一阶线性的消息复杂度和收敛时间。并给出一个基于CSCM的分布式网络监测系统(MMS:Monitor and Measurement System),实践证明CSCM增强了MMS的易用性和可扩展性。