问题标签 [axiom]

我想知道如何在 Safe 函数中使用 Axiom 数据库资源。

现在我只是手动处理连接，但我知道使用已经定义的资源会更好。

为什么不能像数学陈述一样证明计算机程序？数学证明建立在其他证明的基础上，这些证明建立在更多证明和公理之上——我们认为这些真理是不言而喻的。

计算机程序似乎没有这样的结构。如果你写一个计算机程序，你怎么能把以前证明过的作品拿来用它们来证明你的程序的真实性？你不能，因为不存在。此外，编程的公理是什么？该领域的原子真理？

我对上述问题没有很好的答案。但似乎软件无法被证明，因为它是艺术而不是科学。如何证明毕加索？

（序言：我是 C++0x 游戏的后期追随者，最近关于从 C++0x 标准中删除概念的争议促使我更多地了解它们。虽然我明白我所有的问题都是完全假设的——只要概念在未来一段时间内都不是有效的 C++ 代码，如果有的话——我仍然有兴趣了解更多关于概念的知识，特别是考虑到它如何帮助我更全面地理解最近决定背后的优点以及随之而来的争议）

在阅读了一些关于 C++0x （直到最近）提出的概念的介绍性材料之后，我无法将我的思想集中在一些句法问题上。事不宜迟，以下是我的问题：

1) 支持特定派生概念的类型（隐式地，通过 auto 关键字，或显式地通过 concept_maps）是否也需要独立地支持基本概念？换句话说，从另一个概念（例如concept B<typename T> : A<T>）推导出一个概念的行为是否隐含地包含一个“不可见的”需求语句（在 B 内requires A<T>;）？混淆来自关于概念的维基百科页面，该页面指出：

与类继承一样，满足派生概念要求的类型也满足基概念要求。

这似乎是说一个类型只需要满足派生概念的要求，而不必满足基本概念的要求，这对我来说毫无意义。我知道维基百科远不是一个确定的来源；上面的描述只是一个糟糕的选择吗？

2）列出类型名的概念可以是“自动”吗？如果是这样，编译器将如何自动映射这些类型名？如果不是，在其他情况下在概念上使用“自动”是无效的吗？

为了澄清，请考虑以下假设代码：

这些类中的任何一个都与 SomeType 匹配吗？或者对于涉及类型名的概念是否需要一个概念映射？

3）最后，我很难理解允许定义什么公理。例如，我能否有一个概念定义一个逻辑上不一致的公理，例如

那会做什么？这甚至有效吗？

我很感激这是一组很长的问题，所以我提前感谢你。

我遇到了以下错误：

http://issues.apache.org/jira/browse/AXIS2-4363

它声明如下：

此错误仅在 org.apache.axiom 的日志级别为 DEBUG 时发生，因此解决方法是设置日志级别 > DEBUG。

我的问题是我该怎么做？我一直在我的目录中搜索属性文件或其他东西，我一直在寻找我可以在代码中设置的东西，但我真的不知道我在做什么。我现在正在我的桌面上运行一个控制台应用程序，同时试图让它工作。

更新 1：我注意到我的 Axis2 目录在其根目录中有自己的 log4j.properties 文件。这是安全地忽略还是它是解决方案的一部分（或问题的一部分）？

更新 2：根级别 log4j.properties 文件显然没有正确设置。现在它看起来像这样：

但这显然是错误的，因为此代码返回“日志级别为空”：

现在我正在使用代码中设置日志级别

我尝试了以下设置pom.xml来使用 Axis2 wsdl2code：

每当我跑步mvn clean时，我都会收到以下警告，但ClassNotFoundException没有org.apache.axiom.

是我要解决和支持的公理，我尝试过使用 cong（来自核心库），但是 cong 构造函数有问题

让我无处可去，我知道 cong 我需要提供一个 refl 来表示相等和一个类型，但我不确定我应该提供什么类型。想法？

这是大学的一项小任务，所以我宁愿有人展示我错过的东西，而不是写出准确的答案，但我会感谢任何程度的支持。

我正在使用 Spring WS 1.5.8、用于编组/解组的 XmlBeans 和 AxiomSoapMessageFactory。我的应用程序。需要一个自定义 SOAP 标头。需要在 SOAP Header 中的数据是一个 XmlBean（即下面代码中的 sessionContext）。如何在其中构造带有此 XmlBeans XmlObject 元素的 SOAP 标头？我已经提到了我正在使用的 WebServiceMessageCallback 代码，并且执行此代码会导致“'prolog 中不允许内容。' 错误。

谢谢，

我正在运行一个在 Rhino 中运行的脚本，它会创建一个像这样的 E4X 对象：

我想在 SOAP 消息中包含这样的 XML。我正在使用Apache Axis 2 ServiceClient创建肥皂消息。我正在寻找一种将 E4X xml 对象转换为 Apache AXIOM 元素的方法，以便可以通过调用将其添加到 SOAP 消息中：

ServiceClient.addHeader(org.apache.axiom.om.OMElement omElement)

LISP 可以由十个原语构建：原语是：atom、quote、eq、car、cdr、cons、cond、lambda、label、apply。

显然，这些等价于欧几里得几何的 5 个公理。 http://hyperpolyglot.wikidot.com/lisp

谁能解释它们是如何等效的？

我在我的 java 项目中遇到了这个异常

我的类路径是

你能帮帮我吗？