基于词二元接续的中文文本自动查错研究

运用语料库语言统计方法对中文文中自动查错的有关问题进行探讨，运用词二元接续关系进行查错，主要依据词二元同现概率，互信息，t-测试差，其中，t-测试差是首次被应用于查错。     

孙村煤矿五级安全隐患排查治理运作实践

详细介绍了山东新汶矿区孙村煤矿生产过程中如何引用五级安全隐患排查治理方法,使煤矿安全隐患治理从简单的经验管理转变为可操作的制度管理,从而保证了煤矿安全生产的做法。     

面向半结构化数据的树逻辑及其性质研究

半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准．从基础理论层面上对版结构化数据进行研究，在考察了进程代数和空间逻辑的有关结果后，从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画．在[1]的基础上，在数据模型中加入了受限算子，并提出一种新的空间逻辑——树逻辑，在其中引入了一个新的模态算子，它们的意义在于能够对私有数据的性质进行刻画和表达．此外，通过修正数据模型中的同余关系，使得模型符合数据的有序性，从而使其更为合理．在此基础上证明了树逻辑系统公式可满足性的不可判定性，从而说明针对整个树逻辑系统的模型检测算法是不存在的．同时选择了其中一个子逻辑系统，给出了其模型检测算法，并证明了该算法的正确性．     

ASP.NET中的输入验证方法

在传统的Web应用中,输入验证一般是使用客户端Script来实现的.在ASP.NET平台下,用户可以使用控件和正则表达式在服务器端实现输入验证,通过几个例子简单地介绍了在ASP.NET中如何使用控件和正则表达式对输入的用户名、密码和电子邮件进行有效性验证.     

Subsumption Checking between Concept Queries in Different Ontologies Based on Mutual Instances

This paper proposes a checking method based on mutual instances and discusses three key problems in the method： how to deal with mistakes in the mutual instances and how to deal with too many or too few mutual instances. It provides the checking based on the weighted mutual instances considering fault tolerance, gives a way to partition the large-scale mutual instances, and proposes a process greatly reducing the manual annotation work to get more mutual instances. Intension annotation that improves the checking method is also discussed. The method is practical and effective to check subsumption relations between concept queries in different ontologies based on mutual instances.     

Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.     

混凝土强度检验评定中的两个问题

通过实际工程实践 ,提出混凝土强度检验评定中易被忽略的局部混凝土强度质量和标准差过大影响整体混凝土评定结果的两个问题 ,并进行了分析 ,给出了相应措施 ,可供工程实验人员参考。     

判断矩阵一致性检验的新方法

给出了两种通用的判断矩阵一致性检验方法的理论依据和利用该指标的统计检验方法以及该一致性检验方法的有关性质和数值计算例子。     

体外预应力加固钢筋混凝土简支梁的实用计算方法

主要介绍了体外预应力加固钢筋混凝土简支梁的优点 ,提出了体外预应力加固钢筋混凝土简支梁的一种实用计算方法。该方法通过工程实践验证是简便可靠的     

采用脉冲计数法以单片机实现电容的测量

在一般的电容测量系统中,几乎都是根据普通的电路原理,用一些常规的方法来测量的,近年来随着计算机在社会领域的渗透,单片机的应用正在不断地走向深入。介绍了采用“脉冲计数法”,即利用555定时器来产生RC多谐振荡频率和单片机CPU的高速强大的计算及可编程功能,用软件查表的方法实现电容量高精度智能化的测量。