求解约束网络图的逆向推理方法

本文研究了几何约束网络的求解问题。首先,介绍了常用的几何推理方法,指出了存在的问题。然后,提出了求解约束网络图的一种新方法——逆向推理方法,阐明了基本思想,并给出了应用实例。逆向推理方法继承了几何推理方法的优点,克服了其不足。     

基于契约的网格资源管理

针对网格计算经济，研究了将契约应用于网格资源管理和调度的方法。提出了一个结构化的契约模式，完成了契约匹配算法，分析了契约的安全问题和相关处理。在此基础上提出了基于契约的网格资源管理体系。该方法简化了资源管理以及网格监测，规范了GSP的行为，促进了资源的可靠性，进而推进了QoS的改善。     

物流管理系统呼叫中心的设计

本文论述了物流管理系统呼叫中心的解决方案。建立了呼叫中心的总计架构,解决了其中的关键技术,设计了各个组成的子系统及其功能。最后对开发的系统进行了测试,取得了较好效果。     

中小企业与信息化

现代信息技术的发展，无论是宏观上对国民经济部门还是微观上对企业的发展都产生了重大的影响。因为信息技术对生产力的硬件、软件各类因素都起到了改进作用。不但从技术上提高了生产率，改进了产品质量，提高了生产的敏捷性和适应性，减轻了人的劳动强度，改变了劳动的性质，而且在管理上提高了效率和效能。它还使市场环境发生变化，扩大了营销范围，提高了服务质量。信息技术还使金融业务多样化和国际化。     

OpenGL在航天员舱外活动仿真中的应用

简要阐述了进行航天员EVA(ExtraVehicularActivity)仿真的必要性和实现步骤。介绍了OpenGL的基本概念。在详细阐述了Kane方法、反向运动学以及反向动力学的基础上,给出了具体的实现仿真的算法。选取STS-63飞行中的航天员操纵大质量载荷为仿真对象,在做了适当简化的基础上,得到了7节段6自由度的航天员人体模型。对模型进行了求解,用OpenGL根据结果实现了EVA的动画显示。对求解结果和动画序列进行了分析,得出了结论。     

运用多媒体技术,提高小学语文课堂教学效率

科学技术的日新月异发展,推进了素质教育的进程,多媒体技术已经走进了课堂,为教师教学开辟了广阔空间。多媒体技术激发了学生浓厚的学习兴趣,化解了教学难点,创设了丰富的教学情境,有效地进行了德育渗透,突出了学生主体地位,提高了课堂教学效率。本文试就小学语文教学运用多媒体技术问题进行了探讨。     

改进的自回归算法在电信话务量预测中的应用

描述了某省电话网智能管理系统中的话务量预测方法。讨论、比较了基于神经网络和基于时间序列的预测模型。提出了原有模型的改进算法，从而提高了模型的有效性，并取得了比较好的预测结果。最后，文章给出了模型进一步完善的构想。     

Web Services技术综述--一种面向服务的分布式计算模式

Web Services引出了新一代的分布式计算模式。首先介绍了Web Service的基本概念，分析了面向服务的计算模式。然后阐述了Web Services的核心支撑技术：XML，SOAP，WSDL，UDDI以及扩展的协议栈。将Web Services与已广泛应用的分布式对象计算模式CORBA进行了详细比较，分析了它们的特点和优劣，指出了各自的应用领域。最后分析了Web Services当前研究状况，指出了下一步研究方向。     

单点系泊船舶运动的仿真研究

应用计算机仿真方法，研究了潮流作用下系泊系统的运动响应。建立了三自由度运动微分方程。然后在仿真工具箱SIMULINK中建立了时域仿真模型。对系泊船只的运动进行了计算机仿真。给出了其运动响应的时间历程，讨论了系统刚性对系泊运动的影响，利用Liapunov理论分析了静止系泊位置的稳定性，指出了定性分析方法对于系泊系统设计的意义。     

面向智能电网的云计算技术研究

对面向智能电网的云计算技术进行了研究。首先,引入了云计算的基本概念,分析了它的关键特征。其次,将云计算和智能电网技术进行了融合,提出了智能云的概念。随后,深入研究了智能云的构建、资源管理和安全策略问题。最后,给出了结论和未来的研究工作。     

Hierarchical image segmentation using a correspondence with a tree model

A new general image segmentation system is presented, based on the calculation of a tree representation of the original image in which image regions are assigned to tree nodes, followed by a correspondence process with a model tree, which embeds the a priori knowledge about the images. For this correspondence, an original algorithm is proposed, which performs the minimization of an error function that quantifies the difference between the input image tree and the model tree. We also present a new algorithm for automatically calculating the model tree from a set of manually segmented images. Results on synthetic and MR brain images are presented.     

基于遗传算法的实时组播通信路由算法

组播通信路由技术是视频广播、计算机会议、CSCW()等新型分布式计算的关键技术.提出了基于分布式遗传算法的共享树组播路由算法,包括包交换的网络组播树的建立、组播树的动态维护和计算满足特定时延和时延抖动限制的近似斯坦利最小树算法等.利用它可以实现在给定网络和组播需求的情况下,在组成员间寻找动态的组播树,并使该树覆盖所有的成员,并约束网络费用达到最小.进而解决树状路由的建立以及树状路由的动态维护等问题.     

Kernel-based semantic relation detection and classification via enriched parse tree structure

This paper proposes a tree kernel method of semantic relation detection and classification(RDC) between named entities.It resolves two critical problems in previous tree kernel methods of RDC.First,a new tree kernel is presented to better capture the inherent structural information in a parse tree by enabling the standard convolution tree kernel with context-sensitiveness and approximate matching of sub-trees.Second,an enriched parse tree structure is proposed to well derive necessary structural informat...     

真前缀标记树——一种面向用户的子树选取策略表示方法

针对周期性任务处理中用户对操作数据的规则定义问题,提出了一种带有标记的真前缀树的表示方法,定义了树形数据集合上的选择/排斥规则。根据这种规则,用户制定的周期任务能自动地处理原有的和变化的数据。并给出真前缀标记树的一种GUI表现方式。     

一类改进故障树分析法的可靠性仿真及应用*

从故障树分析法的基本概念和特点着手,提出了结合Faunet简化与线性时间（LinerTime）算法LTA的故障树结构简化两步策略,给出了故障树定性分析的算法描述及定量计算的数学推导,并将改进的故障树分析法用于某大型导弹的安全系统仿真。     

格值树自动机与格值上下文无关树文法的等价性

本文将模糊树自动机和模糊上下文无关树文法的概念推广到格半群上。证明了在接受语言和生成语言的意义下,树自动机和上下文无关树文法是等价的。同时给出了构造正规形式的等价文法的方法。     

基于模式语义的非膨胀性Pattern Tree简化

近年来,XQuery逐渐成为XML查询语言的事实标准。PatternTree被广泛应用于XQuery查询处理。PatternTree用匹配方法处理查询,其本身的大小和复杂程度决定了匹配的效率。该文论述了利用模式语义简化PatternTree的规则。这种方法避免了因插入冗余节点而导致PatternTree的膨胀。三个判断冗余节点的规则不但可以判断叶节点的冗余,而且可以在保留叶节点的情况下,判断非叶节点的冗余。实验证明了方法的可行性和有效性。     

求解度约束最小生成树问题的新算法

针对网络设计和组合优化中的度约束最小生成树问题,基于第k最小生成树的求解算法,提出了一种求解网络G关于指定节点的最小k度生成树的新算法。该算法通过对网络G的最小生成树作最优可行变换,逐步构造出指定节点的度数越来越接近度约束k的最小i度生成树,最终得到了网络G关于指定节点的最小k度生成树。给出了算法实施的具体步骤,并证明了算法的正确性。最后通过仿真结果和一个运输实例,表明了该算法在解决度约束最小生成树问题中的有效性。     

RFN-B+树索引文件及其有效性

在对比传统的B树和B+树的定义和操作算法的基础上,定义了一种新的B+树:RFN-B+树,以获得更高的空间利用率和可用性.首先比较和分析了RFN-B+树与传统B+树的空间效率,然后讨论了RFN-B+树索引文件的有效性以及支持这种有效性的全链接指针结构和两个备用模块:基于虚拟根结点的随机检索算法和重构结点的算法.     

基于满十六叉有序树的程序行为建模搜索方法

程序行为建模及搜索是异常检测研究中的关键问题。本文提出利用系统调用发生时的程序计数器值对应的段号和段内偏移作为事件,将滑动窗口在有序事件上滑动得到事件序列集合,利用满十六叉有序树算法建立正常行为模型库。满十六叉有序树是为提高规则库的存储及搜索的效率而设计的,其存储的字节顺序隐含着结点间关系信息。在规则库中搜索某条规则的时间复杂度仅与树的深度有关,树的深度固定时的时间复杂度为O（1）。文中给出了满十六叉有序树的定义,分析了它的特点,并给出生成算法和搜索算法。