Atomic Electronic Contract Protocol Based on Convertible Signature

A new class of atomicity, namely contract atomicity is presented. A new technical strategy based on convertible signature and two-phase commitment is proposed for implementing atomicity of electronic contract protocol. A new atomic contract signing protocol is given out by using EIGamal like convertible undeniable signature and commitment ofconversion key, and another new atomic contract signing protocol is brought forward by using RSA based convertible undeniable signature scheme and commitment of conversion key. These two new protocols are proved to be of atomicity, fairness, privacy, non repudiation.     

基于传动链仿真的发电机智能反演优化设计

提出了一种针对运行在传动链系统中的发电机智能反演优化设计方法,并以一台运行在传动链系统中的15 kW永磁同步发电机为研究对象,针对其运行效率对发电机的设计参数进行优化.首先,在充分考虑变流器侧对整个传动链系统的影响下,建立了面向传动链系统的协同仿真建模平台,验证了传动链的电磁设计参数与协同仿真计算平台的正确性;其次,通过方差分析从发电机的8个设计参数中选定6个敏感参数,并在选定优化变量后提出了一种基于遗传算法优化的拉丁超立方抽样方案,该抽样方案可以兼顾样本空间均匀分布与各变量维度投影的均匀性;然后,通过基于高斯随机过程的智能反演优化设计模型结合基于范围选择的多目标优化算法,获得发电机的效率与最大额定输出转矩的Pareto前沿,并针对优化后的齿槽参数进行绕组设计,结果显示优化后的效率为96.2%,对比其原始设计方案,发电机电磁损耗降低了16.8%,效率提高了0.6%; 最后,通过实验验证了仿真平台的准确性,进一步说明了样本数据与优化设计的有效性.所提设计方法可针对不同规格的大型传动链系统展开优化设计,其优化方法具有一定的普适性,可用于我国海上大型传动链系统的一体化精确仿真计算与流程化优化设计.     

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

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

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

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

期权在公司激励中的应用

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

对于施工企业执行建造合同准则的思考

文章从执行建造合同准则给施工企业会计核算带来的影响入手，对施工企业执行建造合同准则面临的困难和应做的准备工作做了阐述，指出执行建造合同准则，一方面可以促使企业改进成本管理水平，另一方面，如果相应制度和措施滞后，也会影响会计信息的准确性。     

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

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

网络时代合同法的最新发展

目前，联合国贸法会电子商务工作组的核心工作是在合同法领域起草一个有关电子订约的公约。电子合同的规则集中反映了网络时代合同法的最新发展。在信息技术的推动下，网络时代的合同法发生了巨大的演变，电子合同产生了许多不同于传统合同的法律规则，其中典型的电子合同法律规则有：电子形式规则、电子意思表示规则、电子签名与认证规则以及计算机信息交易合同中的电子错误规则和电子自助规则等。     

关于先履行抗辩权的几个问题--从一起办公自动化系统建设合同纠纷案谈起

当事人约定一方的履行为另一方履行的条件的，可适用先履行抗辩权制度予以调整。先履行抗辩权的成立应以先履行方可能履行为要件。先履行抗辩权行使的限度应依诚实信用原则进行解释，并结合后履行方合同目的的实现程度进行具体判断。     

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

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