【摘要】本发明公开了一种基于建模技术的软件安全性测试方法，通过将软件安全性缺陷测试行为需求和软件安全性功能测试行为需求转化为形式化软件安全性测试行为需求模型，并基于获得的模型生成有穷状态机特征序列生成安全性测试用例；同时，能够对于获得的安全

【摘要】一种预紧力不作用于被紧固件的螺纹防松装置，属机械联接领域。该装置包括螺母(1)、螺钉(2)、多边形止动垫片(3)、螺栓(4)；上述螺母(1)一端带有多边形孔，另一端带有螺纹孔；上述多边形的外接圆直径小于螺纹孔的直径，使多边形孔和螺纹

【摘要】本实用新型公布了一种盲人用智能数字体温计，由体温测量端与体温接收端组成，所述体温测量端包括第一微处理器、温度传感器和无线发射模块，所述体温接收端包括第二微处理器、麦克风、功率放大芯片、扬声器和无线接收模块；其中，温度传感器与第一微处

【摘要】一种基于CAN总线的变频控制器，其特征是它主要由微处理器(1)、CAN控制器(2)、CAN收发器(3)和485控制器(4)组成，所述的CAN控制器(2)与微处理器(1)双向连接，CAN总线(5)通过CAN收发器(3)与CAN控制器(

【摘要】１．本外观设计产品的名称货架组件(１２)。２．本外观设计产品的用途是上产货架的零件。３．本外观设计的设计要点在主视图。４．最能表明设计要点的图片或者照片主视图。５．省略其他视图。【专利类型】外观设计【申请人】南京音飞货架制造有限公司

【摘要】1.本外观设计产品名称：绿化盒体。2.本外观设计产品主要用于阳台和坡面的绿化。3.本外观设计产品设计要点在于形状，为上端开口大于底面的倒梯形状的盒体。4.指定立体图为最能表明设计要求点的视图。【专利类型】外观设计【申请人】南京绿色组