一个约束逻辑的消解原理

为变量受约束理论约束的子句引入一种消解原理的约束逻辑方法。约束可看成量词限制,滤去那些约束理论的任何解释都可指定给带有这样的限定量词公式的变量值。本文提出了一种约束子句的消解原理,其中测试是否满足约束理论的约束取代了一致化。研究表明,如果约束子句集不满足约束理论当且仅当对约束理论的每一模型,能推出一约束空子句,而该空子句的约束在模型中是可满足的,那么约束消解是合理的和完备的     

遗传算法在计算机通信网容量分配和流量控制中的应用

遗传算法是一种模仿自然选择和遗传机制的优化算法。本文从网络总费用的角度来分析通信网中的容量分配和流量控制问题，采用遗传算法对计算机通信网进行容量分配和流量控制，并解释了对于实现这一算法中一些问题的考虑，最后给出了算法的实验结果，实验结果表明，我们的方法是一种十分有效的方法。     

葡萄糖酸钠生产厂黑曲霉菌渣的利用研究

对葡萄糖酸钠生产中残留的黑曲霉菌体废渣的营养成分进行了测定,结果表明:该菌渣含粗蛋白10.30%、粗脂肪3.89%、粗纤维14.46%、粗灰分21.00%、总糖32.56%,此外还含有丰富的Ca、P、Mg、Fe、K、Na等矿物元素,与常用的饲料原料进行比较,证明该菌渣可用作饲料原料。为进一步实现该菌渣的高值化综合利用,对从该菌渣中提取粗蛋白、壳聚糖、麦角甾醇等有用成分的工艺进行了研究,提取率分别达到10.84%、3.44%、0.81%,壳聚糖的脱乙酰度为72.95%。     

葡萄糖酸钠生产厂黑曲霉菌渣的利用研究

对葡萄糖酸钠生产中残留的黑曲霉菌体废渣的营养成分进行了测定,结果表明:该菌渣含粗蛋白10.30%、粗脂肪3.89%、粗纤维14.46%、粗灰分21.00%、总糖32.56%,此外还含有丰富的Ca、P、Mg、Fe、K、Na等矿物元素,与常用的饲料原料进行比较,证明该菌渣可用作饲料原料。为进一步实现该菌渣的高值化综合利用,对从该菌渣中提取粗蛋白、壳聚糖、麦角甾醇等有用成分的工艺进行了研究,提取率分别达到10.84%、3.44%、0.81%,壳聚糖的脱乙酰度为72.95%。      

RPL的ETX路由度量研究

ETX(Expected Transmission Count)是现有的低功耗有损网络路由协议(Routing Protocol for Low power and Lossy Networks,RPL)采用的一种路由度量。ETX最小化了两个节点间成功传输一个数据包所需发送的次数,但在数据传输的实时性方面的考虑有所欠缺。在ETX的基础上最小化数据传输延时,保证数据传输的高成功率和低延时,最后在contikiOS中实现并与标准的ETX进行了比较。     

虚电路数据网路由选择的遗传算法

51．引言随着网络技术的发展和计算机应用水平的提高，计算机网络正广泛应用于科研、教育、管理，生产及商业等各个领域．为了保证网络的传输可靠性和通信效率，要求网络中每个结点具有自动选择传递分组到达目的地的能力．以往的研究主要集中在数据报的路由选择上，在这种方法中，每个分组独立地处理，因此具有相同目的地址的分组可能遵循不同的路由．在分组交换网络中，还有另一种管理分组流的办法，即虚电路方式．在虚电路方式中，发送任何分组之前，需要建立一条逻辑连接即虚电路．当然，虚电路方式并不象线路交换那样有一条专用通道，分…     

基于遗传算法的互连网络网关与路由方案设计

研究互连网络的网关与路由方案综合优化设计问题,包括：（１）确定将给定的已有网络互连起来所需的网关数及其位置;（２）给网关链路分配容量;（３）进行网内的网际路由选择,目标是要在给定的设置网关预算费用下使得网内的网际平均分组时延最小。该问题的数学模型是一个有着众多约束条件的非线性０—１规划。根据遗传算法的基本思想,设计了一个求解该问题的遗传优化算法,并将其应用于一个实例化设计。     

一个约束逻辑的消解原理

为变量受约束理论约束的子句引入一种消解原理的约束逻辑方法。约束可看成量词限制，滤去那些约束理论的任何解释可指定给带有这样的限定量词公式的变量值。本文提出一种约束子句的消解原理，其中测试是否满足约束理论的约束取代了一致化。研究表明，如果约束子句集不满足的约束理论当且仅当对约束理论的每一模型，能推出一约约束空子句，而该空子句的约束在模型中是可满足的，那么约束是合理的和完备的。