论文部分内容阅读
让你的声卡支持多音频流
【出 处】
:
计算机应用文摘
【发表日期】
:
2001年7期
其他文献
为了实现几何自动推理的可读性证明,并提高推理效率,介绍了一个基于消点法的可构造性几何命题自动推理系统的设计与实现。该系统提供作图的方式接受用户的几何命题前提条件的输入,可以对初等几何中的大部分可构造性几何问题进行自动证明和求解,并生成可读的证明步骤,大大方便了初高等几何教育和相关研究者的需要。
为了解决普通的校园卡遗失后必须要补办手续及更改个人信息困难的难题,一些高校伴随着学校信息化水平的提升、智慧校园建设的大力推进、无线网的大面积覆盖以及师生智能手机
基于最新被提出的k+1平方根假设,提出了两个新的不同类型的广义指定验证者签名方案,它们都是在标准模型之下可证明安全的。第二个方案的指定者可以把签名任意指定给某一个验证者,指定验证者借助Schnorr认证协议的思想采用一个高效的交互协议进行验证。因此,第二个方案常被称为广义指定验证者签名证明方案。