一种制造网格环境下的用户代理的签名方案

为提高制造网格环境下用户代理签名的安全性和性能,构建了一种密钥进化的基于身份的签名方案.在该方案中,使用前向安全来解决用户代理的私钥泄漏问题,并在随机Oracle模型下,基于计算Diffie-Hellman假设,形式化证明其安全性;引入基于身份密码学来改进效率,并基于完全二叉树构建,计算复杂度最多是总时间周期的对数;由用户代理自身来更新签名密钥,真正避免了网格用户必须经常在线;而且私钥更新具有前向安全性,当前的私钥泄漏,不会影响以前时间段签名的安全.     

基于移动代理的复合服务安全方案

给出了用于基于移动代理(Agent)的服务复合的安全方案.该方案以双线性对为基础,利用有隙Dif-fle-Hellman问题的难解性,构造了一个新的数字签名方案,在进行数字签名时不要求移动Agent携带签名密钥,避免签名密钥被窃取.此外,该方案也保证了移动Agent所携带的服务操作参数信息的完整性.同时因其基于身份的特点,在验证Agent生成的签名和Agent的数据完整性时不需要与认证中心或密钥分发中心进行通信.     

基于手写签名的电子公文安全认证方案设计

针对基于数字签名的电子公文安全认证中存在的不安全因素,提出一个基于手写签名的电子公文安全认证方案。该方案把人体生物特征即在线手写签名和数字签名相结合进行身份认证,可以有效抵御认证过程中潜在的各种攻击,同时利用信息隐藏技术进行安全通信,为电子公文安全提供可靠保障。     

基于手写签名的电子公文安全认证方案设计

针对基于数字签名的电子公文安全认证中存在的不安全因素,提出一个基于手写签名的电子公文安全认证方案.该方案把人体生物特征即在线手写签名和数字签名相结合进行身份认证,可以有效抵御认证过程中潜在的各种攻击,同时利用信息隐藏技术进行安全通信,为电子公文安全提供可靠保障.     

身份可追查的抗合谋攻击广义虚拟企业信任交互方案

现有的虚拟企业信任交互方案,均不能抵抗盟主与盟员及盟员与盟员间的合谋攻击,也不具备盟员间出现信任纠纷时的身份追查功能.为此,提出了一个身份可追查的抗合谋攻击广义虚拟企业信任交互方案.新方案通过在证书签发过程中引入签名成员的固有公私钥信息实现抗合谋攻击,通过构建身份跟踪数据库和y值吊销列表实现责任追查,通过部分签名验证实现错误定位.分析表明,新方案不仅具备已有方案的安会特性,还具备抗合谋攻击和身份可追查功能,且能灵活适应虚拟企业的不同组织模式,为虚拟企业盟员间的信任交互提供了安全可行的解决方案.     

前向安全的新型门限数字签名方案

为得到电子商务中高效、安全的数字签名方案,在改进后的Schnorr签名方案的基础上,提出一种新型门限数字签名方案,其最大特点是满足成员单独签名并具有前向安全性。为防止签名权力被滥用,方案采取二次分割的方式对密钥进行分配,成员必须与签名中心合作才能完成签名,确保方案具备可审计性并能抵御成员合谋攻击;为提升方案的鲁棒性,成员与服务器在签名过程中执行Joint-Shamir-RSS协议,共享关键随机参数k,保证了签名过程的安全性并使得方案能够抵御外部攻击。与同类方案相比,所提方案具有密钥分发简单、签名过程高效、可动态增删成员等优点。     

钢琴生产批量调度方法的研究与应用

针对多品种批量化生产模式的钢琴生产调度问题，考虑了批量优化及调整时间的影响，以完工时间最短为目标，建立了包含批量优化、批量加工任务分配和批量任务排序的批量调度优化模型。基于遗传算法的框架，设计了四元组基因值的染色体矩阵编码。基于多色集合逻辑围道矩阵和数值围道矩阵建立了批量调度的约束模型，将多色集合约束模型与遗传算法相结合，提出了一种基于模型约束的遗传算法（CMGA），实现了批量调度问题的高效求解。通过实例对比，表明不等量分批调度比等量分批调度能得到更好的生产调度方案，考虑了调整时间的调度方案在生产实际中能得到更好的效果。     

一种新的基于双线性对的环签名方案

基于Zhang-Kim环签名方案,本文给出了一种新的基于双线性对的环签名方案,并指出和改进了Zhang-Kim方案的不合理之处.经分析这两种签名方案的安全性和效率,本文提出的环签名方案比Zhang-Kim方案实现速度更快,计算量更小,签名长度更短.环签名在电子商务中具有重要的作用,因而环签名方案的研究具有重要的应用价值.     

面向协同设计的高效自证明多重签名方案

为解决协同设计环境中现有多重签名方案存在的工作效率较低和资源占有率偏高等问题,提出并实现了一种基于椭圆曲线密码体制的高效多重签名方案.通过引入公钥自证明思想和预计算步骤,将用户身份认证和数字签名验证有机结合在一起,无需繁琐的身份鉴别认证操作,也无需可信数字认证中心,只需要一次操作即可直接完成数字签名的验证工作.分析及实验表明,该方案结构简单,能有效抵抗目前已知的各种攻击,具有较高的工作效率、较低的资源占有率和较强的安全性.     

基于身份的混合加密方案

IBC虽然避免了复杂的身份认证和庞大的密钥管理问题,但由于IBC的密钥托管机构PKG掌握着主密钥s,而用户的私钥都是藉由s通过一个公开的私钥算法来生成,因此一旦主密钥s泄露或PKG不诚实,则用户的一切信息都将暴露,再无安全性可言。为了解决这个问题,该文提出了一种基于身份的混合加密方案。     

CAD系统中签名管理的设计与实现

利用公开密钥数字签名技术 ,针对 CAD系统中签名的要求提出了一种有效的解决方案 ,即集中式密钥管理技术 ,并给出了相应的实现方法。     

电网发电竞价信息加密系统的RSA加密算法与实现

介绍了电网发电企业竞价系统的功能,讨论了竞价系统公开密钥的RSA加密算法和公开密钥的竞标标书加密,介绍了数字签名以及加密、解密的软件构成.     

变批量生产及其关键技术

变批量生产是一种快速响应被制造产品的品种和批量变化的新型生产模式。变批量生产的关键技术是生产作业计划调度、运行控制与生产能力平衡控制枝术,柔性CAPP及与车间集成技术以及柔性制造系统仿真。     

Order Release and Product Mix Coordination in a Complex PCB Manufacturing Line with Batch Processors

In this paper, we study the role of order releases and product mix coordination in a complex manufacturing line with batch processors. We develop a planning methodology for synchronizing production in such manufacturing lines and discuss the decision-making process in the context of a PCB production environment at Northern Telecom's Fiberworld Division. The planning methodology includes developing mathematical programming models for determining a configuration of batch processors, order releases to the shop floor, and daily loading decisions at the batch processors. The optimization models are linked to a simulation model of the shop, which provides key statistics like lead time, work in process, and utilization rates. The objective is to reduce lead time for manufacturing different products in this environment while meeting the demand. We analyze the performance of such a line, study the efficacy of various types of shop floor synchronization policies, and establish the role of batch processors in managing such complex lines effectively. We exhibit how batch processors (which are bottleneck operations) could be scheduled effectively to incorporate the logical constraints that govern their operations and react to variabilities in the manufacturing line.     

成组加工质量控制中应用公差百分数控制图的研究

公差百分数控制图是在多品种小批量生产过程中,对关键工序进行加工质量控制的工具。讨论该方法应用于成 组加工质量控制的几个重要理论和问题。     

基于建模误差PDF形状的间歇过程数据驱动模型

间歇过程的优化控制依赖于过程精确的数学模型,数据驱动的建模方法是目前间歇过程模型研究中的热点问题.突破传统数据驱动建模方法中采用均方差(mean squared error,MSE)作为准则函数的思想,提出一种新颖的间歇过程数据驱动建模方法,引入了概率密度函数(probability density function,PDF)控制的概念,构造间歇过程模型误差控制系统,将模型的可调参数作为控制系统的输入,模型误差PDF的形状作为控制系统的输出,从而把开环模型参数辨识问题转化为模型误差PDF形状的闭环控制问题.通过可调参数控制模型误差PDF的空间分布状态,不仅能够保障模型精度,还可控制模型误差的空间分布状态,从而消除模型中的有色噪声.仿真实验表明,基于模型误差PDF形状的间歇过程数据驱动模型具有较好的建模精度、鲁棒性和泛化能力,为间歇过程的数据驱动建模提供了一条新途径.     

基于CATIA V5的零组件快速装配设计技术研究

研究了零组件快速装配设计的实现途径。提出了"批装配"的概念,解决了"批装配"实现过程中装配特征的定义、零件实例化、实时预览等关键技术。实现了螺栓连接、螺钉连接、销连接等零组件的快速装配设计,大大减轻了设计人员装配设计的工作,提高了装配设计的效率。该研究对于快速智能装配设计、基于实例的设计、家族化设计等有着一定的参考价值。