谢洪赉译著《最新中学教科书代数学》初探

1905年商务印书馆出版了谢洪赉的译著《最新中学教科书代数学》,该书的底本是美国米尔恩编写的《中学代数学》。谢洪赉在译例中介绍了该书的归纳法特点与诸多优点,其翻译忠实于底本,但编排和符号术语选用比较守旧。该书在出版之初颇受欢迎,但由于内容不合国内学情、翻译保守滞后和归纳法未受广泛认可等原因,产生的后世影响不大,是一部略显不合时宜的教科书。但该书较早地向国内介绍了归纳法,对改良中学数学教育起到积极作用。

基于Z-AADL模型的形式化转换

结构分析与设计语言(Architecture Analysis and Design Language,AADL)是针对嵌入式实时系统领域中的软件开发复杂度问题而提出的一种基于模型驱动开发的体系结构建模语言,可用于设计和分析一些安全关键嵌入式实时系统的软硬件体系结构。但是AADL严格来说只是一种半形式化的建模语言,虽然也描述了模型中构件的属性,但是对模型的非功能属性并没有明确的形式化描述,因此对AADL系统模型的非功能属性进行形式化验证,对于保证系统的正确性和可靠性具有重要意义。针对AADL模型中对非功能属性及数据性质等描述的不足之处,将其与形式规格说明语言Z语言相结合,提出了一种新的描述能力更加强大的形式规范语言—Z-AADL,并且定义了将Z-AADL模型转换为形式化模型—ZIA模型的转换规则,以实现Z-AADL模型到ZIA形式化模型的转换。并通过一个转换实例进行说明。

高效液相色谱法定量测定中药千层塔提取物中的石杉碱甲

建立了高效液相色谱快速定量测定中药千层塔提取物中石杉碱甲含量的分析方法。千层塔提取物经甲醇/水/甲酸(10/90/0.2,v/v/v)提取并定容后,过滤膜后直接分析。色谱分离选用XCharge C18色谱柱(150 mm×4.6mm,5μm),以水(含0.1%三氟乙酸)和乙腈(含0.09%三氟乙酸)为流动相进行梯度洗脱,流速为2 mL/min,于310 nm波长下检测,可在10 min内完成石杉碱甲的快速分离分析。结果表明,石杉碱甲在2.12～106 mg/L范围内线性关系良好(相关系数为0.999 9);平均加标回收率为102.34%,相对标准偏差(RSD)为0.46%;日内及日间精密度均小于2%,满足定量要求。该方法简便、快速,结果可靠,重现性好,可作为千层塔提取物质量评价的依据。

基督徒与早期华人出版事业——以谢洪赉与商务印书馆早期出版为中心

谢洪赉是最早接受基督教信仰和协助外国传教士从事书籍翻译和文化传播的中国人之一,因与商务印书馆创办人的姻亲和相同的基督教信仰,使他成为商务印书馆最早的合作人和编写人。他为商务印书馆早期编写编译了面向中国人的大量英文词典和教材、中小学教科书,为商务印书馆奠基和早期创业做出了极大的贡献,为出版事业的近代转型和中国人开拓近代出版领域做出了贡献。

带数据约束实时系统的模型检测

带数据约束的实时系统是指一种既带有时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个模型中的规范及验证研究较少。文中提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连续时间的ZIA规范,并给出它的时序逻辑。MARTE是UML在嵌入式实时系统领域的建模规范,在工业界的应用非常广泛,但是目前对其模型检测的研究较少。在MARTE的基础上扩展Z,提出了Z-MARTE,并将Z-MARTE转换为基于连续时间的ZIA模型,在实现对连续时间ZIA模型检测的同时,也实现了对Z-MARTE的模型检测。最后通过一个实例进行验证,说明此方法可行有效。

带数据约束的概率实时系统的验证

带数据约束的概率实时系统是指一种既带有概率时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个概率模型中的规范及验证研究较少。提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连续时间的概率ZIA规范,并给出了它的时序逻辑。对于CTL和PCTL而言,尽管这些逻辑很强大,但是只能反映时序性质,因此提出一个新的形式化语言CTML来表达度量性质查询,同时保留表达时序性质的能力并给出概率ZIA规范的验证算法。

基于MARTE的面向混成系统的模型形式化转换

混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,形式化建模与验证是确保混成系统正确性和可靠性的重要途径。首先介绍一种混成ZIA形式规范;然后,基于建模语言MARTE建立扩展Object-Z的规范,即OZMARTE,该规范弥补了MARTE规范在形式化描述方面的不足,同时为了方便描述混成系统中连续动态行为属性,给出对混成系统中连续变量的描述转换规则,增强了MARTE对混成系统的描述能力;最后,给出OZ-MARTE规范到混成ZIA规范的转换方法,因此针对混成ZIA规范的验证技术同样适用于对MARTE模型进行形式化验证。