基于数据挖掘的复杂装备维修辅助决策研究

文章通过某装备维修信息框架分析,维修数据预处理,然后以维修记录为例,挖掘出了维修件之间关联规则,并采用决策树分类方法对维修件进行了分类,这些规则和分类结果可以为维修计划制定、器材采购、视情维修等方面提供决策依据。     

Supporting inconsistent rules in database systems

When a set of rules generates (conflicting) values for a virtual attribute of some tuple, the system must resolve the inconsistency and decide on a unique value that is assigned to that attribute. In most current systems, the conflict is resolved based on criteria that choose one of the rules in the conflicting set and use the value that it generated. There are several applications, however, where inconsistencies of the above form arise, whose semantics demand a different form of resolution. We propose a general framework for the study of the conflict resolution problem, and suggest a variety of resolution criteria, which collectively subsume all previously known solutions. With several new criteria being introduced, the semantics of several applications are captured more accurately than in the past. We discuss how conflict resolution criteria can be specified at the schema or the rule-module level. Finally, we suggest some implementation techniques based on rule indexing, which allow conflicts to be resolved efficiently at compile time, so that at run time only a single rule is processed.An earlier version of this work appeared under the title Conflict Resolution of Rules Assigning Values to Virtual Attributes inProceedings of the 1989 ACM-Sigmod Conference, Portland, OR, June 1989, pp. 205–214.Partially supported by the National Science Foundation under Grant IRI-9157368 (PYI Award) and by grants from DEC, HP, and AT&T.Partially supported by the National Science Foundation under Grant IRI-9057573 (PYI Award), IBM, DEC, and the University of Maryland Institute for Advanced Computer Studies (UMIACS).     

基于MYGCC的编程规则检查算法研究

MYGCC是一个编程规则检查工具,其目前的检查算法存在局限性,不能完整地展示违反编程规则的程序路径。本文提出并实现了一种改进的编程规则检查算法,可以弥补上述的局限性。实验表明改进算法是有效的,此改进有助于用户更准确地定位错误位置,方便对编程错误的修正。     

基于信息元的教学资源组织系统设计与实现 *

以文本类型教学资源为研究对象,在领域知识可拓信息网模型和CELTS-3的基础上,阐述了基于信息元的教学资源组织系统设计与实现过程,包括信息特征元数据描述框架、特征词获取、信息元距离度量、信息元匹配规则以及匹配算法等.该系统通过有限的信息元描述无限的资源,实现了教学资源的高效组织,支持学习过程中资源自动重组.     

丁基罗丹明B-AuI4-缔合纳米粒子体系的极谱猝灭效应研究

在0．1mol／LH2SO4介质中，丁基罗丹明B(RBB)在-0．59伏产生1个单扫描极谱峰。当有AuI^-4存在时，AuI^-4与RBB^ 主要通过静电引力形成疏水性的AuI4—2RBB缔合物分子。AuI4—2RBB存在较强的分子间作用力和疏水作用力而生成紫红色的(AuI4—RBB)n纳米微粒，在470nm处产生1个瑞利散射峰，在610nm处产生1个共振瑞利散射峰；而在-0．59伏处的极谱峰降低。这是由于该紫红色复合纳米微粒形成所致。当纳米微粒体系加入乙醇后，体系的瑞利散射峰和共振瑞利散射峰消失，极谱峰、同步荧光峰和颜色恢复，由于乙醇而致使紫红色的(AuI4-RBB)n纳米微粒分解为红色AuI4—RBB分子。研究结果表明，紫红色(AuI4-RBB)。纳米粒子的形成是其极谱猝灭和共振瑞利散射效应的根本原因。     

一种耐超高温、耐酸聚合物的制备及性能测试

摘要：为解决常规聚合物无法满足超高温深井酸化压裂的技术要求，本文分别以丙烯酰胺（AM） 甲基丙烯酰氧乙基三甲基氯化铵（DMC）、AM DMC SMA（十八烷基甲基丙烯酸酯）为原料，通过自由基聚合制备出两种耐酸聚合物SY-1和SY-2，并对其结构进行表征及性能测试。结果表明：SY-2红外谱图中720 cm-1为—(CH2)n—的弯曲振动吸收峰，单体成功接枝到聚丙烯酰胺分子链上；热重分析表明，SY-1升温至600℃失重比为98%，SY-2失重比86%，热稳定性得到改善；质量分数为20%盐酸中，SY-2质量分数0.8%：180℃，170s-1流变性能测试，SY-2剪切终点黏度56mPa?s，90℃、120℃、150℃剪切1h，黏度为83.6mPa?s、43.5mPa?s、27.8mPa?s，剪切稳定性分别为85.66%、74.45%、52.01%； 180℃、3MPa条件下，静态酸岩反应速率为8.94?10-5(g/cm2?s)，较常规SY-1反应速率1.69?10-4(g/cm2?s)减小一个量级。且与缓蚀剂、铁离子稳定剂配伍性良好，克服高温酸化压裂技术的应用瓶颈。     

改性聚丙烯酰胺水溶液的疏水缔合性质

合成了一种疏水缔合水溶性聚丙烯酰胺共聚物，使用荧光光谱法并结合紫外及流变性实验，对制备的疏水缔合水溶性聚丙烯酰胺共聚物在水溶液中形成疏水微区、超分子聚集体及空间网络结构进行了研究，并用扫描电子显微镜证实了溶液中网络结构的存在．     

非水电解质浓溶液的热力学研究(Ⅰ)——用缔合模型关联、推算298.15K时HCL甲醇浓溶液的活度系数

利用HCl在甲醇中稀溶液的活度系数,通过Pitzer的缔合模型,关联出298.15K HCl在甲醇中的缔合常数Kx=1.7×10~2,然后利用HCl在甲醇中浓溶液的活度系数关联出近程作用单参数,进而推算溶剂甲醇的活度系数及溶液总压,均得到满意的结果,说明HCl甲醇浓溶液的热力学关联必须考虑HCl的部分离解效应。     

The Importance of Shallow‐Low Velocity Habitats to Juvenile Fish in the Middle Mississippi River

Habitat management is a crucial aspect of fisheries management. Without knowledge of habitat associations, fisheries scientists are unable to effectively make habitat conservation or restoration recommendations. This becomes especially prominent when trying to manage commercially harvested populations and protect threatened or endangered species. To determine juvenile fishes habitat associations in the Middle Mississippi River, we analysed mini‐trawl catch data of six common juvenile fish species: blue catfish (Ictalurus furcatus), channel catfish (Ictalurus punctatus), channel shiner (Notropis wickliffi), freshwater drum (Aplodinotus grunniens), paddlefish (Polyodon spathula), and shovelnose sturgeon (Scaphirhynchus platorynchus). Overall, we conducted 2251 mini‐trawl sampling efforts between 2002 and 2013, resulting in the capture of 23,742 target specimens. Catch per unit effort was evaluated by structural habitat (i.e. velocity, depth, and substrate). Overall, these data suggest that juvenile fish species are more prevalent in shallow water and slower velocities. Ultimately the information garnered during this evaluation should be incorporated when considering habitat modifications, especially those modifications that impact the availability of shallow‐low velocity habitats. Copyright © 2016 John Wiley & Sons, Ltd.     

Smart pricing scheme: A multi-layered scoring rule application

Defining appropriate pricing strategy for smart environment is important and complex task at the same time. It holds the primal fraction in Demand Response (DR) program. In our work, we devise an incentive based smart dynamic pricing scheme for consumers facilitating a multi-layered scoring rule. The proposed strategy characterizes both incentive based DR and price based DR programs facilities. This mechanism is applied between consumer agents (CA) to electricity provider agent (EP) and EP to Generation Company (GENCO). Based on the Continuous Ranked Probability Score (CRPS), a hierarchical scoring system is formed among these entities, CA–EP–GENCO. As CA receives the dynamic day-ahead pricing signal from EP, it will schedule the household appliances to lower price period and report the prediction in a form of a probability distribution function to EP. EP, in similar way reports the aggregated demand prediction to GENCO. Finally, GENCO computes the base discount after running a cost-optimization problem. GENCO will reward EP with a fraction of discount based on their prediction accuracy. EP will do the same to CA based on how truthful they were reporting their intentions on device scheduling. The method is tested on real data provided by Ontario Power Company and we show that this scheme is capable to reduce energy consumption and consumers’ payment.