问题列表 - 第23447页

Prolog 是解决此类问题的最佳语言吗?

我有这个问题,其中包含一些不等式和最小化值的要求。在网上做了一些研究后,我得出的结论是,使用 Prolog 可能是最简单的解决方法。然而,我以前从未使用过 Prolog,我不想浪费时间学习它只是为了发现它不是这项工作的正确工具。

如果您了解 Prolog,请看一看这个问题并告诉我 Prolog 是否正确。或者,如果您知道其他一些真正适合于此的语言。

a + b + c >= 100
d + e + f >= 50
g + h     >= 30

if (8b + 2e + 7h > 620) then y = 0.8 else y = 1.0
if (d > 35)             then x = 0.9 else x = 1.0

5xa + 8yb + 5c + 3xd + 2ye + 2f + 6xg + 7yh = w.
Run Code Online (Sandbox Code Playgroud)

我需要找到使 w 最小化的 a、b、c、d、e、f、g 和 h 的值。

请注意,以上只是一个例子。在实际程序中,我会使用多达 …

prolog

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

Bullet Physics,何时选择哪个DynamicsWorld?

我有一些关于子弹物理库的一般性问题.

以下是我目前的理解:
btDiscreteDynamicsWorld - 最简单的物理世界,只处理刚体,也许它具有更好的性能.
btSoftRigidDynamicsWorld - 唯一可以使用大型jello模具的物理世界
btContinuousDynamicsWorld - 如果你有真正的快速物体,这将阻止它们互相预先穿过或相互飞行,但其他方面就像btDiscreteDynamicsWorld.

我对btDiscreetDynamicsWorld,btContinuousDynamicsWorld和btSoftRigidDynamicsWorld类在功能,目的和性能方面的理解是否正确?

为什么用户手册会推荐btDiscreteDynamicsWorld类?

btSoftRigidDynamicsWorld似乎是唯一可以处理软体的世界,那么如果我们想要连续物理整合和软体呢?

考虑使用btContinuousDynamicsWorld的速度有多快,使用它有什么缺点?

编辑:My Buddy Mako也在The Bullet论坛上发布了这个问题:http://www.bulletphysics.org/Bullet/phpBB3/viewtopic.php? f = 9&t = 4863

bulletphysics

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

获取Windows上次重启时间戳?

我有一台远程通过网络连接的PC,但它偶尔会崩溃或被远程用户重新启动.重启后,某些服务和应用程序必须处于运行状态.所以我想尽快找出重新启动.我认为PS可能是一些不错的选择,因此我可以进行远程调用以获取最后一次重启时间戳信息.

有没有办法通过使用PowerShell 2.0(其远程处理功能)获得远程Windows XP上次重启时间戳?

powershell

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

使用布尔标志来阻止线程在C#中运行是否安全?

我主要关心的是布尔标志......没有任何同步就可以安全地使用它吗?我在几个地方读到它是原子的(包括文档).

class MyTask
{
    private ManualResetEvent startSignal;
    private CountDownLatch latch;
    private bool running;

    MyTask(CountDownLatch latch)
    {
        running = false;
        this.latch = latch;
        startSignal = new ManualResetEvent(false);
    }

    // A method which runs in a thread
    public void Run()
    {
        startSignal.WaitOne();
        while(running)
        {
            startSignal.WaitOne();
            //... some code
        }
        latch.Signal();
    }

    public void Stop()
    {
        running = false;
        startSignal.Set();
    }

    public void Start()
    {
        running = true;
        startSignal.Set();
    }

    public void Pause()
    {
        startSignal.Reset();
    }

    public void Resume()
    {
        startSignal.Set();
    }
} …
Run Code Online (Sandbox Code Playgroud)

c# multithreading thread-safety

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

从转义的html - >到常规的html? - Python

我使用BeautifulSoup来处理我通过REST API收集的XML文件.

响应包含HTML代码,但BeautifulSoup可以转义所有HTML标记,因此可以很好地显示.

不幸的是我需要HTML代码.


我将如何继续将转义的HTML转换为正确的标记?


非常感谢帮助!

html python lxml escaping beautifulsoup

6
推荐指数
1
解决办法
3411
查看次数

Makefile自动链接依赖?

让程序在编译时找出依赖关系很容易(使用gcc -MM).然而,链接依赖(决定应链接哪些库)似乎很难弄清楚.当需要具有要链接的单个库的多个目标时,此问题变得紧急.

例如,需要构建三个动态库目标t1.so,t2.so和t3.so.t1.so需要数学库(-lm),而t2和t3则不需要.编写单独的规则会很繁琐.需要与数学库链接的三个目标的单个规则可以省去麻烦.但是,由于数学库未用于t2.so和t3.so,因此会导致目标大小膨胀.

有任何想法吗?

dependencies gcc makefile linkage

5
推荐指数
1
解决办法
2338
查看次数

Subversion:带有HTTP/HTTPS代理的svn协议

我说,我需要做一个svn结账

svn checkout svn://XYZ.com/trunk.
Run Code Online (Sandbox Code Playgroud)

我在代理后面使用svn客户端.我曾经使用http协议访问过其他存储库,但是使用svn协议,它因"拒绝连接"而失败,原因我认为是代理不允许的端口.但是,服务器上不支持HTTP协议.

但是,svn + ssh连接但它提示在该服务器上有一个我没有的帐户?

除了申请帐户外还有其他方法吗?

请注意,我不能影响代理服务器的设置.

svn svn-checkout

5
推荐指数
1
解决办法
2865
查看次数

嵌入式软件编程中的C++

如果我使用C++语言编程编写嵌入式Linux系统的代码,是否存在重大问题?

实际上,我有意使用arm-uclibc编译器将一些代码移植到arm linux.

谢谢

c++ linux embedded

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

如何在sql server中使用MAX函数查找列的第三个最大值?

昨天我在采访中遇到了一个问题,我想我可以在这里找到答案......

如何在sql server中使用MAX函数查找列的第三个最大值?

考虑该列是

工资
20000
15000
10000
45000
50000

select sql-server-2005 max

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

MSSQL错误'基础提供程序在Open上失败'

我正在使用一个.mdf连接到databaseentityClient.现在我想更改连接字符串,以便没有.mdf文件.

以下connectionString是否正确?

<connectionStrings>
   <!--<add name="conString" connectionString="metadata=res://*/conString.csdl|res://*/conString.ssdl|res://*/conString.msl;provider=System.Data.SqlClient;provider connection string=&quot;Data Source=.\SQL2008;AttachDbFilename=|DataDirectory|\NData.mdf;Integrated Security=True;Connect Timeout=30;User Instance=True;MultipleActiveResultSets=True&quot;" providerName="System.Data.EntityClient" />-->
   <add name="conString" connectionString="metadata=res://*/conString.csdl|res://*/conString.ssdl|res://*/conString.msl;provider=System.Data.SqlClient;provider connection string=&quot;Data Source=.\SQL2008;Initial Catalog=NData;Integrated Security=True;Connect Timeout=30;User Instance=True;MultipleActiveResultSets=True&quot;" providerName="System.Data.EntityClient" />
Run Code Online (Sandbox Code Playgroud)

因为我总是得到错误:

底层提供程序在Open上失败

c# sql-server entity-framework database-connection

213
推荐指数
8
解决办法
55万
查看次数