双苯吡唑苯氧羧酸盐的合成及其结构—活性定量关系

野燕枯,即1,2-二甲基-3,5-二苯基吡唑甲基硫酸盐,是大麦及小麦地里防除野燕麦的优良除草剂。当前广泛使用的苯氧酸类除草剂对谷物地里的阔叶杂草有很好的防除效果。因此,如果将苯氧酸负离子和吡唑正离子合成一类新化合物,它们可能兼有苯氧酸和吡唑盐除草剂的除草性能,是一种较理想的麦田用除草剂。文献中曾报导过以苯氧酸负离子作为组分之一的吡唑盐除草剂,但数量很少,且没有说明该类化合物结构一活性定量关系。     

安全计算机系统的Bell—LaPadula形式化模型

一、引言著名的Bell-LaPadula形式化模型(简称为BLP模型)是由MITRE公司的Bell和LaPadula在文中提出的,随后被广泛用于形式化地描述和证明计算机系统的安全。文给出了信息保密系统的Bell-LaPadula模型的形式化描述,并证明了几个结论。其中一个重要的结论就是,判断信息系统是否为保密系统的充分必要条件。但我们发现,该结论的证明是错误的。事实上,文给出的只是一个充分条件,而不是必要条件。另外,文将Bell-LaPadula作了修改和扩充,得到了一个新的修改BLP模型,并成功地将修改后的模型用于设计SecLinux安全操作系统。但文并没有给出修改BLP模型的形式化证明。借助于一个新的概念-动作(action),我们给出了在Bell-LaPadula形式化模型下,计算机系统安全的充分必要条件。同时,本文还对Bell-LaPadula形式化模     

针对基于离散对数多重签名方案的一种攻击

作为一种特殊的数字签名，多重签名由签名群体中的所有成员合作对给定的消息进行处理后形成整个群体的签名；而验证者只需要利用群体的唯一公钥即可对签名进行有效性检验．Harn和Ji等人提出了两个基于离散对数的多重签名方案．但陆浪如等指出了这两个方案的一个共同缺点：若部分成员合谋作弊，则群体所产生的多重签名也可以解释为由其他诚实成员所产生的多重签名．这样，在必要时，作弊成员就可以否认他们与某些多重签名有关．为了克服这一缺点，陆浪如等对这两个多重签名方案的密钥生成部分提出了两种改进．该文给出一种攻击方法以表明陆浪如等的改进多重签名方案仍然是不安全的．在这一攻击中，单个成员就能够控制群体私钥，从而能以群体的名义伪造对任何消息的多重签名．与此同时，其他成员仍可正常地产生签名，所以他们觉察不到欺诈的存在．另外，该文提出的攻击方法对改进前的方案也有效．     

一个证实数字签名方案的安全缺陷

与普通的数字签名不同,验证者要知道一个证实数字签名的有效性,必须得到一个称为证实者的第三方的合作与帮助.但除了签名者,其他任何人(包括证实者)都不能以签名者的名义产生有效的证实签名.同时,只要参与了验证,证实者就不能欺骗验证者.进一步地,在必要的时候,证实者还可以将证实签名转化为普通的数字签名,从而使得任何人都可以验证这些签名的有效性.王尚平等学者提出了一个基于DSA和RSA的证实数字签名方案,并认为他们的方案是安全而高效的.与现有的具体方案相比,他们的方案确实是高效的.但是,这一方案存在严重的安全缺陷,从而使得他们的尝试是不成功的.     

光学表面的分形结构和表征算法

根据光学表面在微观结构上呈现出的统计自相似性，利用与尺度无关的分形模型描述了光学表面的结构特征，采用结构函数法对分形维数进行计算，分析了抛光表面的分形特点。在此基础上，提出了采用一阶自回归分形模型对抛光表面进行模拟的新方法，分析了界定尺度、模型参数对分形特征和分形维数的影响规律。     

不需要可信任方的门限不可否认签名方案

在1992年澳大利亚密码会议上, Harn and Yang 第一次提出了(t,n)门限不可否认签名的概念.其中,只有成员个数不少于t的子集才能代表群体产生、确认和否认签名.随后,一些研究者又提出了几个方案,但这些方案都是不安全的.因此,到目前为止,怎样设计一个安全的(t,n)门限不可否认签名方案仍然是个公开问题.提出了一个基于离散对数密码系统的(t,n)门限不可否认签名方案.该方案不仅安全、高效,而且不需要可信任方.另外,方案还具有一个很好的性质,即成员的诚实性是可以验证的.这是由于在分发密钥时,采用了Schoenmakers在1999年美洲密码会议上提出的可公开验证秘密共享方案和两个用来提供正确性证据的离散对数恒等式协议.     

Study on precision cutting technology of complex shape microparts

Relatively to non-traditional and high-energy-beam micro-manufacturing technique, the micro-cutting technology has many merits. For instance, the machining range is bigger, the cost of equipments is much lower, and the productivity and machining accuracy are higher. Therefore, the micro-cutting technology will take an important effect on the machining technique of complex shape microparts. In this paper, based on selfly-developed machine tool, the precision cutting technology of complex shape microparts made of metal material was studied by analyzing the modeling method on complex shape, the means of toolpaths layout and the optimal selection for cutting parameters. On the basis of above work, a typical duralumin specimen of high precision, low surface roughness and complex shape micropart was manufactured. This result will provide favorable technical support for farther research on the micro-cutting technology.     

企业技术创新机制的研究

技术创新是企业形成竞争优势的重要源泉。技术的发展虽然具有高度的不确定性，但是技术创新活动本身有其自身的发展规律，按照技术创新发展规律，科学地管理技术创新活动，是企业管理中的一项重要任务。建立科学的技术创新机制是成功管理技术创新的有效途径。本文提出企业的技术创新机制由运行机制、激励机制和保障机制三大部分组成，并提出了三个机制的运行模型，同时通过分析三者之间的互动关系，提出了建立企业技术创新机制的思维框架。     

湿法炼锌流程锰矿粉最佳加入点的试验

在湿法炼锌流程低酸浸出槽中加入锰矿粉后，使低酸浸出工序未彻底反应的锰矿粉仍在高浸、沉矾工序继续对Fe（2 ），起氧化的作用，并能消耗高浸上清液中过量的硫酸，加快锰矿粉对Fe（2 ）的氧化速度，改善中浸上清液沉降条件，降低中浸上清液和净化后液杂质含量，减少电解液阳极泥量，降低电解液电阻值，提高电锌品级。     

石英熔剂化学成份暨块度与降低弃渣含镍的关系

叙述了鼓风炉炼镍,在原料组分、物理规格不变、操作条件也不变的前提下,熔剂石英石的SiO_2成分暨块度对弃渣含镍的影响。