论文部分内容阅读
The 10th IEEE International Symposium on High Assurance Systems Engineering （HASE）
【出 处】
：
计算机工程与设计
【发表日期】
：
2007年10期
其他文献
分析了当前的磁盘文件保护技术,针对Windows系统,提出了基于系统服务钩子（system service hooking,SSH）的磁盘保险箱技术.磁盘保险箱（diskette safe,DS）系统能够实现磁盘盘符/文
基于J2EE的应用程序开发总伴随着大量数据存取、转换等问题,值对象用于封装数据以解决该类问题.综述模式概念后,分析和研究值对象在劳动保障领域的应用,这其中包括不同类别值
随着高职院校办学规模的扩大,办学经费不断增长,加强财务预算管理就显得尤为重要。本文通过分析目前高职院校财务预算管理中存在的问题,就如何通过开展预算项目绩效评价提高
面基域的确定是从工程设计二维平面图进行三维模型重构工作中的一个重要步骤。首先介绍两个面基域划分算法思想:一种是基于平面拓扑结构的广度遍历支撑树,然后对支撑树进行遍历确定各个面基域;另一种是对一个节点的可见边进行旋转角度的有序排列,确定从一条边出发如何选择后继边以围成面基域,从而对图进行划分确定面基域。在比较这两种算法的优缺点的基础上,结合它们的优点得出一种新的综合算法思想。
党的十九大会议上,习近平总书记指出,新形势下深化农村改革,主线仍是处理好农民和土地的关系。目前,农村出现大量劳动力向城市转移,导致农村空心化严重,农地闲置,农业被“边
习近平人类命运共同体思想是对马克思主义"世界历史"理论和"自由人联合体"等全球化理念的继承和发展,是把马克思的闪光思想与新的历史条件相结合作出的新阐释。本文从《共产
150a不间断开采和无节制使用，导致了现在全球石油市场起伏不定，价格不断上涨，法国将加快对能源政策的修改，通过启动第4代核电站设计建造计划等实际行动来应对“后石油时代”的挑
电力市场的最优竞价模式既要使电网公司的购电费用最少,又要兼顾市场的公平原则.通过竞价机组报价的静态博弈分析和动态博弈分析,论述报价信息的披露原则与电网购电费用及市