实时系统的虚拟内存技术

本文对实时系统的虚拟内存技术作了深入的分析和讨论,并以X86处理器为例．在嵌入式操作系统CRTOSII上完成了一个内存管理系统的详细设计与实现。     

基于遗传算法的曲面最短路径求解

对曲面上两点间最短路径的求解是一个应用非常广泛,但理论求解困难的问题。遗传算法是一种新型的、较成熟的全局随机搜索算法,具有优良的性态。该文将遗传算法引入到曲面最短路径寻优的问题中。首先在离散化的模拟数字高程上依据起点和终点,以实数编码产生一系列初始群体,定义相应的适应度函数,然后对群体进行复制、交叉和变异等操作,求解出一条曲面上两点间的最短路径。在文章的最后给出了一个数值仿真实例来了证明该算法的有效性和实用性。     

基于市场均衡的制造网格资源配置方法

建立了制造网格资源市场,并基于市场均衡原理和资源使用者偏好来配置资源。基于制造网格的总体框架构建了制造网格资源配置的经济架构;结合完全竞争市场特征界定了资源配置的经济环境,给出了可行的和帕雷托最优的资源配置条件,定义了帕雷托最优的资源配置的竞争性均衡状态,在资源的市场均衡状态实现资源提供者收益最大化和使用者效用最大化;最后,引入了资源市场均衡价格确定的迭代算法,测试结果表明资源价格可快速收敛到均衡价格,使实际的资源配置结果逼近均衡状态。     

热-电-煤气"三联产"技术研究

简要介绍了目前中国主要的热—电—煤气“三联产”技术,并对热—电—煤气“三联产”技术应用过程中应解决的几个关键问题进行了分析,妥善解决这些问题才能在煤的综合利用中推广热—电—煤气“三联产”这种全新的能源利用模式。     

新疆达坂隧洞TBM滚刀失效与围岩的对应关系

根据全断面掘进机在新疆达坂隧洞掘进过程中滚刀的实际消耗情况及更换滚刀频次的观测与统计结果,定性分析了在不同围岩条件下TBM滚刀失效和滚刀更换频次的变化规律及影响因素,为TBM施工滚刀及配件的储备和工程成本控制提供了一定的参考依据.     

南海北部神狐海域天然气水合物气源混合类型及定量表征

我国南海具有丰富的天然气水合物资源,水合物远景资源量约650亿t油当量."天然气水合物含油气系统"研究是一项十分重要的基础性工作,其中气源是天然气水合物含油气系统最基础的要素之一.已有的研究表明南海北部天然气水合物的气源主要为生物气、混源气(生物气和热成因气),但是混合类型、混合比例尚不明确.本文在气源岩分析基础上,以...     

软件项目人员流动风险的定量评估和分析

提出了一种评估软件项目人员流动风险的定量模型,示例了该模型的使用,使用该模型不但可以直观地得到软件项目的人员流动风险值,而且可以利用该模型的各项及其系数分析人员流动风险产生原因,找到其控制策略。     

有限精度时间自动机的时钟表示

简要介绍了有限精度时间自动机（FPTA）的基本概念,重点讨论FPTA状态中时钟的表示。FPTA只记录时钟值的整数部分,而用时钟序的概念来模拟表示时钟值小数部分的大小关系,从而减少生成的状态空间。在FPTA模型中,时钟操作的时空性能主要依赖于时钟序的数据结构和算法。提出了用位矩阵来表示时钟序的数据结构POM（PartialOrder Matrix）。采用该结构的操作算法具有O(n)复杂度,且无需标准化操作;同时,一切操作均可以通过位运算实现,从而大幅度提高时钟操作的时间效率。     

用于减小供电成本的配电网络重构

介绍了一种配电网络重构的方法--改进最小节点电压法.在电力市场环境下,对于多电源供电的配电网,当各供电电源的购电成本电价不同时,该算法可以有效地减小配电网的供电成本,提高配电网运行的经济性.     

基于HTTPS隧道技术的统一认证平台研究与实现

首先对现实网络系统中遇到的身份认证、管理分散、数据传输的安全和管理问题需求分析进行了基本介绍,然后引述了HTTPS和SSL所能提供的安全服务。基于PKI技术,同时利用数字证书作为强身份认证方式,设计并实现了统一认证访问控制系统,该系统由客户端和访问控制服务器两部分组成。