纺织品中小分子醛的液相色谱串联质谱法测定

建立了纺织品中微量甲醛、乙醛、丙醛、丁醛和戊醛的高效液相色谱串联质谱测定方法.以2.0％磷酸为溶剂,以超声波辅助技术进行萃取,采用2,4-二硝基苯肼(DNPH)衍生,衍生物在BEH C18色谱柱(75 mm×2.0 mm,2.2μm)上以甲醇-0.05％甲酸为流动相,采用梯度洗脱分离,电喷雾电离(ESI)正离子多反应监...     

Fisher公式在对参数阵微商中的应用

使用Ｆｉｓｈｅｒ公式，得到了因子分析模型和重复测量模型中有关对矩阵微商的公式．     

战争的语言理据及其政治意味

从汉字语源出发，探讨在汉字文本(一种由象意结构积淀着的汉文化和历史的思想文本)中蕴含的战争内涵及政治本质。     

一种针对层次结构的安全动态存取控制方案

一、前言在多用户计算机系统中,经授权对共享资源进行存取控制是很重要的。存取控制问题可以用一种用户层次结构描述。层次结构中的存取控制问题本质上是密钥分配方案的选择问题。 1983年,AKL和TAYLOR首先给出了一种基于层次结构的存取控制方案。在该方案中,在t_i整除t_j(记为t_i/t_j)的前提下,当且仅当sc_j≤sc_i,可为每一个安全类分配一可公开的整数t_i,那么,sc_i可按sk_i=(mod m)sk_(o~i)~t计算出密钥sk_i。这里sk_o是认证中心(CA)密钥;m是一对保密的大素数的积。     

荷兰国旗问题的形式化推导及其多态性实现

讨论了程序功能规约变换和算法程序的形式化技术，通过功能规约变换，可以较自然地获得问题求解的递推关系，对荷兰国旗问题的求解过程显示了形式化推导在获得高效和正确的算法程序中的作用。最后，给出了问题求解的多态性实现。     

蒙古语动词计算机生成研究

该文遵循笔者提出的“整词中枢论”思想，基于自然语言复杂特征合一运算理论，方法和技术，通过揭蒙古语动词构成数学结构，提出了蒙古语动词构成算法的数学模型（机理模型），分析了确立规则的各种复杂问题，建立了一个生成蒙古词动词的FSTN，解决了蒙古词动词的计算机生成过程中的语言学“共性”与“个性”恰当结合的问题，实现了蒙古语动词计算机生成精确度，时间度和空间度三要素的有机统一。     

A New Storage Strategy for Hypertext Based Version Control

ＡＮｅｗＳｔｏｒａｇｅＳｔｒａｔｅｇｙｆｏｒＨｙｐｅｒｔｅｘｔＢａｓｅｄＶｅｒｓｉｏｎＣｏｎｔｒｏｌＷＡＮＧＹａｎ；ＧＵＯＦｕｓｈｕｎ；ＬＩＬｉａｎｚｈｉ；ＷＥＩＬｉｎｇ（王岩）（郭福顺）（李莲治）（魏玲）（Ｄｅｐｔ．ｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃ...     

逐步求精的一种模型

提出一种支持程序开发的结构化方法．该方法以一种简单的问题分解策略为基础，比Ｗｉｒｔｈ－Ｄｉｊｋｓｔｒａ的自顶向下逐步求精方法更利于面向目标的程序设计．由该方法可知，一个程序可经一系列求精而开发出来，每一步求精都能为相应的最弱前置条件序列建立后置条件．这种策略使情况分析减少到极限，简化了结构化程序的证明，并保证了程序结构和数据结构之间的对应．     

对翁氏模型建立的回顾及新的推导

回顾了原翁氏模型的建立,并基于概率统计学中的伽马分布,完成了广义翁氏模型新的推导.同时,从理论上讨论了有关翁氏模型的特性.     

Cost-efficient parallel programs based on set-distributions for polynomial interpolation

The paper presents parallel algorithms for Lagrange and Hermite interpolation methods formally derived from specifications, and using set-distributions. Set-distributions are based on set-valued mappings, and they assign a data object to more than one process. The derivation from specifications assures the correctness, and the set-distributions assure the efficiency of the programs. The obtained parallel algorithms have very good time complexities and speeds-up, and they are also cost-efficient. We consider the number of processes p to be a parameter of the algorithms, so, bounded parallelism is considered. The derivation of the algorithms is not ruled by any particular interconnection network. The possible mappings on different networks could be evaluated. The performance analysis is done considering a full-connected network, and other two interconnection networks: hypercube and multi-mesh hypercube, which preserve the cost-efficiency of the algorithms.