基于...

Because Horn-clause logic theory is of significance in both respects of theory and application, We especially studied lattice-valued Horn-clause logic with truth-value in lattice implication algebra, and the soundness and completeness theorem have been proved.

经典逻辑中，Horn子句逻辑理论具有广泛的应用，因而，本文中特别建立了基于格蕴涵代数的格值-类Horn子句逻辑，并证明了可靠性和完备性定理，这为建立一类基于格值逻辑这种非经典逻辑的人工智能语言将产生重要的作用。

Signal processing approach presented in this paper based on neural network algorithm (spectral analysis, Random noise filtering) does not involve the complex multiplication and addition operations. Its computing accuracy is high. It is particularly suitable for the implementation of software and hardware based on DSP chip.

所提出的基于神经网络算法的信号处理方法(频谱分析、随机噪声滤波)不涉及复数的乘法运算和复数的加法运算，计算精度高，特别适合基于DSP芯片的软、硬件实现。

We discuss the serial M-ary multisensor decentralized data fusion based on Neyman-Pearson principle, especially on multiscale hypothesis test based on composite hypothesis.

建立了基于Neyman-Pearson准则的串行M元多传感器数据融合和复合假设测试的定义和统计特性标准，引入了基于复合假设测试的多尺度假设测试。

Formalization verification of service composition based on Process Algebra and Discrete Time Ambient-Calculus, as well as combinatorial optimization and the partition method based on QoS mathematic model are deeply studied. The service composition architecture supporting formalization verification and QoS-aware composition has been also implemented. Furthermore, the architecture is applied to digital cartoon cooperation manufacturing in the Internet.

为实现动态的跨企业业务协作与集成，本文围绕服务组合行为的正确性检验以及服务质量保证这二个正交的性质，深入研究了基于进程代数Pi演算及离散时间Ambient演算的服务组合形式化检验，以及基于QoS数学模型进行精确计算的服务组合优化与划分方法。

To regulate policy composition and guarantee its correctness, an algebraic model called APoCA (attribute-based access control policy composition algebra) is proposed for composing access control policy. In APoCA, an authorization relation between entities is described at the attribute level. APoCA fertilizes the existing formal frameworks by taking into account the computation of attribute values.

为了规范策略合成和保障策略合成正确性，基于属性刻画了实体间的授权关系，通过属性值的计算结构扩展了现有的策略合成形式化框架，建立了新的基于属性的策略合成代数模型APoCA(attribute-base access control policy composition algebra)。

Then three symbol serialization based on files, database and compound document are pointed out.

对于符号管理系统文章以成熟的STL标准容器为主构造内存存储模式，并提出基于文件，基于数据库和复合文档三种永久序列化的方法。

It is based on a knowledge base with an object oriented structure on the server side and a compound document agent-based user interface on the client side.

它基于一个知识库，其服务器端具有面向对象的结构，客户机端具有基于复合文档代理的用户界面。

And in 90's, it was server based computing, which was Internet based kind of computation model.

和90年代，它是基于服务器的计算，这是基于互联网的一种计算模型。

Now on this account of conceivability, we think it will be right to say that even if pain is in fact pca, pca without pain is still conceivable, but on this account, Levine's argument about the water boiling example won't work.

基于对可设想性的说明，我们就可以正确的说，即使疼在事实上是某细胞活动，但某细胞活动却没有疼是可设想的。而基于这个说明，Levine关于水沸腾的例子就不起作用了。

To meet the needs of CAD/CAPP concurrent designing in Computer Aided Concurrent Engineering. This paper investigates the key of integration system designing. The representation scheme for defining and operating form feature based on manufacture, the protrusion form feature exchanging and the UI of the system with a manufacture enviroment are presented. And also an OODM—UIMS developed by the author is introduced. The concurrent design of CAD/CAPP is the bottleneck in integrating process.

本文根据并行工程的要求，从构造基于并行、面向特征的CAD/CAM集成系统的思想出发，对系统的模式设计、基于加工的零件参数化特征描述、凸起形状特征的转换处理及具有加工环境的系统交互界面及面向对象的交互界面管理系统的设计与开发等关键技术进行了深入的研究，形成了系统的思想理论和方法。

Recall that, in the Kolmogorov axiomatization, measurable sets are the sets which have a probability or, in other words, the sets corresponding to yes/no questions that have a probabilistic answer.

延期开工的Kolmogorov宣布要衡量所有套职能有限许多坐标限制在于衡量子寅。换句话说，如果是/否的问题回答f可看的价值观念在许多最有限坐标，然后它有一个概率的答案。

The experimental results showed that the algorithm can filter singular points and remain fixity of the target edge.

实验表明：基于模糊理论的图像智能滤波方法比常规图像滤波方法运算量小，它既能去除奇异点，又能保持图像中目标的边缘不变性，具有很好的滤波效果。