问题列表 - 第15019页

希尔伯特系统 - 自动化证明

我试图在Hilbert风格的系统中证明语句〜(a-> ~b)=> a .不幸的是,似乎不可能想出一个通用算法来找到证据,但我正在寻找一种强力型策略.关于如何攻击这个的任何想法都是受欢迎的.

math verification logic computer-science theorem-proving

21
推荐指数
4
解决办法
4222
查看次数

查找角度是否与另一个角度在X度之内

我需要一个算法来确定一个角度是否在另一个角度的某个度数范围内.

我的第一个想法是(a-x < b) && (a+x > b),但是当它必须处理从-179到180的环绕角度时它会失败.

在上图中,角度必须介于负边和正边之间的区域(绿色).如何确定角度(红线)是否落在该区域内?

language-agnostic algorithm geometry angle

8
推荐指数
1
解决办法
3307
查看次数

启动选项以强制Java套接字连接到localhost?

我正试图找到一种方法来强制Jar通过我的代理服务器对外部IP进行任何连接尝试,该代理服务器在localhost(也是Java应用程序)上运行.一旦代理服务器收到连接,它将打开与外部IP的连接,并开始将IO路由到客户端/服务器或从客户端/服务器路由IO.

我已经谷歌搜索了2天,我没有运气,我相信我在搜索尝试中使用了错误的术语.

如果您有任何想法,请告诉我,我会尝试任何事情.

提前致谢. - 肖恩

java proxy localhost

3
推荐指数
1
解决办法
7074
查看次数

JAXB解组<string> foobar </ string>

问候!我有一台服务器将XML内容返回给我的客户端,如下所示:

<string xmlns="...">foobar</string>
Run Code Online (Sandbox Code Playgroud)

我是JAXB的新手并且已经有很多工作,除了这个.我认为从字符串中编组和解组这个很容易.花了一段时间,但我终于想出了如何编组这个

    public static String ToXML(String s) throws Exception
    {
        JAXBContext context = JAXBContext.newInstance(String.class);
        Marshaller marshaller = context.createMarshaller();
        StringWriter sw = new StringWriter();
        marshaller.marshal(new JAXBElement(new QName("", "String"), String.class, s), sw);

        return sw.toString();
    }
Run Code Online (Sandbox Code Playgroud)

所以我的问题是,如何解组呢?它不能被注释为根元素.我不能使用java.lang作为包来创建JAXBContext的新实例(我得到一个ObjectFactory缺少异常).

传授任何智慧?这不是那么难,对吧?

java jaxb unmarshalling

5
推荐指数
3
解决办法
2万
查看次数

为什么我的MS Access数据库总是坏了?

我编写了一个作为服务运行的程序,需要经常访问MS Access数据库.一段时间后,我的程序自动退出,然后我用Office打开我的MS Access数据库,它说它坏了!

这似乎很奇怪,因为我的程序只执行一些非常常见的数据库访问:插入,选择和删除.为什么在运行一段时间后它总是被打破?

这里有没有人遇到过这样的问题?任何建议表示赞赏.

ms-access ms-office

0
推荐指数
1
解决办法
220
查看次数

在grep中匹配一行与文字星号"*"匹配

试着

$ echo "$STRING" | egrep "(\*)"
Run Code Online (Sandbox Code Playgroud)

并且

$ echo "$STRING" | egrep '(\*)'
Run Code Online (Sandbox Code Playgroud)

和无数其他变化.我只想匹配包含行中任意位置的文字星号的行.

regex bash grep

22
推荐指数
4
解决办法
3万
查看次数

如何在Perl中使用STDIN构建二维矩阵?

如何使用STDIN构建二维矩阵?

如果我输入这样的矩阵:

1 2 3
4 5 6
7 5 6

7 8 9
4 5 6
3 3 3
Run Code Online (Sandbox Code Playgroud)

我如何输入这个并创建两个矩阵?

到目前为止,这是我的代码

while (defined ($a=<STDIN>)) {
    chomp ($a);
    push @a,($a);
    }   
Run Code Online (Sandbox Code Playgroud)

这只是输入.

我的理解是我可以将每一行添加到堆栈中.当矩阵全部放入时我可以取每一行,按空格分解以创建一个数组.然后我需要创建一个数组引用并将此引用推送到数组中以创建我的矩阵.我怎么做到这一点?有没有更简单的方法?我一直在为此抨击我3天.我觉得现在真该死的傻瓜......

arrays perl matrix

1
推荐指数
2
解决办法
945
查看次数

ASP.NET MVC 2中的验证如何实际工作?

我试图追查为什么我的ASP.NET MVC 2验证不起作用,但我找不到足够的关于如何能够做到这一点.

我已经按照David Hayden这篇有用的文章中的步骤进行了操作,这篇文章似乎是目前最好的文档,但实际上并没有发生任何事情.

当我提交到服务器时,我得到验证(正如我在预览1中所做的那样,当我向我的模型添加数据注释时)但我没有得到任何客户端验证.

我如何追踪测试?到目前为止,我已经验证了以下明显的事情

  • 正在下载MicrosoftMvcJQueryValidation.js和jquery.validate.min.js文件
  • Html.ClientValidationEnabled = true

我无法轻易地看到什么是事件,以了解如何调试它.

validation asp.net-mvc jquery-validate

9
推荐指数
2
解决办法
4508
查看次数

在C中复制字符串时,为空终止字符分配空间?

const char*src ="你好";

调用strlen(src);返回大小为5 ...

现在说我这样做:

char* dest = new char[strlen(src)];
strcpy(dest, src);
Run Code Online (Sandbox Code Playgroud)

这似乎不应该工作,但当我输出一切看起来正确.好像我最后没有为空终结器分配空间......这是对的吗?谢谢

c++ c-strings

4
推荐指数
3
解决办法
1591
查看次数

为什么我们不能在while循环中定义变量?

我们可以做的:

using (Stream s ..)
Run Code Online (Sandbox Code Playgroud)

和:

for (int i ...)
Run Code Online (Sandbox Code Playgroud)

为什么我们不能这样做:

while ((int i = NextNum()) > 0) {..}
Run Code Online (Sandbox Code Playgroud)

我发现它非常有用和明智.

c# syntax

21
推荐指数
2
解决办法
1万
查看次数