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

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

Huffman算法程序的形式化推导

使用PAR方法形式化推导了解决最优编码问题的Huffman算法。推导过程充分利用最优编码树的特性,在对原问题进行分划归约为子问题时,引入一个新元素来取代原来的2个或多个元素,使用一套接近数学语言的抽象记号表示集合、二叉树等,推导过程简洁且能生成正确的算法。该Huffman算法能在PAR平台上通过自动生成系统转换成可执行语言程序,并正常运行。     

基于骨架的结构化网格编程模型

为了解决网格编程中可编程性和性能之间的冲突,提出一种基于骨架的结构化网格编程模型。将结构骨架的性能预测模型引入到网格编程的早期阶段,使用远程求值的机制进行结构骨架参数的远程传递。实验结果证明,该模型可克服传统方法引起的性能问题,且能有效提高网格软件的开发效率和可重用性。     

会计事后监督系统

针对中国工商银行江西省分行会计事后监督系统的异种机网络构成,应用程序的实现和环境的配制进行了全面的阐述。     

数据并行程序中的动态负载平衡模型

在研究分析已有的负载平衡策略算法的基础上,应用Ｄｅｍｐｓｔｅｒ－Ｓｈａｆｅｒ的信任函数理论,提出了一种基于信度网络的负载平衡策略算法,此算法较适应动态负开平衡,而且优于负载平衡的随机算法,若忽略系统的通信花费则可达到系统的完全负载平衡。综合各种费用,提出的算法通过状态管理器,在不完全信息的状态下可使系统达到较满意的平衡。此外,基于信度网络的负载平衡策略算法不仅适应于虚拟非规则网络,也适应于虚拟规则     

江铃汽车备件管理信息系统的面向对象分析与建模

本文以作者开发的江铃汽车备件管理信息系统的面向对象分析与建模为例,论述了面向对象分析与建模技术的重要意义,并系统而简洁地介绍了管理信息系统的面向对象分析与建模方法。     

移动IP安全性研究

本文首先分析了移动IPv4中的验证、授权与计费（AAA）问题,研究了移动IPv6的安全与本地链路安全问题,最后对位置隐私和局部移动性管理问题进行了深入的探讨。     

移动代理系统中基于逻辑节点的负载迁移机制

解决了实现逻辑节点迁移的两个主要问题。首先是逻辑节点的状态迁移;其次是,迁移过程中被迁移的逻辑节点与系统其余部分通信链路的保留以及逻辑节点的并发迁移处理。为了有效地进行负载均衡,迁移行为对系统产生的影响应减至最小。文章实现的迁移机制只用到较少的系统拓扑知识,而且只有迁移逻辑节点本身在移动时被要求停止计算。此算法同样适用于其它的分布式计算。     

改进的倾斜刃边法获取边缘扩展函数

在倾斜刃边法的基础上提出了一种改进的用于获取边缘扩展函数的方法。该方法采用改进的Hough变换获取目标边缘的倾斜角度,用几何投影的思路来获取边缘扩展函数的数据,用5点滤波平滑处理得到了最终的边缘扩展函数。实验通过对理想倾斜刃边图像创建人工模糊,对模糊化后的图像分别用改进的Hought变换和直线拟合计算倾斜角度,并将结果进行对比,验证了该方法的准确性和快速性;再将得到的边缘扩展函数数据用于计算MTF值并与理论值进行对比,验证了本方法获取边缘扩展函数数据的准确性。     

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

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