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…     

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

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