软件与系统工程标准化发展综述

在软件与系统工程分委会成立40周年之际,对软件与系统工程分委会的发展历程、组织结构、标准体系、重点标准进行梳理,并结合软件与系统工程领域国际标准化发展动态,提出软件与系统工程分委会未来的发展方向和重点关注领域,更好地发挥标准支撑引领作用,促进软件产业高质量发展。

软件验证与确认技术和标准化研究

软件验证与确认是保证软件质量方面最有效手段之一,对于安全攸关软件的安全性、可靠性的质量提升效果显著,验证与确认两个概念也经常被混淆。从标准化角度对软件验证与确认的概念进行分析和对比,选取典型标准开展分析和阐述,以推动标准在软件生存周期的应用,促进软件质量提升。

基于模型的系统工程统一架构建模语言的标准体系构建

标准化是基于模型的系统工程的基础,随着多架构建模语言已经被应用于多领域、全周期、多层级的架构建模,多架构建模语言的标准化体系也逐渐受到重视。基于国家标准计划《系统与软件工程基于模型的系统工程统一架构建模语言》,提出架构建模语言的标准规范框架,重点阐述两种核心语言规范、支撑规范及领域规范。最后,提出标准的未来发展路径,进而推动多架构建模语言、工具及方法论的标准化进程。

系统生存周期过程标准演变及发展趋势

随着人工系统体量的增大和复杂程度的提升,系统工程发展迎来了前所未有的机遇,标准化是解决系统复杂性问题的一种重要方法.以系统工程的纲领性标准——ISO/IEC 15288为主要研究对象,通过不同版本间标准架构和过程内容的纵向分析比对,以及软件生存周期过程标准演变过程的横向分析比对,研究系统生存周期过程标准的技术发展脉络及其原因,结合相关指南标准制定情况、标准在不同行业中的最新实施应用成果,最后对系统生存周期过程标准未来的发展趋势做出预测,这将有助于完善系统与软件工程生存周期标准体系,加速系统工程标准化工作进程.

基于多架构建模语言的系统工程建模方法

随着系统工程建模技术的进步,复杂装备生命周期所涉及的建模工具多样,模型数据异构为模型集成带来了重大技术挑战.因此,系统工程社区提出了语义建模规范并将其用于解决建模工具之间的模型数据集成难题,提升各工具建模语言的数据互用性.提出一个新的语义式系统工程建模语言KARMA,采用双语义机制支持复杂装备研发过程中的架构建模,并提出了该语言的技术发展路线.最后,通过工程验证案例,从定性及定量角度对语言进行技术验证,结果表明KARMA语言可支持多种复杂装备的体系及系统的架构设计.

海水腐蚀对砂岩物理力学特性与微观结构破坏特征的影响研究

针对海底隧道围岩在海水腐蚀下物理力学性能劣化的问题,选取典型砂岩作为研究对象,基于深圳海底隧道所在区域海水的取样数据配制不同浓度的模拟海水溶液,对砂岩试样进行不同浓度、不同时间的腐蚀浸泡处理,再进行单轴压缩试验,并结合声发射与扫描电子显微镜(SEM)技术,对海水腐蚀损伤砂岩的物理力学特性、破坏过程和微观结构演化特征进行分析研究。结果表明:随着腐蚀溶液浓度增加,砂岩试样表面越早发生脱落且面积越大,试样密度小幅度增加;峰值应力和弹性模量均随腐蚀时间增加而降低,但二者降低幅度及速率不同;随着腐蚀时间以及浓度的增加,除高浓度组砂岩试样在腐蚀45 d之后声发射事件活跃期有所缩短外,其余组砂岩试样的声发射事件活跃期均有所增长,砂岩试样内部缺陷逐渐发育,结构逐渐疏松,蜂窝状腐蚀区域面积增大,盐离子白色结晶区域逐渐扩大。

面向非对称认知的移动目标防御动态博弈方法

移动目标防御(MTD)通过主动地、动态地“移动”系统安全配置,扰乱攻击方对系统状态的认知,进而影响攻防决策和演化过程,被称为“改变游戏规则”的网络空间革命性技术.MTD的技术本质是建立和控制攻防双方的非对称认知.为了实现对这种非对称认知关系的量化分析,通过建模攻防知识面在攻防双方认知中的差异化投影,将非对称认知关系引入到MTD博弈决策中,提出面向非对称认知的MTD动态博弈模型和基于多阶段潜在风险分析的决策方法.数学实例分析和模拟实验验证了模型和方法不仅能实现面向非对称认知的攻防博弈推演,也进一步提高了攻防状态建模的灵活度和空间规模,对基于博弈的网络安全管理具有指导意义.

《工作场所职业病危害警示标识》的意义及应用

2002年，国家卫生部颁布和实施了《中华人民共和国职业病防治法》和《使用有毒物品作业场所劳动保护条例》（以下简称《职业病防治法》和《劳动保护条例》）。其中明确规定，在可能产生职业病危害或使用有毒、高毒物品的作业岗位、设备、产品包装上，必需设置警示标识和中文警示说明。然而，在我国却没有一套统一的、专用于工作场所职业病危害的警示标识，一直以来都是由用人单位自行制定。这就造成了不同企业、不同行业之间的警示标识概念不清、意义混淆、可读性差等问题，不利于《职业病防治法》和《劳动保护条例》的贯彻和实施。

运用层次分析法分析电子商务软件易用性的评价值

基于易用性评测的理论基础,以电子商务软件易用性评测的指标体系和评测方法为研究依据,详述了如何运用层次分析法对指标值进行评价。对五个B2C网站的易用性进行评测,并给出比较结果。

我国软件与系统工程标准化研究综述

软件工程将工程化的思想贯穿到软件的分析、设计、实现和维护的生存周期全过程,涵盖完成一个软件产品所必备的思想、理论、方法、技术、工具和环境。软件工程标准化通过制定、贯彻并监督实施标准,规范软件工程过程和方法,提高软件产品质量和工作效率,对软件行业的发展起着举足轻重的作用。本文对软件工程及标准化情况进行综述,并对软件工程重点领域的发展和标准化趋势进行分析总结。首先,本文总结软件工程的发展历程,对软件工程发展各阶段的技术和标准化重点进行分析,然后通过对国际标准和我国标准进行对比,剖析出我国软件工程及软件工程标准化情况,最后归纳总结我国软件工程标准化现存的问题和下一步研究工作的重点。

中药益坤宁方调节围绝经期大鼠卵巢细胞色素P450芳香化酶mRNA的实验研究

目的：探讨细胞色素P450芳香化酶（aromatase cytochrome P450,P450arom）mRNA在围绝经期自然老化大鼠卵巢上的表达及意义。方法：选用11-13月龄雌性围绝经期Wistar大鼠32只。随机将其分为模型组、益坤宁组、西药对照组。另选青年大鼠10只,月龄4个月,作为青年对照组,用原位杂交方法检测大鼠卵巢上的P450arom mRNA的表达。结果：P450arom mRNA在模型组卵巢上呈阴性或弱阳性表达,在青年组呈强阳性表达,两组比较差异有统计学意义（P〈0.01）。而在益坤宁组及西药对照组均呈阳性表达,与模型组比较差异均具有统计学意义（P〈0.01）。结论：中药益坤宁可促进大鼠卵巢P450arom mRNA的表达,有利于雌激素的合成。

“益坤宁”对自然老化大鼠性激素的调节及卵巢修复的研究

目的:研究中药益坤宁对围绝经期大鼠卵巢功能和结构的影响。方法:选用11～13月龄雌性围绝经期wistar大鼠32只。随机将其分为模型组、益坤宁组、西药对照组。另选青年大鼠10只,月龄4个月,作为青年对照组,采用血清性激素分泌水平、血管内皮生长因子(VEGF)、颗粒细胞调亡及细胞形态等指标来观察益坤宁对卵巢结构和功能的影响。结果:益坤宁组与模型组比较,各项指标差异均有显著性或极显著性(P<0.05或P<0.01)。结论:研究证实益坤宁可升高围绝经期大鼠血清E2、P水平,降低血清FSH、LH水平;对围绝经期大鼠卵巢VEGF有促进作用;对卵巢颗粒细胞凋亡有抑制作用,提示益坤宁可以阻止卵泡闭锁,从而达到预防和延缓卵巢衰老的作用机制。

益坤宁对围绝经期大鼠卵巢细胞色素P450芳香化酶的调节作用和血清雌二醇水平的影响

目的:观察中药益坤宁方对围绝经期大鼠卵巢细胞色素P450芳香化酶(Aromatase cytochrome P450,P450arom)的调节作用。方法:建立自然衰老的大鼠模型,将模型分为青年对照组、模型组、益坤宁组和西药对照组4组,益坤宁组和西药对照组分别给予中药益坤宁汤剂和西药利维爱混悬液治疗。4周后,采用免疫组织化学及Western Blot方法检测大鼠卵巢P450arom蛋白表达情况;采用放射免疫法测定大鼠空腹血清雌二醇(E2)水平。结果:P450arom蛋白在益坤宁组大鼠卵巢上均多呈阳性表达,与模型组比较均具有显著性差异(P<0.01);与西药对照组比较差异不具有统计学意义(P>0.05)。益坤宁组大鼠空腹血清雌二醇(E2)水平升高,与模型组比较差异显著(P<0.01),与西药对照组比较差异不具统计学意义(P>0.05),但其E2水平仍然低于青年对照组,差异具有显著性(P<0.05)。结论:中药益坤宁可促进围绝经期大鼠卵巢P450arom蛋白的表达。中药益坤宁可提高大鼠血清雌二醇(E2)的水平。中药益坤宁可通过促进卵巢P450arom的表达而利于雌激素的生成。

电子商务软件易用性的评测方法和评测过程

关注和提升电子商务软件的易用性可以更好地满足客户需求、提高产品竞争力、节约成本,具有现实意义和实用价值。基于易用性评测的理论基础,依据电子商务软件易用性评测指标体系,提出了电子商务软件易用性的评测方法和评测过程。

电子商务网站的软件服务可信性评估方法

在当前信息技术快速发展与应用普及的大背景下,软件无处不在,软件即服务的模式在社会中产生了巨大影响,软件服务可信性逐渐成为国内外学术界和产业界关注的热点。针对于电子商务网站,原创性地提出软件服务可信性的指标体系和度量评估方法,明确各指标的形式化方法和数据采集与处理方法,给出基于主观和客观综合赋权的软件服务可信性评估方法。以10个著名的奢侈品电子商务网站为对象进行案例分析和方法验证,实验结果验证了所提软件服务可信性指标、度量方法和评估方法的可行性和有效性。

基于FEA的政府信息化绩效评价策略研究

针对"智慧政府"环境下我国政府信息化绩效评价现状的梳理,本文得出三个问题,即绩效评价指标体系不够全面、部门间资源共享和协同不够完善、缺少有效的安全评价。美国联邦政府总体架构(FEA)通过一个覆盖微观和宏观的标准体系,有效地提高了美国政府信息化绩效的水平。通过对FEA的研究,本文有针对性地提出了政府信息化绩效评价的建设策略,对我国政府信息化绩效评价标准体系建设提供一定的借鉴。

以标准促进我国工业APP发展的几点建议

随着工业互联网政策的不断推出和加速发展的脚步,工业APP从悄然发生变成了业界共识,与工业互联网的发展形成互促互进的良好局面。同时,基于全新架构和理念开发出来的工业APP,由于其具备较高的灵活性,能够为服务工业领域提供更好的技术路径与应用实践,特别是在抗击新型冠状病毒肺炎(COVID-19)疫情中,为广大企业的复工复产提供了重要的保障和支撑。由于工业APP尚属于新的概念、新的领域,需要标准来正确引导各行各业对工业APP的认识。因此,本文从标准化的角度对工业APP的概念、发展现状和问题进行了梳理,对工业APP的作用进行分析,最后提出了使用标准化手段解决上述问题的对策和建议。

IT治理标准研究

介绍并对比分析了IT治理的国际标准和国家标准的相关内容,阐述了各自的特点、区别和相互关系。提出在组织的IT治理实践中需要整合相关标准,分析其自身的战略和业务特点,制定适合组织特点的IT治理原则、框架、模型、流程等关键要素。

新形势下医学研究生高情商的培养

情商也称情感商数，相对智商而言，属于人类心理活动的非智力因素，反映人们控制自己情绪和理解他人情感、把握自己心理平衡的能力。医学研究生作为我国卫生领域的高层次人才，在社会主义新形势下，面临众多的压力和挑战。除了要注重专业知识的培养外，更需要重视高情商的培养。

2017年ISO/IEC JTC1/SC7全会要点

1会议背景5月13~20日,2017年ISO/IEC JTC1/SC7（软件与系统工程分技术委员会）全会及工作组会议在马来西亚关丹召开,来自澳大利亚、加拿大、中国、英国、美国、法国、印度、韩国、日本、马来西亚等国家和地区的137名代表参加了会议。中国代表团由来自中国电子技术标准化研究院、北京邮电大学、