模归约算法的数学基础研究

 多项式模归约算法是计算机代数中的基本问题之一,在编码算法和密码体制设计中有着广泛应用.提出了模归约算法中的2类基本算子:字归约算子、半字归约算子,并进一步证明了2类算子的计算量具有某种形式的不变量(如果满足一定的条件),从而证明了模归约算法计算量的线性性质,为其算法设计和分析提供了理论基础.还通过实例给出了2个算子在ECC和AES密码算法中的一些应用.     

JMF技术在网络多媒体教学系统中的应用研究

 网络多媒体教学与一般的网络多媒体应用的主要差别在于同时包括了视频流、音频流和课件板书数据流等,本文讨论了JMF(Java Media Framework)应用于网络多媒体教学系统开发研究中的几个问题,给出了其中的2个主要部分:JMF API和JMF RTP API的实现方式,在网络课堂实录系统的开发中取得了较好的效果.     

小叶臭黄皮中的苯丙素苷和降类胡萝卜素苷

从云南西双版纳的小叶臭黄皮（Clausena excavata Burm．f．）中分离到三苯丙素苷和两个降类胡萝卜素苷，他们的结构分别鉴定为4-丙烯基-2，6-二甲氧基苯酚1-O-β-葡萄糖苷，4-烯丙基-2，6-二甲氧基苯酚1-O-β-葡萄糖苷，4-丙基-2，6-二甲氧基苯酚1-O-β-葡萄糖苷，icariside B1和B6。这五个化合物均为首次从黄皮属植物中首次分离得到。     

人权及其国际保护与区域性保护

迄今，人权经历了三个发展阶段，体现了三个层次的内容。它具有普遍性和特殊性这两个基本特点，是二的矛盾统一体。人权保护首先是国内问题，但随着人类社会的发展，也逐渐国际化、区域化，成为当今举世瞩目的一个问题。全球范围内国际人权保护法制化进展缓慢，人权保护的效果也不明显。相比而言，区域性人权保护走得更远。欧、美、非洲三大区域以相关国际人权件为蓝本制定了各自的区域性人权公约，建立了更为有效的区域性人权保护机制，有力地推动了国际人权保护的发展。     

Gn^d，s图的（n-1）-角色分配

Everett和Borgatti引入了k-角色分配的概念.进一步,他们引入并研究了图G的k-角色可分配程度来表示图G可以在多大程度上进行k-角色分配,记作αk(G).他们还给出了k=2时的k-角色可分配程度α2(G)的下确界,并回答了什么时候α2(G)达到下确界.本文证明了k≥3时,αk(G)的下确界为0,并证明了当图G为G1,sk+1图且a(s+1)≠0(mod k+1)(a=2,3,4)时,αk(G)达到下确界;最后还刻画了能够(n-1)-角色分配的G1,sn图.     

带中心孔的镍基高温合金GH4049的高温疲劳短裂纹扩展规律

对疲劳试样GH4049镍基高温合金在同一载荷与不同温度下的疲劳短裂纹扩展进行了试验，利用复型技术和光学显微镜观测了裂纹形态演化全过程。发现应力集中条件下的高温疲劳短裂纹扩展主要是单裂系统破坏，随着温度升高，短裂纹逐渐变为多裂系统，并以多裂纹的合并形式进行最终破坏；扩展方式由穿晶到沿晶和穿晶的混合方式进行，温度越高，短裂纹起裂越早，裂纹平均长度越短，短裂纹扩展速率反而越慢。     

DXF到IGES转换工具研制

为实现不同CAD系统之间的数据交换，介绍了船舶图形DXF文件到IGES文件的转换方式以及2种文件各自对实体的数据表示格式，同时描述了2种文件内部曲线实体不同描述形式的转换算法及其程序实现，经过测试，几何数据转换完整，结果可靠．     

子群的π-可补性对群结构的影响

如果存在G的一个子群K,使得G=HK且|H∩K|π=1,则群G的一个子群H称为在G中π-可补,此时K称为H在G中的π-补.研究了π-可补子群的一些性质,并利用群G的Sylowp-子群的极大和极小子群的π-可补性,给出了群G为p-幂零群的一些条件.特别地证明了如下结果:设G是一个群,P是G的一个Sylowp-子群,p∈π且p是|G|的一个素因子,如果(|G|,p-1)=1且P的每个极大子群在G中π-可补,则G是p-幂零群.     

实现自相关验证的通用注册码构建算法

提出了一种用户身份认证的注册码构建算法,其认证的必要信息通过自相关映射隐藏在注册码内,并可通过自相关验证来辨别注册码的真伪。构建的注册码具有用户惟一性、可验证性和安全性保证。     

FORTRAN 95 TO C/C++翻译器的设计与实现

国内一些研究所和科研机构从国外购入大量Fortran程序源代码,为拓宽其应用领域,需要把Fortran源程序翻译成C/C 程序,即实现Fortran应用程序二次开发利用。针对开发Fortran 95 TO C/C 翻译器的具体功能要求,详细介绍了翻译器的实现方法,并对翻译器进行了需求及可行性分析,对目标语言的选择、总体设计方案、功能与结构模块划分、软件流程图等进行了分析说明。