Subsumption Checking between Concept Queries in Different Ontologies Based on Mutual Instances

This paper proposes a checking method based on mutual instances and discusses three key problems in the method： how to deal with mistakes in the mutual instances and how to deal with too many or too few mutual instances. It provides the checking based on the weighted mutual instances considering fault tolerance, gives a way to partition the large-scale mutual instances, and proposes a process greatly reducing the manual annotation work to get more mutual instances. Intension annotation that improves the checking method is also discussed. The method is practical and effective to check subsumption relations between concept queries in different ontologies based on mutual instances.     

Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.     

Modeling and Performance Analysis of Dispatching Policies in Dispatcher-Based Web Server Cluster

There are two kinds of dispatching policies in content-aware web server cluster; segregation dispatching policy and mixture dispatching policy. Traditional scheduling algorithms all adopt mixture dispatching policy. They do not consider that dynamic requests＇ serving has the tendency to slow down static requests＇ serving, and that different requests have different resource demands, so they can not use duster＇s resource reasonably and effectively. This paper uses stochastic reward net （SRN） to model and analyze the two dispatching policies, and uses stochastic Petri net package （SPNP） to simulate the models. The simulation results and practical tests both show that segregation dispatching policy is better than mixture dispatching policy. The principle of segregation dispatching policy can guide us to design efficient scheduling algorithm.     

Password-Based Group Key Agreement Protocol for Client-Server Application

0 IntroductionWith the rapid advances of computer networks , moreand more users are connecting together to exchangelarge amounts of information and share useful resources .However ,the security issue is still a major gating factor fortheir full adoption; mainly due to many malicious adversariesresidingin networked environments will eavesdrop,interceptand modify the transmittedinformation.The client-server model , over past years , has enjoyedsignificant and continually increasing popularity in…     

小世界网络中的相分离和超大磁电阻效应

由于自旋、轨道、电荷和晶格的关联作用,具有超大磁电阻效应的锰氧化物表现出自发的相分离特征和复杂网络的输运特性.小世界网络是介于规则网络与无规网络之间的一种新的网络构形,它能够很好地描述锰氧化物的相分离特征.我们运用蒙特卡罗方法研究了基于小世界网络的一维伊辛自旋链中的磁输运性质,发现小世界关联会导致自发的长程序.随着小世界长程作用的增强,铁磁相的区域扩大,同时体系的磁性相变温度升高.相应的电阻网络模拟显示,在铁磁—顺磁转变温度附近,磁电阻效应有了很大的提高,很好地解释了锰氧化物中的相分离现象与超大磁电阻效应.     

轧机主传动轴断裂事故分析

为分析某热轧厂R2轧机传动轴断裂的原因,对该轧机在典型工况下传动轴受力状况进行了现场试验研究,采用现代设计方法对传动轴进行分析,结果表明,平衡力产生的弯矩造成轴的应力集中而导致断裂。根据此结果对轴的结构进行了改进。     

Sn-基复合氧化物的制备及电化学性能研究

采用一种流变相法制备掺杂B和P非金属元素的SnO复合氧化物（TBP）,对不同温度下热分解得到的产物结构及作为锂二次电池负极材料的电化学性能进行表征。结果表明,以比容量和循环性能折中考虑,500℃热处理试样的电化学性能较好。     

基于活动预调度的工作流管理研究

在工作流管理中,通过将顺序执行的活动重叠执行来缩短过程执行周期、提高系统的执行效率,是长久以来大家关注的问题。传统支持过程管理的系统在这方面没有提供足够的支持手段。本文通过对实际应用情况的分析抽象,提出了用活动预调度的方法来解决以上问题,并针对项目管理型系统提出了解决方案:基于信息约束驱动执行的工作流管理机制。分析证明,预调度在实际工作流管理中是有意义且可行的。     

视频服务中基于阈值的接纳控制性能分析

为了使分布式视频点播系统的收益最大化,提出了一种基于自适应阈值的接纳控制算法.该算法拓展了接纳控制的概念,考虑了客户请求优先级的内在属性.通过M/M/n/n队列模型,经过分析研究得到了系统总收益函数的表达式.基于此表达式,视频服务器能够动态调整客户类的最佳阈值,从而保证系统收益最大化.数字结果分析表明,就系统总收益而言,自适应阈值策略优于自由阈值策略,并且方案可行.     

CaCl2对水泥浆体流动度经时损失的影响及其原因

实验结果表明,少量CaCl_2将增大硅酸盐水泥浆体的流动度经时损失。由于CaCl_2降低二水石膏在Ca(OH)_2饱和溶液中的溶解速度并增大其溶解度,使早期硅酸盐水泥浆体的液相组成发生了变化,浆体中水化产物生成量增加,自由水减少,从而导致浆体流动度经时损失增大。