基于证明分析的机器发现系统的实现与应用

为了实现基于文献（１）的机器发现系统，本文介绍了基于证明分析的机器发现系统的实现技术，并且给出了该系统做出的一些数学再发现例子，从而得一实用的机器发现系统。     

组织知识管理概念建模及其工具设计

知识管理就是组织利用信息和通信技术使得组织管理活动的主体主动地积累知识、方便地获取和使用知识。知识管理建模是组织实施知识管理的基础。将知识管理模型分解为组织战略、组织结构，组织过程和信息系统四个互补的子模型，利用基于XML的知识管理建模语言KMPL，开发了知识管理模型的可视化设计和完整性管理工具KMMT，很好地实现了对知识管理系统开芯的支持。     

基于证明分析的机器发现技术及其应用

机器学习和发现需要我们对当代科学哲学的思想和方法进行形式化．本文介绍了Ｌａｋａｔｏｓ方法论的基本思想，并通过二阶受限Ｔａｂｌｅａｕ来实现Ｌａｋａｔｏｓ方法论的形式化系统———证明分析演算．应用证明分析演算，实现了机器发现实例，从而得到了一实用的机器发现技术．     

面向网络计算机的视频播放器组件化模型

为了实现网络计算机系列的信息设备嵌入式系统的快速开发,需要构建模块性强、可重用性高、可扩展性强的视频播放器模型．文中根据网络计算机特有的客户端／服务器构架,在比较了各种不同的视频播放器模型后,提出了一种基于组件和设计模式的模型,同时用UML(统一建模语言)对各个组件进行了具体的分析与设计,对涉及到的设计模式进行了阐述．最后,总结了此组件化模型的特点,并给出了一个适应网络计算机系列的信息家电的视频播放器模型及其实现方法．     

关于AIX TCP/IP的探讨

ＴＣＰ／ＩＰ是Ｉｎｔｅｒｅｔ中最重要的部分,而ＡＩＸ是广泛应用在各领域的ＵＮＩＸ。文中在介绍ＴＣＰ／ＩＰ的基本理论和ＴＣＰ／ＩＰ的具体工作原理的基础上,指出了设置ＴＣＰ／ＩＰ系统的关键问题及其解决方法,从而可得到一实用的方案。     

RPC应用开发环境探讨

分布式应用开发中要面临许多集中式应用开发中的各种没问题,如体系结构模型,开发环境和分布式协同处理等,其中分布式计算环境是一个非常重要的问题,在ＲＰＣ和ＣＯＲＢＡ环境中,分布式代码开发模式与传统的应用开发模式完全不同,从而导致了开发费用的增加,本文中给出了一种旨在减轻ＲＰＣ应用开发工作的范型,并且通过在ＲＰＣ过程语言编器中设计合理的预编译器来支持开发范型。     

媒体转码服务在IGRS媒体服务器软件中的设计与实现

 在基于IGRS的媒体服务器软件中，媒体转码服务用于在媒体播放器向媒体服务器请求传输媒体内容时，将待传输媒体内容实时转换成媒体播放器所能支持的媒体格式，实现在不同媒体格式之间进行实时转码。针对IGRS媒体服务器软件的媒体转码服务设计并实现了一种具有可扩展性的、可配置的外部转码设计方案，使得媒体服务器在提供媒体转码服务时可以根据配置文件的设置，针对不同格式的媒体内容调用适当的转码器程序完成具体的媒体转码过程。     

GDIXEADP：面向服务的嵌入式软件开发平台

 针对当前多种多样的嵌入式开发环境,如多种处理器、外围设备等的存在,传统的嵌入式软件开发平台已经不能满足嵌入式开发多变的需求,不得不采用多个开发环境、多种开发工具以满足不同的需求,因此,如何构建一个统一的嵌入式软件开发平台架构,是一个迫切而实际的课题。SOA(Service Oriented Architecture)概念提供了一种可能,提出了一个基于SOA的服务软总线思想的嵌入式软件开发平台架构,可以将多种开发工具集成到一个统一的框架且具有很好的扩展性,并且将它应用于一个面向信息家电嵌入式应用的集成开发环境GDIXEAIDE实例。     

山蛩虫(Spirobolus bungii Brandt)共生菌SQ12的次生代谢产物研究

动植物内生菌的次级代谢产物往往种类繁多、骨架新颖、生物活性多样,已成为发现新的生物活性物质的重要来源.本文以山蛩虫(Spirobolus bungii Brandt)共生菌SQ12为研究对象,通过液体发酵培养获得次生代谢产物,利用高效薄层色谱和高效液相色谱技术分离出5个化合物,借助ESIMS和NMR等技术鉴定为:S-dehydrocurvularin(1)、11-α-methoxycurvularin(2)、11-β-methoxycurvularin(3)、11-α-hydroxycurvularin(4)、11-β-hydroxycurvularin(5).