-
TEFL:一种文本式特征建模语言
特征模型已经成为软件产品线工程中共性/可变性建模的事实标准.现有基于特征图的建模工具由于在模型表达能力、严谨的形式化语义等方面的不足限制了其在工业界的应用.为了消除这些建模中的缺陷,为基于特征的产品线开发提供一个坚实的支撑环境,提出文本式特征建模语言TEFL,介绍其具体语法、抽象语法,以及形式化语义;开发一个基于Eclipse的语言编辑器原型;给出了面向XML和Java语言应用转化方法和工具;分析了与现有文本式建模技术相比所具有的优势与不足,并指出在特征建模及其工具技术方面的进一步的工作方向.周进刚,赵大哲,刘积仁 - 小型微型计算机系统文章来源： 万方数据 -
自然种群淡色库蚊钠通道基因全长的克隆及序列分析
本研究采用反转录多聚酶链式反应( RT-PCR)的方法对野外采集的河北种群淡色库蚊的钠离子通道基因进行了克隆和序列分析。得到的克隆序列与GenBank中公布的序列能够吻合,说明成功克隆出淡色库蚊的钠通道基因全长,为抗性突变的研究奠定了基础。本研究在淡色库蚊钠通道基因上发现了多处氨基酸突变(A32T、 T336A、 S342P、 K535E、 L1035F、 N1595S和F1982L)和7处可变剪接。其中,包括经典的抗性突变L1014F ( L1035F)。但这些突变和可变剪接与蚊虫抗性的关系有待进一步研究。赵明惠,冉鑫,董言德,郭晓霞,张映梅,邢丹,吴治明,李春晓,赵彤言 - 寄生虫与医学昆虫学报文章来源： 万方数据 -
心脏原发轻链型淀粉样变1例报告并文献复习
目的 探讨心脏原发轻链型淀粉样变临床特点、病理特征、诊断及治疗.方法 报道1例心脏原发轻链型淀粉样并复习相关文献.结果 心脏原发轻链型淀粉样变临床特点包括常见心力衰竭症状,顽固性低血压,心电图多有低电压,异常Q波等表现;超声心动图特异性表现为心内膜心肌呈现出闪耀的颗粒状;单克隆轻链异常增高;组织活检,经刚果红染色可见特异性淀粉样组织.常用治疗方法为MP或MD方案(美法仑+泼尼松或地塞米松).结论 心脏原发轻链型淀粉样变临床罕见,特异性临床表现少,组织活检、检测血清游离轻链为主要确诊手段;治疗为MP或MD方案.郭华,徐军,缪东培,包知达,翟永平 - 西南国防医药文章来源： 万方数据 -
中国可变参数的总量生产函数研究
本文以新古典生产函数为基础,将全要素生产率、资本和劳动产出弹性看做可变参数,利用中国省际面板数据,选取改革开放后的三个跨时期为样本区间,建立了三个跨时期可变参数总量生产函数模型.结果表明要素产出弹性参数和全要素生产率参数是随时间而变化的,而且生产技术处于规模报酬递增状态.并且未来10年的变动趋势表明资本产出弹性趋向减小,而劳动产出弹性趋向增大.整体反映出我国经济增长方式的转变趋势.王金营,戈艳霞 - 数量经济技术经济研究文章来源： 万方数据 -
面向应急管理的人工社会元模型设计与实现
将仿真技术应用到社会系统研究是一个新的研究思路,需要从仿真全过程为其定制.深入分析了MDA、元模型、模型变换以及多范式建模理论几个基本概念以及他们在文中的内在关系,然后重点从建模环境的角度,基于元建模和模型变换的思想,为面向应急管理的人工社会定制了元建模框架.该框架从具体语法、抽象语法、语义3个角度对人工社会进行刻画.以此为基础,以甲型H1N1在封闭校园传播为案例,构造了人工校园并进行了计算实验.实验表明,元建模框架能有效实现模型的轻便性、可重用性、互操作性以及可拓展性.该元建模框架同时也是"非常规突发事件模拟仿真与计算实验集成升华平台"的建模子系统.张烙兵,张鹏,陈彬,邱晓刚,樊宗臣 - 系统仿真学报文章来源： 万方数据 -
面向战场通信业务的网络流量建模与仿真
体现作战通信行为特点的业务流量生成是战场网络建模仿真的难点.针对现有网络流量建模与战场通信存在脱节的问题,分析了基于可变报文格式标准的典型作战任务和业务报文,提出一种面向战场通信业务的网络流量建模和仿真方法.利用两层模型分别建模战场通信业务交互和网络流量传输,上层的作战仿真模型利用计算机生成兵力技术模拟战场各单位间协同作战和通信行为,产生作战任务对应的业务报文.底层的网络流量模型利用重尾分布函数仿真报文到达时间间隔分布并模拟流量在网络中的传输过程.仿真实验结果表明模型产生的报文流量符合一般网络流量的基本特征,并能够反映战场中通信交互行为和业务对流量特征的影响.叶春明,单洪,马涛,袁泉 - 系统仿真学报文章来源： 万方数据 -
面向人工社会的多范式建模理论与方法
在利用ACP(Artificial Society,Computational Experiments,Parallel Execution)方法解决突发事件应急管理问题的研究工作中,人工社会的建立成为一个新问题.针对人工社会的多Agent和多领域性特征,提出一种面向人工社会的多范式建模方法,从构造基本人工社会元模型、特定领域人工社会建模和领域模型到仿真模型变换3个方面解决人工社会建模问题.利用通用建模环境(Generic Modeling Environment,GME)实现了公共卫生事件的人工社会建模流程,验证了方法的可行性.同时,方法也是"非常规突发事件模拟仿真与计算实验集成升华平台"的重要支撑.陈彬,邱晓刚,张烙兵 - 系统仿真学报文章来源： 万方数据 -
作战仿真传感器模型多分辨率建模方法
阐述了国内外多分辨率建模技术发展的历史,说明了多分辨率建模是作战仿真中的关键技术,结合该技术在各作战域的应用指出了在C4ISR领域应用发展的不足.针对C4ISR模型中的传感器模型的多分辨率建模,在分析了建模需求的基础上,结合传感器系统在仿真系统的表示方法,从传感器性能和传感器报告两个方面实现了传感器模型的低、中、高分辨率建模,通过验证想定检验了模型的一致性,能够较好的解决作战仿真系统规模大型化、模型复杂化与资源消耗、执行效率之间的矛盾.李元锋,刘建平,石成英 - 系统仿真学报文章来源： 万方数据 -
航天测控系统遥控软件自动化测试仿真平台研究
针对传统遥控软件测试模式出现的测试周期长、适应能力差、效率低等问题,设计并实现了一种通用的遥控软件自动化测试仿真平台.通过对遥控软件的测试内容、测试方法进行分析,论证了建立自动化测试仿真平台的可行性,并对仿真平台的数据建模方法和场景建模方法进行了研究.最后,通过仿真场景实例对数据模型进行了设计,并对测试用例条件组合结果进行了分析和选优.实际应用表明,该平台设计先进,通用性好,测试效率高,能够满足测控系统中遥控软件的测试需求,提升了软件的自动化测试水平,具有一定的工程应用价值.马贤颖,刘文红,夏烨 - 系统仿真学报文章来源： 万方数据
科创中国
