关于可信软件开发的若干问题思考

在信息科学时代,现代社会的发展日益依赖软件,实现可信软件的开发在一定程度上契合现代社会的需求,也是自身发展的内部需求。但是,可信软件的开发是一个系统而复杂的过程,强调可信软件开发中各方工作的有效落实。本文分析了可信软件的研究现状,阐述了软件架构与开发,并基于此,论述了强化软件架构,开发可信软件的若干建议。本文旨在强化对可信软件的认识,并为今后相关领域的研究提供一定的参考资料。     

电子信息科技英语的教学实践

为培养复合型人才,科技英语教学的重要性日益显现。分析了目前电子信息类专业中科技英语教学存在的问题,并围绕教学内容改革、教学过程管理等介绍了该课程的教学实践。同时,本文还指出未来科技英语教学的发展趋势。     

基于时序特征和集成算法的用户购买预测

大数据时代,电商平台积累了大量用户在平台上的行为数据,比如浏览、点击、下单和加入购物车等等.如何使用机器学习算法去探索大数据背后的用户消费喜好和习惯成为了一个新的研究热点.本文主要在特征工程和模型搭建两个方面对用户购买预测的效果做出提高.通过深入理解电商业务知识,利用统计学知识,分别从用户、商品和评论数据等多个方面的数据构建了115个特征;在模型搭建方面,主要设计了一个两层融合模型,第一层采用了XGBoost、CatBoost和逻辑回归作为基分类器,从不同的角度考虑用户购买预测,第二层采用加权平均的方法对基类模型的预测结果进行融合,其权重由线性分类器学习生成.实验结果表明该融合模型的F1评分要高于个体分类器,并且多次实验证明,融合模型的稳定性也要比个体分类器好.     

基于RetinaNet-CPN网络的视频人体关键点检测

为解决基于视频流的人体关键点检测效果不佳及视频流切片后可能会发生运动模糊的问题,提出了一种改进的RetinaNet-CPN网络对人体关键点进行检测,有效解决切片后运动模糊图像的干扰并提高了人体关键点的检测准确率.视频流切片后,先用改进的RetinaNet网络检测出图片中的所有人并对每个目标框做模糊检测,对大于阈值的目标框做去模糊处理,最后用引入注意力机制的CPN网络提取关键点.将RetinaNet衡量预测框与真实框差异的IOU函数改成DIOU后,在仿真实验中目标检测AP提高了近3％;对于模糊的图片,利用匀速直线运动频谱特征估算出的模糊核与实际模糊核相差不大,对其做去模糊处理后基本能恢复出原清晰图片;同时引入注意力机制为各通道和特征层分配合理的权重,使得CPN检测AP提高近1％,AR提升0.5％.     

基于改进双跳无线体域网的身份认证方案

在无线体域网（WBAN）的身份认证中,针对原方案通◢信传感器节点可追踪和不具备匿名性的缺点,提出一种改进双跳身份认证方案,并保留了原方案的高效运算特性。引入了二级节点N的保密密钥和核心节点HN的身份验证参数两个独立的保密参数,并让二级节点N的保密密钥独立。并与原方案保密值组成三个保密值,通过三个保密值来确保◣参数的保密性和新鲜性。安全性分析和BAN逻辑表明所提方案具备不可追踪性和匿名性,且计算成本与原方案相近,通信成本更低,存储成本略有上升。所提方案是原方案的有效改进。     

SFT中的因素作用路径与作用历史

为了描述SFT中系统或元件在不同工作环境状态下经历变化的特征,提出了因素作用路径和作用历史的概念。作用路径描述系统或元件在不同工作状态变化过程中所经历状态的集合。作用历史描述经历作用路径过程中的可积累状态量。给出使用作用路径和作用历史分析问题的步骤。列举一例子,计算在设定条件下的元件维护成本。计算作用路径分别为AB和ACB两种,作用历史中使元件故障概率等于20%的维护成本,该维护成本是通过调整使用时间t和使用温度c产生的。最后给出以实例为背景的作用历史计算方法的不足、面临的问题和可能的解决方法。     

Research and Application of Dynamic Equation for Full Frontal Impact

Full frontal impact theory needs researching and exploring to satisfy the primary safety design of occupant restraint system,avoiding the increasingly "engineering"trend in order to develop and design safety vehicle. After occupant restraint system is simulated by using linear elastic stiffness k,the occupant-vehicle frontal rigid barrier impact model is established. Dynamic equation of dummy chest coupling vehicle is built for full frontal impact based on ordinary vehicle deceleration by Hooke law,and the equation is solved by comparing coefficient and satisfying boundary qualifications. While relative vehicle characteristic parameters are kept unchanging,the actual vehicle deceleration is fitted to the simplified equivalent square wave( ESW),tipped equivalent square wave( TESW) and equivalent dual trapezoids wave( EDTW). Phase angle  and amplitude A of dynamic equations based on ESW,TESW and EDTW are calculated and deduced. The results show that: the dynamic equation of dummy chest coupling vehicle can be well utilized to instruct the primary safety design of full frontal impact for objective vehicle to satisfy chest deceleration demands and the equation based on TESW is best for this design.     

Risk reduction in Sechahun iron ore deposit by geological boundary modification using multiple indicator Kriging

Uncertainty on the geological contacts and the block volumes of the models along boundaries is often a major part of the global uncertainty of reserve estimation.This work introduces a geostatistical technique that has been developed and tested in an iron ore deposit at Bafq mining district,in central Iran,and that,based on a probability criterion,helps to objectively model the geometry of this iron ore deposit.The main problem in reserve estimation of this ore body is its geometrical modeling and uncertainty in geological boundaries.This work deals with the geostatistical method of multiple indicator kriging,which is used to determine the real boundaries of ore body in different categories.This approach has potential to improve project performance and decrease operational risk.For this purpose,the ore body is separated into two categories including rich iron zone （w（Fe）〉45%） and poor iron zone （20%〈w（Fe）〈45%）.It significantly benefits to decrease the risk of reserve evaluation in the deposit.This case study also highlights the value of multiple indicator kriging as a tool for estimates the position of grade boundaries within the deposit.Comparison of the resultant probability maps with the real ore/waste contacts on the extracted levels shows that the first indicator model could separate the whole ore body （poor plus rich） from the waste zone by probability of more than 0.35,which concludes the total reserve of 53 million tons.The second indicator model applied to separate the rich and poor domains and the results show that the blocks with the estimated probability of equal to or more than 0.4 lay within the rich ore zone consisting of 15.8 million tons reserve.     

以品牌专业建设为契机 抓住发展机遇 全面提高专业建设质量

专业建设是高等学校最重要的教学基本建设,是教育教学工作的基础和重要生命线,是高等学校人才培养的重要依托。加强本科品牌专业的建设可提升学校本科专业建设的整体水平,提高学校本科人才培养质量、效益和竞争力。文章围绕如何开展品牌专业建设,结合学校实际,着重从品牌专业内涵、建设原则、内容和评价办法等方面进行了阐述。     

基于 Isomap的 CWME专家群体意见分析系统

针对从定性到定量综合集成研讨厅体系 ,对复杂问题分析过程中的专家群体的分散化思维 ,提出并实现了一种基于自动调查问卷的群体意见相似性定性分析方法。此方法基于群体行为的相似性特征对调查问卷的相似性度进行量化统计 ,并采用 Isomap算法将问卷量化之后产生的多维数据集进行降维及可视化表示。