网构软件选择的可信性评估算法

网构软件可以加快软件开发的速度和降低成本。然而,随着网构软件数量的增多,如何选择合适的构件成为一个具有挑战性的问题。现有的研究工作,有的只给出了可信性评估模型,没有具体的实现方案;有的只是考虑了的可靠性一个可信属性。提出基于贝叶斯网络的可信性评估模型：首先对构件进行结构分析,根据其模块划分和结构层次等建立相应的可信性评估体系;其次,采用自底向上的计算方法确定各个软件实体的可信性评估值;最后,利用客观数据对评估指标进行修正,得到统一的可信性评估结果。实验结果表明：算法可以客观、明确的对网构软件进行评估,能够科学、有效的指导网构软件的选择。     

一种基于主体的可信网构软件设计方法

 本文提出了一种基于主体的网构软件设计方法ABDPI,该方法对传统的多主体系统设计方法进行了扩展,支持网构软件的分析、设计、实现和部署等各个阶段.该方法建立了一个通用的信任模型来描述网构软件中各个软件实体间的信任关系,并通过定制灵活的信任评价反馈策略来体现信任值的动态变化;该方法还使用有限状态自动机对网构软件中软件实体的正常行为和故障行为进行建模,并通过动态描述逻辑DDL加以描述,在网构软件运行的时候能够通过系统观测和DDL推理机动态地诊断出故障;结合具体的案例对网构软件系统的设计过程给出详细的介绍.     

基于B方法的电梯控制系统形式化研究

B方法是一种新的形式化方法,使用B方法开发软件可有效提高软件的可靠性、可复用性和开发效率.文中使用B方法对电梯控制系统建立了抽象机模型并对其进行活性证明,自动生成相应软件,提高了电梯控制系统的可靠性和稳定性.     

一种基于领域知识模板的网构中间件动态伸缩方法

开放、动态、多变的网构软件运行环境要求网构软件中间件具备良好的易伸缩性.随着网构软件中间件能力的不断提升及其自身复杂度的不断增加,如何在动态的运行环境中快速有效的伸缩网构软件中间件以满足网构软件运行时对资源的动态需求是网构软件开发和部署人员面临的一个新挑战.本文提出了一种基于领域知识模板(profile)的网构软件中间件动态伸缩方法.该方法使用领域知识模板描述:(1)用于维护网构软件中间件动态伸缩一致性的状态信息;(2)用于触发和实现网构软件中间件动态伸缩的反射信息;(3)不同类型的网构软件中间件在运行时动态伸缩的最佳实践.支持网构软件中间件动态伸缩的自动化工具能快速部署网构软件中间件,并在运行时根据网构软件需要对中间件进行动态伸缩.本文以部署和动态伸缩Mongrel集群为例演示了该方法的有效性和易用性.     

下一代网络核心业务平台的可靠性分析

基于随机Petri网,提出了一种计算NGN核心业务平台可靠性的方法。对双机热备份容错系统和N 1互备份容错系统的硬件环境分别进行了可靠性建模与分析。提出了软件模块容错方法,并得到了该方法的软件模块可靠性表示方法;然后从软件模块的角度,对业务软件的可靠性进行了建模与分析。最后给出了一个实例,分析了NGN核心业务平台的硬件系统和业务软件是如何协作满足业务可靠性要求。     

基于环境变迁的构件组合模型

Internet为分布构件的重用提供了平台，准确、高效的构件组合是新型软件生产的重要环节．针对新一代的软件模型．网构软件，本文首先建立了构件的环境本体，并提出将变迁图作为刻画环境本体的模型；其次提出了基于环境及其状态变迁的构件描述框架；然后针对网构软件的特征，提出了基于环境变迁的构件组合算法，最后用具体的案例展示了算法的可行性．     

非接触式智能卡可靠性预计模型及软件

根据非接触式智能卡的结构,对智能卡中各个模块的可靠性进行分析,建立了非接触式智能卡的可靠性预计模型,对整个智能卡的最终稳定状态进行预估计算,在此基础上,开发了非接触式智能卡的可靠性预计软件,并简单介绍了软件的性能。     

自适应网构软件的集成开发环境SADE

网构软件通常驻留在动态、开放的环境中,需根据环境变化展示自适应和自演化能力,代表了一类复杂系统.如何有效支持这类软件系统的开发是软件工程面临的一项重要挑战.本文介绍了一个基于Agent的网构软件集成开发环境SADE,它建立在一组网构软件关键技术基础之上,包括:基于Agent的网构软件抽象和构造,动态绑定的自适应和自演化机制,基于组织抽象的软件开发方法学ODAM,自适应和自演化策略描述语言SADL等.论文分析了SADE的技术框架以及各个组成部分,包括网构软件分析和设计工具集ODAMTools、编程工具集、运行支撑平台等;最后通过案例分析阐述了如何利用SADE来进行网构软件开发.     

基于交互的软件模型研究

从Peter Wegner的交互计算理论出发,将软件中的交互与计算进行分离,提出了基于交互的软件模型。对交互单元、无交互构件、交互运行支撑环境以及基于交互的软件模型进行了详细叙述,并提出软件的开发过程可以划分为交互设计和无交互构件生产两个独立的阶段,无交互构件的复用是软件复用的重要方式,基于交互的软件将形成不同于C/S,B/S的网构软件体系结构。     

扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求.扩展的模糊时间Petri网是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性.本文介绍了扩展的模糊时间Petri网的定义,模型检验方法,仿真工具,网精简技术和应用领域,并探讨了进一步研究的方向.     

基于PSASP程序的励磁系统PID控制的仿真与验证

励磁系统的PID参数对发电机组和电网稳定的可靠性和动态品质具有重要的作用。检验励磁系统PID参数准确性的方法主要是进行发电机空载阶跃响应试验。本文采用中国电力科学研究院研制的电力系统综合仿真程序PSASP对沧东电厂4号机励磁系统进行了5%机端电压阶跃仿真试验,然后根据仿真结果进行了现场试验,结果表明仿真结果对现场试验具有重要的指导意义,不仅节省了现场调试的时间,而且进一步提高了现场试验的安全性。     

电磁脉冲参数对二极管击穿特性的影响分析

为研究电磁脉冲作用下p-n-n+型二极管的击穿及损伤情况,文中结合Si基p-n-n+型二极管,采用漂移—扩散理论结合热流方程,建立了二极管的二维电热模型。仿真结果表明,电压信号的上升时间和幅值对二极管是否击穿有直接影响,上升时间越短、初始偏压越高,则二极管越容易击穿。损伤及烧毁阈值随电压幅度的增加而升高,随上升时间的增加而降低。     

灰色预测模型背景值赋值不合理性的证明及改进

文章根据灰色预测模型的建模机理,针对灰色预测模型中背景值的赋值过程,结合拉格朗日中值定理从数学上证明了灰色预测模型中背景值的赋值是不合理的。针对其不合理性,提出了一种模型改进的方法。并以重庆市农村用电量进行了实证分析,验证了模型改进的效果。     

澳洲插头产品的法规要求及标准解析

介绍了澳大利亚插头产品的法规要求及插头的型式、尺寸、参数和测试要点,分析了插头的电流额定值和配线之间的关系,强调了插销绝缘套的要求.对重要的试验项目,如弯曲试验、插销绝缘套的耐磨试验、温升试验、高温压力试验进行了说明.     

物联网网关与传感器终端通信适配相关技术分析

物联网网关作为物联网体系架构中连接传感器网络和电信网的重要网元,其与传感器终端的通信适配是物联网研究的一个重要方向。文章对多种适配方式进行了分析,并基于上述分析列举了典型应用示例。最后对物联网网关通信适配技术的发展及其在行业中的应用给出了相应建议。     

ECM的相位受振膜材料影响的讨论

着重讨论了驻极体电容传声器(ECM)的相位受振膜材料影响的问题,即振膜的基材在生产中,受生产过程影响而对振膜产生影响的分析,以及各种因素形成的应力对驻极体电容传声器(ECM)相位影响的分析.     

表面态对GaN HEMT电流崩塌效应影响的研究

针对GaN HEMT电流崩塌物理效应,测试了各种条件下器件I-V特性。发现在栅脉冲条件下器件最大漏输出电流减小了23.8%,且随着栅脉冲宽度减小或周期增大而下降,并且获得了其输出电流与脉冲宽度W和周期T的定量关系;在漏脉冲测试条件下,器件输出电流有所增大,并随着脉冲宽度减小而缓慢增大。实验结果,可用器件栅漏之间表面态充放电的原理来解释所观察到的测试现象和电流崩塌物理。     

视距传播中地面起伏对传播中值衰减的影响

电波在以视距传播方式进行传播时,在低空大气层中还要受到地面的影响。文中具体分析了视距传播下几种传播模型中地面起伏对电波传播衰减中值的影响,并进行了相应的计算,最后给出相应地面起伏度与传播衰减中值之间的关系。     

泵浦光对固体激光器光束质量的影响

利用有泵浦增益时的谐振腔衍射积分方程,研究了二极管泵浦固体激光器中泵浦光对振荡光场的影响,分析了泵浦光分布和泵浦光半径对振荡光场的影响。结果表明当泵浦光分布分别为均匀分布和高斯分布及椭圆高斯分布时,最佳的泵浦分布为高斯分布;对于高斯光束泵浦,泵浦半径的变化会引起振荡光场的尺寸和形态的变化。定量分析结果表明泵浦半径在一定范围内变化时,振荡光斑半径均随泵浦光半径的增大而减小。在实际的DPL设计中需要根据对振荡光的要求进行泵浦光的优化设计。     

TTEM小室芯板不同接地方式对场分布影响的分析

通过HFSS对TTEM小室非激励板不同接地情况下的内部场强分布进行了仿真,从分析的结果中可以发现:在低频段,非激励芯板用金属板接地和用多个金属杆接地对TTEM小室内部场强的均匀性效果来说相近,但是到了高频段,前者对场强的均匀性效果要比后者更稳定.这为TTEM小室非激励板的接地处理提供了依据.