基于Petri网的构件组装模型

针对形式化语义对构件组装和演化描述能力不足的问题,提出了基于Petri网的构件组装模型.以Petri网系统表示构件的静态组装结构,用网中标识在库所中的流动来模拟构件的动态运行过程;构造了6种具有普遍适应性的构件组装运算,给出了构件Petri网的动态运行规则,并通过案例演示了构件Petri网的演化和组装运算过程.为了支持对构件演化过程中波及效应的量化分析,从可达标识图中抽象出构件影响因子用来描述相关构件耦合度的大小,并用以度量构件系统演化时的影响度.该模型可应用于基于构件的软件系统的体系结构描述及构造过程的演化分析.     

演化构件在形式化需求分析方法中的研究与应用

软件开发实践表明:用户需求是软件系统成功的关键,软件系统的成功极大地依赖软件需求工程的质量.在开发活动过程中,随着用户对目标系统认识的逐渐深入以及基础设施、配置环境等因素的变化,用户需求也在不断发生变化.对需求变化的控制历来都是软件开发者追求的目标.在详细介绍形式化需求分析方法、演化构件及构件贡献度的相关理论基础上,提出了基于演化构件的形式化需求分析建模方法,深入分析了建模过程及建模工具RE-Tracker,并用集中控水系统的需求分析具体实例分析了需求级构件变更的影响范围和波及效应.     

连杆机构准动力学分析的统一建模方法

探讨了基于构件真实质量分布的连杆机构推动力学（动态静力学）分析的统一建模方法，它适用于各种平面、空间连杆机构，采用达朗伯原和矩阵方法，推导了机构支反力及驱动力求解的统一公式。开发了相应的准动力学通用分析系统，该系统已有效地应用于工程实际之中。     

企事业MIS系统构件化开发研究

为了解决MIS系统开发中出现的许多问题,提出了一种开发企事业MIS系统的有效方法,即以过程建模为先导,以构架建造为中心,以构件组装为基础的企事业MIS系统构件化开发方法,为实现构架建模和系统组装,开发了可视化MIS构架建模环境——VAME,实现了对构架模型的可视化定义与建模、构架模型的实例化、构架实例的静态分析、系统的组装与生成以及构架模型库和构架实例库的管理维护,并详细阐述了该方法的过程和特点。     

医学检验仪器领域软构件开发

提出了一种针对医学检验仪器领域的领域软构件开发方法.首先,对特定领域进行分析,建立领域特征模型和领域元模型;然后,根据领域元模型等领域分析结果识别领域软构件;最后,确定构件模型,并对领域构件进行制作和封装.基于这些构件实现了该领域应用系统的开发,结果表明:构件的易用性较好,复用率也较高,系统的开发效率得以提高.     

面向代码的构件技术在PLM系统开发中的应用

构件化开发方法(component-based development,CBD)是软件复用的一条切实可行的途径,主张通过设计和复用能独立完成特定功能的构件来组装软件,从而提高软件复用度。本文在基于构件的开发基础上对其进行了改进,提出了一种简单而有效的面向代码的构件开发方案,并在PLM系统的实际开发中得到了很好的应用。     

基于构件技术的旅游信息系统的设计

软件复用技术是今年来流行的软件设计模式,而基于构件的软件开发也逐步应用到了整个系统的开发过程中。文章以旅游信息系统开发为例,研究了基于构件的系统的开发方法。在设计过程中采用构件技术,提高了软件开发的效率和适应需求不断变化的能力。系统可扩展性好,能够根据用户的实际需求进行快速定制。     

开发MIS的“系统权变方法”

基于对系统管理理论、权变管理理论的研究和对管理信息系统各种开发方法的分析,我们提出了开发管理信息系统的一种新方法,叫做系统权变法。     

连杆机构准动力学分析的统一建模方法

探讨了基于构件真实质量分布的连杆机构准动力学（动态静力学）分析的统一建模方法，它适用于各种平面、空间连杆机构．采用达朗伯原理和矩阵方法，推导了机构支反力及驱动力求解的统一公式．开发了相应的准动力学通用分析系统，该系统已有效地应用于工程实际之中．     

基于软构件重用开发MIS系统方法论

MIS系统成功开发的关键是要有一个完善的方法.文章论述了基于软构件重用开发MIS系统方法论,提出了基于重用开发的框架和基于软构件重用开发MIS系统的模式,并较详细地叙述了该方法论涉及的MIS构件库及其管理,MIS开发的需求分析、设计与实现.强调采用软构件重用方法的关键是对构件的重用组合技术.该方法论经过实际的MIS项目开发实践的检验,证明是一种比较高效的MIS开发方法.     

高速公路加筋土体的滑移变形过程模拟

首先分析了加筋土颗粒接触面处的单元剪切刚度矩阵,并考虑土体剪切破坏的应力特点,引入莫尔库伦强度准则对加筋土体的微元强度进行度量,从而建立了模拟加筋土体滑移变形过程的统计损伤本构模型.在此基础上,进而提出一种较完备的,且参数少、物理意义明确的模型参数确定方法.最后,通过与常规直剪试验曲线的对比分析,发现该模型能够模拟加筋土体的滑移变形特性,并进而探讨了土体抗剪强度随法向应力的变化规律,从而验证了模型的合理性.     

解析式动态找北仪

为满足车辆高精度、快速定向的要求 ,研究了一种新颖的解析式动态找北仪。将两只加速度计安装在高速旋转的转台上。其中一只利用哥氏效应测量地球速率的水平分量 ;另一只利用重力加速度敏感基座的倾斜运动 ,进行多位置高速采样和多周期信息处理 ,有效地抑制加速度计的测量噪声和减小基座扰动的影响 ,并通过参数最优化估计和平滑方法 ,实现解析动态找北。该系统由精密转台、恒速电路、信号处理器、微机及其测控软件组成 ,具有快速反应、高精度、低成本和抗基座扰动等优点     

军工企业产业经营再造

我国军工企业发展历经从专心于军到军民结合,再从军民品分离到军民融合的过程,储备了大量的科技和人力资源,在国防、经济建设上都取得了众人注目的成果.受重军轻民观念影响,军工企业市场化运作体制、经营管理模式、民用产业化与产品研发、市场开拓、人才培养等方面亟待提升.根据再造理论,在坚持军工企业使命和属性,以技术引领战略产业、新兴产业发展等原则下,通过军民结合机制、地方政府引导及协同机制,军工企业需要转变产业经营理念和组织管理模式,面对地方经济建设的主战场,主动与地方政府协调、沟通,确保军工企业实现可持续发展.     

三相光学电流互感器的双折射效应研究

分析了一种用于测量电力系统三相电流的光学电流互感器系统,用矩阵光学方法建立了既具有旋光效应又具有线性双折射效应的三相光学电流互感器系统的数学模型,对理论结果进行了仿真实验,指明了线性双折射效应对三相光学电流互感器系统在灵敏度,线性度、稳定性等方面的影响,从而说明,限制系统性能的主要因素是不能避免线性双折射的影响。     

自主式交通系统功能架构优化密度峰值聚类算法

自主式交通系统(autonomous transportation system, ATS)是为应对主动式智慧交通发展趋势而提出的新一代交通系统。为科学合理地构建ATS功能架构,提出了一种面向多属性文本的优化密度峰值聚类算法(density peaks clustering, DPC)。该算法结合交通系统功能架构的基本特征,通过改进的词频-逆向文档频率算法与文本向量空间模型,将多属性文本转化成空间维度坐标。再利用高斯函数和决策值优化DPC算法进行聚类,并结合轮廓系数对聚类结果进行评价。为了检验算法的合理性,在ATS道路自动驾驶场景下,基于道路载运工具运行服务域、交通基础设施管理服务域和交通安全管理服务域的功能数据集进行了算例分析,依据聚类结果绘制功能架构图。架构图由自主感知-自主学习-自主决策-自主响应4层构成,验证了ATS应用场景中功能架构优化算法的可行性和合理性。算例结果表明：该算法的构建具有鲁棒性,算例轮廓系数整体均值为0.84,与原算法相比解决了聚类过程中聚类中心难以划定的问题;与原智能交通系统中的各架构设计相比,该功能架构更具有层次性和逻辑性。该优化算法能够促进新一代交通系统...     

新的军事形态是适应系统整体涌现的过程

系统的适应性在战争和军事形态的演化过程中有着极为重要的作用。基于CAS理论,军事系统作为复杂适应系统,其演化过程是一个适应性造就复杂性的过程。能动的"适应性主体"(Agent)是军事复杂适应系统的基础,系统的适应性造就新的军事形态,新的军事形态是适应系统整体涌现的过程。从这样一个新的视角考察军事运动,实质上是军事思维的一场革命性的变革。     

二、三水平正交试验广义方差分析的探讨及应用

应用多元线性模型理论和最小二乘法推导出二、三水平多指标正交表的列效应矩阵公式及其概率分布,从而得到二、三水平正交试验的广义方差分析的检验统计量,进而对因子效应进行显著性检验,作定量分析.     

非线性光导开关中的高场畴机制

应用多能谷结构的转移电子效应结合畴动力学分析探讨了高场畴的形成和发展的微观过程,在此基础上把非线性光导开关中观察到的重要特征现象——电流丝与气体放电中的放电现象相比较,合理地提出了一个重要的物理模型:畴电子崩.这一概念是系统全面地描述非线性光导开关的物理机制的基础.     

森林认证对纸和纸浆产品国际贸易的影响效应

【目的】研究和实践证明森林认证对林产品贸易有重要的影响,纸和纸浆是林产品的重要组成部分。从全球视角评估森林认证对不同经济体国家的纸和纸浆产品国际贸易的影响效应,为中国森林认证制度、机制和政策的建设提供科学的依据和指导。【方法】将消费者不完全信息条件引入森林认证对不同国家贸易影响的理论框架,并将森林认证纳入扩展的引力模型,以处理引力模型的异方差和零贸易值问题,使用2009—2018年68个国家纸和纸浆产品森林认证数据和双边贸易的数据,从出口国的森林认证出口竞争效应、进口国的贸易壁垒效应、由进出口国森林认证的相互作用所获得的共同语言效应3个方面分解影响效应,并将总样本细分为4个子模型以评估对不同经济体的影响。【结果】森林认证对纸和纸浆产品国际贸易的影响呈现效应不对称。森林认证对纸和纸浆产品具有显著的出口竞争效应,且发展中国家优于发达国家;在与发达国家贸易的过程中,森林认证产生了贸易壁垒效应,且对于发展中国家更明显。森林认证的通用语言效应在发展中国家的双边贸易中并未显现,而在发达国家与发展中国家贸易过程中具有通用语言效应。【结论】对我国纸和纸浆产品乃至其他林产品生产和贸易来说,森林认证是其发展不可回避的环境和资源因素,并且其影响效应呈不断增强的趋势。因此,需要从宏观制度、机制和政策建设的层面,高度关注并切实推进森林认证在国内的发展。