摘要：在分析临床和科研需求的基础上,设计构建中医特色慢性肾脏病登记系统。介绍设计思路,包括功能、业务流程、软件平台等;阐述系统实现过程,包括数据录入、随访管理、数据分析以及质量管理。指出该系统能够满足多方面需求,为慢性肾脏病登记提供了信息化工具。

摘要：主要介绍了转炉→精炼→真空→连铸→轧前加热→轧制生产矿用链23MnNiMoCr54钢的工艺实践及研究,采用双渣法控制倒渣、脱磷,转炉出钢w(P%)≤0.005%,精炼炉渣碱度在5.80-6.02时Mn合金收得率较高、软吹时间控制25~30min氧化铝类夹杂物最少。在生产前依据JMatPro热力学软件模拟出钢的平衡相组成图和CCT曲线设计出钢温度和退火温度,热轧态组织为贝氏体,通过具有还原性气氛的双蓄式步进2#加热炉退火后为粒状珠光体。连铸坯总体元素偏析指数在0.91~1.07,未发现存在圈状低镍区,质量良好。非金属夹杂物A类、D类和大颗粒DS类夹杂物分别为0.5级,B细0~0.5级,其余均为0级,晶粒度在退火后由热轧态的7.5~8.0级全部转变为8.0级,各项性能指标均满足标准要求。

摘要：某水电站泄洪洞进口边坡拟采用预应力锚索进行加固。锚固参数的合理选取将直接影响到工程加固的可靠性以及经济性。因此,首先对该加锚边坡的预应力锚索的4个参数(锚固角度Φ、锚固力T、锚固间距H以及锚索长度L)进行敏感性分析,确定了这些参数的敏感性大小。然后再利用有限元法进行参数优化设计,得到了预应力锚索加固的最佳锚固参数。研究结果为提高开挖边坡的加固效果、降低工程的设计施工成本,起到了积极的作用。

摘要：传统上依靠经验设计的安全网关侧重于功能实现,缺少严格的安全模型。对此,针对一种典型安全网关,首先根据其安全需求给出相应的安全策略,然后利用BLP模型对给出的安全策略进行形式化建模并对安全模型的内部一致性进行证明,最后对安全网关的功能规约和安全模型的一致性进行验证。为保证推理过程的正确性,使用定理证明器Isabelle/HOL对上述过程进行描述和推理,保证了安全网关顶层设计的安全性。研究结果为安全网关的形式化设计提供了一定的借鉴意义。

摘要：为实现100~200 kg级小卫星的压紧和低冲击释放,提出了一种连杆式星箭分离机构的设计方案。依据曲柄滑块机构的原理将连杆与包带相结合,采用记忆合金(SMA)拔销器代替爆炸螺栓进行解锁,通过调节螺栓进行预紧力控制,实现在保证足够锁紧力的情况下兼顾分离冲击小的目标。所提设计方案为小卫星星箭分离机构设计提供了一种新的思路。

摘要：单向网络安全设备是不同密级间网络信息传输的主要安全设备。为了保证单向网络安全设备内部的安全性和通信系统的安全性,分析了单向网络安全设备的安全需求,提出无干扰模型形式化建模,用数学归纳法证明单向网络安全设备安全需求与形式化策略规约的一致性;针对单向网络安全设备存在的安全隐患进行分析与讨论,总结出更加完善的安全策略,确保信息安全。这为单向网络安全设备的安全性设计提供了一定的借鉴意义。

摘要：随着互联网的发展以及网络空间地位的上升,信息的重要性与日俱增。为确保信息安全,对非法信息流的控制显得尤为重要。文中分析了信息流格模型中信息流动的安全性,为更好地对模型内部的信息流进行分类,首先,对信息流格模型进行线性化分析,使得模型被线性化表述,并将其称为线性信息流格模型。接着,引入马尔科夫链,并利用马尔科夫链的常返态属性和瞬时态属性的概率变化,来量化表示模型中主体和客体之间的转换状态,从而检测出模型内部的各个信息流。进一步地,根据模型内部的主体和客体分别对应的常返态与瞬时态的概率对比,分析每个信息流的安全状态,即:当模型检测中同时出现两个常返态时,违反了安全模型,从而导致非法信息流的出现。由于概率变化存在同一性,该方法会产生误差并影响其检测结果。为弥补这一不足,介绍了SPA语言,然后对线性信息流格模型进行了SPA语言的描述,并采用形式化中的无干扰方法对马尔科夫链模型内概率同一性的不足进行补充说明。最后,检测出其中隐藏的非法信息流,判断出含误差下各个信息流的安全状态,并得出结论:符合安全模型但违反安全策略的信息流不满足无干扰属性。这对信息流安全检测软件的设计及硬件应用具有重要意义。

摘要：在对国内外微电网示范工程进行调研分析的基础上,对在山东省长岛县开展的35 kV海岛微电网示范工程建设目标、方案进行阐述。针对系统中高可再生能源渗透率以及分布式电源多点分散接入的特点,设计了微电网示范工程并网/孤岛运行控制策略,并对微电网中多类型混合储能系统的运行管理策略进行研究。基于所开发的海岛微电网运行控制策略,开展了微电网并网/孤岛运行试验研究,设计微电网分别运行于并网模式、孤岛模式、并网转孤岛模式以及孤岛转并网模式,并对各模式下的运行曲线进行深入分析。试验研究表明,所提出的35 kV微电网工程建设方法及其运行控制策略是切实可行的,可以实现海岛电网在并网、孤岛2种模态中的稳定运行及模式平滑切换,保障了海岛丰富可再生能源的最大消纳,为海岛居民提供绿色、稳定的电力供给。

摘要：某水电站泄洪洞进水口边坡为典型的岩质高陡开挖边坡,其稳定性对水电站的安全施工及运行影响重大。为此,建立了泄洪洞所在开挖高边坡的三维有限元模型,并运用有限差分软件进行稳定性分析计算;综合考虑边坡在天然、开挖、卸荷、暴雨蓄水、地震工况下的应力、应变的大小及分布状况,同时结合典型剖面边坡二维极限平衡计算,计算结果中的安全系数大小,综合分析判断泄洪洞进口边坡的稳定性状况;最后结合稳定性分析结果对边坡的加固措施进行了优化分析。成果为工程施工提供参考依据。

摘要：微电网是促进分布式电源与可再生能源大规模接入电网的有效手段。针对微电网模块化接入及与大电网友好互动的设计运行需求,提出一种利用背靠背变流器对交直流混合微电网进行模块化封装组网拓扑,并研究了该拓扑多目标、多状态运行控制策略。通过合理设计蓄电池-超级电容器混合储能系统结构及在微电网中接入位置,蓄电池和超级电容器可发挥各自优势为微电网多模态运行提供快速功率/能量支撑。仿真分析表明,所提出的模块化微电网组网拓扑及其运行控制方式是切实可行的,不仅使得并网/孤岛双模式无缝切换成为微电网自然属性,同时还可实现微电网整体有功/无功精确调度,使得微电网成为多特性电源/负荷模块与大电网进行"友好"功率交互。