摘要：模型库管理系统是决策支持系统的核心，其基本功能包括模型的定义、组合、存储和调用．该文介绍一个支持客户／服务器模式的模型库管理系统的设计和实现，在这个系统中，模型被视为程序模块，通过运用面向对象的方法进行组织以及对模型的远程和动态的透明调用提供支持，使实现的系统具有良好的动态可扩充性．同时，通过提供模型定义语言和模型库管理，便于决策支持系统客户软件的开发．

摘要：自从汉字进入计算机以来，字形技术发展很快．近几年出现的曲线轮廓字代表了当前计算机汉字字形的最高水平．它可以应用于很多领域，特别是国际标准的大字符集的推行，其应用前景将更加广阔．本文着重讨论曲线轮廓字形的几个技术问题．曲线拟合的好坏直接关系到生成字形的质量；采用多种方法进行拟合，并辅助以其它一些外围处理，可以得到数据量小且精度高的字形．出版、广告制作、影视等大量地使用形体各异的美术字，曲线轮廓字所具有的独特性质有可能用比较简单的拓扑变换，自动地生成多种规则和不规则几何形状的美术字．

摘要：VTK(TheVisualizationToolkits)是一个基于面向对象方法设计的,功能强大的可视化和图形图像处理类库,针对医学图像处理的需要和特点,利用VTK的图像处理和可视化,及图形显示功能,用面向对象的方法设计和实现了一个易于扩展、高效率、实用的医学图像处理子系统。实践证明该子系统能很好地应用于各种医学图像处理中。

摘要：模式匹配是包括LFC在内的大多数函数式语言都具有的特点。文章在LFC语言现有的模式匹配实现方法的基础上，结合常用的模式匹配树的构造思想，设计了一种模式匹配方法。这种模式匹配方法通过计算给定模式集合的扩展集合来构造模式匹配树。虽然在最坏情况下，该方法与LFC现有实现的空间复杂度一样，但当函数定义是部分构造式，而定义中的非项模式覆盖了较多项时，这种模式匹配方法可以避免LFC语言现有实现中较大的编码空间。这个方法略作修改即可用于复杂的嵌套模式，是一种通用的模式匹配方法。

摘要：随着网络计算技术的发展，软件的结构变为表示／处理／数据库分离的三级模式．表示与处理的分离导致了用户界面与应用计算间的通信成为开发交互式系统图形用户界面的关键．本文为分布式交互图形应用的开发提供了一个基于公用对象需求代理结构ＣＯＲＢＡ的用户界面体系结构，ＣＯＲＢＡ是为分布式对象系统中间件制定的一个互操作标准．在这个结构中，一些被称为代理的面向对象交互式图形构件被设计用来为图形的表示与交互提供有效的解决方案，同时也负责用户界面与应用计算间的控制与通信．它们通过建立在ＣＯＲＢＡ上的连接器配置形成一个用户界面系统．

摘要：并行程序设计是并行计算的难点之一 提出了一种将设计模式用于程序精化演算的并行程序设计方法 它通过在Z语言的Schema演算体系中扩充并行的概念和表示 ,使用设计模式 ,将问题求解和并行开发的知识进行形式化的定义与描述 ,通过扩充的Schema演算将其与模型规范进行复合 ,逐步精化得到抽象并行程序

摘要：由于Feistel结构具有良好的密码学性质,它的变体——许多广义Feistel结构也成为密码算法设计者乐于选择的对象,其中由郑玉良等人设计的type-2和type-3广义Feistel结构被许多分组密码算法和密码杂凑函数所采用.所以,对这两种广义Feistel结构进行安全性分析非常必要.伪随机性是一个结构的重要安全性指标,而自2007年Knudsen和Rijmen提出了"已知密钥区分器"开始,利用构造已知密钥区分器来分析算法与结构的伪随机性逐步成为人们常用的手段.本文对type-2和type-3广义Feistel结构的积分性质进行深层挖掘,同时利用高阶积分性质与积分传播性质,将高阶积分路径与单活跃字起始的积分路径串联,分别构造这两种结构的中间起始积分区分器,即零和区分器.我们以23N/4的复杂度得到了type-2广义Feistel结构的15轮零和区分器,其中正向部分包含8轮,逆向部分包含7轮;并以同样的复杂度得到了type-3广义Feistel结构的10轮零和区分器,其中正向部分包含6轮,逆向部分包含4轮,这里N表示状态的大小.此外,我们还得到了一些低复杂度的结果,分别以2N/2和2N/4的复杂度得到了type-2广义Feistel结构的13轮和11轮零和区分器.