用进程代数描述CORBA请求调用

用π演算模型来表现ＣＯＲＢＡ请求调用流程．对ＣＯＲＢＡ客户机和服务器端的主要部件（如：接口库、实现库、桩、对象适配器以及两端的ＯＲＢ等）在请求调用过程中的作用都用π演算进程加以表示．利用π演算对描述进程的并行性所具有的独特优势,通过对ＣＯＲＢＡ体系结构的高度简化,希望这一模型能够体现ＣＯＲＢＡ的高度并行和分布的特性．对动态和静态请求调用的分别描述,从理论上表现出它们的共性和区别．     

几种IP地址共享方式的分析与应用

对ＴＣＰ／ＩＰ网上ＩＰ地址共享的几种常见方式（代理ＡＲＰ、ＩＰ伪装和代理服务器）在网络协议、适用范围、对客户端及服务器端程序 要求、内网可访问性、对防火墙的支持等方面的不同特点进行了分析和比较。给出了在Ｌｉｎｕｘ和Ｗｉｎｄｏｗｓ操作系统下上述几种技术的应用实例。     

期权在公司激励中的应用

通过将相关企业的信息引入对本企业经理人的期权激励和约,建立了合理的期权激励 模型．并利用委托代理模型给出了此模型合理性的论证．     

一种新的代理缓存替换算法

使用文档大小、访问频率、文档访问剩余寿命作为计算文档价值的关键词，在提出的替换策略上，对文档的访问频率作一个更精确的计算。实验结果将会表明该算法的改进更进一步提高了缓存性能，得到较高的文档命中率和文档字节命中率。     

一种基于因式分解问题的代理签名体制

在基于因式分解难题的Fiat-Shamir数字签名体制基础上,实现了一种代理签名体制,在该体制下,原始签名人可以指定代理签名人生成代理签名,以代替原始签名人行使消息签名的权利,在实际中有较好的应用价值.     

基于Web的形成性考核智能管理系统研究

以远程开放教育中形成性考核工作的需要为中心，充分利用现代计算机技术、多媒体技术、通信技术、数据挖掘和人工智能等技术，充分利用现有管理系统中的数据，建立了基于WEB的形成性考核智能管理系统，实现了考核课程学生自主学习的智能引导、全过程监控、科学合理评价到形成性考核成绩的自动化。最大可能的发挥形成性考核对学生学习的促进作用。     

基于移动代理的网络应用研究与实现

随着计算机网络的飞速发展以及Internet相关技术的普遍应用，数据处理已经不再局限于网络中的某一台计算机上运行，而是要求所有计算机都参与到网络这一大环境中，这就需要基于智能化和网络化进程的移动代理技术来解决复杂、动态和分布式智能应用的问题．文章首先简要阐述软件代理和移动代理的一些基本知识，然后以目前常用的移动代理开发平台Aglet为例，详细讲述如何开发基于移动代理的网络应用程序．     

非对称信息条件下供应链管理质量控制策略

研究非对称信息条件下供应链管理的质量控制问题·建立了供应链合作关系中的购买商和供应商的质量成本模型,其中包括供应商的生产理性约束条件·分析了非对称信息条件下购买商与供应商质量成本的委托代理关系,质量水平的不可观测性则表现为供应商的信息隐匿·实质上,这是一个委托代理中的逆向选择问题·购买商的质量成本是目标函数,供应商质量成本的一阶条件转化为状态空间方程,运用极大值原理求解该问题的最优质量控制·并进行了非对称信息条件下供应链的质量控制仿真实验·     

道德风险与最优保险产品设计模型

使用委托-代理理论建立一种保险产品设计模型．分别就信息对称和存在道德风险情况探讨了保险产品的特征和性质。在信息对称条件下．最优的保险产品可以实现保险人与被保险人之间的帕累托(Pareto)最优风险分担，并讨论了该情形下某些保险产品的形式。在非对称信息条件下，由于道德风险的存在。最优的保险产品不能达到帕累托最优的风险分担，探讨了该情形下具有激励机制与功能的保险产品的特征与性质，并一般化了[2]中的某些结果。     

具有时间相依索赔的破产概率

研究一类风险过程的破产概率，其中一类索赔可产生另一类索赔且索赔时间可延迟．得到了破产概率的上下限，并给出了索赔为指数分布的情形下破产概率的解析表达式。