Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms

For two propositional fuzzy logics, we present analytic proofcalculi, based on relational hypersequents. The logic consideredfirst, called M, is based on the finite ordinal sums of ukasiewiczt-norms. In addition to the usual connectives—the conjunction, the implication and the constant 0—we use a furtherunary connective interpreted by the function associating witheach truth value a the greatest -idempotent below a. M is aconservative extension of Basic Logic. The second logic, called M, is based on the finite ordinal sumsof the product t-norm on (0, 1]. Our connectives are in thiscase just the conjunction and the implication.     

基于UEFI的可信BIOS研究与实现

分析固件基本输入输出系统(BIOS)的安全需求,定义了可信BIOS概念。基于UEFI规范和可信计算机制设计UTBIOS体系结构。UTBIOS的实现以新一代符合UEFI规范的BIOS产品为基础,使用可信测量根核对BIOS运行和系统引导过程中各部件进行可信测量,构建操作系统运行前的可信链,讨论可信测量对BIOS引导过程的性能影响。     

“宏”的应用

VB是大家较熟悉的计算机编程语言,而在不少的应用软件中已嵌套了面向对象的VBA,如果能掌握了VBA的使用将会使工作效率达到事半功倍的效果,这对工程技术人员非常重要,该文简要介绍了VBA的使用方法。     

基于VB与MATLAB编程模拟光栅光谱分析系统

该仿真软件将Matlab的计算优势与Visual Basic图形用户界面开发方面的优势结合起来仿真模拟了单色光单缝衍射和光栅衍射实验,实验结果的图样细致逼真,结合3D动画演示使整个物理过程变得直观,为光学的理论分析和实验教学提供了新的途径。     

Crystal Report在VB报表设计中的应用技巧

该文介绍了在水晶报表在Visual Basic6．0中应用,给出水晶报表在VB程序设计中的编程步骤,介绍了子报表在报袁设计中的应用．给出了报表设计中自动补空行的方法,并给出了公式字段和参数字段的使用技巧。文中以不同报表实例详细介绍了水晶报表在VB报表设计中的应用技巧。     

EXCEL数据高级查询的分析与实现

EXCEL对批量数据的多次重复或相似的统计和交叉性集合运算操作比较困难或效率不高,而使用Visual Basic开发平台利用ADO数据库连接和操作技术可以很好的解决这样的问题,提高EXCEL文件数据的处理效率。这个方法前提利用SQL语言的高度灵活的SELECT语句．以实现EXCEL单个或多个数据表数据的快速统计汇总、组合计算等,支持分组和排序。同时考虑到数据的输出．则使用了EXCEL的VBA技术的QueryTable对象实现ADO记录集数据向EXCEL文件的快速导入。     

项目教学法在开放教育《VB程序设计》辅导中的应用

开放教育教学辅导中“项目教学法”,就是精心设计辅导项目、传授规范知识、优化教学过程和注重操作技能的培养     

高校计算机基础课分层教学的改革实践

根据高校学生计算机水平的差异,分析了计算机基础课实行分层次教学的必要性。从分层次教学方案的制定、教学安排与实施、教学考核等方面进行了简要阐述,指出分层次教学的目的是激励学生的主体学习意识,促进学生协作与竞争,提高教学效率,最终实现学生的共同进步。     

基于机器视觉的蟋蟀体态测量

设计一套基于机器视觉的蟋蟀体态测量装置,初步研究用图像处理和图像测量的方法实现对蟋蟀躯干长宽的测量.该装置构建一个PC-Based的机器视觉系统,利用VisuaI Basic开发工具编写图像处理算法和图像测量算法的程序.应用惯性主轴的方法实现蟋蟀图片位置的归一化,应用数学形态学分割算法实现了蟋蟀躯干与足和触角的分割,将分割后的躯干进行边缘提取,从而进行蟋蟀体态的测量.     

一种生存性分析系统的设计与实现

针对信息系统生存性分析的概念和几个基本属性的深入研究,根据以往在网络安全领域的研究成果,结合当前实现生存性分析系统的几种不同的设计思路,提出了基于漏洞扫描技术实现生存性分析系统的可行性方案,并详细说明了完成生存性分析系统的分析过程设计.阐述该生存性分析系统实现的软件模块结构和各个模块间的调用关系,建立适合当前计算机处理能力的生存性分析核心计算方法公式,最后给出了这个生存性分析系统的输出结果的例子报表.