Complex structured documents can be intentionally represented as a tree structure decorated with attributes. Ignoring attributes (these are related to semantic aspects that can be treated separately from purely struct...Complex structured documents can be intentionally represented as a tree structure decorated with attributes. Ignoring attributes (these are related to semantic aspects that can be treated separately from purely structural aspects which interest us here), in the context of a cooperative edition, legal structures are characterized by a document model (an abstract grammar) and each intentional representation can be manipulated independently and eventually asynchronously by several co-authors through various editing tools that operate on its “partial replicas”. For unsynchronized edition of a partial replica, considered co-author must have a syntactic document local model that constraints him to ensure minimum consistency of local representation that handles with respect to the global model. This consistency is synonymous with the existence of one or more (global) intentional representations towards the global model, assuming the current local representation as her/their partial replica. The purpose of this paper is to present the grammatical structures which are grammars that permit not only to specify a (global) model for documents published in a cooperative manner, but also to derive automatically via a so call projection operation, consistent (local) models for each co-authors involved in the cooperative edition. We also show some properties that meet these grammatical structures.展开更多
为提高热力发电机组的运行效率和推进煤炭能源的高效转化,研究了火电机组热力系统,对其进行模块化划分然后建立数学模型,开发了热力发电机组性能计算系统。系统采用Visual C++6.0作为开发环境,使用C++语言编写,实现热力发电机组性能计算...为提高热力发电机组的运行效率和推进煤炭能源的高效转化,研究了火电机组热力系统,对其进行模块化划分然后建立数学模型,开发了热力发电机组性能计算系统。系统采用Visual C++6.0作为开发环境,使用C++语言编写,实现热力发电机组性能计算。SQL Server 2008作为后台数据库,实现数据的存储、修改及查询。系统的具体功能模块包括参数设置模块、综合性能计算模块,结果修正模块及数据查询模块。系统为网络版设计,能够实现局域网远程登录,提高用户的工作效率,减少重复劳动。软件计算精度较高,操作方便,界面简洁,具有实际应用价值。展开更多
文摘Complex structured documents can be intentionally represented as a tree structure decorated with attributes. Ignoring attributes (these are related to semantic aspects that can be treated separately from purely structural aspects which interest us here), in the context of a cooperative edition, legal structures are characterized by a document model (an abstract grammar) and each intentional representation can be manipulated independently and eventually asynchronously by several co-authors through various editing tools that operate on its “partial replicas”. For unsynchronized edition of a partial replica, considered co-author must have a syntactic document local model that constraints him to ensure minimum consistency of local representation that handles with respect to the global model. This consistency is synonymous with the existence of one or more (global) intentional representations towards the global model, assuming the current local representation as her/their partial replica. The purpose of this paper is to present the grammatical structures which are grammars that permit not only to specify a (global) model for documents published in a cooperative manner, but also to derive automatically via a so call projection operation, consistent (local) models for each co-authors involved in the cooperative edition. We also show some properties that meet these grammatical structures.
文摘为提高热力发电机组的运行效率和推进煤炭能源的高效转化,研究了火电机组热力系统,对其进行模块化划分然后建立数学模型,开发了热力发电机组性能计算系统。系统采用Visual C++6.0作为开发环境,使用C++语言编写,实现热力发电机组性能计算。SQL Server 2008作为后台数据库,实现数据的存储、修改及查询。系统的具体功能模块包括参数设置模块、综合性能计算模块,结果修正模块及数据查询模块。系统为网络版设计,能够实现局域网远程登录,提高用户的工作效率,减少重复劳动。软件计算精度较高,操作方便,界面简洁,具有实际应用价值。
