On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation

In order to represent legal knowledge adequately, it is vital to create a formal device that can freely construct an individual concept directly from a predicate expression. For this purpose, a Compound Predicate Formula (CPF) is formulated for use in legal expert systems. In this paper, we willattempt to explain the nature of CPFs by rigorous logical foundation, i.e., establishing their syntax and semantics precisely through the use of appropriate examples. We note the advantages of our system over other such systems and discuss the significance of CPFs with regard to the formalization of legal reasonings using examples from the United Nations Convention for the International Sale of Goods.     

惯性、刚性振动出矿机合理振动形态设计理论探讨

简要地讨论了惯性、刚性振动出矿机在三个自由度下运动的解答;并根据实际使用情况,提出了振动出矿机合理振动形态的概念及条件。从理论上导出了求得合理振动形态的设计方法及计算公式。     

超静定结构综合预应力度直接设计方法的研究

提出综合预应力度的概念,并以此提出综合预应力度直接算法的计算原理,从而克服利用传统预应力度设计计算超静定结构时所面临的重复计算问题,为预应力结构的计算提供一个快捷方法。     

渤海Q油田层间干扰定量表征技术及应用

针对渤海Q油田北区块油井多层合采导致的含水上升快、采油速度低、采出程度差异大等问题,对不同含水阶段的层间干扰现象进行分析,建立了层间干扰定量表征技术,并结合Q油田油藏类型和储层纵向非均质性,研究了底水关闭前后不同含水阶段的层间干扰规律,提出了高含水期细分层系开发的技术对策:对北区块进行调整,将原来的一套开发层系细分为三套开发层系,采用水平井开发,同时对老井进行关层。调整后全区含水率下降了10%,采油速度提高了0.5%,采收率提高了10.6%。     

某些双原子氟化物分子激光发射谱的近似计算

本文给出了双原子氟化物分子激光发射谱的经验公式,并作了验证,也估算了其它几种介质可能的激光发射谱分别为98.07nm/HeF,118.29nm/NeF,457.44nm/RnF,和683.99nm/AtF。     

确定S_(BOS)对称序列左右界顶点子集的一个通项公式

根据本文作者之一(1991)提出的S_(BOS)相邻逻辑对称序列的性质,给出确定S_(BOS)对称序列左右界两顶点子集的一个通项公式。这对于利用“对跳定界搜索”法快速实现S_(BOS)对称序列,提供了一个选择定界范围和实用算法的依据。     

江西省太阳总辐射经验计算公式的探讨

本文利用江西赣州、南昌二站太阳总辐射实测值，通过拟合建立经验计算公式，对其计算结果进行误差分析，并通过地区之间日照百分率的相关计算与检验，从而得到适用于计算江西太阳总辐射的经验计算公式和方法。     

经纬仪布站位置对交会测量结果影响的分析

以靶场交会测量中常用的L公式为基础,结合误差传递定律,得出目标空间位置的测量误差公式。然后,设置4个不同测站,以一条理想航迹为测量对象,分别得到不同测站两两交会测量结果的误差曲线。对不同位置的双站交会结果以及它们之间的对比等5种基本情况进行了详尽的对比分析,得到了不同布站位置对双站交会测量结果的影响,研究结果对实际工程应用中的经纬仪布站有重要参考价值。     

基于Kinect体感技术开发幼儿认知系统技术可行性研究

基于Kinect体感器开发一套幼儿认知系统,以激发幼儿认知的兴趣,陶冶幼儿的情操,促进幼儿的智力发展,提高幼儿的认知能力。幼儿认知系统是基于Kinect的体感技术,借助Kinect感应系统来定位捕捉幼儿动作及识别幼儿的语音信息,通过Kinect体感设备与计算机系统连接,将动作及语音信息输入系统,实现幼儿与系统之间互动,带幼儿进入模拟真实的认识环境中,沉浸在虚拟现实中进行认知训练,在娱乐中提高幼儿认知能力。