一种应用于复杂组合软件的可靠性测试模型

当前复杂的组合型软件可靠性测试一直是一个难点,主要原因是无法多多种差异性较大的软件特征建立可约束的检测分析模型,一旦软件数量过多,模型会迅速陷入不收敛。为了解决这一问题,提出一种复杂组合差异性软件的可靠性分析模型。对组合软件以一种分解的思想对其进行建模。对分解后的软件特征进行重新分区建模。形成多个可测试的子服务特征。运用一种稳定概率统计的观点,对模型进行分析,分析不同区域组合后的稳定概率,进而代表组合后的可靠性结果。仿真实验结果表明,该种模型能改对较多软件组成的、差异性较大的大型软件可靠性进行更为合理的分析,模型鲁棒性较好,能较好完成可靠性分析的工作。     

基于物联网的作战指挥方式探讨

为促进物联网（the internet of things）的发展,对基于物联网的作战指挥方式进行探讨。介绍物联网的概念及特点,主要分析物联网对作战指挥的影响,并在此基础上研讨基于物联网新模式下网络化指挥方式、自适应指挥方式和分布式指挥方式的运用。结果表明：该方法能实现战场信息的荻取、传输、处理和运用,可对作战指挥的研究提供一定的参考。     

基于辐热积模型的温室栽培生产规划决策支持系统磁

为实现定期上市目标下的温室栽培生产规划,以作物辐热积模型为依据,利用历史气象数据和市场价格信息,建立基于辐热积模型的温室黄瓜栽培生产规划决策模型。应用 Web 技术开发了温室作物栽培生产规划决策系统,系统能实现作物在确定种植时间条件下预计上市期及温室运行过程的逐日环境优化决策,并以温室栽培黄瓜为例,对决策模型进行了验证。结果表明,系统能根据用户所提出的决策目标和温室运行状况,实现温室栽培生产的规划决策。     

基于矩阵存储的学生分班问题的回溯算法

结合项目开发,提出了多约束条件下合理分配问题的一种解法--基于矩阵存储的回溯算法.以学生合理分班问题为例,以学生成绩和男女生比例等诸多条件作为约束,给出了算法的具体实现过程,分析了算法的时间复杂度.该算法较同类问题的回溯法,效率有很大提高,实际应用的结果表明了算法的合理性和有效性.     

基于MPLS VPN的泉州电力数据通信网的建设与应用

电力数据通信网是电力公司实现信息化的综合业务传输平台。文章介绍了采用三级分层IP/MPLS技术、以高速路由器为核心构建的高带宽、高性能的泉州电力数据通信网,从网络拓扑、路由协议、MPLS VPN、网络测试与应用等方面对该网进行了阐述,最后给出了网络的整体测试结果。目前,该网已成功应用于泉州电力管理信息系统及变电站视频监控等领域。     

基于.NET的四层结构研究及其应用

阐述软件设计开发的四层结构的组织形式及其关键技术,提出了一种基于.NET的四层结构应用模型:显示层、业务逻辑层、数据访问层以及数据库,逻辑层次清晰、耦合度低.结合研究生综合信息系统应用实例,实现了基于.NET的四层结构的部署.和三层结构相比,负载能降低24.32%.     

基于直线段特征的分级立体匹配方法

提出了一种基于直线段特征的分级立体图像匹配算法。根据直线段构造了长方形区域作为立体匹配的基元,计算区域的灰度均值及区域的转动惯量等属性值,构造相似性度量函数得到初级匹配结果;根据直线段间的几何关系建立二级匹配算法,求解基础矩阵。在基础矩阵的指导下,完成三级立体匹配,实验结果表明了该算法的有效性和可行性。     

复杂电磁环境下防空兵通信系统问题

针对在复杂电磁环境下防空兵通信系统面临敌空袭作战所带来的影响,包括电磁干扰、电磁摧毁手段、复杂电磁环境等,研究在复杂电磁环境条件下防空兵通信系统的安全稳定所采取的对策,包括完善空情报知通信系统、建立高效灵活的通信指挥体系、建立以自组织系统为核心的通信网络体系、软杀伤和硬摧毁相结合、加快通信装备更新换代、培养实用型的防空兵通信人才.     

应用线性规划方法进行铅优化配料

一、应用线性规划方法进行铅优化配料的依据1.传统配料计算是凭经验选配原料结构,使之符合渣型,混合料含铅品位、含硫等技术条件的配料方法。它不能指明获取最佳经济效益的原料结构的配料方案。因此执行传统配料计算的配料方案,带有一定的盲目性。     

抗差分故障攻击的两方协同EdDSA签名方案

以区块链为底层技术的比特币、Libra等密码货币掀起了数字经济的浪潮.密码货币采用数字签名保证交易的可验证性和完整性,其中签名私钥确保了货币资产的所有权.若签名私钥丢失或被盗,货币资产的安全将受到严重威胁.相比于椭圆曲线数字签名算法ECDSA,基于爱德华曲线的数字签名算法EdDSA具备运算速度更快、密钥与签名空间更小等优势,被用于Libra交易单的签名.但因其是确定性签名,容易遭受差分故障攻击,造成密钥丢失或泄漏.如何抵抗这一种攻击,并设计可证明安全的EdDSA签名是一个挑战.首先定义了抗差分故障攻击的数字签名方案需满足的安全性质,利用差分故障攻击技术对EdDSA签名算法进行了分析,提出了抗差分故障攻击的EdDSA签名方案,并证明了方案满足存在不可伪造性和抗差分故障攻击性;为了降低签名私钥泄漏风险,借助Paillier同态加密技术,设计了抗差分故障攻击的两方协同EdDSA签名方案,并基于通用可组合安全模型(universally composable, UC)证明了方案的安全性;最后,对两方协同ECDSA签名算法与抗差分故障攻击的两方协同EdDSA签名算法计算复杂度分析与算法执行效率测...