摘要：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.

摘要：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.

摘要：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.

摘要：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.

摘要：The present paper proposes an optimization design method for the Doherty output matching network(OMN)using impedance–phase hybrid objective function constraints,which possesses the capability of enhancing the efficiency consistency of the Doherty power amplifier(DPA)using integrated enhancing reactance(IER)during the back-off power(BOP)*** calculating the desired reactance for an extended BOP range and combining it with the two-impedance matching method,the S-parameters of the OMN are ***,the impedance and phase constraints of the OMN are proposed to narrow the distribution range of the ***,a fragmenttype structure is employed in the OMN optimization so as to enhance the flexibility of the circuit optimization *** validate the proposed method,a 1.7–2.5 GHz symmetric DPA with a large BOP range was designed and *** results demonstrate that across the entire operating frequency band,the saturated output power is>44 dBm,and the efficiency ranges from 45%to 55%at a 9-dB BOP.

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

摘要：Machine learning (ML) has been widely used todesign and develop new materials owing to its low computational cost and powerful predictive capabilities. In recentyears, the shortcomings of ML in materials science have gradually emerged, with a primary concern being the scarcity ofdata. It is challenging to build reliable and accurate ML modelsusing limited data. Moreover, the small sample size problemwill remain long-standing in materials science because of theslow accumulation of material data. Therefore, it is importantto review and categorize strategies for small-sample learningfor the development of ML in materials science. This reviewsystematically sorts the research progress of small-samplelearning strategies in materials science, including ensemblelearning, unsupervised learning, active learning, and transferlearning. The directions for future research are proposed, including few-shot learning, and virtual sample *** importantly, we emphasize the significance of embedding material domain knowledge into ML and elaborate on thebasic idea for implementing this strategy.