用于测试的SA动态模型生成方法

SA(软件体系结构)的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。许多软件体系结构描述语言是利用带标号的转换系统(LTS)来模拟软件体系结构动态性的,利用LTS作为软件体系结构动态性模型并从中选取测试序列。通过实例研究了两种体系结构描述语言及其分别向动态模型LTS转变的过程。     

紫砂光货的演绎杂谈

紫砂光器位居紫砂三大造型之一，它的演变发展过程历经了数百年，可以说它的艺术体系已经初步完善。但是作为艺术必然需要融入时代的特色，而现代紫砂艺术更多的是调节快节奏的现代生活，因此传统光器的大气深沉并不能符合大众休闲生活、舒缓紧张的初衷。     

浅谈紫砂艺术的形与意

陶都宜兴坐落于太湖之摈,这里不仅有着江南水乡的秀丽,更以它壶艺的独特艺术魅力而闻名海内,这便是有着"富贵土"传说的紫砂艺术。紫砂作为一门民间艺术,它所代表的艺术美丽不仅仅是造型技艺方面,有时更重要的是作者透过紫砂实体造型而想要表达的思想和意境。这就是紫砂审美观中的一个方面:形与意。     

基于模型的图形用户界面软件测试方法

通过研究GUI(图形用户界面)软件的规格说明、GUI结构、GUI代码,构造用于GUI测试的四种不同层次的GUI表示方法,该表示方法可以描述界面间关系的界面调用关系图、界面信息的对象-事件分析图、界面内事件间关系的事件关系流图以及程序内部逻辑结构的事件程序控制流图,在此基础上提出了基于这些模型的复合性测试用例生成方法,并用实例说明该方法的有效性.     

用于测试的SA动态模型生成方法

SA（软件体系结构）的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。许多软件体系结构描述语言是利用带标号的转换系统（LTS）来模拟软件体系结构动态性的，利用LTS作为软件体系结构动态性模型并从中选取测试序列。通过实例研究了两种体系结构描述语言及其分别向动态模型LTS转变的过程。     

DCS故障诊断专家系统的开发

以DCS为研究对象,使用Eclipse开发工具,成功开发了一套DCS故障诊断专家系统;介绍了该系统所使用的知识库系统;并简单介绍了该系统的主要功能模块。     

我国荔枝龙眼中农药最大残留限量标准现状分析与建议

为了了解我国荔枝和龙眼中农药最大残留限量（Maximum Residue Limits,MRLs）标准的制定情况,保障我国荔枝龙眼产业的发展,该研究以现行《食品安全国家标准食品中农药最大残留限量》（GB 2763-2021）为依据,结合我国农药在荔枝龙眼上的登记情况,分析了我国荔枝龙眼上农药MRLs标准现状,并按农药类别列出了MRLs、每日允许摄入量（Acceptable Daily Intake,ADI）和配套的检测方法标准。统计显示,GB 2763-2021中涉及荔枝龙眼的农药MRLs有133项,涉及农药品种125个,其中推荐有配套的检测方法标准的限量有109项,在我国登记有效的限量有33项。对比GB 2763-2019,新增限量标准53项,增长率达到66.25%。此外,新增了方法标准3个。但是,基于荔枝龙眼的农药监测数据,荔枝龙眼上MRLs以及检测方法标准仍需继续补充,加快荔枝龙眼上的MRLs和检测方法标准的制定。荔枝龙眼上的MRLs和检测方法标准的制定仍需加快。