模型检验技术在软件漏洞自动挖掘中的应用

将在工业设计领域应用很成功的模型检验技术引入到信息技术软件产品的安全漏洞挖掘中,提出了针对源码的漏洞挖掘系统原型,以开放源代码的操作系统Linux为例,建立了特权释放和文件创建的安全属性模型,并举例加以验证.研究结果表明:该方法是一种自动化挖掘软件安全漏洞并证明漏洞存在性的形式化方法,对挖掘已经确认机理类型的漏洞非常有效.     

测距仪周期误差与加常数同测的一种简单方法

提出的方法近似于平台法，但又有不同：不需设置专用平台；检测可在室内。因此．一般的测绘单位可以自己检定，并且由于消除了外界因素的影响，使得测定结果更为可靠。     

多个数字仪表字符串区域的定位和识别研究

根据待识别图像中多个仪表的特点,运用边缘检测技术、数学形态学方法、连通域标记法等来定位出多个仪表待识别字符串区域,并运用BP神经网络来识别.经过试验,能准确定位出各个仪表字符串区域,其识别率也达到了95%.     

辐射线法测定图根点的探讨

本文对幅射线法图根控制测量的方法、精度及检测进行探讨，此法在实用上具有布，点灵便、精度可靠、能显著提高工效，只要检测方法得当，可大力推广采用。     

汽车转向运动干涉校核的计算机模拟

针对“汽车转向运动干涉”的传统校核方法的弊端，在充分讨论和分析汽车转向运动过程的基础上，提出了基于空间解析的计算机模拟方法，对涉及的原理和数据结构作了相应论述，并简单介绍了应用此方法所建立的分析软件。     

砂砾土地基道面结构不均匀冻胀防治

为有效解决砂砾土地基道面结构不均匀冻胀问题,分析了道面结构冻胀防治现状及其问题,以及不均匀冻胀问题产生的主要原因;对果洛机场现场试验段的土质进行了颗粒分析试验,对天然砂砾土和表层细粒土的冻胀敏感性进行了评价。实测了现场土基的含泥量和含水率,设计了5种道面结构方案,并评价了各自的优缺点,优选出了跑道与道肩一体化方案,并对该最优方案进行了抗冻性验算和成本费用分析,最后对应用效果进行了验收评价。结果表明该方案不仅能够有效避免不均匀冻胀,且满足抗冻性要求,同时具有一定的经济适用性。根据实际工程反馈该方案冻胀防治效果良好。根据分析、试验、实测及验算等研究成果和工程实际情况,总结性地提出了工程措施建议。     

计算机数据通信系统的测试和故障查找方法

本文将计算机数据通信系统复杂的测试划分为简单的模拟、数字及规程3类测试,并详细地叙述了它们的测试方法及故障查找技术,在调试及维修此系统时运用这些技术可大大地提高系统的可用性.     

当前图书采访模式下“时间差”问题浅析

在当前的图书采访模式下,＂时间差＂问题是最突出、最迫切需要解决的问题。就当前主要的采访模式进行了阐述,分析了＂时间差＂问题出现的原因,并根据工作经验提出了解决＂时间差＂问题的措施。     

基于Statecharts的面向方面软件设计与验证

为了及时解决由于关注点横切所产生的＂代码交织＂与＂代码散布＂问题,提出了一种基于Statecharts的面向方面软件设计方法,并利用线性时态逻辑验证了编织过程的有效性。此外,为了验证方面Statecharts的介入是否破坏了基本Statechart的相关行为,引入扩展层次自动机解释面向方面Statechart的操作语义...     

基于GM(1,l)阳泉旅游人数预测的数学模型

本文先简要介绍了GM(1,l)模型及残差检验,并以2007年至2013年阳泉的旅游人数为基础,建立了GM(1,l)模型.通过使用MATLAB软件进行求解,得到阳泉旅游人数的规律,通过分析模型的级比、残差、相对误差,验证了该模型具有较高的精度,可以用来预测2013年以后阳泉每年的旅游人数.最后用该模型预测出了从2014年至2018年阳泉市每年的旅游人数.