SDL系统与VxWorks集成中的关键技术

SDL是一种规格与描述性语言,非常适合信令与协议软件开发。VxWorks作为一个具有较高性能的、标准的嵌入式系统,在世界各地受到广泛应用。论文对在两者结合过程中所涉及的一些关键技术,如代码生成、集成方式选择、与操作系统接口以及与环境接口等进行了研究。     

Bootstrap 方法及其应用

1977年埃弗伦教授提出了一种新的统计推断方法——Bootstrap方法。该方法适用于一大类估计问题,因而受到越来越多的统计学者的重视。本文介绍了该方法的基本思想及其应用实例,并讨论了存在的问题及今后研究的方向。     

正态迫近、若干矩公式及其在非线性系统状态估计中的应用

本文首先推导了若干矩阵函数对向量变量的求导公式,并以此为基础对任意的随机向量,给出其分布密度函数的正态迫近表示。其次,文中给出了关于正态随机向量的若干矩公式。作为上述结果的应用,文中讨论了非线性系统状态估计的一种迫近方法。     

CRMXDBMS 汉字关系数据库管理系统

CRMX86操作系统是在改造iRMX86实时多任务操作系统的基础上开发出来的。它能高效地可配置与支持丰富的汉字功能。CRMXDBMS是它支持的一个功能相当于dBASE-Ⅲ和具有汉字功能的关系数据库管理系统,它具有两种用户加密手段、良好的汉化用户界面等特色。本文介绍了该系统的基本结构和主要设计技术。     

磁镜中哨声波加热等离子体研究

本文研究了在产生晃荡电子的特定磁镜磁场位形中。使用哨声波加热等离子体的机制,并对等离子体的参数和等离子体共振区结构进行了测量研究,研究结果表明:(1) 在磁镜基频共振层附近存在等离子体密度峰和电子温度峰;(2) 该峰随着磁镜中心磁场的变化与基频共振层一起移动;(3) 等离子体加热的物理机制为:大量的电子在基频共振层吸收微波,并在此处反弹。     

3-甲氧基-4-羟基苯甲醛肟的合成

以香兰素、盐酸羟胺和强碱为原料 ,制备出了 3 甲氧基 4 羟基苯甲醛肟。影响合成反应过程的因素有 :温度、试剂的加入顺序、不同的强碱及三种原料的摩尔比。正交实验后三种原料的最佳摩尔比为 1:1 2 :1 1,产物的产率达 97 4 %。文中还对不同酸碱度条件下的此反应机理进行了探讨。通过反应产物熔点的测定及其IR、1HNMR、TIC MS等的分析 ,确证了合成产物     

石化企业火灾事故原因调查方法和技术研究

根据石油化工企业生产特点,阐述了石油化工企业火灾现场特点、火灾事故调查的重点内容、调查采取的方法和技术以及事故调查当中的注意事项,为开展好石油化工企业火灾调查工作提供参考。     

具有时间约束任务的无人机航迹规划方法

根据战场环境中威胁的种类及特性,建立了威胁模型,描述了威胁范围与威胁概率的关系;在对具有时间敏感性任务的无人机进行航迹规划时,根据无人机任务的时间限制,结合无人机的性能参数,采用适当增加风险代价,来满足任务时间要求的方法,改进了A*搜索算法,将A*算法的代价估价函数设置为与时间相关的函数,采用变步长搜索策略,通过判断是...     

基于扩展Petri网的动态服务聚合流程描述模型及其BPEL4WS表示方法

针对现有服务聚合流程建模方法的不足,基于扩展Petri网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了动态服务聚合流程模型中不确定路径选择和服务的动态变化性问题。给出了WSCP/R-net模型向BPEL4WS的转换算法,并以城市应急处理为例说明了转换算法的有效性。     

Managing components for assemble‐to‐order products with lead‐time‐dependent pricing: The full‐shipment model

We study a component inventory planning problem in an assemble‐to‐order environment faced by many contract manufacturers in which both quick delivery and efficient management of component inventory are crucial for the manufacturers to achieve profitability in a highly competitive market. Extending a recent study in a similar problem setting by the same authors, we analyze an optimization model for determining the optimal component stocking decision for a contract manufacturer facing an uncertain future demand, where product price depends on the delivery times. In contrast to our earlier work, this paper considers the situation where the contract manufacturer needs to deliver the full order quantity in one single shipment. This delivery requirement is appropriate for many industries, such as the garment and toy industries, where the economies of scale in transportation is essential. We develop efficient solution procedures for solving this optimization problem. We use our model results to illustrate how the different model parameters affect the optimal solution. We also compare the results under this full‐shipment model with those from our earlier work that allows for multiple partial shipments. © 2007 Wiley Periodicals, Inc. Naval Research Logistics, 2007