小编BCS*_*BCS的帖子

9
推荐指数
1
解决办法
837
查看次数

寻找.NET"文本"编辑器控件

我的老板正在寻找一个.NET文本控件来构建一个自定义编辑器.这就是我们需要做的事情:

  • 支持嵌入式表格,轻松编辑(如Word表格).
  • 支持不同的文本样式(字体,大小,颜色,背景等).
  • 能够以编程方式设置样式,包括首次加载和编辑文件.
  • 支持键/鼠捕获事件和改变行为.
  • 支持大型文档(10到100的klocs)而不会损失性能.
  • 不是一个完整的文字处理控件,而是更高级的文本控件.
  • 我们不需要支持.rtf,.html等.相反,我们需要能够动态地将我们的数据转换为文本编辑器控件并退回,大概是通过动态创建表,缩进级别等.

我们已经查看并拒绝了一些选项,包括TX Text Control(因为它的表编辑不够好,特别是它的列编辑功能)


编辑:

  • 必须支持独立使用.

.net controls textbox winforms

9
推荐指数
1
解决办法
3448
查看次数

如何在HTML中转义块中的所有内容

我似乎记得,除了匹配的结束标记之外,还有一个HTML标记可以完全避开其中的所有内容.有点像<plaintext>但不是从根本上打破.

html escaping

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

交互式数学证明系统

我正在寻找一个工具(首选GUI但CLI可以工作),它允许我输入数学表达式,然后执行它们的操作,但限制我只有数学上有效的操作.此外,该工具必须能够保存会话,然后证明给定的已保存操作集是有效的.

注意:我不是在寻找一个生成校样的系统,只是检查我手动指定的步骤是否有效.

我已经使用ACL2进行类似的操作,并且它在某些情况下表现很好但是很难用于其他所有情况.

这个小项目是我的动力.它是一种D模板类型,允许求解方程.鉴于这个等式:

(A * B) = C + D / F;
Run Code Online (Sandbox Code Playgroud)

可以将任何一个符号设置为未知,并评估该表达式将导致对该变量的赋值.它的工作原理是将表达式树构建到类型中,然后使用重写规则将其转换为可以针对未知类型进行事件处理的事物.

我需要的是一些验证重写规则的方法.可以通过测试给定某种关系为真的断言来验证它们,另一种也是.

math theorem-proving proof-system coq isabelle

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

平面图中的小循环查找

我有一个几何无向平面图,这是一个图,其中每个节点都有一个位置,没有2个边交叉,我想找到没有边穿过它们的所有周期.

这个问题有没有什么好的解决方案?


我打算做的是一种A*类似的解决方案:

  • 将最小堆中的每个边插入路径
  • 每个选项都可以扩展最短路径
  • 循环回到其他路径的剔除路径(可能不需要)
  • 剔除路径,这将是第三个使用ang给定边缘的路径

有没有人看到这个问题?它会工作吗?

language-agnostic algorithm graph-theory planar-graph

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

在大型稀疏矩阵中找到"最大"密集子矩阵

给定一个大的稀疏矩阵(比如说10k +乘以1M +),我需要找到形成密集矩阵(所有非零元素)的行和列的子集,不一定是连续的.我希望这个子矩阵在某些宽高比约束内尽可能大(不是最大和,但是最大数量的元素).

这个问题是否有任何已知的确切或aproxamate解决方案?

对谷歌的快速扫描似乎给出了很多接近但不完全的结果.我应该寻找什么条款?


编辑:只是为了澄清; 子矩阵不需要是连续的.事实上,行和列顺序是完全任意的,因此邻接完全无关紧要.


基于Chad Okere的想法的想法

  1. 从最大计数到最小计数排序行(不是必需但可能有助于执行)
  2. 选择两个具有"大"重叠的行
  3. 添加不会减少重叠的所有其他行
  4. 记录该集
  5. 添加任何行减少重叠最少
  6. 在#3重复,直到结果变小
  7. 从#2开始,使用不同的起始对
  8. 继续,直到您确定结果足够好

algorithm discrete-mathematics sparse-matrix

9
推荐指数
1
解决办法
4054
查看次数

是否有可能在D中获取枚举成员的名称和值?

我想从enumD2中的类型中获取名称和值.我知道我可以使用std.traits获取枚举值,但名称呢?

鉴于:

enum lst
{
  apple,
  bottle,
  orange,
  blue    
}
Run Code Online (Sandbox Code Playgroud)

我想得到一个像关联数组.

string lstmap[int] = [1:"apple", 2:"bottle", 3:"orange", 4:"blue"].
Run Code Online (Sandbox Code Playgroud)

答案是肯定的.有人向我展示的解决方案是:

foreach (i, member; __traits(allMembers, lst)) {
  lstmap[cast(int) __traits(getMember, lst, member)] = member;
}
Run Code Online (Sandbox Code Playgroud)

reflection d

9
推荐指数
1
解决办法
229
查看次数

为什么C#中的命令对静态初始化很重要?

此代码在C#中具有明确定义的行为:

class Foo
{
    static List<int> to = new List<int>( from ); // from is still null
    static IEnumerable<int> from = Something();
}
Run Code Online (Sandbox Code Playgroud)

注意:我不是问如何修复该代码,因为我已经知道如何做到这一点

这有什么理由?C#已经进行了运行时检查,以检测对静态成员的第一次访问.为什么不将它扩展到每个成员的东西并让它们按需运行,甚至更好的让编译器在编译时弄清楚顺序?

顺便说一句:我认为同样的问题(或几乎相同)也适用于非静态成员.

c# language-theory

8
推荐指数
2
解决办法
2723
查看次数

具有极高延迟的网络

是否有任何协议,系统等实验性的或以其他方式设计用于允许在非常高延迟的链路上进行正常(尽可能正常)的网络操作(电子邮件,DNS,HTML等)?我想的是几分钟到一个小时,或者两个小时.认为太阳系规模的光速滞后.


作为旁注:对社会影响的研究或推测每小时的通信延迟将是有趣的.目前的趋势往往是延迟几秒钟到几分钟(加上人们注意到你的电子邮件需要多长时间)和预先电话时间往往是几天到几周但我想不到任何事情,在最短的时间范围内有最小的时间延迟.

latency protocols

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

如何在python中模拟一个自由函数?

我有一个带有全局函数的python程序,测试很痛苦(它需要一个大型数据集才能正常工作).在测试调用它的函数时,解决这个问题的最佳方法是什么?

我发现以下工作(但它让我觉得使用它很脏).

模块foo:

def PainLiesHere():
  return 4; #guaranteed to be random
Run Code Online (Sandbox Code Playgroud)

模块测试

import foo

def BlissLiesHere():
  return 5

foo.PainLiesHere = BlissLiesHere

# test stuff
Run Code Online (Sandbox Code Playgroud)

python mocking

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