基于移动代理平台Aglet的柔性工作流的研究与实现

分析了柔性工作流管理系统的特点以及可移动Agent技术，提出了一种基于移动代理平台的柔性工作流管理系统的体系结构，并采用Aglet平台实现了原型系统．在原型系统中，业务过程的定义封装在可移动的工作流引擎Agent中，MA(Mobile Agent)迁移到各执行任务的角色所在节点，驱动并监控任务的执行；利用多个Agent之间位置透明的通信、协同工作，使得业务过程的定义在执行中可动态修改，实现了工作流的柔性．     

基于PHP的校园公文发布系统的设计与实现

分析了校园公文发布系统的基本结构 ,给出该系统的设计思路 .在分析B/S结构和PHP技术特点的基础上 ,提出了校园公文发布系统的一种结构形式 ,并使用PHP MySQL技术实现了该系统的主要功能     

浅析中国与东盟的经济现状及发展思路

中国和东盟国家都把国际贸易作为国家的发展战略,都有较高的外贸依赖度,因此本文分析了中国和东盟国家的双边贸易关系,并根据东盟国家之间的贸易自由化政策和现状,提出了今后发展双边贸易的几点意见。     

国际BOT投融资方式在陕西农业建设中的应用

详细分析了陕西省农业和农村基础设施建设的现状及主要问题。研究结果表明，由于长期资金短缺和投资运行效益低下问题未能得到有效解决，致使农业和农村基础设施建设与农业和农村经济进一步发展之间仍有很大差距。为了摆脱自有资金的限制，提高投资能力和运营效益，积极引入BOT方式，具有现实的必要性、紧迫性和重大理论意义。根据国外经验和陕西省的实际情况，并结合BOT项目自身特征，阐述了BOT在陕西农业和农村基础设施中的应用领域，并就进一步改善BOT投资环境，对相关的管理体制、法律制度和实务操作等存在的问题提出了对策建议。     

聚类方法在警报数据分类与约简中的应用

提出了一个使用文本聚类方法进行警报数据分类与约简的处理框架.详细描述了警报特征向量的表示方法和直接聚类方法,以及警报数据的简约表示方法.     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

防范跨国公司内部价格转移的对策研究

目前，跨国公司进驻我国已成为客观必然，而且将越来越多。跨国公司在推动我国经济发展的同时，也不可避免地带来了一些负面影响。最主要的方面就是利用其内部贸易，将本该属于我国享有的利润通过价格转移的手段转移到国外的母公司，致使我国的税收减少，既影响了财政收入，也影响了我国正常的经济秩序。这表明，我国防范跨国公司内部价格转移的法律制度还不健全，措施也欠完善。国外尤其是发达国家在防范跨国公司价格转移方面已经颇有成效，因此就防范措施进行国际比较，以期对我国该问题的实践有所启示和借鉴。     

试析毛泽东和邓小平的国际战略对中国的影响

本文运用比较演绎的方法，从中国的国际地位的改变，中国的国际形象的树立，中国人民生活水平的改善、综合国力的提高等不同角度剖析毛泽东与邓小平的国际战略对中国的深远影响。目的是警示后人，要坚持邓小平的合作外交，以成功的国际合作方式来实现富国强民的目标。     

国际工程投标阶段承包合同管理初探

就国际工程投标阶段承包合同管理的目标进行了探讨，其主要内容是如何争取中标和怎样商签承包合同。     

因特网上中外专利文献的检索

重点介绍了因特网上国内外著名的专利数据库的网址、内容和专利文献的免费检索方法。