摘要：Geo Agents, a multi agent system that processes distributed geospatial information and geospatial service was presented. Firstly, the requirement for distributed geographical information process was discussed, and the architecture of Geo Agents was introduced. Then in depth discussions were raised on agent system implementation, such as the basic agent, agent advertising, message passing, and collaborating. An example was also given to explain the problem solving process.

摘要：The secure socket layer/ transport layer security（SSL/TLS） handshake protocol uses public key cryptographic algorithms such as RSA for key establishment. Typically, public key cryptographic algorithm is computational intensive due to the modular multiplications. Therefore, SSL/TLS servers often become swamped while performing public key decryptions when the simultaneous requests increase quickly. A batch RSA decryption algorithm was proposed. The novel algorithm provides the reasonable response time and optimizes server performance significantly. The decryption speedup is proportional to the batch size b, for instance, the speedup factor is 4, while in Shacham＇s scheme the acceleration rate is only 2.5 when b = 4.

摘要：Various extensions of UML have been developed to meet the challenges of designing modern software systems, such as agent based electronic commerce applications. Recent advances in model checking technology have led it to be introduced into the development of approaches and tools to check the correctness of electronic commerce protocols. This paper focuses on the research of a method that connects an extension of AUML to model checker SPIN/Promela for the specification and verification of agent interaction protocols (AIP) in electronic commerce. The method presented here allows us to combine the benefits of visual specification with the power of some static analysis and model checking. Some algorithms and rules are developed to permit all visual modeling constructs translated mechanically into some Promela models of AIP, as supported by the model checker SPIN. Moreover, a process is illustrated to guide the specification and verification of AIP. The method is demonstrated thoroughly using the e commerce protocol NetBill as an example.

摘要：On the basis of the postal area center office system, the continuous space approximation is used to study the structure of postal express mail networks of aviation channels in China. Tradeoffs among sorting, handling, transportation, administrative and facilities costs are examined. The optimizing design methodology proposed in this paper can be used to analyze and design the postal express mail network. The objective is to minimize the total system cost.

摘要：An approach to camera location determination based on the perspective projection geometry of three points is proposed, which is simple and straightforward. No rigid restrictions are placed on the original positional and orientational relationships between the camera and the mark. Experimental results verify the feasibility of the proposed approach.

摘要：The Internet is playing an important role in information retrieval, and additionally industrial process manipulation. This paper describes an approach to writing requirements specifications for Internet-based control systems, from which architectures can be derived. The requirements specifications developed are described in terms of a functional model, which is then extended to form an information architecture. Distinct from the functional model, the information architecture provides an indication as to the architectural structure of subsequently developed Internet-based control systems. Three general control structures are generated from the analysis of an information architecture. An integrated-distributed architecture is derived as an ideal implementation, in which a control system is linked to the Internet at all levels of a control system hierarchy.

摘要：A new algorithm for the solution of under constraint graph in sketch drawing is put forward. The directed process of constraint graph is completed by picking concealed constraints of adjacent entities in sketch of few or no dimensions. In this paper, the priority of concealed constraint is given by the different constraint types and constructing orders, and some more priority concealed constraints are forced into obvious ones by the need number of constraint for every node in constraint solution process.

摘要：收益递减(diminishing returns,DR)次模最大化问题是研究具有边际收益递减性质的函数的优化问题.在连续优化领域中,DR次模函数不仅在理论上具有深远的研究价值,而且在应用上也展现了广泛的实用意义,特别是在资源分配、广告预算优化、传感器网络和能量管理等实际应用场景中发挥了关键作用.本文主要阐述连续域上DR次模最大化问题的经典算法及其相关变形问题的算法,涵盖Frank-Wolfe型算法、双贪婪算法、随机算法和在线算法等,并回顾近年来有关连续DR次模最大化问题的主要研究进展,为进一步探索该领域的前沿问题提供了有益参考.

摘要：In this paper, we present a general model for Arabic bank check processing indicating the major phases of a check processing system. We then survey the available databases for Arabic bank check processing research. The state of the art in the different phases of Arabic bank check processing is surveyed （i.e., pre-processing, check analysis and segmentation, features extraction, and legal and courtesy amounts recognition）. The open issues for future research are stated and areas that need improvements are presented. To the best of our knowledge, it is the first survey of Arabic bank check processing.

摘要：With the explosion of information nowadays, applying data storage safety requirements has become a new challenge, especially in high data available cluster environments. With the emergence of Storage Area Networks （SANs）, storage can be network-based and consolidated, and mass data movements via Fiber Channels （FCs） can be of very high speed. Based on these features, this paper introduces a dual-node storage cluster designed for remote mirroring as a concurrent data replication method to protect data during system failures. This design takes full advantage of a SAN system＇s benefits, and it adopts a synchronous protocol to guarantee a fully up-to-date data copy on the remote site. By developing a Linux kernel module to control the I/O flow and by using the technologies of software Logic Unit Number （LUN） masking, background online resynchronization and a self-management daemon, we have achieved a reliable mirroring system with the characteristics of server-free data replication, fault tolerance, online disaster recovery and high performance. In this study, we implemented the design in a remote mirror subsystem built on a software Fiber Channel Storage Area Network （FC-SAN） system.