用规则空间模型和属性层次方法进行认知诊断

认知诊断能区分分数相同的被试间的差异,它被视为新一代的心理与教育测量学研究的核心之一。规则空间模型是最有影响的诊断模型之一,属性层次方法是其一种变体。文章介绍了规则空间模型(RSM)和属性层次方法(AHM)的理论和应用,并对这两个模型进行了比较研究,用蒙特卡洛模拟比较了规则空间和属性层次方法的归类优劣。结果表明,属性层次方法中的方法A最好;规则空间的归准率比属性层次方法中的方法B高,但比方法A低。     

一种可溶性双酮酐型共聚酰亚胺的合成及性能

以均苯四甲酸二酐(PMDA)和4,4’-对苯二甲酰二邻苯二甲酸酐(TDPA)为二酐单体,4,4’-(3-氨基苯氧基)二苯甲酮(BABP)为二胺单体,采用两步法低温溶液缩聚合成了系列双酮酐型共聚酰亚胺。采用红外光谱、X射线衍射、差示扫描量热分析、热重分析、拉伸测试和溶解性能测试对聚合物的结构与性能进行了表征,考察了TDPA/PMDA不同摩尔比对共聚酰亚胺溶解性、耐热性和力学性能的影响。结果表明,双酮酐型聚酰亚胺的玻璃化转变温度随TDPA摩尔含量的增加逐渐下降,溶解性能则逐渐提高,当TDPA/PMDA摩尔比为7/3时,共聚酰亚胺具有优良的耐热性能及力学性能,可溶于N,N-二甲基甲酰胺(DMF)等极性溶剂。     

基于PAR 的排序算法自动生成研究

排序是计算机学科中的一类特殊问题,其算法设计策略的灵活性使得求解算法更具多样性.基于形式化方法PAR(partition-and-recur),研究了排序算法的自动生成问题.刻画了排序问题的代数性质,形式化构建了排序算法领域的泛型类型构件和算法构件,建立了排序领域特定语言和算法生成形式化模型,以参数替换的方式自动生成了一组排序算法,包括快速排序、堆排序、Shell排序等典型的已知算法以及增量选择排序等若干未见于现有文献的算法,并在程序生成系统中予以了实现.通过上层框架研究和底层构件支持,显著提高了特定领域算法的开发效率和可靠性.     

Clearinghouse(数据交换中心)与数字化地理信息共享

随着Internet技术的飞速发展和网络应用的普及，用户通过Internet快速，、准确地获取和共享地理信息已是大势所趋。采用数据交换中心Clearinghouse机制是实现地理信息共享的重要方法之一。作为集中式服务系统，Clearinghouse提供一个虚拟信息空间，存储大量元数据，实现数字化地理信息的获取和发布能力，并已广泛用于许多国家的地理信息共享实践中。本介绍基于clearinghouse数字化地理信息共享的体系结构、相关技术和实现方法，涉及三层服务体系结构、元数据、Z39．50协议和语义映射等。最后扼要介绍采用Java Servlet、VB和MapObiect开发的基于clearinghouse的数字化地理信息截共享原型系统，它具有元数据提交、数据上载、信息组合查询、地理信息图形显示、数据下载等功能。     

水生植物对铜、铅、锌等重金属元素富集作用的评价研究

对调查区域内土壤及植物中的Cu、Pb、Zn等重金属元素进行了测定。并分别进行了评价,所调查的土壤都受到了不同程度的重金属污染,土壤中Cu、Pb、Zn等重金属污染物的含量与人类活动密切相关,人类活动是重金属污染的主要来源．不同植物对重金属的富集有一定的选择性,植物对重金属的富集作用与土壤背景值有一定的相关性。土壤中重金属的背景值越高。植物对重金属的富集量就越高。     

基于Ext+Spring+Hibernate的Web系统开发架构的研究与应用

介绍了当前开源框架Spring、Hibernate和新型Ext开源框架,并针对新一代Web应用程序开发的问题,采取基于Ext＋Spring＋Hibernate的Web系统开发架构设计开发。该架构具有高效复用快速特点。本文还举例阐述了如何利用该架构进行Web应用程序开发。     

安全有效的无线传感器网络匿名通信方案

随着无线传感器网络(WSN)的广泛应用,在某些场合不仅需要保证传送信息的安全性,还需要保证节点在传送信息过程中的匿名性和私有性,如何设计出安全有效的无线传感器网络匿名通信协议已成为当前研究的热点。使用双线性函数的双线性对,哈希函数和异或运算提出了一种可验证安全的无线传感器网络匿名通信方案,方案不仅能满足匿名通信的基本要求,而且大大提高系统的计算复杂度和存储复杂度,更适合无线传感器网络。     

扎实推动共同富裕的三维逻辑分析

共同富裕是社会主义的本质要求,是人民群众对美好生活的向往,也是中国共产党的根本价值追求。中国共产党在百年奋斗历程中形成了完整清晰的共同富裕思想,蕴含着无比深厚的理论逻辑、历史逻辑和实践逻辑。共同富裕既是马克思主义的一个基本目标,体现了中国共产党人的初心使命,也是广大人民群众的共同期盼。本文深入分析了共同富裕的三维逻辑,有助于理解共同富裕思想的科学内涵和实践路径,进一步扎实推进共同富裕的伟大实践。     

动态网页设计技法

给出了动态网页设计Flash中的动态环绕效果的制作方法,并巧妙地利用了Flash的图层重叠和电影剪辑符号功能达到动画中的动、静相结合和循环运动的特殊效果,以及将该技巧应用于动态环绕中的制作技法。     

循环不变式开发技术研究

高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也是最困难的问题之一。本文研究了众多现有循环不变式开发方法中较为典型的几种方法,指出了它们的基本原理、技术难点、特点及效果,旨在探寻循环不变式本质特征,从而为研究更简单、有效的生成方法提出指导。