基于Bit承诺的合同网模型

在分析现有合同网模型的基础上,针对合同网协商过程中的安全问题,利用Bit承诺协议和RSA算法,给出一个具有安全性的合同网协商模型,保证Agent之间信息的安全传输,防止协作Agent反悔、拒绝履行承诺。该协商模型满足不可否认性和强可验证性,投标价格保密安全,技术简单,通信量小。     

Data envelopment analysis classification machine

This paper establishes the equivalent relationship between the data classification machine and the data envelopment analysis (DEA) model, and thus build up a DEA based classification machine. A data is characterized by a set of values. Without loss of the generality, it is assumed that the data with a set of smaller values is preferred. The classification is to label if a particular data belongs to a specified group according to a set of predetermined characteristic or attribute values. We treat such a data as a decision making unit (DMU) with these given attribute values as input and an artificial output of identical value 1. Then classifying a data is equivalent to testing if the DMU is in the production possibility set, called acceptance domain, constructed by a sample training data set. The proposed DEA classification machine consists of an acceptance domain and a classification function. The acceptance domain is given by an explicit system of linear inequalities. This makes the classification process computationally convenient. We then discuss the preference cone restricted classification process. The method can be applied to classifying large amount of data. Furthermore, the research finds that DEA classification machines based on different DEA models have the same format. Input-oriented and output-oriented DEA classification machines have similar properties. The method developed has great potential in practice with its computational efficiency.     

掺加消石灰对沥青混合料抗剥离性能的影响

为了提高和改善沥青混合料的抗剥离性能,通过在沥青混合料中掺加消石灰进行级配设计和混合料试验研究,对掺加消石灰前后的沥青混合料各项路用性能进行对比．实验结果表明：掺加1％消石灰的沥青混合料,可以有效地增强沥青混合料抗剥落性能,提高沥青混合料的长期抗水损害能力,改善沥青混合料的高温、低温和抗疲劳性能．     

电解质等离子抛光表面粗糙度随时间变化规律

表面粗糙度是衡量抛光效果的最主要标准.依据电解质等离子抛光机理建立表面粗糙度随时间变化的数学模型,实验得出一定条件下经过不同的抛光时间之后试件表面的实际粗糙度值,用这些实验数据和数学模型进行非线性拟合,并根据拟合结果对数学模型进行了修正.修正后的数学模型与实验数据的拟合程度很好,校正可决系数达到了0.97139.在不同的抛光液温度下,又进行了2组实验,验证了修正后的数模模型与实际抛光时的情况基本一致.     

基于程序正确性的演算方法

为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法.针对于Hoare公理化方法证明中的前置条件难以寻找的问题,提出了将这两种演算方法结合使用的方法.对最弱前置谓词变换法的过程进行分析,确定了最弱前置谓词算法的准确性.将最弱前置谓词应用到公理化方法中,即把最弱前置谓词变换法求出的前置谓词作为公理化方法的前置条件.通过一个具体实例,详细说明了其验证过程,并证明了该方法的有效性.     

带有风险规避型销售商的供需链协调

以一个两阶段的供需链系统为背景，针对供需链上决策激励不一致和风险规避效应导致供需链低效的问题，研究了在实践中广泛应用的利益共享合同和批量折扣合同对供需链协调性的影响．证明了两种合同均可克服双重边际效应和风险规避效应，使得供需链协调．并给出了合同参数的设计方案，同时指出在实施上，利益共享合同需强制执行，批量折扣合同自动执行．     

基于PLC的双通道自动切换连续捆钞模块设计

本文基于PLC设计实现了一种新型双通道全自动切换连续捆钞模块结构.由转角电磁铁控制两通道切换交替接钞,共用一个捆扎机构,利用交替接钞的时间间隔实施纸币整理、传输和扎把过程,从而实现纸币不间断接收捆扎.模块结构紧凑,通用性强,可方便与清分设备集成.     

山西省灵活就业现状及原因探析

对山西省灵活就业现状及原因进行初步探讨.文章在收集相关资料及实际调研的基础上,对山西省灵活就业人员现状进行研究,并从劳动力供给与劳动力需求两个角度对近年来山西省灵活就业发展的原因进行分析.     

嵌段共聚物及其在制备高比表面积介孔材料中的应用

介孔材料因具有比表面积大、孔径分布均一及结构有序的特性,被广泛应用在催化剂载体、吸附材料及分离介质等领域。本文介绍了嵌段共聚物的结构特征及其在选择性溶剂中的自组装行为,综述了以嵌段共聚物为模板剂,采用溶胶-凝胶(sol gel)法制备高比表面积、高热稳定性介孔材料的控制过程,影响因素及制备非硅体系介孔材料的技术特性。     

化学镀钯膜提高直接甲醇燃料电池阻醇性能的应用

分别采用溅射和化学镀法在质子交换膜Nafion117膜表面获得薄钯层,通过扫描电镜(SEM)、能量色散法(EDX)、X射线衍射(XRD),甲醇渗透、质子电导率等性能测试来表征钯镀层的性能.SEM测试发现,采用溅射法在质子交换膜表面获得的薄钯镀层有不均匀的裂纹,而采用化学镀的方法获得的钯膜未发现有皲裂现象;EDX测试表明,镀层只含有钯和少量的磷;XRD测试表明形成的钯以微晶态存在;甲醇渗透测试证明化学镀钯层可以使Nafion117膜的甲醇渗透率降低一个数量级,这表明采用化学镀方法获得薄钯镀层的方法在降低直接甲醇燃料电池质子交换膜的甲醇渗透方面具有很好的应用前景.