Comparison of SETAM with security use case and security misuse case: A software security testing study

A software security testing behavior model,SETAM,was proposed in our previous work as the integrated model for describing software security testing requirements behavior,which is not only compatible with security functions and latent typical misuse behaviors,but also with the interaction of them.In this paper,we analyze the differences between SETAM with security use case and security misuse case in different types of security test requirements.To illustrate the effectiveness of SETAM,we compare them in a practical case study by the number of test cases and the number of faults detected by them.The results show that SETAM could decrease about 34.87% use cases on average,and the number of faults detected by SETAM increased by 71.67% in average,which means that our model can detect more faults with fewer test cases for software security testing.     

飞机着陆引导系统对机场净空要求的影晌分析

分析了飞机使用双信标着陆系统、仪表着陆系统和雷达引导着陆系统实现进场着陆时 ,实际航线相对于规定航线的误差 ,在此基础上提出了机场净空要求的建议值     

管理专业统计学课程的实验教学体系设计

基于统计学课程应用性强的学科特点以及管理专业统计学课程的培养目标,提出管理专业统计学课程实验教学的基本要求,建立以Excel软件为主、SPSS软件为辅的统计学课程实验教学体系,进一步探讨了实验教学内容及教学方式。最后从理论与实验教学的协调一致、实验指导手册的编写、重视实验报告的完成质量以及加强对实验教学的考核等方面提出了统计学实验课程的实施保障措施。     

数字时代高校图书馆用户需求分析与微服务研究

随着全球互联网的推广普及,各行各业都发生了翻天覆地的变革。高校图书馆全面进入library2.0数字时代,用户的需求也不断变化,传统意义上的图书馆服务面临着重大的变革。为了顺应数字化潮流,积极拓展新的服务,高校图书馆必须了解用户的需求,利用一切可利用的手段、资源来提供个性化、碎片化、多元化的微服务。     

TENTATIVE ANALYSIS OF PHYSICAL EDUCATION SPECIALITY REFORMATION IN NORMAL UNIVERSITIES UNDER NEW CIRCUMSTANCES——From the entire people's physical movement's requirement for qualified physical personnel

高师体育教育专业,几十年来一贯实行单一的人才培养模式,重视对从事学校体育的能力培养,忽视对从事社会体育的能力培养．随着全民健身计划的启动与全面开展,使高师体育专业人才的培养与社会需求矛盾日显突出．笔者从社会发展的角度,分析供求关系,谈高师体育专业在新形势下的教育改革     

一种基于智能体的组合系统需求模型

ＡＯＲＭ是一种基于智能体的组合系统需求模型,在综合结构化和面向对象需求分析优点的基础上,它采用具有控制、认知和交互结构的Ｃ２ＭＥ智能体模型,基于智能体抽象问题空间实体和关联,能够有效的支持质量需求分析和组合系统开发·     

以公共图书馆为依托为弱势群体服务

从对弱势群体的有关认识入手,分析了以公共图书馆为依托为弱势群体服务的必要性,提出了为弱势群体服务的几项措施。     

试论图书馆读者的信息需求

探讨了图书馆开展读者信息需求研究的必要性,指出了读者信息需求的特点,阐述了影响读者信息需求的因素。     

教育成本分担探析

我国非义务教育阶段的教育成本分担(教育收费)问题,一直是社会和百姓关注的焦点。教育成本分担是教育产业性的必然产物,是解决旺盛教育需求的必须之举。但是,在社会主义初级阶段,教育成本分担应该以政府为主、个人(或家庭)为辅。人们对教育成本分担机制并没有大的异议,而是对国家财政性教育经费长期投入不足和学校收费标准偏高存在许多希望和批评。各级政府及其决策者应按照“三个代表”重要思想,按照国际“通例”和本国实际,科学合理地确定国家和个人(或家庭)的教育成本分担比例,并通过立法予以保障。     

基于正交拉丁方多位纠错算法的数据可靠性存储设计

地震勘探过程中采集点多数据量大,面对海量数据的存储与转发,需要配置安全性可靠性更高的存储设备与存储方法,以系统级加固为基础,设计了基于ECC(error correction codes)代理的大数逻辑可解正交拉丁方(OLS)编码方法,为每16个数据添加16个奇偶校验位,通过构建校验矩阵来纠正多位翻转错位。经过ZYNQ7000 FPGA平台的设计及仿真验证,排除了单事件扰乱、实现了多功能扰乱控制电路中单事件中断的保护、及单双错误的纠正。