基于扩展CHAM模型的软件集成测试方法

基于构件的软件工程(Component-Based Software Engineering,CBSE)正逐渐成为软件开发的一种新趋势。目前构件提供者所交付的构件仅仅包括其功能描述和接口描述,而代码通常是不可见的,这给软件系统的集成测试带来较大困难。本文针对软件体系结构(Software Architecture,SA)层中的构件规格说明,提出一种集成测试方法。首先使用扩展的化学抽象自动机(Extend Chemical Abstract Machine,E-CHAM)模型描述软件系统的体系结构;接着使用LTS状态树生成算法,生成标号迁移系统(Labeled Transition System,LTS)表示单一构件的动态行为;最后按照自底向上的集成测试策略完成了整个系统的测试。

基于CHAM模型的LTS状态树生成算法

标号迁移系统(labelledtransitionsystem,LTS)是形式化一致性测试的重要研究方向.在软件体系结构(softwarearchitectures,SA)测试计划生成的研究中,需要从化学抽象机(chemicalabstractmachine,CHAM)模型中生成LTS,以表达出软件体系结构的动态特征.因此,LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题.基于CHAM模型,提出了通用LTS状态树生成算法,并使用实例验证了该算法.

贸易空间的表述与实践:西藏山南“拉康加羌姆”研究

“拉康加羌姆”是俗人表演的法舞,是一部神圣与世俗共存的展演,也是汉藏文化交流的典型表现。整个仪式结构以独特的地理方位“枯廷拉康”为物质基础生产了一个具有象征性质的“空间实践”;以“卵(鸟)生宇宙”,“矮人”等情景完成了秩序的“空间表述”;最终以“猕猴与罗刹女”以及“文成公主远嫁吐蕃”等情景展演,形成了以交易为主的“表述空间”。这些神话和历史事件虽然发生在不同时空,但内在具有一定的联系,通过神话、仪式、历史事件的展演,形塑了一个由赞普直接表征的秩序空间,营造了边贸会和平互惠的贸易空间,这也是藏族社会突破村落和家族边界形成一个和平空间的根本机制。松赞干布与文成公主的婚礼表述了汉文化在吐蕃政治图景中的重要意义,这一空间的形成与文成公主镇压魔女的空间塑造策略是紧密相连的,而加羌姆则致力于将这一表述直接实践于地方社会的核心位置,从而实现空间的国家化。

什巴嘉姆和她的二十七个女儿

什巴嘉姆在苯教的神祇中扮演者女性主神的地位,她常以不同的幻身担任各种神灵的伴侣,同时也是苯教护法神尊。文章通过介绍以什巴嘉姆为原型的苯教羌姆来阐述辛钦鲁噶和玛顿世增发掘的三部苯教忿怒仪式伏藏文本中的相关羌姆内容,认为2006年噶塘写卷的内容可能为辛钦的文本提供了材料,因此论证辛钦发伏藏文献的古老性。

地下矿山指状闸门硐室高支模的设计应用分析

针对地下矿山指状闸门硐室拱形顶板混凝土的施工,搭设了模板支撑架体,分析支撑体系的力学性能。对比分析了扣件式钢管脚手架、碗扣式脚手架及承插型盘扣式脚手架的优缺点,方案设计采用承插型盘扣式钢管满堂支撑脚手架,利用有限元方法计算拱形模板支撑架体,验算支架体系的变形、组合应力及稳定性满足规范要求。采用有限元软件MIDAS Civil建立了指状检修闸门操作硐室模板支架有限元模型,解决了拱形顶板难以计算及采用平板近似计算不准确的问题,为拱形模板支撑体系的设计分析提供参考。

基于CHAM的软件连接件形式化模型

软件连接件是软件体系结构中的一个重要概念 ,是构件间相互作用的媒体。用形式化方法对其模型加以描述是软件体系结构研究中的一个重点。化学抽象机形式化语言 (CHAM :ChemicalAbstractMachine)是一种通用的、简单直观的计算模型描述语言。本文在分析了连接件语义模型的基础上 ,提出了一种基于CHAM的软件连接件描述模型 ,从软件连接件静态组成及动态行为两个方面对连接件进行形式化、规范化地描述和分析 ,以期进一步实现简化软件连接件的设计、增强其通用性的目的。

减轮CHAM算法的不可能差分分析

CHAM算法是在ICISC 2017上提出的一个ARX型轻量级分组密码算法族,主要研究利用不可能差分分析方法对其进行安全性分析。首先,利用线性不等式组对算法轮函数每个组件的差分传播规律进行等价刻画,建立了基于MILP的不可能差分自动化搜索模型。其次,基于搜索模型,遍历特定的输入输出差分集合,搜索得到CHAM-64的4条19轮以及CHAM-128的1条18轮不可能差分区分器,均为目前公开发表的最长轮同类型区分器。最后,利用搜索得到的区分器,首次提出了27轮CHAM-64/128以及27轮CHAM-128/256的密钥恢复攻击。考虑到这两个算法的迭代轮数分别为80轮和96轮,说明CHAM算法在抵抗不可能差分分析方面留有足够的安全边界。

形式化CHAM语言的软件设计辅助工具

化学抽象机（Chemical Abstract Machine）是由Berry和Boudol在1990年提出的用于异步并行计算建模的模型。它借用化学反应的隐喻，通过化学中分子和化学反应的概念和抽象机模型的特点来描述系统状态的动态变化，但复杂的形式和缺乏工具支持限制了它的使用。本文以上知识的基础上编写的一款CHAM化学抽象机形式化语言书写支持工具，用来支持CHAM的设计工具。本文对工具的界面和程序和功能进行介绍，在此基础上，分析此工具的优缺点，并给出改进的方法和方向。

CHAM软件连接形式化模型研究

一、CHAM形式化模型特点CHAM形式化模型以代数演算的方式研究通信并发系统,将进程看作是代标号的变迁系统,迁移的规则是以句法重新安排的方式来反映状态信息的变化过程。1.CHAM形式化模型结构。

CHAM算法的安全性分析

本文主要研究基于ARX结构的轻量级分组密码CHAM算法,利用不可能差分分析、零相关线性分析对其进行安全性分析.首先,利用线性不等式组对算法的每个组件进行等价刻画,描述了差分特征和线性掩码的传播规律,建立了基于MILP(混合整数规划问题)的不可能差分和零相关线性自动化搜索模型.其次,根据CHAM算法四分支广义Feistel结构的特点,得到CHAM算法特定形式(输入或者输出差分(掩码)仅含有一个非零块)下的最长不可能差分路径和零相关线性路径具有的性质,优化了搜索策略,缩小了搜索空间.最后,利用搜索算法,遍历特定的输入输出集合,共得到CHAM-64的5条19轮不可能差分区分器,CHAM-128的1条18轮不可能差分区分器和15条19轮零相关线性区分器,均为目前公开发表的最长同类型区分器.

一种改进的Cham-Evans-Lam偶联反应在1-环丙基-4-碘-1H吡唑制备中的应用

Chan-Evans-Lam偶联反应在20世纪90年代被发现以来,经历了快速的发展。作为一种高效的构建碳-碳或碳-杂键的方法,目前已广泛地应用于各种底物中。本文提出了一种改进的Cham-Evans-Lam偶联反应在制备化工中间体1-环丙基-4-碘-1H吡唑中的应用,作为磷脂酰肌醇3-激酶抑制剂类药物的关键原料,1-环丙基-4-碘-1H吡唑的工业化生产的实现对此药研究具有重大意义,原合成方法反应条件苛刻,需在高温,持续通氧的条件下进行,工艺可重复性差,收率低,难以放大生产,并且存在着重大的安全风险。经改进后的方法反应条件温和,操作简便、安全,能够大量制备,产物收率能提高近20%,纯度可以达到98%以上。

“阈限”与“交融”视域下的“拉康加羌姆”

“拉康加羌姆”是“拉康娘曲边贸会”的开场节目,建立了一个时间之内外,社会关系之内外的“阈限”阶段,把分属不同区域的人群聚合在一起,使大家能在一起达成共识、完成交易。“拉康加羌姆”总共6场展演,生产了一个具有“阈限”与“交融”功能的交易空间。该节目的编排内容依次有接触、分享食物、净化、问候、交换、联合、驱邪、交融等聚合礼仪的内容,聚合了不同区域的人群,形成了进行交易的交融时空。

占婆C.30B1号碑铭中lov(中国)一词考释

一缘起C.30号碑铭刻在越南芽庄Po Nagar占塔主体建筑南面的门柱之上。Po Nagar占塔碑铭由于年代过于久远,文字部分内容变得模糊不清。在经过文物专家的修复之后,我们得以对碑铭的内容进行一定程度的释读。关于C.30碑铭刻写的年代,在铭文内容中已有提及,为占婆萨迦历1155年,即公元1233~1234年之间。

我国单叶蔓荆药用植物资源调查

[目的]调查我国单叶蔓荆的资源状况,为单叶蔓荆的可持续利用提供科学基础和参考依据。[方法]采用走访调查和实地样方调查的方法分别对我国单叶蔓荆野生和栽培资源进行调查。[结果]与第3次中药资源普查相比,除江西省单叶蔓荆分布面积增加外(增加15.5%),其余各省分布面积均明显减少。从目前资源拥有量状况来看,单叶蔓荆处于原始状态的为876.33 hm2,占总数的31.3%;处于被轻度采挖的为405.00 hm2,占总数的14.4%;处于被过度采挖的为625.33 hm2,占总数的22.3%;处于残存的为895.64hm2,占总数的32.0%。[结论]我国单叶蔓荆资源正在减少,人们对其资源保护的认识不够,需加强对其资源的保护力度。

氨基酸分析法研究蒙古国博格达汗宫建筑彩画的胶料种类

为了鉴定博格达汗宫建筑彩画使用的胶料,采用氨基酸分析法测定了古代常用胶料(鸡蛋、动物胶及奶类)的氨基酸组成比。分析3类胶料,发现各胶料的氨基酸组成特点,其中动物胶含羟脯氨酸,且甘氨酸平均含量高达20.45%;鸡蛋中天冬氨酸与脯氨酸的比值较高,平均值为2.29;奶类中谷氨酸与丙氨酸的比值较高,平均值为5.01。在此基础上,分析了蒙古国博格达汗宫建筑彩画样品,对样品的氨基酸组成比进行主成分分析,确定了样品胶料的种类。同时,以动物胶特有的氨基酸——羟脯氨酸(含量均值13.6%)为研究对象,估算出文物样品使用胶料的配方为鸡蛋胶原/动物胶胶原(1.5:1),得出了蒙古国博格达汗宫建筑彩画是采用以鸡蛋为主、动物胶为辅的混合胶料的结论。

单叶蔓荆子黄酮类化学成分研究

采用MCI—Gel及硅胶等柱色谱法对云南西双版纳单叶蔓荆子的甲醇提取物的乙酸乙酯部分进行分离纯化，得到5个黄酮类似物，根据其理化性质，结合光谱技术（MS，NMR等）鉴定为紫花牡荆素（1）、3’，5-二羟基-3，4^1，7-三甲氧基黄酮（2）、4’，5-二羟基-3，6，7-三甲氧基黄酮（3）、牡荆葡基黄酮（4）和山奈酚-3-O-葡萄糖苷（5），化合物2-5为首次从该植物中分离得到。进行了抗羟基自由基氧化和抑菌活性的初步筛选实验，首次报道了化合物2、3的清除羟基自由基活性。

散瞳对Lenstar和A超测量白内障患者眼生物学参数的影响

目的探讨散瞳对Lenstar和A超两种仪器测量白内障患者眼球生物学参数的影响,并评估散瞳前、后两者检测一致性的变化。方法对30例（32眼）年龄相关性白内障患者分别应用Lenstar和A超测量散瞳前和散瞳后眼轴长度（axial length,AL）、前房深度（anterior chamber depth,ACD）及晶状体厚度（lens thickness,LT）值,两种仪器测量顺序随机,每一种仪器散瞳前、后测量AL、ACD及LT结果的差异采用配对t检验分析,两种仪器散瞳前、后测量的一致性采用Bland-Altman分析。结果散瞳前、后Lenstar测量的ACD值分别为（2.33±0.38）mm和（2.36±0.40）mm,差异有统计学意义（P〈0.001）;散瞳前、后A超测量的ACD值分别为（2.85±0.40）mm和（2.95±0.39）mm,差异有统计学意义（P〈0.001）。散瞳前、后两种仪器各自测量的AL和LT值差异均无统计学意义（均为P〉0.05）。两种仪器测量的95%一致性界限：AL：散瞳前为-0.41~0.26 mm,散瞳后为-0.39~0.27 mm;ACD：散瞳前为0.29~0.76 mm,散瞳后为0.38~0.79 mm;LT：散瞳前为-0.39~0.52 mm,散瞳后为-0.31~0.43 mm。两种仪器测量AL、ACD及LT的一致性界限内最大差值（绝对值）：散瞳前分别为0.29 mm、0.71 mm和0.39 mm;散瞳后分别为0.27 mm、0.74 mm和0.37 mm。结论散瞳后Lenstar或A超测量白内障患者的ACD值均较散瞳前增大,但散瞳不影响AL和LT值的测量。两种仪器在白内障患者眼生物学参数测量的一致性不受散瞳影响。

蔓荆子的药理作用研究进展

蔓荆子为解表的传统中药,临床上常用于治疗各种痛证如感冒头痛、神经性头痛、高血压头痛等、急性结膜炎、慢性支气管炎、胃炎、预防癌症、老年性白内障等疾病。本文综述了近年来国内外对蔓荆子的药理作用的研究工作,旨在为增加蔓荆子的临床应用提供建议和参考。

油砂蒸汽辅助重力泄油开发过程中面临的夹层问题

麦凯河油藏岩心资料表明油砂储层含有不等厚度、延伸范围和频率的低物性夹层,其对蒸汽辅助重力泄油(SAGD)生产动态和蒸汽腔发育特征的影响成为关注的焦点。为此,根据夹层含量和分布位置划分四类SAGD井组;以此为研究对象,开展三维数值模拟研究沿程和垂向剖面蒸汽腔发育特征,并利用二维数值模拟对夹层位置、厚度和宽度等因素进行敏感性分析。研究认为,相比井组上方夹层,井间夹层对SAGD生产动态不利影响更大;延长预热时间并不能改善SAGD开发效果;夹层主要是阻碍了蒸汽上升通道以及冷凝蒸汽和加热原油的泄流通道,导致沿程蒸汽腔发育不均匀。

蔓荆子化学成分的研究

目的对马鞭草科牡荆属植物单叶蔓荆果实的化学成分进行系统研究。方法采用Silica gel,Sep⁃hadex LH-20,ODS,MCI等色谱方法及制备型高效液相色谱(PHPLC)等技术对蔓荆果实的化学成分进行分离纯化,通过理化性质、磁共振波谱、质谱等技术方法进行化合物结构鉴定。结果从蔓荆子乙醇提取物中分离得到15个化合物,分别鉴定为:agestricin D(1)、5,3′-二羟基-6,7,4′-三甲氧基二氢黄酮(2)、猫眼草酚D(3)、紫花牡荆素(4)、vitetrifolin F(5)、4β,10α-香木兰烷二醇(6)、(E)-3,3′-二甲氧基-4,4′-二羟基二苯乙烯(7)、(8R)-evofolin B(8)、ω-hydroxypropioguaiacone(9)、覆盆子酮(10)、对羟基苯乙酮(11)、α-羟基香荚兰乙酮(12)、苄基-β-D-葡糖苷(13)、云杉苷(14)和4-(4′-羟基苯基)-2-丁酮-4′-O-β-D-吡喃葡糖苷(15)。结论化合物7、8、10、13、14、15为首次从牡荆属植物中分离得到。