SDL-2000动态语义定义方法

讨论了SDL-2000的建议Z．100的附件F中用分布式实时抽象状态机(ASM：Abstract State Machine)形式地定义SDL(Specisification and Descripiton Language)动态语义的方法。与基于通信顺序进程的方法相比，该方法能够更直接地定义SDL的动态语义，具有易于维护和可读性好等特点。     

分布交互式战斗机空战仿真系统的开发

简要介绍了一种实时分布交互式战斗机空战仿真系统的开发。整个系统按照分层模块思想设计,对空战中战斗机关键子系统和关键行为进行了精确的数学建模,减少了建模的复杂度、保持了平台的开放性和可维护性,据此实现了局域网环境下的分布交互式空战仿真研究。初步的仿真结果表明系统具有实时、精确、高逼真度、高效费比的特点,可作为飞机设计和空战研究的重要辅助手段。     

国家自然科学基金在学科建设中的地位

通过对1996~2005年湖南师范大学获国家自然科学基金项目资助的统计分析,探讨了国家自然科学基金在学科建设中的重要地位,分析了学科现有优势和存在的问题,提出了今后学科建设中应采取的措施.     

陆地生态系统的模型模拟

世上万物皆由百十种化学元素组成，追索元素的迁移转化可揭示自然界各客体的内在联系。近代生物地球化学的发展，为实施这一朴素的哲学思想于科学研究实践提供了理论与方法。基于生物地球化学量、场、群、流的概念，一个陆地生态系统模型已建立起来。这一名为DNDC的模型，以追踪模拟碳、氮和水分在生态系统的运动为线索，将植物初始光合生产力，有机质在土壤的转化，及大气-生物界面气体交换联结成一个整体，从而将农田、森林、草原等复杂系统转化为可操作的计算机模拟模型。建立这一模型的目的是为预测在当代人类活动影响下陆地生态系统发展的趋势。中美两国科学家们最近使用此模型计算了中国水稻田甲烷气的排放总量，发现20世纪80和90年代中国稻田水管理措施的改变，减少了中国农业甲烷排放量的40％，即500万t。与此同时，全球温室气体观测系统发现大气甲烷浓度的增长速率在1980—2000年间不寻常地降低了。DNDC模拟的结果表明，中国稻田甲烷排放减少的时间与数量，与全球大气甲烷浓度增长速率降低的时间与幅度相一致。这一例证表明生物地球化学过程模型在预测生态系统变动方面的可实施性。     

关于高校后勤社会化中实行全成本核算问题的思考

高校后勤实现社会化,存在后勤拥有的国有资产如何同学校分离问题.在全成本核算的基础上,要坚持国有资产不流失的原则、教育属性原则和后勤实体市场化原则;高校后勤实体拥有的国有资产应实行分类核算、分类制定分离政策;要处理好社会市场大环境与学校教育小环境的关系,高校整体利益和后勤职工群体利益的关系,实现完全社会化的目标和制定社会化过程中的阶段性政策的关系.     

谈推拿在治疗风寒型普通感冒中的临床体会

笔者在推拿治疗风寒型普通感冒中，以中医基本理论为指导，根据经络学说和藏象学说的理论，明确治疗原则是发汗解表，基本治法是汗法，操作部位的选择，则以头背部，膀胱经两侧线为主，并且从中医和现代医学的角度，论证了推拿治疗风寒型普通感冒中的方法。     

公路排水跌坎急流槽新型消力池出流冲刷试验

为增加公路排水跌坎急流槽安全稳定性,对公路排水跌坎急流槽常规跌水消力池及3种新型跌坎消力池出流冲刷模型进行试验.结果表明:跌坎高度、水流相同时,跌坎急流槽消力池后冲坑最大冲深从小到大依次为跌水台入流消力池、副消力池出流消力池、台阶出流消力池和常规跌水消力池;跌坎急流槽消力池跌水台入流消力池构造深度越深,出流后冲坑最大冲深越小,而常规消力池构造深度越深,出流后冲坑最大冲深越大;从工程安全与经济考虑,跌水台入流、台阶出流消力池结构形式可大大减少消力池工程开挖量,消能设施稳定性明显增加;3种新型消力池可大大缩短出流后加固铺砌长度,综合使用后减冲防灾效果更为显著.     

基于Web的油指纹在线检索鉴别方法的设计与实现

油指纹鉴别技术在海洋溢油源追查和事故裁决中得到了日益广泛的应用.应用Web技术设计并实现基于Internet的在线油指纹检索鉴别功能,既可扩展传统油指纹鉴别技术的应用范围,又能实现相关技术和资料的共享.研究了Web环境下进行油指纹检索鉴别的方法,创新性地将油指纹检索鉴别技术移植到Web环境下,完成了油指纹数据库和数据流程设计,并应用AJAX技术,基于重复性限法和相关系数法实现了在线油指纹检索鉴别.     

中华鳖嗜水气单胞菌的生物学特性

以T3菌株为代表菌株对中华鳖嗜水气单胞菌的生物学特性进行初步研究。对中华鳖嗜水气单胞菌的培养特性比较发现：本菌在鲜血琼脂和TSA固体培养基上生长较好,在TSB液体培养基和BHI液体培养基中生长较好;测定中华鳖嗜水气单胞菌在TSB液体培养基中的生长曲线表明：培养16～20h活菌数达到最高峰,24h后活菌数大幅下降,这一生长规律为中华鳖嗜水气单胞菌的大规模培养奠定了基础;中华鳖嗜水气单胞菌在生理盐水、磷酸盐缓冲液和TSB液体培基中4℃保存的存活曲线表明：本菌在以上介质中前期不易死亡,后期死亡较快。并利用分光光度计测定法解决了该菌即时计数的问题,为中华鳖嗜水气单胞菌的动物实验的开展奠定了基础,本研究测定了该菌对中华幼鳖和银鲫的致病性,其LD50分别为8．40×10^8CFU和8．63×10^8CFU．     

山苍籽核仁油合成生物柴油研究

以山苍籽核仁油为原料,采用固体酸催化酯化-相转移催化酯交换反应合成生物柴油.从固体酸SO_4~2-/ZrO_2为催化剂进行酯化反应降低酸值,以十六烷基三甲基溴化铵(CTMAB)/NaOH为相转移催化剂进行酯交换反应,得到合成牛物柴油的优化工艺条件.研究结果表明,固体酸SO_4~(2-)/ZrO_2催化酯化反应的最佳条件为:油重4%的SO_4~(2-)/ZrO_2,醇油摩尔比为10:1,温度为68℃,反应时间为4 h,原油酸值降到2.52 mg/g:该法相对浓硫酸催化酯化法具有不需耐酸设备、催化剂易回收、无废水排放等优点;相转移催化酯交换反应的最佳条件为:温度为25℃,0.5%的十六烷基三甲基溴化铵,油重1%的NaOH,醇油摩尔比为6:1,反应15 min,原油酯交换率达到97.6%;采用相转移催化技术,反应在常温下进行,大大减少了能耗,缩短了反应时间,具有的产业化前景.