基于Shapley-DS理论的城市电网规划评价

针对城市电网规划评价方法中专家评价法、经济分析法等的一些不足,提出基于Shapley-DS理论的城市电网规划评价。该方法将Shapley指数和DS理论相结合,形成基于DS理论重要程度不同的证据的合成。所提出的方法可以有效处理相关性、重要性以及冲突不大的证据的合成,从而为城市电网规划评价提供了新的视角。     

油田单井平均日产油量经济极限确定方法

从f(n,t)曲线的研究出发,得到了求解油田单井平均日产油量经济极限值的数学方程式,介绍了用曲线交汇法求解的过程,分析了油田月递减余率和原油销售价是影响油田单井平均日产油量经济极限的主要因素。该方法在油田开发调整方案的编制和油田开发规划部署工作中将起到一定的作用。     

3G中的QoS结构及无线资源分配策略

在3G（第3代移动通信系统）中，为了给不同类型的业务提供不同级别的端到端QoS，网络资源必须进行合理分配。QoS和资源分配是密不可分的，而无线资源分配显得尤为重要。文中提出了UMTS的QoS结构，分3部分对空中接口部分的QoS（即无线资源分配策略问题）进行了讨论：首先提出了一种RRA算法，接着讨论了W－CDMA和TD－CDMA系统的无线资源分配问题，最后讨论了下行链路及上行链路的呼叫允许控制（CAC）。     

Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.     

Efficient Management of Persistent Knowledge

Although computer speed has steadily increased and memory is getting cheaper, the need for storage managers to deal efficiently with applications that cannot be held into main memory is vital. Dealing with large quantities of clauses implies the use of persistent knowledge and thus, indexing methods are essential to access efficiently the subset of clauses relevant to answering a query. We introduce PerKMan, a storage manager that uses G-trees, and aims at efficient manipulation of large amounts of persistent knowledge. PerKMan may be connected to Prolog systems that offer an external C language interface. As well as the fact that the storage manager allows different arguments of a predicate to share a common index dimension in a novel manner, it indexes rules and facts in the same manner. PerKMan handles compound terms efficiently and its data structures adapt their shape to large dynamic volumes of clauses, no matter what the distribution. The storage manager achieves fast clause retrieval and reasonable use of disk space.     

提高储层预测精度技术思路与对策

采用地质、地震、测井人员协同一体化作业，对地下地质目标进行综合预测与评价，可提高储层预测精度，降低预测结果的多解性。主要方法是针对不同的区块，采用不同的方法和对策，首先从单井储层划分对比入手，建立储层沉积模式，同时对地震数据目的层段进行精细解释，建立地层构造模式，用沉积、构造等地质规律来指导和约束反演；利用测井资料对地震资料进行精细标定，建立各井的单井波阻抗模型，建立井数据和地震数据沟通的桥梁；在严格的测井约束、地质模型约束、层位控制下进行储层反演；充分利用地质、地震反演结果、地震参数提取及分析结果、测井、测试和分析化验等资料对储层预测结果进行综合分析与评价。该方法应用于长庆、大庆、准噶尔等实际区块，取得了较好的效果。     

表达式句法分析及求值算法在优化设计中的应用

针对优化设计技术在机械工程领域的使用特点提出了一种应用表达式分析与求值原理以避免对每个优化模型或实例均需编程求解的解决方法,论述了该方法的要求、原理、实现过程及应用程序框架。     

麦胚高蛋白乳粉的研制及营养评价

研究了用麦胚浆液与牛乳混合生产高蛋白奶粉的方法。产品的主要特点是具有较高含量的赖氨酸，谷胱甘肽，磷脂，胆碱，不饱和脂肪酸等，这些成分对人体具非了非常的好健脑，抗衰老作用。     

Hydro-economic Modeling in River Basin Management: Implications and Applications for the European Water Framework Directive

Economic ideas and processes are becoming increasingly integrated with more traditional engineering and hydrologic models of water management problems. Combining economic management concepts and performance indicators with an engineering-level of understanding of a hydrologic system can provide results and insights more directly relevant for water management decisions and policies. When such models are developed and used with involvement of stakeholders, they can become a basis for shared understanding of water problems as a foundation for negotiated management and policy solutions. When implemented with optimization software, integrated hydro-economic models also can suggest promising innovative solutions for policy-makers to consider. Their applications to river basin management problems are reviewed. Economic and integrated economic-engineering-hydrologic modeling is then discussed in the context of the evolving European Water Framework Directive. Relevant items are cost recovery and water pricing, cost-effectiveness of water management measures, and public participation in decision processes.