Formal analysis on an extended security model for database systems

In order to develop highly secure database systems to meet the requirements for class B2, the BLP （Bell-LaPudula） model is extended according to the features of database systems. A method for verifying security model for database systems is pro- posed. According to this method, an analysis by using Coq proof assistant to ensure the correctness and security of the extended model is introduced. Our formal security model has been verified secure. This work demonstrates that our verification method is effective and sufficient.     

最大路径算法在原条量材优化中的应用及其优化

在分析求解最短路径问题与求解最大路径问题差异的基础上,给出了一种在有向图中采用动态规划策略求解最大路径的算法,将其应用到原条量材网络图中求解原条最优量材问题;并提出了采用量材三角形优化原条量材网络图的一种优化方法,降低了算法的复杂度.通过实验验证了算法与优化方法的正确性与可行性.     

HEV后碰撞安全性仿真和试验研究

针对国内某款混合动力电动汽车(HEV)的结构特点,建立了车辆后碰撞有限元仿真模型,利用有限元理论分析和优化车辆的安全性能方案,对比新能源车和原型车的弯曲模态、扭转模态和扭转刚度,并通过控制动力电池箱的X向位移和后排座椅靠背上部 的Z向挂钩位移,对现有的结构方案和整车后碰撞安全性进行优化和改进.结果表明,该HEV的...     

某新型预应力拉杆拱渡槽的MIDAS分析

结合南水北调工程中的某新型上承式预应力混凝土拉杆拱渡槽,运用三维有限元软件MIDAS/Gen对该渡槽的支撑结构——上承式预应力混凝土拉杆拱在各种工况下的内力分布规律进行分析,较全面地评价了其整体受力性能。     

基于时间优化的设备群维持随机模型

对于在工人完成任务效率具有随机性的情况下,如何合理组织一类可拆分设备维修以加快设备维修速度,从而增强企业竞争优势的问题,建立了基于时间优化的随机维修模型并对该模型进行讨论,最终形成了一个与之等价的可以进行求解的确定型模型。通过数值算例发现,在考虑随机性对维修效率的影响后,与认为工人完成任务效率固定的确定型模型相比,任务安排可能发生变化。     

风险、等效边际成本与投资规模

用金融期权的分析方法研究了非完全竞争市场条件下风险、企业的等效边际成本和投资规模之间的关系,并讨论了需求弹性和企业商品的市场占有率的影响．研究表明风险促使企业降低等效边际成本,导致边际成本随资本量递减企业增加投资,递增企业减少投资．需求弹性和企业商品的市场占有率对等效边际成本和投资规模也有明显的影响．     

一类次线性椭圆方程组的正解

一类带有边值的次线性椭圆方程组,证得这样的次线性椭圆方程组存在正解.     

Mobile Police Information System Based on Web Services

Introduction The rapid developments in information technology (IT), particularly in wireless communication and web services technologies, are substantially changing the landscape of organizational communications. Wireless communication technologies enable…     

多带激励语音压缩算法的仿真实现

作者从语音信号的多带激励模型出发，对ＭＢＥ语音压缩算法的原理作了详细的指出了它相对于传统ＬＰＣ等算法的优越性，并在计算机上进行仿真实验，给出了实验结果。作者最后就合成语音的质量，算法复杂度等方面，对ＭＢＥ声码器和部分常用标准语音压缩编码方案作了比较，也指出了今后所要研究的方向。     

基于相似依赖度的属性加权决策树算法

粗糙集分析方法利用数据本身提供的信息,不需要任何先验知识即可对已有的知识进行处理,在保留关键信息的前提下,对数据进行简化并求得属性组合。在此基础上提出了一种基于相似依赖度的属性选择算法,从约简出的属性组合中选择与决策属性最为相似的核集,根据属性的相似依赖度作为决策树的加权值,从而建立决策树。通过对影响学生成绩因素的数据进行分析表明,所提出的算法是易于实施的,而且形成的决策树的准确率也有了一定的提高。