Coloured Logic Petri Nets and analysis of their reachable trees

Logic Petri nets (LPNs) can describe and analyse the batch processing function and passing value indeterminacy in cooperative systems, and alleviate the state space explosion problem. However, the indeterminate data of logical output transitions cannot be described explicitly in LPNs. Therefore, Coloured Logic Petri nets (CLPNs) are defined in this paper. It can determine the indeterminate data of logic output transitions in LPNs, i.e., the indeterminate data can be represented definitely in CLPNs. A vector matching method is proposed to judge the enabling transitions and analyse CLPNs. From the marking equation and the proposed reachable tree generation algorithm of CLPNs, a reachable tree can be built, and reachable markings are calculated. The advantage of CLPNs can be shown based on the number of leaf nodes of the reachability tree, and CLPNs can solve the indeterminate data of logical output transitions. Finally, an example shows that CLPNs can further reduce the dimensionality of reachable markings.     

Energy balance climate models and general equilibrium optimal mitigation policies

In a general equilibrium model of the world economy, we develop a two-dimensional energy balance climate model featuring heat diffusion and anthropogenic forcing driven by global fossil fuel use across the sphere of the Earth. This introduces an endogenous location dependent temperature function, driving spatial characteristics, in terms of location dependent damages resulting from local temperature anomalies into the standard climate-economy framework. We solve the social planner's problem and characterize the competitive equilibrium for two polar cases differentiated by the degree of market integration. We define optimal taxes on fossil fuel use and how they may implement the planning solution. Our results suggest that if the implementation of international transfers across latitudes is not possible then optimal taxes are in general spatially non-homogeneous and may be lower at poorer latitudes. The degree of spatial differentiation of optimal taxes depends on heat transportation. By employing the properties of the spatial model, we show by numerical simulations how the impact of thermal transport across latitudes on welfare can be studied.     

Measuring Net Foreign Assets： The Case of China

This paper discusses two methods of measuring net foreign assets（NFA）： directly using the financial account and indirectly using the current account. The former method is found to be more accurate than the latter method. The paper also includes a detailed discussion of the valuation methodology. The results show that China＇s NFA are much lower than the cumulative current account surplus or the cumulative foreign exchange reserves. This leads to an underestimation of growth in foreign direct investment and an overestimation of the capacity of foreign exchange reserves to cope with possible withdrawals. Therefore, the Chinese Government should pay more attention to valuation issues to obtain more accurate measurement of NFA. Meanwhile, the Chinese monetary authority should relax its control on the foreign exchange settlement system, allow the private sector to hold a certain amount of foreign exchange, and encourage foreign assets to be denominated in RMB to solve structural problems, including entity and currency mismatch     

浅谈网络财务中的内部控制

随着网络财务的普及应用,网络财务在内部控制上存在的问题也日益凸现,主要有财务信息过分依赖原始数据输入的准确性、财务档案无纸化和电脑操作无形化带来的风险等。因此,必须采取建立健全财务档案管理制度等措施,以加强网络财务中的内部控制。     

碳纤维布在杨树桥加固改造中的应用

粘贴碳纤维结构加固技术是指采用高性能粘结剂将碳纤维布粘贴在建筑结构构件表面,使两者共同工作,提高结构构件的(抗弯、抗剪)承载能力,由此而达到对建筑物进行加固、补强的目的。本文着重介绍了杨树桥加固工程中采用碳纤维布部分的设计方法、施工工艺及施工过程中的注意要点。     

在asp.net 2.0站点中使用RSS

本文通过对RSS文件定义的分析,用数据绑定的方法实例演示了基于asp.net 2.0站点对RSS文件生成,又通过实例为RSS文件调用制作了一个用户控件,在很大程度上增强了代码的重构性.     

创建低碳型大学园区的思考与探索

在建设资源节约型、环境友好型社会的过程中,大学应作为发展低碳经济倡导低碳生活的一支重要力量,在充分认识创建低碳校园重要性的基础上,营造良好的低碳校园文化,落实全方位的低碳管理措施,采用先进的低碳技术和设施,从文化、管理、科技三方面打造全方位的低碳型大学园区。     

兼容网卡配置服务器对网卡的作用

针对建立 Windows NT无盘工作站中存在的一些问题 ,重点介绍了利用兼容网卡配置服务器对网卡的支持 ,并以实例说明其应用。     

对全部投资现金流量表计算指标的一些思考

根据实际筹资情况对全部投资现金流量表计算指标进行思考和修正，并对ＦＩＲＲ、ＦＮＰＶ和投资回收期等指标的理解给予通俗的解释。     

国际工程管理要点浅析

根据国外EPC项目实施中的一些经验教训,结合国际工程管理的要点,阐述了如何进行工程进度、质量和成本控制,为企业在国外工程市场立足、扎根、发展提供帮助。