中立性存在的基因表达式硬件演化算法

针对硬件演化的快速收敛需求和中立存在对硬件演化的作用,提出了有向图基因表达式(GGEP)硬件演化算法。GGEP结合了基因表达式与有向图结构,是一种适用于电路演化的遗传编程方法。GGEP具有天然的中立性存在,使用适应度关联距离（fdc）对比中立存在和不存在时硬件演化的难度。电路演化实验验证了GGEP算法的有效性以及中立性存在的积极作用。实验结果表明：与其他演化算法比较,GGEP的成功率最高,二位乘法器的平均演化代数要少4~20倍;相同的算法复杂度下,中立性存在比不存在时,组合逻辑电路收敛速率提高近1倍,二位乘法器的成功率提高20%~30%。     

弗雷格判断杠涵义与使用的澄清——从吉奇的误解谈起

为了使断言与非断言的区分一目了然，吉奇引入弗雷格逻辑系统中的判断杠这一符号，将它添加在被断言的语句之前。但实际上，吉奇的这一做法是对弗雷格判断杠的误解：第一，不需要借用任何专门的符号来判别一个语句是否得到了断言。第二，弗雷格的判断杠是添加在没有判断力的表达式之前，而非直接加在本来就具有判断力的自然语句之前。弗雷格创造判断杠这一符号是服务于他的函数分析法的，目的是恢复已被他剥夺了判断力的自然语句的判断力。判断杠“|”是一个判断表达式生成器，将它置于真值表达式“—▲”之前，就构造出判断表达式“|—▲”。虽然在转向谓词分析法的现代逻辑中，这一符号已不再被使用，但是，弗雷格通过判断杠及其相关设施所做的铺垫，才使得现代逻辑对传统逻辑的超越成为可能。     

并行程序的一种形式化硬件综合方法

基于并行语言的操作语义,提出一组将语言构造模块转化为硬件电路的规则。利用这些规则,系统地将程序转化为由寄存器、锁存器及数据路径组成的电路。硬件实现的正确性可以通过转化规则得以保证。     

高级计算器在灰色预测GM(1,1)模型精度检验中的使用

目的灰色预测GM(1,1)模型精度检验计算工作繁琐,介绍一种不使用ENT键,进行程序写入和运算的方法。方法使用CASIO■χ—3600 P计算器,利用X、K寄存器输入程序变量,与SD机能组合运算。结果 P1区程序写入17步,计算出了R值。P2区程序写入21步,计算出了■, △_k、■,转换在SD状态,读取n、■、s2,S。结论灰色预测GM(1,1)模型精度检验的程序正好38步完成了计算工作,释放了计算器的潜在功能,提高了工作效率,计算器在精度检验工作中得到了正确的使用。     

基2的流水式快速傅里叶变换处理机的形式化模型

快速傅里叶变换(FFT)的应用领域非常广泛,其硬件实现方法多种多样。传统的电路正确性验证的方法是模拟,这种方法的主要缺点是不能穷尽模拟全部输入情况,而形式化方法使用纯数学手段证明电路具有某些属性,从而证明其正确性。所以用形式化方法验证FFT电路的正确性具有极强的实用价值。形式化验证的第一步工作是对要验证的电路进行建模,因此本文首先介绍了国内外FFT形式化建模的主要方法和优缺点,然后用重写系统给出了任意N=2M点的基2的流水式快速傅里叶变换处理机的形式化模型,显示了重写系统用于复杂硬件电路建模的优越性,为进一步的电路正确性验证奠定基础。     

基于WIA-PA的无线温度变送器设计

为满足工业应用低成本、易扩展应用范畴等特殊需求,运用我国自主知识产权无线WIA网络,基于无线模块设计了一种全输入无线温度变送器。该变送器根据传感器类型用模拟开关选择测温电路,设计Pt100作为热电偶的冷端温度补偿,并且通过对模数转换单元、电源电路和接口等硬件设计,对主程序、通信和模数采集程序的软件设计,实现了温度数据的无线传输。该变送器支持Modbus协议传输,测试结果表明该变送器通信稳定、功耗较低,符合产品设计要求。     

PSC:软硬件协同设计的一种中间模型

提出了一种软硬件协同设计的系统模型－－PSC（进程状态控制）。建立PSC的可视化表示、形式化的定义和演化规则。PSC是一种层次文化建模方法，它可以将系统控制逻辑和功能实现分离，有利于将模型转换为物理实现，并在转换过程中结构和功能可以分别采用不同的技术和实现方法。     

微电脑针灸选穴人体模型显示系统

为了适应世界人民对针灸科学的需要,我们把微电脑和人体针灸模型结合成统一的选穴显示系统,经过反复实验,已经获得成功。本文命名此系统为微电脑针灸选灾人体模型显示系统。本系统以APPLEⅡ系统为主体,加以自制硬件和软件而成。对于别的机种,只要作相应的修改,即可套用。本文对本系统功能、自制专用软件和硬件进行介绍。一、微电脑针灸选穴人体模型显示系统的动能本系统由APPLEⅡ微型计算机系统、自制键盘及输入电路、自制人体针灸模型(装有     

在计算机上实现支票打印功能

填写支票是财务工作中的常项 ,要求字迹清晰工整 ,稍有涂改或错误就会退票 ,影响资金的流转和正常的会计工作。充分利用计算机资源通过FOXPROM的程序设计在电脑上使用普通的 2 4针打印机打印支票。该程序分为输入部分和定位打印部分。输入部分是在电脑中输入小写金额和日期将其自动转为大写 ,并输入需要填写的帐号用途。定位打印部分是通过手动调节支票位置和定位打印语句 ,在普通 2 4针打印机上实现票据打印机的功能 ,打印输入的内容。通过相同的方法也可以打印支票进帐单、现金缴款单、电汇委托书等等。通过笔者的多次使用取得较好的效果。     

高压电缆导体温度的暂态计算

高压电缆载流量由导体允许运行温度决定,由于电缆传输负荷和表面温度实时变化,导体的温度也随之动态变化,按照传统的假设条件对导体温度进行稳态计算难以准确判断电缆载流量,为了充分发挥电缆的使用效率并保证运行安全,需要掌握电缆导体温度的暂态变化过程,从而得到合理的载流量值。本文首先对电缆的温度计算进行了分析,建立了适合电缆本体温度暂态分析的有限元模型,以热电偶监测的电缆表皮实时温度和对应的传输负荷为边界和荷载,计算得到了电缆本体温度的暂态响应。     

基于CNFET的三值内容寻址存储器单元设计

通过对三值静态随机存储器（Static Random Access Memory,SRAM）单元和数据比较电路结构以及碳纳米场效应晶体管（Carbon Nanotube Field Effect Transistor,CNFET）的研究,提出了基于CNFET的三值内容寻址存储器单元设计方案。首先利用CNFET阈值可调特性和开关信号理论设计三值缓冲器,采用反馈控制连接技术实现三值SRAM存储;然后结合三值SRAM单元和三值逻辑原理设计三值内容寻址存储器单元;最后实验验证,所设计的三值内容寻址存储器单元具有正确的逻辑功能,且与三态内容寻址存储器单元相比功耗延时积（Power-Delay Product,PDP）降低约83%。     

基于颜色和边缘特征CAM Shift目标跟踪算法

针对连续自适应均值漂移(CAM Shift)目标跟踪算法只适用于特定颜色目标跟踪且容易受到光照变化影响和背景色干扰的缺点,提出了一种改进的CAM Shift目标跟踪算法。该算法采用颜色空间三基色权重直方图建立目标模型,并用目标边缘特征增加目标权重。首先通过颜色空间三基色均匀量化获得特征值,建立基于核函数概率密度估计的目标模型;然后用Sobel算子检测目标边缘特征,结合颜色特征,分别赋予不同的权重投影生成概率密度分布图;最后用Mean Shift算法迭代寻找目标,并通过矩运算调整跟踪窗口大小和方向。实验结果表明：该算法可以有效跟踪多色彩目标,并能够抵御一定光照变化和大面积同色干扰的影响。     

大型X线机集成电路的失效机理分析

本文以大型电子医疗设备中的集成电路的信号线短路和信号线开路为依据,并结合N—MOS“与非门”集成逻辑门和CMOS三输入“或非门”具体分析了集成电路信号线之间短路和信号线开路的失效机理。     

Data Based Prediction of Blood Glucose Concentrations Using Evolutionary Methods

Predicting glucose values on the basis of insulin and food intakes is a difficult task that people with diabetes need to do daily. This is necessary as it is important to maintain glucose levels at appropriate values to avoid not only short-term, but also long-term complications of the illness. Artificial intelligence in general and machine learning techniques in particular have already lead to promising results in modeling and predicting glucose concentrations. In this work, several machine learning techniques are used for the modeling and prediction of glucose concentrations using as inputs the values measured by a continuous monitoring glucose system as well as also previous and estimated future carbohydrate intakes and insulin injections. In particular, we use the following four techniques: genetic programming, random forests, k-nearest neighbors, and grammatical evolution. We propose two new enhanced modeling algorithms for glucose prediction, namely (i) a variant of grammatical evolution which uses an optimized grammar, and (ii) a variant of tree-based genetic programming which uses a three-compartment model for carbohydrate and insulin dynamics. The predictors were trained and tested using data of ten patients from a public hospital in Spain. We analyze our experimental results using the Clarke error grid metric and see that 90% of the forecasts are correct (i.e., Clarke error categories A and B), but still even the best methods produce 5 to 10% of serious errors (category D) and approximately 0.5% of very serious errors (category E). We also propose an enhanced genetic programming algorithm that incorporates a three-compartment model into symbolic regression models to create smoothed time series of the original carbohydrate and insulin time series.     

重组人血小板因子4的表达、纯化及活性鉴定

目的: 用基因工程手段去获取有活性的重组人血小板因子4(rhPF4),为下一步的基础理论研究和临床应用奠定基础.方法: 用PCR手段获得人PF4的编码序列,克隆入质粒pRSET,构建融合表达载体pRSET-PF4,转化大肠杆菌,以IPTG诱导表达融合的人PF4蛋白,经镍柱亲和层析纯化,用SDS-PAGE分析所表达的目的蛋白及纯化后蛋白,用鸡胚绒毛膜尿囊膜实验(CAM)验证rhPF4的活性.结果: 成功构建了表达载体pRSET-PF4,DNA序列测定结果与预期结果一致.IPTG诱导表达的rhPF4融合蛋白部分以可溶形式存在,占菌体总蛋白量的11%.亲和层析纯化后目的蛋白纯度为84%.CAM实验表明,经纯化获得的rhPF4对鸡胚血管形成具有抑制作用.结论: 成功地获得了具有高度生物学活性的rhPF4蛋白.     

试论全科医学发展的点与面

全科医学发展的“点”(重点 ) ,即迅速建立一支具有较高职业道德、较强业务能力的全科医生队伍。社区卫生服务的需要是培训全科医生的目标方向 ,坚持规范、专业化标准 ,保证全科医生队伍的高素质 ,合理利用现有卫生人才资源 ,多层次、多渠道迅速壮大全科医生队伍。全科医学发展的“面”(服务面 ) ,即转变观念 ,开放服务 ,植根社区。全科医学在社区卫生服务的成功实践 ,新型医患关系的建立 ,促使卫生行业风气的根本转变     

埃兹蛋白通过L1细胞黏附分子信号通路促进肺癌转移

目的 研究埃兹蛋白(Ezrin)促进人肺癌发生转移的分子机制.方法 通过RT-PCR、Western blot检测肺癌细胞系中Ezrin的表达;划痕试验检测Ezrin对肺癌细胞系迁移能力的影响;Western blot检测Ezrin调控L1细胞黏附分子(L1CAM)的机制.结果 Western blot结果显示,与低转移肺癌细胞系H460、EBC-1比较,高转移细胞系95D及PC9具有更高的Ezrin蛋白表达(P＜0.05);用基因方法沉默95D细胞Ezrin表达后(siEzrin-95D),细胞划痕试验结果发现与95D细胞比较,siEzrin-95D细胞的迁移能力明显减弱(P＜0.05).与95D及H460细胞比较,基因沉默95D及H460细胞Ezrin表达后,其L1CAM的表达明显下调(P＜0.05).结论 Ezrin可能通过调节L1CAM的表达促进肺癌转移.     

骨肉瘤VEGF表达及VEGF抗体抑制血管生成的实验研究

目的研究血管内皮生长因子（VEGF）表达与骨肉瘤血管生成和预后的关系，以及VEGF抗体抑制骨肉瘤细胞OS-732诱导血管生成的作用和可能机制，为以VEGF为靶点治疗骨肉瘤提供实验依据。方法应用免疫组化和形态计量方法，检测80例骨肉瘤VEGF表达、肿瘤微血管密度（MVD），以及OS-732血管生成相关因子的表达。进一步应用鸡胚绒毛尿囊膜（CAM）模型观察VEGF抗体对OS-732诱导血管生成及肿瘤细胞生长的抑制作用。结果（1）骨肉瘤VEGF表达与肿瘤微血管密度（MVD）及预后密切相关。（2）OS-732表达VEGF和BFGF，而且VEGF表达强度明显高于BFGF，OS-732具有很强的诱导血管生成能力。（3）VEGF抗体干预实验结果显示VEGF抗体组肿瘤区血管密度明显低于PBS对照组，细胞凋亡指数显著高于PBS对照组，而增殖指数两组差异无统计学意义。同时，VEGF抗体组凋亡的微血管内皮细胞增多，增殖期内皮细胞少见。结论VEGF是骨肉瘤重要的血管生成因子，其表达可能是评估骨肉瘤预后的一项有价值的指标。VEGF抗体能够抑制内皮细胞增殖，促进内皮细胞凋亡，显著抑制骨肉瘤OS-732血管形成，并可能通过抑制血管形成而促进肿瘤细胞凋亡，达到抑制瘤细胞生长的作用。该结果提示VEGF可以作为骨肉瘤抗血管生成治疗的潜在靶分子。