CLP(ℜ) and some electrical engineering problems

The Constraint Logic Programming Scheme defines a class of languages designed for programming with constraints using a logic programming approach. These languages are soundly based on a unified framework of formal semantics. In particular, as an instance of this scheme with real arithmetic constraints, the CLP() language facilitates and encourages a concise and declarative style of programming for problems involving a mix of numeric and non-numeric computation.In this paper we illustrate the practical applicability of CLP() with examples of programs to solve electrical engineering problems. This field is particularly rich in problems that are complex and largely numeric, enabling us to demonstrate a number of the unique features of CLP(). A detailed look at some of the more important programming techniques highlights the ability of CLP() to support well-known, powerful techniques from constraint programming. Our thesis is that CLP() is an embodiment of these techniques in a language that is more general, elegant and versatile than the earlier languages, and yet is practical.An earlier version of this paper appeared in the proceedings of the 4th International Conference on Logic Programming, Melbourne, May 1987. Much of this work was carried out while the authors were at Monash University, Melbourne, Australia.     

纯电动汽车太阳能辅助空调控制系统的硬件设计

纯电动汽车车载动力电池是其唯一的动力源且很有限,辅助设备消耗的电能减少了纯电动汽车的续驶里程,尤其是空调,所以开发高效的纯电动汽车空调系统是纯电动汽车能够被市场接受的关键。将纯电动汽车顶盖布满太阳电池,可以使空调系统的制冷能力增强,同时还能增加纯电动汽车的行驶距离。对小型纯电动汽车的太阳能辅助空调系统进行研究,设计出适合该空调的自动控制系统,可为纯电动汽车创造出一个更加舒适的驾驶和乘座环境。     

"牺牲"阳极法合成乙醇钽研究

研究了“牺牲“阳极法电化学合成乙醇钽过程中,添加剂种类与浓度、电解液温度、阴阳极极距和电流密度的影响.选取最佳合成条件为:四甲基氯化铵0.04 mol/L,温度为电解液的沸腾温度,极距约2 cm,电流密度220 A/m2.电合成的混合液经常压蒸馏和减压蒸馏,得到产品用红外光谱、拉曼光谱和元素分析进行表征,确定了产品为乙醇钽.电合成的电流效率大于95%,产品蒸馏时钽的直收率82.8%.     

凝胶燃烧法合成LiCoO2超细粉体的研究

以LiNO3和Co(NO3)2@6H2O为原料,柠檬酸为燃料.采用凝胶低温燃烧技术合成了LiCoO2超细粉体.并利用各种分析技术对柠檬酸和硝酸盐形成的凝胶及凝胶燃烧合成的粉体进行了研究柠檬酸硝酸盐凝胶在350-400℃之间发生燃烧反应,得到黑色疏松粉体X射线衍射分析表明.适当提高柠檬酸在凝胶中的含量.燃烧后得到的粉体晶粒尺寸显著减小未经燃烧的粉体中除含有LiCoO2外.还有CoO,Li2CO3等杂质相.但在450℃下经短时间煅烧后.杂质相消失,其晶相为层状岩盐结构的高温LiCoO2相扫描电镜和透射电镜观察发现.随着煅烧温度的提高.LiCoO2粉体的粒径有所增大.但远小于在相同煅烧条件下用固相反应法制备的LiCoO2粉体.这表明采用燃烧法更适于合成具有单一相结构的,可在低温条件下烧结的超细LiCoO2粉体.     

Synthesis and Pharmacological In Vitro Investigations of Novel Shikonin Derivatives with a Special Focus on Cyclopropane Bearing Derivatives

Melanoma is the deadliest form of skin cancer and accounts for about three quarters of all skin cancer deaths. Especially at an advanced stage, its treatment is challenging, and survival rates are very low. In previous studies, we showed that the constituents of the roots of Onosma paniculata as well as a synthetic derivative of the most active constituent showed promising results in metastatic melanoma cell lines. In the current study, we address the question whether we can generate further derivatives with optimized activity by synthesis. Therefore, we prepared 31, mainly novel shikonin derivatives and screened them in different melanoma cell lines (WM9, WM164, and MUG-Mel2 cells) using the XTT viability assay. We identified (R)-1-(1,4-dihydro-5,8-dihydroxy-1,4-dioxonaphthalen-2-yl)-4-methylpent-3-enyl 2-cyclopropyl-2-oxoacetate as a novel derivative with even higher activity. Furthermore, pharmacological investigations including the ApoToxGlo^TM Triplex assay, LDH assay, and cell cycle measurements revealed that this compound induced apoptosis and reduced cells in the G1 phase accompanied by an increase of cells in the G2/M phase. Moreover, it showed hardly any effects on the cell membrane integrity. However, it also exhibited cytotoxicity against non-tumorigenic cells. Nevertheless, in summary, we could show that shikonin derivatives might be promising drug leads in the treatment of melanoma.     

一种联合采样的神经网络光场

相比传统的光场绘制技术,神经网络光场(NeRF)方法可使用神经网络拟合场景的光线采样,将隐式编码输入图片的光场,合成新视图. 针对NeRF方法训练时间长,绘制视图慢的问题,提出了一种基于联合采样的NeRF方法,通过使粗糙网络和细腻网络共享均匀采样结果的方法,减少了不必要的光线采样,从而加快了网络训练和视图合成的速度. 实验结果表明,在取得近似视图合成质量的情况下,与NeRF方法相比,所提方法的训练时间减少了20%,视图合成的效率提高了25%.     

燃烧合成三元碳化合物Ti2AlC1-x

采用Ti，Al和C元素粉末为反应物原料，通过燃烧合成法首次成功地制备出了单相三元碳化合物Ti2AlC1-x。实验结果表明：若以“理想”晶体结构化学式Ti2AlC化学计量比为起始反应原料配比，燃烧产物主晶相为Ti2AlC2；以缺碳的非化学计量比(Ti2AlC1-x)为反应原料配比，即Ti：Al：C=3：1．5：1=2：1：0．7(摩尔比)，得到单相的燃烧产物Ti2AlC1-x。从热力学原理的角度探讨了不同原料摩尔配比对燃烧产物相组成的影响机理。     

液相化学还原法制备不同形貌的多晶纳米镍

采用液相化学还原法,在1,2-丙二醇体系中,分别使用吐温-80（Tween-80）、聚乙二醇-6000（PEG-6000）和十二烷基硫酸钠（SDS）与聚乙二醇-6000（PEG-6000）的混合物作为修饰剂,利用1,2-丙二醇还原相同母体醋酸镍,制备形貌分别为海绵体、纤维状、雪花状的多晶纳米镍;在水体系中,使用SDS为修饰剂,利用水合肼还原相同母体醋酸镍,制备球形多晶纳米镍。通过X射线衍射（XRD）、透射电子显微镜（TEM）、选区电子衍射（SAED）对纳米镍进行表征。利用傅立叶红外（FTIR）分析初步解释不同形貌纳米镍的形成机理。     

二芳基碘鎓盐型阳离子光引发剂的 合成和光引发性能测试

通过两步反应合成了6种二芳基碘鎓盐, 研究了4,4′－二乙酰胺基苯基碘六氟磷酸盐的合成,确定了最佳工艺条件：乙酰苯胺与碘酸钾的摩尔比为2.2∶1.0,15 ml乙酸在25 ℃反应24 h,产率为47.6%。通过应用实验,测试了6种产物的光引发剂性能,对碘鎓盐光引发剂的构效关系进行了探讨。实验证明4种负离子为PF-6和BF-4的产物具有较好光引发性和抗氧阻能力。引入共轭基团的二芳基碘鎓盐其最大吸收波长明显增大,光引发性增强。     

Stereoselective Synthesis and Antiallodynic Activity of 3-Hydroxylated Paroxetines

The design, stereoselective synthesis and in vivo antiallodynic activity of four novel paroxetine analogs, named 3-hydroxy paroxetines (3HPXs), is reported herein. Among the novel synthesized compounds, three showed an antiallodynic effect, while (R,R)-3HPX was found to be 2.5 times more bioactive than (-)-paroxetine itself in neuropathic rats. Consequently, the current investigation not only discloses a novel promising analgesic drug, but also reveals that functionalization at the C3 position of paroxetine could be as effective as the common functionalization at either C4 or within the sesamol group.