一种支持业务用户编程的服务虚拟化技术--VINCA聚合服务机制

提出一种支持业务用户编程的服务虚拟化技术——VINCA聚合服务机制，其核心是VINCA聚合服务模型．该模型从业务与IT两个层面出发并“中间相遇”来实现服务资源的虚拟化，从而屏蔽具体服务资源的使用复杂性，使得业务用户更易于直接将业务需求映射到虚拟化的服务资源，为业务用户编程提供支持．定义了VINCA聚合服务的生命周期模型及使用方式，以明确地指导VINCA聚合服务的构造及使用过程．介绍了VINCA聚合服务支撑系统架构，并结合奥运综合信息服务系统的应用场景展示了VINCA聚合服务机制的效果．     

Solving Inheritance Anomaly with OMNets

This paper presents a concurrent object-oriented modeling language based on Petri nets:OMNets,which hepls greatly to avoid the inheritance anomaly problem appeared in concurrent OO languages.OMNets separates th functional part and the synchroniztion part of objects and uses Petri nets to describe the synchronization part.Both parts are reusable through inheritance.     

浮选黄铁矿的药剂

本文叙述南非佛基尼阿(Virginia)矿山的黄铁矿提高浮选效果的种种影响因素,作者采用甲酚作起泡剂,并以巯基苯骈噻唑代替异丙基黄原酸钠作捕收剂,因而大大提高了黄铁矿浮选效果。     

“D_2”药剂浮选氧化铜矿的效果

本文介绍了“D_2”药剂的制法,性能,并用“D_1”药剂对云南和四川等地不同类型氧化铜矿作了小型选矿实验,取得较好效果。在此基础上,进一步对四川会东小街金铜矿进行了工业试验,亦同样取得好效果。该厂即采用“D_2”药剂在生产上使用至今,获得显著经济效益。     

氧化锑矿物与石英浮选分离新法

本文研究了一种活化氧化锑矿物浮选的新方法。按该法构想,选择了四种性质相近的药剂,即:LZL、RYR、KXK及AW,分别处理氧化锑矿物,并以油酸作捕收剂进行浮选试验。结果表明:这些药剂均能很好地活化氧化锑矿物,但对石英不起作用;人工混合矿浮选分离效果良好,当给矿中含锑由2.83%富集到30％时,回收率超过85％。     

微细粒锡石回收工艺

本文概述了回收－１０μｍ粒级锡石的一些新工艺、新方法和新设备，并对某锡矿细泥中－１０μｍ粒级（占８０％）的矿样进行了试验研究。采用团聚浮选法，或选择性絮凝一团聚浮选和离心机－团聚浮选法等工艺，均可获得锡品位２％－５．Ｏ％的产品，锡回收率在４．１％－８ｌ／，达到可供烟化或氯化冶炼处理要求的原料，为提高锡资源利用提供了途径。     

入口速度振动对单管挤出口模熔体流动的影响

研究了塑料挤出过程中入口速度振动对挤出口模内熔体流变性能的影响规律。基于计算机流体力学理论,利用FLOTRAN软件对单管口模成型段熔体流动过程进行数值模拟,分析了振动力场作用下与稳态加工成型中口模成型段熔体压力场、速度场及温度场的分布情况。研究表明,沿熔体流动方向上叠加一个正弦振动的入口速度时,挤出压力、温度是周期性变化的;振动速度的引入可以提高挤出速度、降低挤出压力、加剧黏性生热,同时也能提高口模体积流率,而且随着振动幅值的增大,效果越来越明显。     

聚碳酸酯的应力松弛实验及数据处理分析

以黏弹性力学理论为基础,选用广义Maxwell模型作为聚碳酸酯(PC)黏弹性的力学模型。在120℃温度场下以不同的初始应变进行应力松弛试验,得到应力松弛过程中作用力与时间的实验数据。利用ABAQUS软件拟合得出不同初始应变下的黏弹性模型的prony参数,再结合Origin软件优化得出广义Maxwell黏弹性模型在参考温度为120℃时的普适prony级数参数,来供ABAQUS调用分析,为有限元仿真分析奠定理论基础。     

A pragmatic behavior subtyping relation based on both states and actions

A behavior preserving relation between petri-net systems is introduced in this paper,based on the observability of both palces and transitions,which is important in modeling the dynamic behavior of concureent object-oriented systems with Petri nets.Each group of closely related attributes of a concurrent object is modeled by the state of a collection of observable places,and each of its methods by a group of observable transitions.The grouping distinguishes the definition in this paper from others,which makes it easy to work together with the static object models,to reuse the models and to dispel the interference among groups,thus relieving the problem of inheritance anomaly by the possibility of dividing the synchronization code into independent parts.For a formal definition of this behavior subtyping relation,Elementary Net systems,with both S-elements and T-elements labeled,are used.Then it is extended informally to the state based coloured Petri net systems.Finally,the background of the definitions and the future work are presented.