高阶类型化可验证应用系统体系结构建模及案例

随着应用软件体系结构风格变化和规模变大,其运行环境变得日趋复杂,对应用系统体系结构的设计及其正确性验证提出了新的挑战.现有的应用系统体系结构设计关于需求满足性验证在建模与验证中需要多种工具的支持.应用系统体系结构在设计阶段的需求满足验证,有助于客观评价应用系统部署方案和系统如期上线以及主动运维.面向应用系统体系结构设计及其验证,在模型驱动的软件工程背景下提出一种高阶类型化可验证应用系统体系结构建模语言(V_ASAML)与可验证应用系统体系结构建模方法(V_ASAMM).V_ASAML语言通过定义类型和项的语法和语义,描述构成应用系统体系结构的类型和对象的结构,通过定义两种类型规则及其类型检查算法,判定Γt:T和ΓR(T₁,T₂)是否成立,其中,结构类类型规则用于描述应用系统体系结构中的组成部分,关系类类型规则用于描述组成部分之间的关系和配置.V_ASAMM方法给出了应用系统体系结构建模过程,包括构建M_bd(基本数据类型)、M_bti<...     

高效液相色谱-高分辨质谱-同位素内标法测定乳粉中的胆碱

目的 建立高效液相色谱－高分辨质谱-同位素内标法测定乳粉中胆碱的含量。方法 奶粉样品用水溶解, 加入硫酸铜溶液(70 g/L)和氢氧化钠溶液(40 g/L)沉淀蛋白, 离心后过0.45 μm粒径的微孔膜, 经ZORBAX SB-Aq C18色谱柱, 以0.1%甲酸水和乙腈为流动相进行梯度洗脱, 流速0.60 mL/min; 柱温箱温度30 ℃。质谱采用正离子模式分析, 同位素内标法定量。结果 该方法在0.5~10 μg/mL范围内线性关系良好, 相关系数为0.9998。平均加标回收率为91.4%~99.7%, 相对标准偏差为1.0%~3.2%(n=5), 检出限为0.2 mg/100 g, 定量限为0.5 mg/100 g。结论 该方法预处理简单, 分析速度快, 检测成本低, 能满足奶粉中胆碱的检测要求。     

Mechanical-force-promoted peptide assembly: a general method

A general method was developed for promoting peptide assembly and protein polymerization to form nanoscale patterns on various surfaces with an atomic force microscope(AFM) operated in a liquid. By scanning solid surfaces with an AFM tip, we showed that peptide monomers assemble at a higher rate in the tip-scanned area compared to other regions. The promotion is attributed to the mechanical force applied by the scanning tip. This kind of mechanical-force-promoted assembly was also observed with different peptides on various substrates. The force promoting peptide assembly provides a simple and practical solution for preparing and building peptide and protein architectures for future nanodevices.     

基于类型理论的领域数据建模和验证及案例

数据作为软件系统的主要处理对象,其规范性有助于软件系统的设计开发和软件系统之间的数据交换。本文面向行业数据规范及其验证,提出了一种基于类型理论的领域数据建模语言（DDML）和领域建模方法（DDMM）。DDML语言通过定义类型和项的语法和语义,描述领域数据类型和对象的结构,通过定义类型规则及其类型检查算法判定任意项t：T?。DDMM给出了领域数据建模的方法,即构建K₁（原子类型）、K₂（数据元）、K₃（数据元目录）三层框架,生成表示K3层数据元目录之间关系的类型规则。在此基础上,给出了数据元目录序列的定义及其正确性判定算法。基于上述方法,实现了一种领域数据建模工具原型系统,并通过领域数据建模与自动验证的一个实际案例,完成了一个较大规模行业数据规范的制定与验证。     

高阶类型化软件体系结构建模和验证及案例

根据权威统计数据，软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此，应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证，需求满足验证需要其他验证工具的支持.面向主流Web应用软件的体系结构设计及其需求满足验证，提出了一种高阶类型化软件体系结构建模和验证语言（SAML）与软件体系结构建模和验证方法（SAMM）.SAML语言通过定义类型和项的语法及语义，描述软件体系结构中类型和对象的构造，通过定义类型规则及其类型检查算法来判定Γ|-t：T和Γ|-R（T₁，T₂）是否成立.SAMM给出了软件体系结构建模范式，包括构建接口类型M_cls（type interface）、组件M_cmpt（component）、容器M_cont（container）、框M_frm（frame）和框架M_frwk（framework）这5层建模过程，以及生成层内与层间类型之间关系对应的类型规则，同时定义了接口类型方法调用图（G_SA）用以刻画软件体系结构设计要求，定义了类型序列及其正确性用以刻画需求期望的性质，并给出了相应的验证算法.设计实现了基于该方法的原型工具系统SAMVS，其中，模型编辑环境支持应用软件的设计过程，验证环境支持设计满足需求的自动化验证.通过一个实际案例，完成了一个较大规模"互联网+"应用软件系统的体系结构建模和验证.