-
广东法院"三联三化"党建模式的实践与思考
新形势下,如何加强和改进法院党建工作,是人民法院面临的一个重大课题.近几年来,广东法院紧紧围绕法院工作主题和职能定位,紧密结合法院党建的职业特点和自身规律,积极探索"抓党建、带队建、促审判"的新路子.2011年2月,广东省委组织部和广东省高级人民法院联合下发了《关于加强和改进全省法院系统党建工作的意见》(以下简称《意见》),在全国首次提出构建法院系统党建双重管理体制,推动党建理论和实践实现重大突破.最高人民法院向全国法院转发推广,产生了重要影响.郑鄂 - 人民司法文章来源： 万方数据 -
实现矩阵变换器空间矢量调制的一种新方法
基于C语言编程的S函数建模法,实现了矩阵变换器的8开关模式空间矢量调制策略,达到了快速、高效、代码利用率高的良好仿真效果.把矩阵变换器的控制虚拟为整流和逆变两个环节,分别实现输入电流和输出电压的空间矢量调制,再综合成AC-AC矩阵变换器的空间矢量调制,并得到有效开关组合表,经优化得到8开关序列.采用MATLAB工具箱建立仿真电路,用S函数实现核心控制算法,再构成一个完整系统,做仿真实验.仿真结果表明,该S函数建模方法值得在矩阵变换器研究方面推广、应用.郭有贵,刘中坚,郭宇,邓文浪,李利娟,潘东卿 - 系统仿真学报文章来源： 万方数据 -
面向应急管理的人工社会元模型设计与实现
将仿真技术应用到社会系统研究是一个新的研究思路,需要从仿真全过程为其定制.深入分析了MDA、元模型、模型变换以及多范式建模理论几个基本概念以及他们在文中的内在关系,然后重点从建模环境的角度,基于元建模和模型变换的思想,为面向应急管理的人工社会定制了元建模框架.该框架从具体语法、抽象语法、语义3个角度对人工社会进行刻画.以此为基础,以甲型H1N1在封闭校园传播为案例,构造了人工校园并进行了计算实验.实验表明,元建模框架能有效实现模型的轻便性、可重用性、互操作性以及可拓展性.该元建模框架同时也是"非常规突发事件模拟仿真与计算实验集成升华平台"的建模子系统.张烙兵,张鹏,陈彬,邱晓刚,樊宗臣 - 系统仿真学报文章来源： 万方数据 -
面向人工社会的多范式建模理论与方法
在利用ACP(Artificial Society,Computational Experiments,Parallel Execution)方法解决突发事件应急管理问题的研究工作中,人工社会的建立成为一个新问题.针对人工社会的多Agent和多领域性特征,提出一种面向人工社会的多范式建模方法,从构造基本人工社会元模型、特定领域人工社会建模和领域模型到仿真模型变换3个方面解决人工社会建模问题.利用通用建模环境(Generic Modeling Environment,GME)实现了公共卫生事件的人工社会建模流程,验证了方法的可行性.同时,方法也是"非常规突发事件模拟仿真与计算实验集成升华平台"的重要支撑.陈彬,邱晓刚,张烙兵 - 系统仿真学报文章来源： 万方数据 -
作战仿真传感器模型多分辨率建模方法
阐述了国内外多分辨率建模技术发展的历史,说明了多分辨率建模是作战仿真中的关键技术,结合该技术在各作战域的应用指出了在C4ISR领域应用发展的不足.针对C4ISR模型中的传感器模型的多分辨率建模,在分析了建模需求的基础上,结合传感器系统在仿真系统的表示方法,从传感器性能和传感器报告两个方面实现了传感器模型的低、中、高分辨率建模,通过验证想定检验了模型的一致性,能够较好的解决作战仿真系统规模大型化、模型复杂化与资源消耗、执行效率之间的矛盾.李元锋,刘建平,石成英 - 系统仿真学报文章来源： 万方数据 -
TEFL:一种文本式特征建模语言
特征模型已经成为软件产品线工程中共性/可变性建模的事实标准.现有基于特征图的建模工具由于在模型表达能力、严谨的形式化语义等方面的不足限制了其在工业界的应用.为了消除这些建模中的缺陷,为基于特征的产品线开发提供一个坚实的支撑环境,提出文本式特征建模语言TEFL,介绍其具体语法、抽象语法,以及形式化语义;开发一个基于Eclipse的语言编辑器原型;给出了面向XML和Java语言应用转化方法和工具;分析了与现有文本式建模技术相比所具有的优势与不足,并指出在特征建模及其工具技术方面的进一步的工作方向.周进刚,赵大哲,刘积仁 - 小型微型计算机系统文章来源： 万方数据 -
航天测控系统遥控软件自动化测试仿真平台研究
针对传统遥控软件测试模式出现的测试周期长、适应能力差、效率低等问题,设计并实现了一种通用的遥控软件自动化测试仿真平台.通过对遥控软件的测试内容、测试方法进行分析,论证了建立自动化测试仿真平台的可行性,并对仿真平台的数据建模方法和场景建模方法进行了研究.最后,通过仿真场景实例对数据模型进行了设计,并对测试用例条件组合结果进行了分析和选优.实际应用表明,该平台设计先进,通用性好,测试效率高,能够满足测控系统中遥控软件的测试需求,提升了软件的自动化测试水平,具有一定的工程应用价值.马贤颖,刘文红,夏烨 - 系统仿真学报文章来源： 万方数据 -
高职高专非计算机专业算法语言课程新探索
高职高专非计算机专业以C语言教学为主的算法语言课程存在着教学目的不明确、与实践脱钩等严重问题.算法语言课程必须以高等数学为核心,训练学生将实际问题抽象化为数学问题的"建模"能力.选择Matlab为教学语言,有利于提高学生解决实际问题的能力和水平.许继君,闵存高,董学森 - 成人教育文章来源： 万方数据 -
基于基元级计算的汽轮机级间集总参数建模
从对象的基本工作原理出发,建立了一类可以正确反映汽轮机外特征和级间参数分布的集总参数模型.模型采用基元级理论将汽轮机内蒸汽的三维流动简化为以流线为坐标的一维流动,从而避免了复杂三维流场的计算问题,保证了仿真的实时性.以某型船用多级汽轮机为例对模型进行验证,通过仿真结果和实测值的对比,证明模型能够真实地反映实际对象的稳态与动态特性,具有较高的计算精度,可以为汽轮机的性能分析、运行及控制优化提供一定的帮助.倪何,肖航,曾凡明,孙丰瑞 - 系统仿真学报文章来源： 万方数据 -
错置的共同正犯:概念探疑与性质认定
在共同正犯的归属原理中,整体模式强调行为的整体性,将共同故意和共同行为作为共同正犯的成立条件.个别模式主张行为的个别性,仅仅将他人行为作为个人行为因果链条的延长线,使共同正犯的成立条件演变成单独犯罪的构成要件.这两种归属原理在对共同正犯进行诠释时都无法自圆其说,共同正犯的立法规定更多是共同犯罪性质认定的依据,未能给共同正犯的合理性提供充足理由.现有的错位的共同正犯概念阻碍了共同犯罪性质的认定以及共犯区分理论的发展.共同正犯从本质上只是一个阶段性的概念,是认定共同犯罪性质时的附庸产品.刘斯凡 - 湖北社会科学文章来源： 万方数据
科创中国
