程序设计语言的通用测试系统的设计

总结了现阶段常用程序设计教学语言的共性,在此基础上提出了程序设计语言通用测试系统的设计方案。方案扩展了试题库的含义和结构,针对通用平台的设计目标,提出了“插件式”的题库管理方案,简要介绍了以蓝图为中心的组卷策略和基于XML的蓝图结构,并阐述了程序设计的阅卷策略和系统实现过程中的若干关键技术。     

Modalities in linear logic weaker than the exponential “of course”: Algebraic and relational semantics

We present a semantic study of a family of modal intuitionistic linear systems, providing various logics with both an algebraic semantics and a relational semantics, to obtain completeness results. We call modality a unary operator on formulas which satisfies only one rale (regularity), and we consider any subsetW of a list of axioms which defines the exponential of course of linear logic. We define an algebraic semantics by interpreting the modality as a unary operation on an IL-algebra. Then we introduce a relational semantics based on pretopologies with an additional binary relationr between information states. The interpretation of is defined in a suitable way, which differs from the traditional one in classical modal logic. We prove that such models provide a complete semantics for our minimal modal system, as well as, by requiring the suitable conditions onr (in the spirit of correspondence theory), for any of its extensions axiomatized by any subsetW as above. We also prove an embedding theorem for modal IL-algebras into complete ones and, after introducing the notion of general frame, we apply it to obtain a duality between general frames and modal IL-algebras.     

中压馈线分段策略的实用优化模型和方法

对馈线进行合理分段是提高馈线供电可靠性的简单有效的重要措施,涉及分段策略(含分段数及其开关或终端类型选择)的优化。基于用户均匀分布假设,推导了断路器与负荷开关混合配置下的馈线系统平均停电时间(system average interruption duration index,SAIDI)估算公式,完善了架空馈线SAIDI与分段数的通用简化公式;基于涉及可靠性和经济性的目标和约束给出了2种馈线分段策略的实用优化模型,并针对架空馈线和电缆馈线的不同特点提出了相应的简化求解方法;最后通过典型算例计算得到了不同供电区域、不同线路长度的分段优化策略,表明了所提模型方法的有效和实用。     

Unsupervised learning of multi-task deep variational model

We propose a general deep variational model (reduced version, full version as well as the extension) via a comprehensive fusion approach in this paper. It is able to realize various image tasks in a completely unsupervised way without learning from samples. Technically, it can properly incorporate the CNN based deep image prior (DIP) architecture into the classic variational image processing models. The minimization problem solving strategy is transformed from iteratively minimizing the sub-problem for each variable to automatically minimizing the loss function by learning the generator network parameters. The proposed deep variational (DV) model contributes to the high order image edition and applications such as image restoration, inpainting, decomposition and texture segmentation. Experiments conducted have demonstrated significant advantages of the proposed deep variational model in comparison with several powerful techniques including variational methods and deep learning approaches.     

A monotone nonlinear finite volume method for approximating diffusion operators on general meshes

The basic principles of the discrete duality and nonlinear monotone finite volume methods are combined in order to obtain a new monotone nonlinear finite volume method for the approximation of diffusion operators on general meshes. Numerical results highlight both the second‐order accuracy of this method on general meshes and its capability to deal with challenging anisotropic diffusion problems on various computational domains. Copyright © 2016 John Wiley & Sons, Ltd.     

基于LM算法的粘弹性材料剪切松弛模量的拟合

在对粘弹性材料进行有限元计算时,需要材料的剪切松弛模量,必须对经验公式或实验数据进行转换。根据KWW经验公式与广义Maxwell剪切松弛函数的对应关系,列出了求解松弛时间与剪切松弛模量的超定非线性方程组,用LM优化算法得到了方程组的最优解。初步讨论了初值的选取方法。根据此方法得到的松弛时间与剪切松弛模量的拟合曲线的拟合度达到了0.99以上。所提出的方法也适用于用实验数据(随时间变化的应力应变)求解材料的剪切松弛模量。     

小水电综合参数微机监测系统的研制

介绍了一种分布式小水电综合参数微机监测系统．该系统运用多台８０Ｃ１９６单片机系统组成的远动柜对现场多种被测信号进行采集,运用多台微机组成的局域网络对远动装置传送来的数据进行计数、处理、显示、打印、入库等操作,从而使系统完成对小水电各种参数的监测功能．     

正确把握“三个环节” 做好经常性思想工作

“及时发现,确实弄清,正确解决”是做好经常性思想工作的３个基本环 节。“及时发现”是做好经常性思想工作的前提,要做到及时发现,一要把握规律,搞好 预测;二要留心观察,掌握细微;三是个别交谈,讲究艺术;四要摸底测试,搞好普查; 五是会议收集,全面分析。“确实弄清”是做好经常性思想工作的关键,一要搞好调查 研究,弄清思想问题的真正原因;二要进行科学分析,弄清思想问题的本质。“正确解 决”是做好经常性思想工作的目的,一要动之以情;二要晓之以理;三要喻之以义;四 要导之以行。     

功率方程在动力学求解中的一种应用方法

本文采用动力学普遍方程和功率方程相结合的方法求解质点系的动力学问题,从而使动力学普遍方程得到更广泛的应用,尤其是求解较复杂的动力学问题极为方便、有效．     

某型装备电子箱典型信号测试方法研究与实现

为了满足某型装备典型信号测试方法标准化、通用化的需求,以通用检测平台为基础,以某型装备某电子箱为被测对象,研究了典型被测信号的测试方法;通过介绍通用检测平台的整体结构、软件运行机制以及被测信号的特征,设计了电子箱的测试适配器,在分析了基本电参数测试方法的基础上,重点介绍了基于微分运算的脉冲幅值测试方法以及通过测量上升、下降沿来实现脉冲相位关系测量的检测方法;最后,对该电子箱进行了实际的测试验证,所得数据和波形满足电子箱的功能要求,结果证实了测试方法的有效性与合理性。