程序树层次化结构统计模型及MOSES改进算法

为提高MOSES效率,提出了一种新的程序树层次化结构统计模型．该模型通过统计分析同类群,自动发现子树特征来指导优化．该模型不需要hBOA算法那样对变量集合进行建模,也不需要像MRTS算法那样遍历小规模的种群来发现潜在的有指导意义的子树．通过解决人工蚂蚁问题对算法进行了测试,结果表明改进后的MOSES算法更加高效．     

开发人员升级至ASE15.0的10大理由(九)

（接上期）10语义分区本文的目的并非要详细介绍应该使用可种分区模式,而仅仅是如何更好地使用分区,等—因为它已经远远超出了意向的范围。在此将讨论为何要考虑使用分区,语义分区与轮循如何区别—与为何语义分区要优越于联合视图（前文曾提及）。     

基于语义链的色情网页过滤系统

针对Internet上日益泛滥的色情信息,提出了一种语义链技术和向量空间模型相结合的方法,利用语义链技术找出待分类文本的语义链,由该语义链的各密度向量分量与色情(性文化)文本语义进行比较,来确定其与待分类文本的相似程度,从而将待分类文本分到对应的类中,最后可以使用先前的分类结果对色情信息实施过滤,通过实验表明,该方法能较好的识别色情网页并加以过滤.     

从语义角度论语言的不确定性

文章介绍了语言不确定性产生的原因,并从语义角度分析了语言不确定性的主要表现形式及其语用功能。通过对语言不确定性的探讨与研究,可以加深对语言规律的认识,把握其形式和内容的对应关系,更好地体味语言的蕴涵,提高英语的运用能力和鉴赏能力。     

基于Perti网的业务流系统的语义描述

尝试利用Perti网理论对包括航运业务流程在内的以信息传递为主的业务流系统的语义描述进行了系统的探讨。内容主要包括：业务流系统特点分析、业务流的基本Perti网语义描述、业务流的基本流程关系描述、冲突消解及业务能力有限的Perti网实现、业务流程的组合分解与抽象细化的Perti网实现、不同性质的任务标识与激发的Perti网语义描述、业务流属性的Perti网语义描述等。     

车身设计中空气动力学特征的视觉表达

分析了汽车的气动性影响因素,提出了针对改善汽车空气动力学性能的造型手段,指出如何利用符号语义,从视觉上来实现高气动性能的心理要求.最后列举了具备良好气动性能的通用视觉语言符号,指出这也是车身设计所应遵循的基本规律.     

自动售检票ZLC系统实时计算中间件的设计与实现

针对AFC系统中的实时通信处理系统,结合国内各城市AFC线网标准的差异性,探讨区域线路中心(ZLC)系统实时计算中间件Panda-Adapter系统的设计与实现。Panda-Adapter系统将容器技术、并行处理、内存计算技术、内存数据库存储技术(Redis)有效结合,通过语义识别Adapter计算引擎解决区域中心处理高并发、实时计算及存储的技术瓶颈,其可持久化的技术特点保障了业务的连续性,热插拔的设计模式降低模块运行时的故障干扰,保证系统的稳定性。高并发、高可靠及可跨平台的软件架构设计满足国内不同AFC标准体系的运营需求,为后续多线路中心AFC通信系统改造、升级和扩容提供一种新的设计思路。     

有序逻辑程序的回答集语义

为了统一并扩充回答集语义，在带有规则序的逻辑程序中，基于不动点原理，采用了处理优先序的新方法——直接在规则迭代过程中考虑规则序的作用．用此方法得到了9种不同的回答集语义，并讨论了各种语义之问的关系；证明了它们在包含意义下不是构成线序结构，而是一般的格结构；在层次逻辑程序中，该类回答集语义都退化为普通的回答集语义．     

基于Ontology和Jena的个性化E-Learning系统研究

介绍了E-Learning系统的若干关键技术,阐述了如何利用本体方法建立一种面向语义的非结构化教学资源的表示机制以及利用Jena推理机制进行非结构化教学信息的语义访问和个性化学习指导,在此基础上,实现了一个基于Ontology和Jena推理机制的个性化E-Learning系统模型,并对E-Learning系统未来的发展进行了展望.     

不同Statechart语义比较

Statechart是一种可视的规格描述语言,由于其直观的特性和强大的描述能力,一直得到广泛的重视,Statechart语义的关键在于执行步语义,不同的statechart的变体有着不同的描述能力,而应用于不同的领域.本文以三种应用最为广泛的Statechart语义为对象,以逆时间的方式,从UMLStatechart的语义开始,通过对Statechart功能的讨论,逐步引出了STATEMATE Statechart的语义和Pnueli给出的Statechart的语义,并进行了比较,显示出不同语义的描述能力的差异和不同语义表达的思想.