有粘结预应力混凝土施工技术的应用

通过中山大学珠海校区教学楼工程实例，具体说明有粘结预应力技术的工艺流程、操作要点、注意事项和质量标准。     

Java字节代码程序的部分计值

为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。     

高级语言直接操作数据库文件的技术

介绍在Ｃ语言程序设计中直接操作数据库文件的基本概念与实现技术，包括对库文件存贮结构的分析、读取库文件结构信息与读写、删除、恢复，添加的记录等基本方法。该技术的基本思想与技术对其它高级语言程序设计也是适合的。     

再论音义联觉

不满足于罗列大量的音义逻辑关系的现象，从全新的视角－音义关系的原始机理论述音义之间的逻辑关系，从理论和实践上证明音义之间存在着必然的逻辑关系。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

给学生创设探索舞台——《有余数除法》教学片断及反思

一．教学片段：片断一：动手操作，在探索与交流中培养学生的创新意识。师：请小组长数出12个草果，要分给小组成员（连组长共4人），怎么分公平？（平均分）下边请小组长将12个苹果平均分给组员。     

浅谈ERP系统的反记账功能

无论是手工会计系统还是在计算机会计核算系统中，都要根据已经审核的记账凭证登记账簿，称之为记账。而反记账是将已经登记入帐的会计数据予以取消，使之恢复到记账前的状态，是记账的逆操作。ERP系统在会计核算方面同样设置了反记账的功能，但它的使用范围、操作的方法以前使用的任何会计核算系统都有区别，我们在这里就做一下探讨。     

知道者悖论与"知道"的语义分析

知道者悖论产生的根源在于“知道”一词的意义的模糊性。现代逻辑追求对“知道”的明晰表达，但对于“知道”本身缺乏深入的反省。本文从语义分析的角度出发给出了一个相对稳定的“知道模型”，此模型可以作为认识论逻辑的语义基础。在这个模型中，“时间秩序”是核心概念。     

Ontology-Based Semantic Annotation for Problem Set Archives in the Web

0 IntroductionAsneim mapnotircta nWte pbre i-sco tnhdieti oabnilfiotry r etaoli zainnngotthatee go aWle obf trhe-esources with semanticinformation[1]. However ,annotationtools so far basically allowthe user to annotate with plaintext using the method of information extraction.In manycases ,one can hardly extract semantics from Web docu-ments ,such as problemset archivesinthe Web.Massive problemset archives are availableinthe Web,for example,http://acm.uva.es, while each problemsetarchives pr…