Effect of the Treatment Temperature on the Surface Drying Set of Sugi Boxed-Heart Square Timber

High-temperature and controlled humidity treatment before drying has proven to be highly effective in preventing surface checks by forming drying sets in the surface layer of boxed-heart square timber in Japan. In this study, we examined the differences of the surface drying sets on sugi timber under different treatment temperatures. As a result, the width of a surface check after drying was much smaller at a treatment temperature of 120°C than at 80°C, and this indicates that the drying set with 120°C treatment would be larger than that with 80°C treatment. Also we observed that treatment temperature had a greater effect on the drying set as the drying advanced.     

自动检测系统原理应用和发展状况的研究

自动检测系统广泛应用于各类产品的设计、生产、使用、维护等各个阶段,对提高产品性能及生产率、降低生产成本及整个生产周期成本起着重要作用。首先介绍了检测、检验以及自动检测系统的概念,其次通过自动检测系统的各个组成部分,详述了系统的工作原理,介绍了自动检测系统组建的概念、结构以及在组建中所使用的关键技术。对早期的自动检测系统和新一代自动检测系统进行了介绍,并详述自动检测系统的3个发展阶段。     

VOD在有线电视网的实现

从视频点播系统的结构及组成和在有线电视网络中VOD系统的结构模式与应用两个方面，详细地阐述了如何利用有线电视网络实现视频点播，主要从以下3个方面介绍关于视频点播系统VOD技术：①视频点播VOD的技术原理；②视频点播系统的结构及组成；③有线电视视频点播系统的结构模式与应用。     

32位实时操作系统FCCRTOS的设计与实现

介绍了自行设计的，不依赖其他软件支持而存在，可直接运行在Ｉｎｔｅｌ８０３７６、８０３８６、８０４８６和８０５８６处理器的计算机上，便于移植的一个完全独立的实时操作系统—ＦＣＣＲＴＯＳ。其特点为：３２位寻址、内存保护模式的段式管理、多任务并发处理、实时事件线程管理、支持多总线通信协议、模块化设计及目标程序完全ＲＯＭ化等。     

基于AutoCAD的电气符号图像控制菜单的开发

以电气符号为例，介绍了AutoCAD平台下图像控制菜单的开发过程以及幻灯片、幻灯片库的创建方法。     

多目标二次规划非劣解集的理论生成及应用

本文对多目标二次规划问题非劣解集的理论生成进行了探讨,在介绍二次规划单目标问题优化解求法的基础上,提出了在决策平面上互切点,共交点轨迹的概念.由此导出了非劣解集的一般解析式(对切点解问题)和另一类交点解问题时的非劣解集求法,然后介绍了在目标平面非劣解集的解析表达式.使多目标二次规划问题整个非劣解集的推求严格、明确和方便,有理论和实际意义。文中以一个综合利用水库参数的多目标优选作为例子阐述了应用,并求出了最终的最佳协调解.     

Linux系统下的ELF文件分析

随着linux系统的发展，elf了十分重要的可执行文件格式。本文介绍了elf文件的格式，并在此基础上分析出elf文件的特性。     

On the monotonicity of (LDL) logic programs with set

LDL is one of the recently proposed logical query languages, which incorporate set, for data and knowledge base systems. Since LDL programs can simulate negation, they are not monotonic in general. On the other hand, there are monotonic LDL programs. This paper addresses the natural question of “When are the generally nonmonotonic LDL programs monotonic?” and investigates related topics such as useful applications for monotonicity. We discuss four kinds of monotonicity, and examine two of them in depth. The first of the two, called “ω-monotonicity”, is shown to be undecidable even when limited to single-stratum programs. The second, called “uniform monotonicity”, is shown to implyω-monotonicity. We characterize the uniform monotonicity of a program (i) by a relationship between its Bancilhon-Khoshafian semantics and its LDL semantics, and (ii) with a useful property called subset completion independence. Characterization (ii) implies that uniformly monotonie programs can be evaluated more efficiently by discarding dominated facts. Finally, we provide some necessary and/or sufficient, syntactic conditions for uniform monotonicity. The conditions pinpoint (a) enumerated set terms, (b) negations of membership and inclusion, and (c) sharing of set terms as the main source for nonuniform monotonicity.     

示例学习的扩张矩阵理论

本文提出示例学习的一种计算理论,扩张矩阵论.根据这个理论,示例学习中一些主要最优化问题被证明是NP难题,并给出这些难题的近似解法及下界的估计.