水位远程自动测报系统在水利工程中的应用

介绍了一种采用压力传感器与单片机系统相配合设计的水位远程自动测报系统。此系统通过无线数传的方式向中心站发送水位信息 ,并自动生成各种报表 ,对水位数据进行统计分析 ,实现了水位监测的实时性 ;此系统将在水利建设中起很重要的作用     

On variable-weighted exact satisfiability problems

We show that the NP-hard optimization problems minimum and maximum weight exact satisfiability (XSAT) for a CNF formula C over n propositional variables equipped with arbitrary real-valued weights can be solved in O(||C||2^0.2441n ) time. To the best of our knowledge, the algorithms presented here are the first handling weighted XSAT optimization versions in non-trivial worst case time. We also investigate the corresponding weighted counting problems, namely we show that the number of all minimum, resp. maximum, weight exact satisfiability solutions of an arbitrarily weighted formula can be determined in O(n ²·||C||?+?2^0.40567n ) time. In recent years only the unweighted counterparts of these problems have been studied (Dahllöf and Jonsson, An algorithm for counting maximum weighted independent sets and its applications. In: Proceedings of the 13th ACM-SIAM Symposium on Discrete Algorithms, pp. 292–298, 2002; Dahllöf et al., Theor Comp Sci 320: 373–394, 2004; Porschen, On some weighted satisfiability and graph problems. In: Proceedings of the 31st Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2005). Lecture Notes in Comp. Science, vol. 3381, pp. 278–287. Springer, 2005).     

内建自测试中多输入特征寄存器的硬件开销的减少

在内建自测试中,针对随机向量测试,本文提出了一种通过输出信号分组压缩来减少多输入特征寄存器MISR的硬件开销的方法。该方法是在分析输出信号之间相关性的基础上,根据给定的MISR阶数构造具有最小相关度的输出信号集合组,以此来减少输出信号分组压缩时的故障覆盖率损失。该方法不需附加任何辅助电路。     

Computing near-optimal solutions for the dominating subset with minimal weight problem

In this work, we consider a combinatorial “dominating subset with minimal weight” problem, which is an associative problem for solving global optimization problem. This problem can be expressed as a kind of assignment problem. The mathematical model and the economical interpretations of the problem are given and its properties are described. Then, we propose a new algorithm which has a ratio bound in polynomial time, by using above properties for solving the problem and present the results of numerical experiments.     

我国超高分子质量聚乙烯纤维的检测手段及发展现状

根据国内主要超高分子质量聚乙烯纤维制造商产品的测试结果,论述了国产该纤维的主要性能及其与国外同类产品的质量差距,论述了目前我国各生产厂家及相关检测机构在强度、模量、断裂伸长、耐磨性、蠕变率、分子质量等纤维主要性能测试中存在的问题,提出了解决建议,同时指出了我国在超高分子质量聚乙烯纤维应用方面与国外的差距．     

基于遗传算法的关联议题并发谈判

基于遗传算法的并发谈判在电子商务应用中具有独特的优势,但已有的研究尚未考虑议题之间的相关性、动态权重的变化规则依赖于对手信息的获取,极大地限制了其使用价值.对此,提出议题分组的方法以解决议题的相关性问题,而议题权重的变化则采取从历史资源中发掘知识的方法进行动态调整.构建了基于遗传算法的关联性议题并发谈判模型,给出了模型的形式化描述、谈判算法设计和动态权重更新方案.通过对模型的实验和比较分析,证实了该方案能够更方便地满足用户谈判的多样性需求,解决谈判中议题关联性的问题,而且能够快速、有效地得出最优谈判结果.     

沥青路面裂缝图像检测算法研究

针对沥青路面裂缝图像边缘提取不精确的问题,基于形态学多尺度的思想,结合沥青路面裂缝图像中裂缝形状不规则,裂缝信息比较弱小的特点,提出了一种沥青路面裂缝图像检测算法。算法构造了多结构元素的抗噪型边缘检测算子,且依据不同形状的结构元素对裂缝边缘填充的几率不同,设定了一种自适应确定权重的算法,使得此算子在平滑滤波的同时又检测到各种类型的边缘。与传统裂缝图像检测算法相比,该算法有效抑制了各种噪声的影响,实现了多种类型边缘的精确提取;理论分析和实验结果表明该算法是可行且有效的。     

一种基于模糊评判的水平叠加方法

以信号的模式识别为基础,应用模糊评判的方法,通过道集叠加得到标准道,对道集内的各道进行模糊评判,剔除评判结果最差的道,再次进行叠加、评判、剔除,直到达到要求的评判结果或规定的最大剔除道数.模拟试验表明,通过模糊评判方法得到的叠加记录的效果明显优于直接叠加.     

γ辐射降解法制备小分子水溶性壳聚糖

用γ辐射降解法成功制备了一系列小分子水溶性壳聚糖。研究了不同条件下γ射线对壳聚糖的降解效应以及吸收剂量对产物分子量和水溶性产物得率的影响,分析了不同预处理条件对辐射降解产额(Gd值)的影响,并对壳聚糖辐射降解的机理进行了初步探讨。所得产物用凝胶渗透色谱(Gel permeation chromatography, GPC)、傅立叶变换红外光谱(Fourier transform infrared spectrometer,FT-IR)、紫外-可见光谱(Ultraviolet-Visible spectrophotometry,UV-VIS)等手段进行了表征分析。结果表明,壳聚糖在降解过程中不但分子量显著减少, 而且化学结构发生了明显变化,·OH自由基在壳聚糖辐射降解过程中起着至关重要的作用。     

Adherence Across Behavioral Domains in Treatment Promoting Smoking Cessation Plus Weight Control.

The authors tested whether adherence to simultaneous health behavior changes was unitary or domain specific among 76 women who modified smoking, eating, and physical activity to accomplish smoking cessation plus weight control. Random-effects regression analyses showed that adherence to both smoking and diet plans declined linearly and covaried positively; their association tended to grow stronger over time. In contrast, physical activity plan adherence did not change over time and was unrelated to other domains. At the end of treatment, 65%, 30.5%, and 25% adhered well or excellently to smoking, diet, and activity treatments, respectively. Findings support both unitary and domain-specific aspects of adherence and suggest that among smokers, smoking and eating behaviors may have similarities unshared by physical activity. (PsycINFO Database Record (c) 2010 APA, all rights reserved)