对于一个命题逻辑 P ,如果存在一个函数rank : HP → N(其中 HP 是 P 上的原子集合),使得 P中每一条形如 a ← a1,...,am,not(b1),...,not(bn) 的子句,对于任意的 (1≤ i ≤ m,1≤
GVF Snake 动态轮廓模型是提取图像中物体轮廓的一种有效方法,较好地解决了传统Snake 模型中存在的轮廓线初始化、检测“U 型”物体轮廓等问题。本文在详细分析 GVF Snake 模
蛋白质序列的分类是预测新蛋白质序列的结构和功能的重要方法。已有的方法主要基于序列比对或概率后缀树。本文设计了一种基于频繁模式的蛋白质序列分类算法 CFS。我们使用每
中等收入者的住房问题是一个复杂的系统工程,只有在发展经济的基础上优先提高中低收入者的收入,及政府管理切实到位,方位解决之道。
The housing problem for middle-income
本文提出的自动回归测试框架,借鉴了 xUnit单元测试框架思想,将其测试框架思想扩展到回归测试中。本框架利用系统中测试用例间的逻辑关系对系统中所有测试用例进行管理,实现了自
本文比较了传统图像匹配算法在快速实现上的鲁棒性和有效性。提出了一种非参数度量的模糊增强算法该算法可更好地表达图像像素间的局部相关关系,运用一种新的隶属度函数,可很好
本文对 Okamoto 等人在 ITCC05中所提出的基于双线性对的新的短签名方案给出一个攻击。给出任何两个不同的消息-签名对,任何人都可以恢复出签名者的私钥,从而可以伪造该签名者
以 J2EE 和 .NET 为平台的 WebService 客户端1在 AXIS 下,由于 SOAP 的 RPC/Encoded 编码模式会引起 WebService 互操作性问题。本文根据 AXIS 的系统结构特征并对其源码进行
本文提出了一种小波域上的混沌数字图像水印算法。该算法利用混沌对初值的敏感性和混沌伪随机序列的唯一性,将混沌序列应用于水印嵌入算法中水印密文的产生和子图像的选取,增
一、不能翻案的“論定”武訓究竟是個什麼樣子的人?這個問題,經過了三個多月來的討論,特別是發表了“武訓歷史調查記”,是已經澈底地解决了: 首先,武訓是一個從貧農家庭出身