改进的滑动窗口标量乘算法

;标量乘法是实现椭圆曲线密码体制的瓶颈问题,本文对传统滑动窗口算法进行改进,首先利用预处理栈存储非零窗口值与非零窗口权的指数,然后结合底层域直接计算2kR S算法和预计算表提出了新的标量乘算法.新算法在以牺牲适量的存储空间换取赋值阶段效率的提高.本文还分析出在混合坐标下,当w=4时新算法比仿射坐标下传统滑动窗口算法效率提高约40.6%左右,而且新算法同时还抵抗基于边际信道的攻击.     

基于RSA的数字签名算法及其快速实现

在基于RSA的数字签名算法中,直接决定实现效率的是大数模幂运算。对基于二进制的Montgomery算法进行了改进,并将其应用于大数的模幂运算中。改进后的算法在保证算法快速实现的同时,又节省了算法运算空间。     

基于折半运算的快速双基数标量乘算法

为了提高椭圆曲线标量乘法效率,对二元域上椭圆曲线的基于双基数的标量乘法进行改进。在底层域推导出直接计算3^kP的快速算法,该算法只需一次求逆;新设计的以1/2和3为基的双基数编码可结合高效的直接计算3^kP和折半运算,基于该双基数编码的标量乘算法只涉及到点加运算、折半运算、三倍点和直接计算3^kP,底层域运算复杂性得到降低,在NIST推荐的椭圆曲线上比Dimitrov算法效率提高70%以上,比Wong方法提高10%以上。     

The development of robot art

Going through a few examples of robot artists who are recognized worldwide, we try to analyze the deepest meaning of what is called “robot art” and the related art field definition. We also try to highlight its well-marked borders, such as kinetic sculptures, kinetic art, cyber art, and cyberpunk. A brief excursion into the importance of the context, the message, and its semiotics is also provided, case by case, together with a few hints on the history of this discipline in the light of an artistic perspective. Therefore, the aim of this article is to try to summarize the main characteristics that might classify robot art as a unique and innovative discipline, and to track down some of the principles by which a robotic artifact can or cannot be considered an art piece in terms of social, cultural, and strictly artistic interest. This work was presented in part at the 13th International Symposium on Artificial Life and Robotics, Oita, Japan, January 31–February 2, 2008     

Supervisory control of modular systems with global specification languages

The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synthesized for each module separately and the supervisory control consists of the parallel composition of the modular supervisory controls. The general case of the specification that is indecomposable and not necessarily contained in the plant language, which is often the case in practice, is considered. The usual assumption that all shared events are controllable is relaxed by introducing two new structural conditions relying on the global mutual controllability condition. The novel concept used as a sufficient structural condition is strong global mutual controllability. The main result uses a weaker condition called global mutual controllability together with local consistency of the specification. An example illustrates the approach.     

一种新的大整数乘法算法

为解决超出计算机系统基本整数类型表达能力的整数(大整数)算术运算问题,以基础算法--大整数乘法为研究对象,根据大整数的表示形式与多项式表示形式上的相似性,结合大整数乘法进位与取模的特点,给出了一种关于大整数乘法的多项式算法.其方法与别的方法最大的不同是,虽然是求两个大整数乘法,但整个算法没有使用乘法,只是用加法运算而已...     

A pairing-free identity-based authenticated key agreement protocol with minimal message exchanges

Based on the computational Diffie-Hellman problem, this paper proposes an identity-based authenticated key agreement protocol which removes bilinear pairings. Compared with previous protocols, the new protocol minimizes message exchange time with no extra cost. The protocol provides strong security guarantees including key compromise impersonation resilience, perfect forward secrecy, and master key forward secrecy. A security proof with the modular approach in the modified Bellare-Rogaway model is also provided.     

Modular analysis and modelling of risk scenarios with dependencies

The risk analysis of critical infrastructures such as the electric power supply or telecommunications is complicated by the fact that such infrastructures are mutually dependent. We propose a modular approach to the modelling and analysis of risk scenarios with dependencies. Our approach may be used to deduce the risk level of an overall system from previous risk analyses of its constituent systems. A custom made assumption-guarantee style is put forward as a means to describe risk scenarios with external dependencies. We also define a set of deduction rules facilitating various kinds of reasoning, including the analysis of mutual dependencies between risk scenarios expressed in the assumption-guarantee style.     

广义求和与乘积算子中参数w的影响规律分析

广义求和算子与广义乘积算子是基于区间数的证据合成方法得以应用的两个重要参数,实际应用表明两者中参数w对证据合成结果影响较大,掌握参数w的影响规律对其应用将大有裨益。通过对关键函数fu和fi的数学分析,同时依据实例分析的结果,推导出广义求和算子与广义乘积算子中参数w对基于区间数的证据合成结果的三条主要影响规律：1）随着广义求和算子中的参数w增大,证据合成结果变得悲观;2）随着广义乘积算子中的参数w的增大,证据合成结果变得乐观;3）两者中参数w的同时增大或减小可以平衡各自对证据合成结果的悲观或乐观作用。总结出的影响规律可辅助选择适当的参数w,以更好地满足实际工程应用需要。     

基于虚拟仪器的数据采集板卡校准技术研究

针对功能的多样性、精度与集成度的提高以及校准软件的缺乏等造成板卡校准工作不能正确展开的问题,以4款板卡的校准为例,探讨了板卡校准的步骤和校准的软硬件需求.在分析仪器控制技术、校准流程和校准任务的基础上,提出了“校准引擎+校准数据库+校准插件”的新校准软件开发架构,并介绍了其组成和实现中采用的关键技术.此校准软件已成功应用到工程中,为板卡校准工作提供了有效的技术手段.