基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

一种基于语义推理的多智能体协同功能设计框架

在功能设计知识本体表示模型的基础上，提出了一种基于语义推理的多智能体协同功能设计框架。该框架分为两个部分，其中，基于Multi-agent的通信协作平台将OWL本体嵌入到FIPAACL中以实现产品设计Agent之间的设计知识通信；基于本体的功能建模方法则将本体表示与本体推理结合以支持功能设计本体的存储与检索。最后，对该框架所包含的协同功能设计本体语义推理模型进行了分析与实现，以证明所建议框架的有效性。     

大学英语分级教学模式下的学习策略培养

大学英语分级教学模式下对学生的学习策略培养非常重要。教师在整个教学过程当中,要研究和掌握学生的语言学习习得过程,研究其学习特点,认知风格,心理特征,加强对学生学习策略的培养和指导,帮助学生积极参与、探索、建构和使用学习策略,为学生掌握学习策略提供条件与平台,使学生自觉运用学习策略自我管理、自我调控、自我评估学习过程和学习效果,不断提高自主学习的能力。     

二00八年全军学生军训工作要点

二○○八年的全军学生军训工作,要以党的十七大精神为指导,深入贯彻落实科学发展观,认真落实<学生军事训练工作规定>,紧紧围绕国家人才培养战略和国防后备力量建设需要,加强统筹协调,加大指导力度,规范工作秩序,着力在建设高素质派遣军官队伍、提高军事课教学质量、加强学生军训工作理论研究等方面下功夫,进一步推动学生军训工作创新发展.     

新疆少数民族儿童数学应用题解题调查研究

应用题解题对于提升民族儿童分析问题、解决问题的能力、培养思维品质、锤炼道德品质等方面有着重要作用.调研发现,南疆少数民族儿童的应用题解题障碍包括教学语言(常规语言、数学语言)、问题情境不熟悉、数学知识掌握不扎实、解题思维过程欠缺规范等多个方面.针对上述问题,从加强国语教育、渗透数学文化教育、开发课程资源、培养规范、严谨的解题习惯等多个方面提出了有针对性的对策.     

FIPA规范的防空导弹体系Agent建模方法

针对防空导弹体系建模的复杂性,探讨研究防空导弹体系的Agent建模方法.提出了基于G/A矩阵的Agent建模方法步骤,通过分析角色之间的关系描述了Agent组织结构,给出了角色类和Agent类的统一定义,并建立了Agent结构框架和类实现模型,最后构建了基于FIPA规范的MAS综合集成框架.该方法的提出,为防空导弹体系的进一步建模提供了方法依据.     

砂卵石地层大直径人工挖孔桩易出现问题探讨

在对砂卵石地层地质特点分析基础上，研究了此种地层中应用大直径人工挖孔桩时易出现的勘察失真、设计上未正确确定桩端阻力、施工中不按规范施工等问题，指出了应从勘察、设计、施工上采取的相应措施。     

我国网络语言研究综述

随着我国网络的普及及发展，网络语言也逐步形成并发展起来，对网络语言的研究也取得了一定的成果。网络语言的研究主要集中在网络语言的本体研究、文化解析及规范方面。我国网络语言的研究存在着一些不足，如重复研究多、方法单一、角度不多、研究不够深入等。今后应该多进行跨学科的研究及加强对网民的研究。     

概念层次网络中对偶性设计

首先对概念层次网络（ＨＮＣ）理论作简要说明，然后根据ＨＮＣ中层符号个性化设计理论给出对偶性设计方案，和偶性的具体表现，并给出对偶性概念具体表现的注解。