摘要：Numerous smart card based authentication protocols have been proposed to provide strong system security and robust individual privacy for communication between parties these days. Nevertheless, most of them do not provide formal analysis proof, and the security robustness is doubtful. Chang and Cheng(2011) proposed an efficient remote authentication protocol with smart cards and claimed that their proposed protocol could support secure communication in a multi-server environment. Unfortunately, there are opportunities for security enhancement in current schemes. In this paper, we identify the major weakness, i.e., session key disclosure, of a recently published protocol. We consequently propose a novel authentication scheme for a multi-server environment and give formal analysis proofs for security guarantees.

摘要：We construct the membership functions of the fuzzy objective values of a controllable queueing model,in which cost elements,arrival rate and service rate are all fuzzy numbers. Based on Zadeh's extension principle,a set of parametric nonlinear programs is developed to find the upper and lower bounds of the minimal average total cost per unit time at the possibility level. The membership functions of the minimal average total cost are further constructed using different values of the possibility level. A numerical example is solved successfully to illustrate the validity of the proposed approach. Because the object value is expressed and governed by the membership functions,the optimization problem in a fuzzy environment for the controllable queueing models is represented more accurately and analytical results are more useful for system designers and practitioners.

摘要：一(n， n ) 多党的量秘密分享的阀值计划古典或量消息基于分离的量 Fourier 变换被建议。在我们的建议计划，仅当所有参加者在音乐会工作，秘密消息，被使用前面的量 Fourier 变换编码并且由使用颠倒译码，以如此的一个方法被切开并且分享，它能在他们之中被重建。而且，我们也讨论这个协议怎么必须小心地为改正错误或一个不诚实的参加者被设计。安全分析证明我们的计划是安全的。另外，这个计划有它与量计算完全兼容的一个优点并且更容易在分布式的量认识到安全计算。

摘要：True color image city map is a sort of new-style map which combines the high resolution image and map symbols and shows both advantages in visualization. At the same time, the map unification and harmonization should be taken into account dur-ing the design process, since some visual conflicts appear when map symbols overlaid on the true color image. The objective of this research is to explore the rules in the process of true color image city map design based on chromatic and aesthetic knowledge. At the end, taking the Image Atlas of Guangzhou as an example, image color adjustment, road network presentation, and symbol de-signing issues will be discussed in the application.

摘要：采用混合概念设计方法,对油棕复合材料汽车防撞箱进行了概念设计。结合创新问题解决(TRIZ)理论、形态图和仿生学,考虑材料特性、功能规格、力识别、根本原因分析、几何形状和设计选择标准等方面的首要要求。该策略是利用自然物来激发五种创新的ACB结构的概念设计,并运用层次分析法进行两两分析来选择最佳的ACB概念设计。复合ACB的新概念设计考虑到了天然纤维的特性,而不像传统材料如钢合金和铝合金。排名最高(26.6%)的设计被选为最终的概念设计,该设计的最外层具有蜂窝结构,内部结构由蜘蛛网结构强化,中心部位是由啄木鸟海绵组织中提取的纤维泡沫结构支撑,以达到能量吸收能力最大化。新的设计可以解决ACB在碰撞过程中无法吸收最大冲击能量的主要原因-弯曲塌陷的问题。但是,为了生产和装配需要,最后的概念设计仍需修改,这些修改将在今后研究中完成。

摘要：Thanks to the fast improvement of the computing power and the rapid development of the computational chemistry and biology,the computer-aided drug design techniques have been successfully applied in almost every stage of the drug discovery and development pipeline to speed up the process of research and reduce the cost and risk related to preclinical and clinical *** to the development of machine learning theory and the accumulation of pharmacological data, the artificial intelligence(AI) technology, as a powerful data mining tool, has cut a figure in various fields of the drug design, such as virtual screening,activity scoring, quantitative structure-activity relationship(QSAR) analysis, de novo drug design, and in silico evaluation of absorption, distribution, metabolism, excretion and toxicity(ADME/T) properties. Although it is still challenging to provide a physical explanation of the AI-based models, it indeed has been acting as a great power to help manipulating the drug discovery through the versatile frameworks. Recently, due to the strong generalization ability and powerful feature extraction capability,deep learning methods have been employed in predicting the molecular properties as well as generating the desired molecules,which will further promote the application of AI technologies in the field of drug design.

摘要：An all-optical 2-to-4 decoder unit with the assist of terahertz optical asymmetric demultiplexer (TOAD) is presented. The all-optical 2-to-4 decoder with a set of all-optical switches is designed which can be used to achieve a high-speed central processor unit using optical hardware. The unique output lines can be used for all-optical header processing. We attempt to develop an integrated all-optical circuit which can perform decoding of signal. This scheme is very simple and flexible for performing different logic operation and to design advanced complex logic. Simulated results are confirming the described methods.

摘要：The collision detection is of great importance in almost every game, whether among the objects or between the object and the scene .If the author don t detect collisions, objects will intersect each other or object will intersect the scene. In this paper, the author present two algorithms that high-speed detects the collision detection between moving bullet and role with unknown trajectories in 2D environment. The objects for collision detection are bounded by the axis-aligned rectangles or circles. The known information such as world coordinate system, collision object coordinate system and collision detection area coordinate system etc, are stored in the data files in advance. The data control systems load those information into the collision detection module to handle the collision among the roles and bullets. We set coordinate values of rectangular center and four vertexes or the center point of a circle and use the distance between two points or the distance from a point to a line to see whether the object"s vertexes are enclosed in the other object. If it is true, there is a collision occurring. We improved the algorithm to make the player share the scene of running through the bullet cluster with skill and ease while avoiding being shot.

摘要：Urine analysis is one of the most common and useful assay means in clinic for diagnose disease, especially urinary system disease and dry chemistry method is the most convenient, common and low cost about urine analysis. To expediently and efficiently analyze the corresponding relationships between different color data and semi-quantitative results about every urine item with dry chemistry way, in this paper, the design and application of effective software that may be used to collect color data about urine reagent strips are presented. First, we introduce the design procedure of this software. Second, its realization of design is given. Third, several application examples about collecting RGB original data by RS232 interface are shown. Then, RGB original data can be visually displayed by waveforms or curves and the data of cursor position may also be given. From the examples, we could confidently draw a conclusion that it is very convenient and effective to study on the laws of color variation about reagent pieces on reagent strip and it has met our original designed demands.