以赛普公司开发的软件"企业合并及全面预算管理"(business planning and consolidation,BPC)为基础,对企业合并会计报表自动化处理的应用进行了分析。结果表明,通过该自动化方案进行的转化,既避免了传统模式转化容易产生的错...以赛普公司开发的软件"企业合并及全面预算管理"(business planning and consolidation,BPC)为基础,对企业合并会计报表自动化处理的应用进行了分析。结果表明,通过该自动化方案进行的转化,既避免了传统模式转化容易产生的错误,又避免了大量活劳动耗费,且可以提供及时准确的会计信息,为企业高效决策提供服务。展开更多
The emergence of a large quantity of digital resources in geometry, various geometric automated theorem proving systems, and kinds of dynamic geometry software systems has made geometric computation, reasoning, drawin...The emergence of a large quantity of digital resources in geometry, various geometric automated theorem proving systems, and kinds of dynamic geometry software systems has made geometric computation, reasoning, drawing, and knowledge management dynamic, automatic or interactive on computer. Integration of electronic contents and different systems is desired to enhance their accessibility and exploitability. This paper proposes an equivalent transformation framework for manipulating geometric statements available in the literature by using geometry software systems. Such a framework works based on a newly designed geometry description language(GDL), in which geometric statements can be represented naturally and easily. The author discusses and presents key procedures of automatically transforming GDL statements into target system-native representations for manipulation.The author also demonstrates the framework by illustrating equivalent transformation processes and interfaces for compiling the transformation results into executable formats that can be interpreted by the target geometry software systems for automated theorem proving and dynamic diagram drawing.展开更多
文摘以赛普公司开发的软件"企业合并及全面预算管理"(business planning and consolidation,BPC)为基础,对企业合并会计报表自动化处理的应用进行了分析。结果表明,通过该自动化方案进行的转化,既避免了传统模式转化容易产生的错误,又避免了大量活劳动耗费,且可以提供及时准确的会计信息,为企业高效决策提供服务。
基金supported partially by the SKLSDE Open Fund(SKLSDE-2011KF-02)the Natural Science Foundation of China under Grant No.61003139the MOE-Intel Joint Research Fund(MOE-INTEL-11-03)
文摘The emergence of a large quantity of digital resources in geometry, various geometric automated theorem proving systems, and kinds of dynamic geometry software systems has made geometric computation, reasoning, drawing, and knowledge management dynamic, automatic or interactive on computer. Integration of electronic contents and different systems is desired to enhance their accessibility and exploitability. This paper proposes an equivalent transformation framework for manipulating geometric statements available in the literature by using geometry software systems. Such a framework works based on a newly designed geometry description language(GDL), in which geometric statements can be represented naturally and easily. The author discusses and presents key procedures of automatically transforming GDL statements into target system-native representations for manipulation.The author also demonstrates the framework by illustrating equivalent transformation processes and interfaces for compiling the transformation results into executable formats that can be interpreted by the target geometry software systems for automated theorem proving and dynamic diagram drawing.
