Z++a:Z++的AOP扩展

为了适应面向Agent技术的发展及其系统设计的需求，提出一种基于面向Agent程序设计(AOP)风范的形式描述语言具有重要的理论指导价值和实际意义。在Z++的基础上，讨论其AOP扩展问题，从而提出具有AOP风范的形式描述语言Z++a,同时还给出了一个关于高度智能化、人格化生物机器人的Z++a形式描述简例。     

Z-广义连续格

利用Ｚ－子集系统引入Ｚ－广义连续格的概念，并研究了这类格的映射及拓扑性质。     

生物法合成叶醇的研究进展

叶醇是食品和化妆品市场上最重要的香料之一,主要通过化学法合成.介绍了目前国内外生物法合成叶醇的研究状况,并试图为下一步的研究方向提出建议.     

基坑监测相关规范比较

与基坑监测相关的国家规范及行业规程主要有三种,它们既有相同或相似的条文,也有差异显著的技术指标。通过对比研究,认为冶金部颁布的规范较为全面、详细;国家规范反映了更新的技术进展。     

一组实用的Z规格说明度量准则

众所周知,软件开发越到后期,为纠正或弥补错误所付出的代价会呈几何级数增长,因此规格说明的质量成为影响软件开发的难点和关键因素之一.为此,文中给出了一组针对形式规格说明语言Z模式的度量准则.该组准则考虑了模式修饰、模式包含、模式类型和模式出现在其他模式的变量说明和谓词约束部分的可能.根据这些度量准则,可以发现一些问题并把问题杜绝在软件开发的早期阶段,减少由于错误或不合理分析导致的浪费,并可对系统进行有效的评估.     

中低Z元素等离子体平均电离度和辐射不透明度的近似计算

在物质处于局域热力学平衡(LTE)的条件下,采用R.M.More提出的改进型平均原子模型和类氢离子的光吸收系数,计算了中低Z元素等离子体的平均电离度及辐射不透明度.将计算结果与SESAME数据库数据和实验数据比较,符合得较好.为便于在辐射磁流体力学计算中的应用,在0.5×106K≤Te≤200×106K的温度范围、10-5(g/cm3)≤ρ≤1(g/cm3)的密度范围对计算结果进行数据拟合,得到了平均电离度和辐射不透明度随温度和密度变化的拟合函数.通过对辐射不透明度采用分温度段拟合,发现拟合值更接近于计算值.     

电子书包终端技术规范设计研究

随着信息技术的发展,电子书包已然成为数字化教育的一个热门应用研究领域.本文通过概念演变、关注度转变及教育应用发展三个层面重识电子书包,并聚焦于电子书包标准化工作之一——电子书包终端技术规范的设计.在调研国内外建设现状基础之上,关注用户使用习惯、教育应用安全、终端可靠性、普适设计等问题,从终端硬件、操作系统和标配教学功能三方面构建电子书包终端技术规范.最后,分别从生产厂商、电子书包相关产业和教育变革三个角度展望电子书包终端技术规范的建设意义.     

基于试验数据库的灌浆连接规范公式安全性评估

通过收集整理大量国内外灌浆连接轴向力学性能试验数据,得到包含115个有效试验数据的数据库.依据各国规范公式中的参数对数据进行分类,分析灌浆连接轴向力学性能试验研究现状.在此基础上,对DNV-GL(2018)、 NORSOK(2013)、 API(2007)、 ISO(2007)、 HSE(2001)等规范设计公式进行安全性分析.结果表明:现有试验研究中超过50%的试件套管直径低于400 mm,且对于试件套管直径超过800 mm的研究仅有一项;灌浆厚度的选择大部分不符合主要规范使用范围,且主要集中于低灌浆厚度;灌浆材料抗压强度的选择大部分为低抗压强度,虽满足大部分规范公式适用范围,但不利于实际工程实践运用;通过对比分析各国规范设计公式试验平均安全系数及其标准差,表明DNV-GL(2018)设计规范公式安全性高、适用性广与经济性好,推荐海上风电结构灌浆设计优先考虑采用DNV-GL(2018)规范.     

李超代数的Jacobson幂零性定理

本文将李代数的Jacobson定理推广到李超代数中,得到李超代数的Jacobson幂零性定理,证明了如下结论,如果一般线性李超代数中的诣零的李超闭子集张成的李超代数是有限维的,那么此李超代数在其底空间上必是严格上三角的。     

基于形式规约的软件测试用例自动生成技术研究

在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展．该方法基于软件的Z语言规约;以HierOns提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如ViPi∧Qi的析取范式;然后根据析取范式将Z语言描述的操作模式划分为子操作模式;依据子操作模式的前置条件和后置条件,将子操作模式作为状态转换图的转换关系,构建了被测试软件的状态转换图;依据状态转换图,提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则．